MPS issue job003388

Titletelemetry system API can corrupt telemetry stream
Assigned userRichard Brooksby
DescriptionThe public API of the telemetry system does not take any lock (e.g. ArenaEnter) but both reads and writes the telemetry system data structures, and so can get into a race either with the MPS or with itself. For instance, mps_telemetry_intern() emits an event.
AnalysisSee also job003387.
How foundinspection
EvidenceI just know.
Observed in1.110.0
Created byNick Barnes
Created on2012-11-16 14:23:14
Last modified byGareth Rees
Last modified on2014-04-14 11:26:28
History2012-11-16 NB Created.
2013-06-16 RB Downgraded to "optional" as there is no evidence that this is affecting anyone (see job003499).