MPS issue job003908

TitleNot clear that an assertion handler must not call the MPS
Statusclosed
Priorityoptional
Assigned userGareth Rees
OrganizationRavenbrook
DescriptionThe installed assertion handler is likely to be called with the arena lock held, and so it must not call into the MPS, or hit barriers, so in general they can't access parts of the heap that might be protected by the MPS. However, the documentation for mps_lib_assert_fail [1] and mps_lib_assert_fail_install [2] doesn't make this clear.
AnalysisAdd a warning to these sections of the manual.
How foundcustomer
Evidence[1] http://www.ravenbrook.com/project/mps/...topic/plinth.html#c.mps_lib_assert_fail
[2] http://www.ravenbrook.com/project/mps/...inth.html#c.mps_lib_assert_fail_install
Created byGareth Rees
Created on2015-02-03 14:54:24
Last modified byGareth Rees
Last modified on2015-02-04 09:50:39
History2015-02-03 GDR Created.

Fixes

Change Effect Date User Description
187660 closed 2015-02-04 09:50:39 Gareth Rees Explain constraints on assertion handlers.