tsan: update check_analyze.sh
Update numbers after 353817.
This was extensively benchmarked in
@@ -35,18 +35,12 @@ check() {
}
for f in write1 write2 write4 write8; do
- check $f rsp 1
- check $f push 1
- check $f pop 8
-done
-
-for f in read1; do
check $f rsp 1
check $f push 2
check $f pop 16
done
-for f in read2 read4 read8; do
+for f in read1 read2 read4 read8; do
check $f rsp 1
check $f push 3
check $f pop 24
