Tests atomicity of getAndSet.
JVM options: [-Xint] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -2, 0, -1 | 30882 | ACCEPTABLE | actor1 execute after actor2 |
| 0, -1, -2 | 14448 | ACCEPTABLE | actor1 execute before actor2 |
| 0, 0, -1 | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
| 0, 0, -2 | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -2, 0, -1 | 360076 | ACCEPTABLE | actor1 execute after actor2 |
| 0, -1, -2 | 560504 | ACCEPTABLE | actor1 execute before actor2 |
| 0, 0, -1 | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
| 0, 0, -2 | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
JVM options: [-client] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -2, 0, -1 | 215627 | ACCEPTABLE | actor1 execute after actor2 |
| 0, -1, -2 | 1129163 | ACCEPTABLE | actor1 execute before actor2 |
| 0, 0, -1 | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
| 0, 0, -2 | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
JVM options: [-server, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -2, 0, -1 | 373208 | ACCEPTABLE | actor1 execute after actor2 |
| 0, -1, -2 | 760942 | ACCEPTABLE | actor1 execute before actor2 |
| 0, 0, -1 | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
| 0, 0, -2 | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
JVM options: [-server] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -2, 0, -1 | 136546 | ACCEPTABLE | actor1 execute after actor2 |
| 0, -1, -2 | 965024 | ACCEPTABLE | actor1 execute before actor2 |
| 0, 0, -1 | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
| 0, 0, -2 | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -2, 0, -1 | 78616 | ACCEPTABLE | actor1 execute after actor2 |
| 0, -1, -2 | 229434 | ACCEPTABLE | actor1 execute before actor2 |
| 0, 0, -1 | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
| 0, 0, -2 | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -2, 0, -1 | 165268 | ACCEPTABLE | actor1 execute after actor2 |
| 0, -1, -2 | 869812 | ACCEPTABLE | actor1 execute before actor2 |
| 0, 0, -1 | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
| 0, 0, -2 | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
JVM options: [-server, -XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -2, 0, -1 | 23172 | ACCEPTABLE | actor1 execute after actor2 |
| 0, -1, -2 | 83948 | ACCEPTABLE | actor1 execute before actor2 |
| 0, 0, -1 | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
| 0, 0, -2 | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |