X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/0989f6feac9c8e83847165c4abee5273463eaa63..5987a5357ccfd818d540a7aa58eb498a1be07aa1:/lock_tester.cc diff --git a/lock_tester.cc b/lock_tester.cc index d063cdc..5c78c90 100644 --- a/lock_tester.cc +++ b/lock_tester.cc @@ -10,7 +10,6 @@ #include #include #include "lang/verify.h" -#include "lock_client_cache_rsm.h" #include "tprintf.h" #include #include @@ -21,7 +20,7 @@ char tprintf_thread_prefix = 'c'; // must be >= 2 const int nt = 6; //XXX: lab1's rpc handlers are blocking. Since rpcs uses a thread pool of 10 threads, we cannot test more than 10 blocking rpc. std::string dst; -lock_client_cache_rsm **lc = new lock_client_cache_rsm * [nt]; +lock_client **lc = new lock_client * [nt]; lock_protocol::lockid_t a = "1"; lock_protocol::lockid_t b = "2"; lock_protocol::lockid_t c = "3"; @@ -174,7 +173,7 @@ main(int argc, char *argv[]) } tprintf("cache lock client\n"); - for (int i = 0; i < nt; i++) lc[i] = new lock_client_cache_rsm(dst); + for (int i = 0; i < nt; i++) lc[i] = new lock_client(dst); if(!test || test == 1){ test1();