Author: Armin Rigo <[email protected]>
Branch:
Changeset: r494:8c2d3f61dc9c
Date: 2013-08-22 22:04 +0200
http://bitbucket.org/pypy/stmgc/changeset/8c2d3f61dc9c/
Log: Add a passing test
diff --git a/c4/et.c b/c4/et.c
--- a/c4/et.c
+++ b/c4/et.c
@@ -1005,6 +1005,7 @@
static void init_transaction(struct tx_descriptor *d)
{
+ assert(d->atomic == 0);
assert(d->active == 0);
stm_start_sharedlock();
assert(d->active == 0);
diff --git a/c4/test/test_atomic.py b/c4/test/test_atomic.py
--- a/c4/test/test_atomic.py
+++ b/c4/test/test_atomic.py
@@ -56,3 +56,11 @@
assert lib.stm_in_transaction()
lib.stm_begin_inevitable_transaction()
lib.stm_atomic(-1)
+
+def test_atomic_but_abort():
+ @perform_transaction
+ def run(retry_counter):
+ assert lib.stm_atomic(0) == 0
+ if retry_counter == 0:
+ lib.stm_atomic(+1)
+ abort_and_retry()
_______________________________________________
pypy-commit mailing list
[email protected]
http://mail.python.org/mailman/listinfo/pypy-commit
