 
                            ...
Synchronizing on the intrinsic lock of high-level concurrency utilities can cause nondeterministic behavior resulting from inconsistent locking policies.
| Rule | Severity | Likelihood | 
|---|
| Detectable | Repairable | Priority | Level | 
|---|---|---|---|
| LCK03-J | medium | probable | Yes | 
| No | P8 | L2 | 
Automated Detection
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| PVS-Studio | 
 | V6126 | |||||||
| SonarQube | 
 | S2442 | Implemented | 
Bibliography
...
...