Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Allow race condition in caml_leave_blocking_section 

Since commit 08ed1e8 (GPR#2211) caml_leave_blocking_section writes
to caml_signals_are_pending, a variable that has known race conditions.
master
Xavier Leroy 2019-03-02 18:29:37 +01:00
parent f785be31bd
commit 176cb2dad1
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
tools/ci/inria/tsan-suppr.txt
View File

@ -1,5 +1,6 @@
# The treatment of pending signals involves unsynchronized accesses
fun:caml_record_signal
fun:caml_process_pending_signals
fun:caml_leave_blocking_section
# st_masterlock_waiters polls m->waiters without locking
fun:st_masterlock_waiters