|
|
|
|
|
|
by Jalad
1059 days ago
|
|
|
"Bounding data races in space and time" was an interesting one I saw recently! It's discussing the memory models of programming languages, and how they can fail pretty horribly when data races occur, and then talks about ways to avoid those. OCaml's multicore support is based on this work, meaning it's memory safety guarantees in when data races occur are pretty interesting https://kcsrk.info/papers/pldi18-memory.pdf https://youtube.com/watch?v=eXXzUzt_nAY |
|
|