Tests atomicity of getAndAdd.
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -1, 0, -2 | 453755 | ACCEPTABLE | actor1 execute after actor2 |
| 0, -1, -2 | 1141955 | ACCEPTABLE | actor1 execute before actor2 |
| 0, 0, -1 | 0 | FORBIDDEN | This won't happen because getAndAdd is atomic |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -1, 0, -2 | 143637 | ACCEPTABLE | actor1 execute after actor2 |
| 0, -1, -2 | 464503 | ACCEPTABLE | actor1 execute before actor2 |
| 0, 0, -1 | 0 | FORBIDDEN | This won't happen because getAndAdd is atomic |
JVM options: [-server, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -1, 0, -2 | 205536 | ACCEPTABLE | actor1 execute after actor2 |
| 0, -1, -2 | 702304 | ACCEPTABLE | actor1 execute before actor2 |
| 0, 0, -1 | 0 | FORBIDDEN | This won't happen because getAndAdd is atomic |
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -1, 0, -2 | 96262 | ACCEPTABLE | actor1 execute after actor2 |
| 0, -1, -2 | 344568 | ACCEPTABLE | actor1 execute before actor2 |
| 0, 0, -1 | 0 | FORBIDDEN | This won't happen because getAndAdd is atomic |
JVM options: [-server] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -1, 0, -2 | 89194 | ACCEPTABLE | actor1 execute after actor2 |
| 0, -1, -2 | 252396 | ACCEPTABLE | actor1 execute before actor2 |
| 0, 0, -1 | 0 | FORBIDDEN | This won't happen because getAndAdd is atomic |
JVM options: [-client] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -1, 0, -2 | 191813 | ACCEPTABLE | actor1 execute after actor2 |
| 0, -1, -2 | 1425797 | ACCEPTABLE | actor1 execute before actor2 |
| 0, 0, -1 | 0 | FORBIDDEN | This won't happen because getAndAdd is atomic |
JVM options: [-server, -XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -1, 0, -2 | 10814 | ACCEPTABLE | actor1 execute after actor2 |
| 0, -1, -2 | 92816 | ACCEPTABLE | actor1 execute before actor2 |
| 0, 0, -1 | 0 | FORBIDDEN | This won't happen because getAndAdd is atomic |
JVM options: [-Xint] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -1, 0, -2 | 17115 | ACCEPTABLE | actor1 execute after actor2 |
| 0, -1, -2 | 58195 | ACCEPTABLE | actor1 execute before actor2 |
| 0, 0, -1 | 0 | FORBIDDEN | This won't happen because getAndAdd is atomic |