| Title | MPS documentation gives no guidance for when client wants foreign code to use mps-allocated memory |
| Status | closed |
| Priority | essential |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | Configura want to make a certain third-party plugin use mps-allocated memory. Managing its lifetime is tricky. There is a good trick (that we should document): DRJ's "two-stage solution" in <http://info.ravenbrook.com/mail/2005/02/28/12-40-49/0.txt>. (Trick: manually free, but also have finalisation to free it if you forget). There may be more we should document. |
| Analysis | We should talk to Configura to learn what issues they faced, and still face, doing this. We should write and publish documentation that helps MPS client programmers get this right. |
| How found | customer |
| Evidence | Raw notes from Configura workshop <http://info.ravenbrook.com/mail/2005/02/28/12-40-49/0.txt> |
| Observed in | 1.105.0 |
| Created by | Richard Kistruck |
| Created on | 2005-03-09 19:10:15 |
| Last modified by | Gareth Rees |
| Last modified on | 2012-11-05 14:38:52 |
| History | 2005-03-09 RHSK Created. 2012-10-17 GDR Assigned to GDR. |
| Change | Effect | Date | User | Description |
|---|---|---|---|---|
| 180304 | closed | 2012-11-03 18:28:36 | Gareth Rees | Oops, forgot to check in advanced.rst. |