Tests atomicity of getAndSet.
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 | 943473 | ACCEPTABLE | actor1 execute before actor2 |
| C, , A | 373157 | 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 | 47002 | ACCEPTABLE | actor1 execute before actor2 |
| C, , A | 35928 | 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 | 693275 | ACCEPTABLE | actor1 execute before actor2 |
| C, , A | 525415 | ACCEPTABLE | actor1 execute after actor2 |
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 | 23718 | ACCEPTABLE | actor1 execute before actor2 |
| C, , A | 23052 | 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 | 276286 | ACCEPTABLE | actor1 execute before actor2 |
| C, , A | 184934 | 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 | 667314 | ACCEPTABLE | actor1 execute before actor2 |
| C, , A | 481126 | 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 | 552015 | ACCEPTABLE | actor1 execute before actor2 |
| C, , A | 138285 | 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 | 1021362 | ACCEPTABLE | actor1 execute before actor2 |
| C, , A | 960988 | ACCEPTABLE | actor1 execute after actor2 |