Coq Topic Working Group Multicore

• branch: https://github.com/ejgallego/coq/tree/ocaml+multicore

• bugs: https://github.com/ocaml-multicore/ocaml-multicore/issues/646

• functional / thread-safe handling of state

• https://github.com/ocaml-multicore/multicore-opam#install-multicore-ocaml

• https://github.com/ocaml-multicore/ocaml-multicore/

• https://github.com/ocaml-multicore/ocaml-multicore/blob/master/stdlib/domain.mli

• https://github.com/ocaml-multicore/domainslib

• https://github.com/ocaml-multicore/domainslib/blob/master/lib/task.mli

• sandmark link?

• porting vm / native to the multicore / OCaml 5.0 runtime what are the limitations?

  • should we split the vm to its own lib, so we can provide fallbacks linking wise?

  • what's a strategy to port?