Calling instantaneous_domain_index () may fail during at_exit processing
#12
Comments
polytypic
added a commit
to ocaml-multicore/picos
that referenced
this issue
Jun 3, 2024
See: ocaml-multicore/multicore-magic#12 By getting the index at `create` the `Domain.at_exit` cleanup is hopefully allocated early enough.
polytypic
added a commit
to ocaml-multicore/picos
that referenced
this issue
Jun 3, 2024
See: ocaml-multicore/multicore-magic#12 By getting the index at `create` the `Domain.at_exit` cleanup is hopefully allocated early enough.
polytypic
added a commit
to ocaml-multicore/picos
that referenced
this issue
Jun 3, 2024
See: ocaml-multicore/multicore-magic#12 By getting the index at `create` the `Domain.at_exit` cleanup is hopefully registered early enough.
polytypic
added a commit
to ocaml-multicore/picos
that referenced
this issue
Jun 3, 2024
See: ocaml-multicore/multicore-magic#12 By getting the index at `create` the `Domain.at_exit` cleanup is hopefully registered early enough.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Currently
instantaneous_domain_index ()raises an exception in case the domain on which the call is made is in the process of exiting. This should not normally cause problems, but can be problematic during bothStdlib.at_exitandDomain.at_exitprocessing.The reason for this behavior is the need to keep track of how many domains exist. The mechanism registers a
Domain.at_exitaction that reduces the count of domains so that optimal and correct indices can be returned.The text was updated successfully, but these errors were encountered: