Runtime threads, CMake, fixed warnings

.gitignore

@@ -0,0 +1,45 @@
+*
+!/**/
+!*.*
+
+# Prerequisites
+*.d
+
+# Compiled Object files
+*.slo
+*.lo
+*.o
+*.obj
+
+# Precompiled Headers
+*.gch
+*.pch
+
+# Compiled Dynamic libraries
+*.so
+*.dylib
+*.dll
+
+# Fortran module files
+*.mod
+*.smod
+
+# Compiled Static libraries
+*.lai
+*.la
+*.a
+*.lib
+
+# Executables
+*.exe
+*.out
+*.app
+
+# QtCreator
+relacy.*
+
+Makefile
+*.cmake
+CMakeFiles
+*.txt
+Testing

example/CMakeLists.txt

@@ -0,0 +1,13 @@
+cmake_minimum_required(VERSION 2.8.12)
+
+add_subdirectory(cli_ws_deque)
+add_subdirectory(condvar)
+add_subdirectory(java_ws_deque)
+add_subdirectory(mutex_business_logic)
+add_subdirectory(peterson)
+add_subdirectory(proxy_collector)
+add_subdirectory(ref_counting)
+add_subdirectory(smr)
+add_subdirectory(spsc_queue)
+add_subdirectory(ws_deque)
+add_subdirectory(stack)

example/cli_ws_deque/CMakeLists.txt

@@ -0,0 +1,5 @@
+cmake_minimum_required(VERSION 2.8.12)
+
+set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -O3 -Wall -Wextra")
+
+add_executable(cli_ws_deque cli_ws_deque.cpp stdafx.cpp)

example/cli_ws_deque/cli_ws_deque.cpp

@@ -127,9 +127,7 @@ class ws_deque
 };
 
 
-
-
-struct ws_deque_test : rl::test_suite<ws_deque_test, 2>
+struct ws_deque_test
 {
     ws_deque<int> q;
     bool state [2];
@@ -146,6 +144,8 @@ struct ws_deque_test : rl::test_suite<ws_deque_test, 2>
         RL_ASSERT(state[1] == false);
     }
 
+    void invariant() { }
+
     void thread(unsigned index)
     {
         if (0 == index)
@@ -190,6 +190,8 @@ struct ws_deque_test : rl::test_suite<ws_deque_test, 2>
 
 int main()
 {
-    rl::simulate<ws_deque_test>();
+    rl::test_params p;
+    p.static_thread_count = 2;
+    rl::simulate<ws_deque_test>(p);
 }
 

example/condvar/CMakeLists.txt

@@ -0,0 +1,5 @@
+cmake_minimum_required(VERSION 2.8.12)
+
+set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -O3 -Wall -Wextra")
+
+add_executable(condvar condvar.cpp stdafx.cpp)

example/condvar/condvar.cpp

@@ -131,7 +131,7 @@ void CondVar::Leave()
     } 
 }
 
-struct CondVarTest : rl::test_suite<CondVarTest, 3>
+struct CondVarTest
 {
     VAR_T(int) stage;
     CondVar cv;
@@ -141,6 +141,9 @@ struct CondVarTest : rl::test_suite<CondVarTest, 3>
         VAR(stage) = 0;
     }
 
+    void after() { }
+    void invariant() { }
+
     void thread(unsigned index)
     {
         if (0 == index)
@@ -176,6 +179,8 @@ struct CondVarTest : rl::test_suite<CondVarTest, 3>
 
 int main()
 {
-    rl::simulate<CondVarTest>();
+    rl::test_params p;
+    p.static_thread_count = 3;
+    rl::simulate<CondVarTest>(p);
 }