Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Memprof: fatal error if thread is stopped from a callback. (commit: 97eb98d) (details)
  2. Changes (commit: aa64e70) (details)
  3. Add test statmemprof/thread_exit_in_callback. (commit: 629fae6) (details)
Commit 97eb98db94f71f12cddb2f94324846941b1b3dbc by jacques-henri.jourdan
Memprof: fatal error if thread is stopped from a callback.

This is specified as undefined behavior in gc.mli.

We now use dedicated functions for the interraction between Memprof
and systhreads.
 (commit: 97eb98d)
The file was modifiedruntime/memprof.c (diff)
The file was modifiedruntime/caml/memprof.h (diff)
The file was modifiedotherlibs/systhreads/st_stubs.c (diff)
The file was modifiedChanges (diff)
Commit 629fae6dc4ee8ddf2293232f99f3b4cea4de4445 by jacques-henri.jourdan
Add test statmemprof/thread_exit_in_callback.
 (commit: 629fae6)
The file was addedtestsuite/tests/statmemprof/thread_exit_in_callback.reference
The file was addedtestsuite/tests/statmemprof/thread_exit_in_callback_stub.c
The file was addedtestsuite/tests/statmemprof/thread_exit_in_callback.ml