Armin Rigo avatar Armin Rigo committed 48ce8ba Draft

Huge number of conflicts in demo5, but that's roughly as expected.
Still, it should not take that long...

Comments (0)

Files changed (2)

hack/stm/c2/Makefile

 all-builds: build-demo1 build-demo2 build-demo3 build-demo4 build-demo5
 
 iteration-1: all-builds
-	+make test-demo1 test-demo2 test-demo3 test-demo4 test-demo5
+	+make test-demo5 test-demo1 test-demo2 test-demo3 test-demo4
 
 iteration-2: all-builds
 	+make test-demo2 test-demo3 test-demo4 test-demo5 test-demo1

hack/stm/c2/demo5.c

 #include "et.h"
 
 
-#define UPPER_BOUND 1250
+#define UPPER_BOUND 350
 #define NUMTHREADS  4
 #define INEVITABLE  10   /* 1/N transactions become inevitable */
 
 void insert1(long tr, long nvalue, int inevitable_from)
 {
   volatile int got_inev = 0;
+  fprintf(stderr, "%ld %ld ==============================\n", tr, nvalue);
 
   BEGIN_TRANSACTION {
 
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.