MPS issue job001154

TitleMPS documentation gives no guidance for when client wants foreign code to use mps-allocated memory
Statusclosed
Priorityessential
Assigned userGareth Rees
OrganizationRavenbrook
DescriptionConfigura 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.
AnalysisWe 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 foundcustomer
EvidenceRaw notes from Configura workshop <http://info.ravenbrook.com/mail/2005/02/28/12-40-49/0.txt>
Observed in1.105.0
Created byRichard Kistruck
Created on2005-03-09 19:10:15
Last modified byGareth Rees
Last modified on2012-11-05 14:38:52
History2005-03-09 RHSK Created.
2012-10-17 GDR Assigned to GDR.

Fixes

Change Effect Date User Description
180304 closed 2012-11-03 18:28:36 Gareth Rees Oops, forgot to check in advanced.rst.