changeset 147:0dc313c61567

Declare @Actor and @Arbiter to behave badly with throwing exceptions.
author shade
date Mon, 05 May 2014 22:01:51 +0400
parents 39a1c4786c47
children 3b4d957b15ec
files jcstress-core/src/main/java/org/openjdk/jcstress/annotations/Actor.java jcstress-core/src/main/java/org/openjdk/jcstress/annotations/Arbiter.java
diffstat 2 files changed, 6 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/jcstress-core/src/main/java/org/openjdk/jcstress/annotations/Actor.java	Mon Apr 14 00:58:18 2014 +0400
+++ b/jcstress-core/src/main/java/org/openjdk/jcstress/annotations/Actor.java	Mon May 05 22:01:51 2014 +0400
@@ -35,6 +35,9 @@
  * Actor-annotated methods can have only the {@link State} or {@link Result}-annotated
  * classes as the parameters.
  * <p/>
+ * Actor methods may declare to throw the exceptions, but the behavior
+ * after actually throwing an exception is undefined.
+ * <p/>
  * A few important invariants are maintained:
  *   - the method is called only by single actor thread, once per {@link State} instance;
  *   - for any given {@link State}, the order vs another actors is deliberately unspecified;
--- a/jcstress-core/src/main/java/org/openjdk/jcstress/annotations/Arbiter.java	Mon Apr 14 00:58:18 2014 +0400
+++ b/jcstress-core/src/main/java/org/openjdk/jcstress/annotations/Arbiter.java	Mon May 05 22:01:51 2014 +0400
@@ -34,6 +34,9 @@
  *  - arbiter visits the {@link State} instance after all the actors have already visited that instance;
  *  - all memory effects from actors are visible in arbiter;
  * <p/>
+ * Arbiter methods may declare to throw the exceptions, but the behavior
+ * after actually throwing an exception is undefined.
+ * <p/>
  * Arbiter-annotated methods can have only the {@link State} or {@link Result}-annotated
  * classes as the parameters.
  * <p/>