MPS issue job001571

TitleMPS multiple traces would not work
Statusopen
Prioritynice
Assigned userRichard Brooksby
OrganizationRavenbrook
DescriptionMPS multiple traces would not work

See also:
  request.mps.160020 <http://info.ravenbrook.com/project/mps.../mmprevol/request/mps/160020/index.html>

RHSK 2006-12-28
This job records some of the MPS design & code changes that would be needed to permit multiple simultaneous traces.

(Currently (2006) support for multiple traces is incomplete, and only one trace exists at a time. See design/trace/#instance.limit, and TRACE_MAX.)
Analysis.grey-move: Trace 1 keeps track of grey objects by listing their segments in the greylist. Trace 2 may forward a grey-for-trace-1 object out of that segment and into a different one. Trace 1 will encounter a forwarding object (broken heart): this case is not currently handled. RHSK 2006-12-28.
How foundinspection
EvidenceNone
Observed in1.107.0
Created byRichard Kistruck
Created on2006-12-28 15:10:56
Last modified byGareth Rees
Last modified on2014-04-14 10:26:57
History2006-12-28 RHSK Created: xref request.mps.160020; .grey-move.
2013-03-19 GDR Assigned to RB.