Open caob1234 opened 4 years ago
Yes,they are ill codes.
ExplicitPairManager2. increment() and PairChecker.run() have data race. ExplicitPairManager2.lock and PairManager.getPair() are not the same lock, The synchronized lock used by PairManager.getPair () is the ExplicitPairManager2 object lock.
ExplicitPairManager1 method could't use synchronized keywords