It doesn’t mean that there won’t be data races – obviously there will be and you need a mutex. The talk is specifically discussing internal global state which is present in some modules such as Hashtbl. This global state would completely break multi-threaded code were it not for the fact that modifications were made. In other words, the modules were made reentrant but not thread-safe.
bluddy
4
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Is it safe to use a global hash table in an ocaml-5 parallel program? | 45 | 2704 | June 11, 2023 | |
| Using `[@poll error]` attribute to implement systhread safe data structures | 3 | 1033 | August 13, 2023 | |
| Concurrent read access from multiple Domains | 4 | 845 | June 17, 2021 | |
| Problems installing domainslib with multicore OCaml | 6 | 1250 | June 14, 2021 | |
| Thread/domain local storage | 6 | 1180 | January 6, 2023 |