Author: Armin Rigo <[email protected]>
Branch: c6
Changeset: r589:e0a702f234ef
Date: 2013-12-28 20:10 +0100
http://bitbucket.org/pypy/stmgc/changeset/e0a702f234ef/
Log: Another test
diff --git a/checkfence/c6/test3.c b/checkfence/c6/test3.c
--- a/checkfence/c6/test3.c
+++ b/checkfence/c6/test3.c
@@ -129,14 +129,14 @@
return result;
}
-/* void update_state(int t) */
-/* { */
-/* lsl_lock(&undo_lock); */
-/* if (leader_thread_num != t) { */
-/* update_to_leader(t, 0); */
-/* } */
-/* lsl_unlock(&undo_lock); */
-/* } */
+void update_state(int t)
+{
+ lsl_lock(&undo_lock);
+ if (leader_thread_num != t) {
+ update_to_leader(t, 0);
+ }
+ lsl_unlock(&undo_lock);
+}
void start_transaction(int t)
{
@@ -249,3 +249,9 @@
lsl_observe_output("W0INC1:nvalue1", nvalue1);
lsl_observe_output("W0INC1:nvalue2", nvalue2);
}
+
+void UPD(void)
+{
+ int t = lsl_get_thread_id();
+ update_state(t);
+}
diff --git a/checkfence/c6/test3.lsl b/checkfence/c6/test3.lsl
--- a/checkfence/c6/test3.lsl
+++ b/checkfence/c6/test3.lsl
@@ -1,4 +1,6 @@
-//test T1 = SETUP100 ( R0 | R0 )
+test T1 = SETUP100 ( R0 | R0 )
test T2 = SETUP100 ( W0INC1 | W0INC1 )
+
+test T3 = SETUP100 ( UPD R0 UPD R0 | W0INC1 )
_______________________________________________
pypy-commit mailing list
[email protected]
https://mail.python.org/mailman/listinfo/pypy-commit
