Co-Authored-By: Claude Sonnet 5.5 <[email protected]> Claude-Session: https://claude.ai/code/session_017ic4b4VQVEJWetTT1dYzyJ
19 lines
1.1 KiB
Plaintext
19 lines
1.1 KiB
Plaintext
cores=2 threads=4 opsPerThread=400000 capacity=64 keys=128
|
|
workload: 90% get, 10% put, uniform random keys
|
|
|
|
round 1
|
|
ReadWriteLock, get under READ lock worker exceptions=0; size=64/64; INVARIANT BROKEN: list length 17 != index size 64
|
|
synchronized (correct) worker exceptions=0; size=64/64; invariants OK
|
|
round 2
|
|
ReadWriteLock, get under READ lock worker exceptions=0; size=64/64; INVARIANT BROKEN: list node not in index: 94
|
|
synchronized (correct) worker exceptions=0; size=64/64; invariants OK
|
|
round 3
|
|
ReadWriteLock, get under READ lock worker exceptions=0; size=64/64; invariants OK
|
|
synchronized (correct) worker exceptions=0; size=64/64; invariants OK
|
|
round 4
|
|
ReadWriteLock, get under READ lock worker exceptions=0; size=64/64; INVARIANT BROKEN: list node not in index: 125
|
|
synchronized (correct) worker exceptions=0; size=64/64; invariants OK
|
|
round 5
|
|
ReadWriteLock, get under READ lock worker exceptions=0; size=64/64; invariants OK
|
|
synchronized (correct) worker exceptions=0; size=64/64; invariants OK
|