Tests if ThreadPoolExecutor invariant can be violated: keepAliveTime == 0 ⇒ !allowCoreThreadTimeOut
JVM options: [-client] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 17921 | ACCEPTABLE | keepAliveTime had changed, and allowCoreThreadTimeOut failed to change. |
| 1, 0 | 736 | ACCEPTABLE_INTERESTING | The update under race can break the (keepAliveTime == 0 ⇒ !allowCoreThreadTimeOut) invariant. |
| 1, 1 | 25983 | ACCEPTABLE | allowCoreThreadTimeOut had changed, and keepAliveTime failed to change. |
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 39732 | ACCEPTABLE | keepAliveTime had changed, and allowCoreThreadTimeOut failed to change. |
| 1, 0 | 5313 | ACCEPTABLE_INTERESTING | The update under race can break the (keepAliveTime == 0 ⇒ !allowCoreThreadTimeOut) invariant. |
| 1, 1 | 88005 | ACCEPTABLE | allowCoreThreadTimeOut had changed, and keepAliveTime failed to change. |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 2111 | ACCEPTABLE | keepAliveTime had changed, and allowCoreThreadTimeOut failed to change. |
| 1, 0 | 875 | ACCEPTABLE_INTERESTING | The update under race can break the (keepAliveTime == 0 ⇒ !allowCoreThreadTimeOut) invariant. |
| 1, 1 | 29554 | ACCEPTABLE | allowCoreThreadTimeOut had changed, and keepAliveTime failed to change. |
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 28894 | ACCEPTABLE | keepAliveTime had changed, and allowCoreThreadTimeOut failed to change. |
| 1, 0 | 2630 | ACCEPTABLE_INTERESTING | The update under race can break the (keepAliveTime == 0 ⇒ !allowCoreThreadTimeOut) invariant. |
| 1, 1 | 59466 | ACCEPTABLE | allowCoreThreadTimeOut had changed, and keepAliveTime failed to change. |
JVM options: [-server] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 2425 | ACCEPTABLE | keepAliveTime had changed, and allowCoreThreadTimeOut failed to change. |
| 1, 0 | 300 | ACCEPTABLE_INTERESTING | The update under race can break the (keepAliveTime == 0 ⇒ !allowCoreThreadTimeOut) invariant. |
| 1, 1 | 12275 | ACCEPTABLE | allowCoreThreadTimeOut had changed, and keepAliveTime failed to change. |
JVM options: [-server, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 8230 | ACCEPTABLE | keepAliveTime had changed, and allowCoreThreadTimeOut failed to change. |
| 1, 0 | 2437 | ACCEPTABLE_INTERESTING | The update under race can break the (keepAliveTime == 0 ⇒ !allowCoreThreadTimeOut) invariant. |
| 1, 1 | 52203 | ACCEPTABLE | allowCoreThreadTimeOut had changed, and keepAliveTime failed to change. |
JVM options: [-Xint] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 3448 | ACCEPTABLE | keepAliveTime had changed, and allowCoreThreadTimeOut failed to change. |
| 1, 0 | 1050 | ACCEPTABLE_INTERESTING | The update under race can break the (keepAliveTime == 0 ⇒ !allowCoreThreadTimeOut) invariant. |
| 1, 1 | 7122 | ACCEPTABLE | allowCoreThreadTimeOut had changed, and keepAliveTime failed to change. |
JVM options: [-server, -XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 20682 | ACCEPTABLE | keepAliveTime had changed, and allowCoreThreadTimeOut failed to change. |
| 1, 0 | 2107 | ACCEPTABLE_INTERESTING | The update under race can break the (keepAliveTime == 0 ⇒ !allowCoreThreadTimeOut) invariant. |
| 1, 1 | 45641 | ACCEPTABLE | allowCoreThreadTimeOut had changed, and keepAliveTime failed to change. |