Title | telemetry system API can corrupt telemetry stream |
Status | open |
Priority | optional |
Assigned user | Richard Brooksby |
Organization | Ravenbrook |
Description | The 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. |
Analysis | See also job003387. |
How found | inspection |
Evidence | I just know. |
Observed in | 1.110.0 |
Created by | Nick Barnes |
Created on | 2012-11-16 14:23:14 |
Last modified by | Gareth Rees |
Last modified on | 2014-04-14 11:26:28 |
History | 2012-11-16 NB Created. 2013-06-16 RB Downgraded to "optional" as there is no evidence that this is affecting anyone (see job003499). |