X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=concurrent-hashmap%2Ftestcase1.cc;fp=concurrent-hashmap%2Ftestcase1.cc;h=008eb6fe1689de3db99a1e70d220ed0d90e23060;hb=89404f704a91f9a7d6775b2892815cfa3e06e746;hp=939e250bee787a487e694b68acdc6c3f47508528;hpb=d0674989bbe9a25e05a4ee35d74800bccf07cd31;p=model-checker-benchmarks.git

diff --git a/concurrent-hashmap/testcase1.cc b/concurrent-hashmap/testcase1.cc
index 939e250..008eb6f 100644
--- a/concurrent-hashmap/testcase1.cc
+++ b/concurrent-hashmap/testcase1.cc
@@ -28,6 +28,8 @@ void printValue(Value *value) {
 // Key(3, 4, 5) & Key(1, 4, 3) are hashed to the same slot -> 5
 
 
+/** Making w4 & w11 seq_cst */
+
 void threadA(void *arg) {
 	Key *k1 = new Key(3, 2, 6);
 	Key *k2 = new Key(1, 1, 1);
@@ -51,8 +53,15 @@ void threadB(void *arg) {
 }
 
 int user_main(int argc, char *argv[]) {
+	
+	Key *k1 = new Key(3, 2, 6);
+	Key *k2 = new Key(1, 1, 1);
+	Value *v1 = new Value(111, 111, 111);
+	Value *v2 = new Value(222, 222, 222);
 	thrd_t t1, t2;
 	table = new HashMap;
+	table->put(k1, v1);
+	table->put(k2, v2);
 
 	thrd_create(&t1, threadA, NULL);
 	thrd_create(&t2, threadB, NULL);