[764b4b2] | 1 | // |
---|
[90449e4] | 2 | // The contents of this file are covered under the licence agreement in the |
---|
| 3 | // file "LICENCE" distributed with Cforall. |
---|
[764b4b2] | 4 | // |
---|
[90449e4] | 5 | // quickSort.c -- In-place concurrent quick-sort: threads are created to partition to a specific depth, then sequential |
---|
| 6 | // recursive-calls are use to sort each partition. |
---|
[764b4b2] | 7 | // |
---|
[90449e4] | 8 | // Author : Peter A. Buhr |
---|
| 9 | // Created On : Wed Dec 6 12:15:52 2017 |
---|
| 10 | // Last Modified By : Peter A. Buhr |
---|
[c1135eef] | 11 | // Last Modified On : Tue Jan 30 15:58:58 2018 |
---|
| 12 | // Update Count : 162 |
---|
[764b4b2] | 13 | // |
---|
[90449e4] | 14 | |
---|
| 15 | #include <fstream> |
---|
| 16 | #include <stdlib> |
---|
| 17 | #include <kernel> |
---|
| 18 | #include <thread> |
---|
| 19 | #include <string.h> // strcmp |
---|
| 20 | |
---|
| 21 | thread Quicksort { |
---|
[f0322e20] | 22 | int * values; // communication variables |
---|
[90449e4] | 23 | int low, high, depth; |
---|
| 24 | }; |
---|
| 25 | |
---|
[f0322e20] | 26 | void ?{}( Quicksort & qs, int values[], int size, int depth ) { |
---|
[90449e4] | 27 | qs.values = values; qs.low = 0; qs.high = size; qs.depth = depth; |
---|
| 28 | } // Quicksort |
---|
| 29 | |
---|
[f0322e20] | 30 | void main( Quicksort & qs ) { // thread starts here |
---|
[90449e4] | 31 | // nested routines: information hiding |
---|
| 32 | |
---|
[f0322e20] | 33 | void ?{}( Quicksort & qs, int values[], int low, int high, int depth ) { |
---|
[90449e4] | 34 | qs.values = values; qs.low = low; qs.high = high; qs.depth = depth; |
---|
| 35 | } // Quicksort |
---|
| 36 | |
---|
[f0322e20] | 37 | void sort( int values[], int low, int high, int depth ) { |
---|
[90449e4] | 38 | int left, right; // index to left/right-hand side of the values |
---|
[f0322e20] | 39 | int pivot; // pivot value of values |
---|
| 40 | int swap; // temporary |
---|
[90449e4] | 41 | |
---|
| 42 | //verify(); // check for stack overflow due to recursion |
---|
| 43 | |
---|
| 44 | // partition while 2 or more elements in the array |
---|
| 45 | if ( low < high ) { |
---|
| 46 | pivot = values[low + ( high - low ) / 2]; |
---|
| 47 | left = low; |
---|
| 48 | right = high; |
---|
| 49 | |
---|
| 50 | // partition: move values less < pivot before the pivot and values > pivot after the pivot |
---|
| 51 | do { |
---|
| 52 | while ( values[left] < pivot ) left += 1; // changed values[left] < pivot |
---|
| 53 | while ( pivot < values[right] ) right -= 1; |
---|
| 54 | if ( left <= right ) { |
---|
| 55 | swap = values[left]; // interchange values |
---|
| 56 | values[left] = values[right]; |
---|
| 57 | values[right] = swap; |
---|
| 58 | left += 1; |
---|
| 59 | right -= 1; |
---|
| 60 | } // if |
---|
| 61 | } while ( left <= right ); |
---|
| 62 | |
---|
| 63 | // restrict number of tasks to slightly greater than number of processors |
---|
| 64 | if ( depth > 0 ) { |
---|
| 65 | depth -= 1; |
---|
[f0322e20] | 66 | Quicksort rqs = { values, low, right, depth }; // concurrently sort upper half |
---|
[90449e4] | 67 | //Quicksort lqs( values, left, high, depth ); // concurrently sort lower half |
---|
| 68 | sort( values, left, high, depth ); // concurrently sort lower half |
---|
| 69 | } else { |
---|
| 70 | sort( values, low, right, 0 ); // sequentially sort lower half |
---|
| 71 | sort( values, left, high, 0 ); // sequentially sort upper half |
---|
| 72 | } // if |
---|
| 73 | } // if |
---|
| 74 | } // sort |
---|
| 75 | |
---|
| 76 | with( qs ) { |
---|
| 77 | sort( values, low, high, depth ); |
---|
| 78 | } // with |
---|
| 79 | } // main |
---|
| 80 | |
---|
| 81 | |
---|
| 82 | bool convert( int & val, const char * nptr ) { // convert C string to integer |
---|
| 83 | char * eptr; |
---|
| 84 | int temp = strto( nptr, &eptr, 10 ); // do not change val on false |
---|
| 85 | // true => entire string valid with no extra characters |
---|
| 86 | return *nptr != '\0' && *eptr == '\0' ? val = temp, true : false; |
---|
| 87 | } // convert |
---|
| 88 | |
---|
| 89 | void usage( char * argv[] ) { |
---|
| 90 | sout | "Usage:" | argv[0] | "( -s unsorted-file [ sorted-file ] | -t size (>= 0) [ depth (>= 0) ] )" | endl; |
---|
| 91 | exit( EXIT_FAILURE ); // TERMINATE! |
---|
| 92 | } // usage |
---|
| 93 | |
---|
[edb6f79] | 94 | |
---|
[90449e4] | 95 | int main( int argc, char * argv[] ) { |
---|
| 96 | ifstream & unsortedfile = sin; |
---|
| 97 | ofstream & sortedfile = sout; // default value |
---|
| 98 | int depth = 0, size; |
---|
| 99 | |
---|
| 100 | if ( argc != 1 ) { // do not use defaults |
---|
| 101 | if ( argc < 2 || argc > 4 ) usage( argv ); // wrong number of options |
---|
[c1135eef] | 102 | if ( strcmp( argv[1], "-t" ) == 0 ) { // timing ? |
---|
[f0322e20] | 103 | &unsortedfile = (ifstream *)0; // no input |
---|
[90449e4] | 104 | choose ( argc ) { |
---|
| 105 | case 4: |
---|
[f0322e20] | 106 | if ( ! convert( depth, argv[3] ) || depth < 0 ) usage( argv ); |
---|
| 107 | fallthrough; |
---|
| 108 | case 3: |
---|
| 109 | if ( ! convert( size, argv[2] ) || size < 0 ) usage( argv ); |
---|
| 110 | } // choose |
---|
| 111 | } else { // sort file |
---|
| 112 | choose ( argc ) { |
---|
| 113 | case 3: |
---|
| 114 | &sortedfile = new( (const char *)argv[2] ); // open the output file |
---|
[90449e4] | 115 | if ( fail( sortedfile ) ) { |
---|
[f0322e20] | 116 | serr | "Error! Could not open sorted output file \"" | argv[2] | "\"" | endl; |
---|
[90449e4] | 117 | usage( argv ); |
---|
| 118 | } // if |
---|
| 119 | fallthrough; |
---|
[f0322e20] | 120 | case 2: |
---|
| 121 | &unsortedfile = new( (const char *)argv[1] ); // open the input file |
---|
[90449e4] | 122 | if ( fail( unsortedfile ) ) { |
---|
[f0322e20] | 123 | serr | "Error! Could not open unsorted input file \"" | argv[1] | "\"" | endl; |
---|
[90449e4] | 124 | usage( argv ); |
---|
| 125 | } // if |
---|
| 126 | } // choose |
---|
[f0322e20] | 127 | } // if |
---|
[90449e4] | 128 | } // if |
---|
| 129 | |
---|
| 130 | enum { ValuesPerLine = 22 }; // number of values printed per line |
---|
| 131 | |
---|
| 132 | if ( &unsortedfile ) { // generate output ? |
---|
| 133 | for ( ;; ) { |
---|
| 134 | unsortedfile | size; // read number of elements in the list |
---|
| 135 | if ( eof( unsortedfile ) ) break; |
---|
[f0322e20] | 136 | int * values = alloc( size ); // values to be sorted, too large to put on stack |
---|
[90449e4] | 137 | for ( int counter = 0; counter < size; counter += 1 ) { // read unsorted numbers |
---|
| 138 | unsortedfile | values[counter]; |
---|
| 139 | if ( counter != 0 && counter % ValuesPerLine == 0 ) sortedfile | endl | " "; |
---|
| 140 | sortedfile | values[counter]; |
---|
| 141 | if ( counter < size - 1 && (counter + 1) % ValuesPerLine != 0 ) sortedfile | ' '; |
---|
| 142 | } // for |
---|
| 143 | sortedfile | endl; |
---|
| 144 | if ( size > 0 ) { // values to sort ? |
---|
[f0322e20] | 145 | Quicksort QS = { values, size - 1, 0 }; // sort values |
---|
[90449e4] | 146 | } // wait until sort tasks terminate |
---|
| 147 | for ( int counter = 0; counter < size; counter += 1 ) { // print sorted list |
---|
| 148 | if ( counter != 0 && counter % ValuesPerLine == 0 ) sortedfile | endl | " "; |
---|
| 149 | sortedfile | values[counter]; |
---|
| 150 | if ( counter < size - 1 && (counter + 1) % ValuesPerLine != 0 ) sortedfile | ' '; |
---|
| 151 | } // for |
---|
| 152 | sortedfile | endl | endl; |
---|
| 153 | |
---|
| 154 | delete( values ); |
---|
| 155 | } // for |
---|
| 156 | if ( &unsortedfile != &sin ) delete( &unsortedfile ); // close input/output files |
---|
| 157 | if ( &sortedfile != &sout ) delete( &sortedfile ); |
---|
| 158 | } else { |
---|
| 159 | processor processors[ (1 << depth) - 1 ] __attribute__(( unused )); // create 2^depth-1 kernel threads |
---|
| 160 | |
---|
[f0322e20] | 161 | int * values = alloc( size ); // values to be sorted, too large to put on stack |
---|
[90449e4] | 162 | for ( int counter = 0; counter < size; counter += 1 ) { // generate unsorted numbers |
---|
| 163 | values[counter] = size - counter; // descending values |
---|
| 164 | } // for |
---|
| 165 | { |
---|
[f0322e20] | 166 | Quicksort QS = { values, size - 1, depth }; // sort values |
---|
[90449e4] | 167 | } // wait until sort tasks terminate |
---|
| 168 | |
---|
| 169 | // for ( int counter = 0; counter < size - 1; counter += 1 ) { // check sorting |
---|
| 170 | // if ( values[counter] > values[counter + 1] ) abort(); |
---|
| 171 | // } // for |
---|
| 172 | |
---|
| 173 | delete( values ); |
---|
| 174 | } // if |
---|
| 175 | } // main |
---|
| 176 | |
---|
| 177 | // Local Variables: // |
---|
| 178 | // tab-width: 4 // |
---|
| 179 | // compile-command: "cfa quickSort.c" // |
---|
| 180 | // End: // |
---|