search

ocaml-multicore / reagents

Reagents for multicore OCaml
ISC License
125 stars 6 forks source link

Dining philosophers deadlocks for large inputs #10

Closed kayceesrk closed 8 years ago

kayceesrk commented 8 years ago

On the 48-core machine, ./dining_philosophers.native 8 100 deadlocks. This is most likely a bug in the channel implementation.

philipdexter commented 8 years ago

On my 4-core machine, ./dining_philosophers.native 200 1 deadlocks (sometimes)

Edit:

And sometimes it crashes with

Fatal error: exception Failure("CAS.kCAS: broken invariant")