Add stall printout and noinline.

kohler · kohler · commit a88cd218787e · 2022-11-30T22:12:36.000-05:00
diff --git a/synchs1/philosophy01.cc b/synchs1/philosophy01.cc
@@ -14,6 +14,7 @@ void wait_until_uncomfortable() {
     // stoic philosophers are always comfortable
 }
 
+[[gnu::noinline]] // prevent compiler optimization
 void poop_into(int stall) {
     stalls[stall] += 1;
 }
@@ -35,4 +36,9 @@ int main() {
     }
 
     sleep(5);
+
+    // NB: data races here
+    for (int i = 0; i != K; ++i) {
+        printf("stalls[%d] = %llu\n", i, stalls[i]);
+    }
 }
diff --git a/synchs1/philosophy02.cc b/synchs1/philosophy02.cc
@@ -14,6 +14,7 @@ void wait_until_uncomfortable() {
     // stoic philosophers are always comfortable
 }
 
+[[gnu::noinline]] // prevent compiler optimization
 void poop_into(int stall) {
     stalls[stall] += 1;
 }
@@ -36,4 +37,9 @@ int main() {
     }
 
     sleep(5);
+
+    // NB: data races here
+    for (int i = 0; i != K; ++i) {
+        printf("stalls[%d] = %llu\n", i, stalls[i]);
+    }
 }

Original file line number	Diff line number	Diff line change
`@@ -14,6 +14,7 @@ void wait_until_uncomfortable() {`
`14`	`14`	`// stoic philosophers are always comfortable`
`15`	`15`	`}`
`16`	`16`
	`17`	`+[[gnu::noinline]] // prevent compiler optimization`
`17`	`18`	`void poop_into(int stall) {`
`18`	`19`	`stalls[stall] += 1;`
`19`	`20`	`}`
`@@ -35,4 +36,9 @@ int main() {`
`35`	`36`	`}`
`36`	`37`
`37`	`38`	`sleep(5);`
	`39`	`+`
	`40`	`+ // NB: data races here`
	`41`	`+ for (int i = 0; i != K; ++i) {`
	`42`	`+ printf("stalls[%d] = %llu\n", i, stalls[i]);`
	`43`	`+ }`
`38`	`44`	`}`