MPS issue job003508

TitleLittle in manual about in-band headers
Statusopen
Prioritynice
Assigned userGareth Rees
OrganizationRavenbrook
DescriptionThe manual doesn't have much to say about in-band headers. RB says [1]: "the manual could do with some diagrams for things like in-band headers"
AnalysisThere needs to be a section in the user guide but we don't have any example code yet that illustrates it. (There's Open Dylan, but that's not suitable as a pedagogical example.)

We expect that this feature will be useful in these cases:

1. tagged pointers;
2. malloc placeholder that stores the block size in the header

(I would have liked to illustrate with a "conservative collector" but can't do this because none of the pools support scanning of ambiguous references!)
How foundinspection
Evidence[1] <https://info.ravenbrook.com/mail/2013/06/06/12-03-00/0/>
Observed in1.111.0
Created byGareth Rees
Created on2013-06-06 14:19:54
Last modified byGareth Rees
Last modified on2013-06-06 14:33:32
History2013-06-06 GDR Created.