MPS issue job003895

TitleNo interface to logging control
Statusopen
Prioritynice
Assigned userGareth Rees
OrganizationRavenbrook
DescriptionBuffers have a mechanism for logging, whereby the buffer remains permanently trapped, so that all reserves and commits enter the MPM, and whereby the buffer emits telemetry events. This is controlled by a global flag: see design.mps.buffer.logging.control [1]. But there is no documented interface.
AnalysisSolution ideas:
1. Provide a keyword argument to mps_arena_create_k. A bit heavyweight.
2. Provide an interface for turning it on and off. (Perhaps via a general mechanism as suggested by job003448 and job003750.)
3. Just document what someone can type at the debugger prompt.
How foundinspection
Evidence[1] http://www.ravenbrook.com/project/mps/...uffer#design.mps.buffer.logging.control
Created byGareth Rees
Created on2014-11-01 10:40:17
Last modified byGareth Rees
Last modified on2014-11-05 21:17:27
History2014-11-01 GDR Created.