| Title | Not clear that an assertion handler must not call the MPS |
| Status | closed |
| Priority | optional |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | The 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. |
| Analysis | Add a warning to these sections of the manual. |
| How found | customer |
| 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 by | Gareth Rees |
| Created on | 2015-02-03 14:54:24 |
| Last modified by | Gareth Rees |
| Last modified on | 2015-02-04 09:50:39 |
| History | 2015-02-03 GDR Created. |
| Change | Effect | Date | User | Description |
|---|---|---|---|---|
| 187660 | closed | 2015-02-04 09:50:39 | Gareth Rees | Explain constraints on assertion handlers. |