Tests atomicity of getAndSet.
JVM options: [-Xint] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| , , A | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
| , , C | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
| , A, C | 21815 | ACCEPTABLE | actor1 execute before actor2 |
| C, , A | 29575 | ACCEPTABLE | actor1 execute after actor2 |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| , , A | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
| , , C | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
| , A, C | 61435 | ACCEPTABLE | actor1 execute before actor2 |
| C, , A | 157395 | ACCEPTABLE | actor1 execute after actor2 |
JVM options: [-client] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| , , A | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
| , , C | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
| , A, C | 626816 | ACCEPTABLE | actor1 execute before actor2 |
| C, , A | 45604 | ACCEPTABLE | actor1 execute after actor2 |
JVM options: [-server, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| , , A | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
| , , C | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
| , A, C | 115052 | ACCEPTABLE | actor1 execute before actor2 |
| C, , A | 61838 | ACCEPTABLE | actor1 execute after actor2 |
JVM options: [-server] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| , , A | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
| , , C | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
| , A, C | 408652 | ACCEPTABLE | actor1 execute before actor2 |
| C, , A | 146468 | ACCEPTABLE | actor1 execute after actor2 |
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| , , A | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
| , , C | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
| , A, C | 436293 | ACCEPTABLE | actor1 execute before actor2 |
| C, , A | 277127 | ACCEPTABLE | actor1 execute after actor2 |
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| , , A | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
| , , C | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
| , A, C | 551355 | ACCEPTABLE | actor1 execute before actor2 |
| C, , A | 396305 | ACCEPTABLE | actor1 execute after actor2 |
JVM options: [-server, -XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| , , A | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
| , , C | 0 | FORBIDDEN | This won't happen because getAndSet is atomic |
| , A, C | 571572 | ACCEPTABLE | actor1 execute before actor2 |
| C, , A | 297358 | ACCEPTABLE | actor1 execute after actor2 |