]> pd.if.org Git - nbds/blobdiff - test/txn_test.c
add hazard pointer implementation. buggy
[nbds] / test / txn_test.c
index 74d5cee2494a641995254cc35c1fee412da05d04..8ad809635b0eae8ce09705585a71cc30d68bf81b 100644 (file)
 
 void test1 (CuTest* tc) {
     map_t *map = map_alloc(&ht_map_impl, NULL);
-    txn_t *t1 = txn_begin(TXN_REPEATABLE_READ, map);
-    txn_t *t2 = txn_begin(TXN_REPEATABLE_READ, map);
-    void *k1 = (void *)1;
-    tm_set(t1, k1, 2);
-    tm_set(t1, k1, 3);
-    ASSERT_EQUAL( DOES_NOT_EXIST, tm_get(t2, k1) );
-    tm_set(t2, k1, 4);
-    ASSERT_EQUAL( 3, tm_get(t1, k1) );
-    ASSERT_EQUAL( 4, tm_get(t2, k1) );
+    txn_t *t1 = txn_begin(map);
+    txn_t *t2 = txn_begin(map);
+    map_key_t k1 = (map_key_t)1;
+    txn_map_set(t1, k1, 2);
+    txn_map_set(t1, k1, 3);
+    ASSERT_EQUAL( DOES_NOT_EXIST, txn_map_get(t2, k1) );
+    txn_map_set(t2, k1, 4);
+    ASSERT_EQUAL( 3, txn_map_get(t1, k1) );
+    ASSERT_EQUAL( 4, txn_map_get(t2, k1) );
     ASSERT_EQUAL( TXN_VALIDATED, txn_commit(t2));
-    ASSERT_EQUAL( TXN_ABORTED, txn_commit(t1));
+    ASSERT_EQUAL( TXN_ABORTED,   txn_commit(t1));
 }
 
 int main (void) {
 
-    nbd_init();
     txn_init();
 
     CuString *output = CuStringNew();