ADT
ast-experimental
|
Last change
on this file since d697527 was e50fce1, checked in by caparsons <caparson@…>, 2 years ago |
|
added some instrumentation to attempt to glean some insight into optimized away values
|
-
Property mode
set to
100644
|
|
File size:
1.5 KB
|
| Line | |
|---|
| 1 | #include <select.hfa>
|
|---|
| 2 | #include <thread.hfa>
|
|---|
| 3 | #include <channel.hfa>
|
|---|
| 4 |
|
|---|
| 5 | channel(long long int) C;
|
|---|
| 6 |
|
|---|
| 7 | volatile bool done = false;
|
|---|
| 8 | long long int globalTotal = 0;
|
|---|
| 9 |
|
|---|
| 10 | thread Server1 {};
|
|---|
| 11 | void main( Server1 & this ) {
|
|---|
| 12 | long long int c, i = 0, myTotal = 0;
|
|---|
| 13 | for( ;;i++ ) {
|
|---|
| 14 | waituntil( c << C ) { if ( c == -1 ) break; myTotal += c; }
|
|---|
| 15 | }
|
|---|
| 16 | __atomic_fetch_add( &globalTotal, myTotal, __ATOMIC_SEQ_CST );
|
|---|
| 17 | }
|
|---|
| 18 |
|
|---|
| 19 | size_t numtimes = 100000;
|
|---|
| 20 | size_t numServers = 1;
|
|---|
| 21 | int main( int argc, char * argv[] ) {
|
|---|
| 22 | if ( argc == 2 )
|
|---|
| 23 | numtimes = atoi( argv[1] );
|
|---|
| 24 |
|
|---|
| 25 | processor p[numServers];
|
|---|
| 26 | C{5};
|
|---|
| 27 |
|
|---|
| 28 | long long int total = 0;
|
|---|
| 29 | printf("start\n");
|
|---|
| 30 | volatile size_t LINE_COUNTER = 1;
|
|---|
| 31 | {
|
|---|
| 32 | Server1 s[numServers];
|
|---|
| 33 | for( long long int j = 0; j < numtimes; j++ ) {
|
|---|
| 34 | waituntil( j >> C ) { total += j; }
|
|---|
| 35 | }
|
|---|
| 36 | LINE_COUNTER = 2;
|
|---|
| 37 | printf("waiting for empty channels\n");
|
|---|
| 38 | LINE_COUNTER = 3;
|
|---|
| 39 | size_t C_count = get_count( C );
|
|---|
| 40 | LINE_COUNTER = 5;
|
|---|
| 41 | while( C_count > 0 ) {
|
|---|
| 42 | C_count = get_count( C );
|
|---|
| 43 | }
|
|---|
| 44 | LINE_COUNTER = 7;
|
|---|
| 45 | printf("sending sentinels\n");
|
|---|
| 46 | LINE_COUNTER = 11;
|
|---|
| 47 | for ( i; numServers ) insert( C, -1 );
|
|---|
| 48 | LINE_COUNTER = 13;
|
|---|
| 49 | printf("joining servers\n");
|
|---|
| 50 | LINE_COUNTER = 17;
|
|---|
| 51 | }
|
|---|
| 52 | LINE_COUNTER = 19;
|
|---|
| 53 | if ( total != globalTotal )
|
|---|
| 54 | printf("CHECKSUM MISMATCH!! Main thread got %lld, server sum is %lld\n", total, globalTotal);
|
|---|
| 55 | printf("done\n");
|
|---|
| 56 | }
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.