Title | MPS_TELEMETRY_CONTROL=65535 is ugly and not future-proof |
Status | closed |
Priority | optional |
Assigned user | Richard Brooksby |
Organization | Ravenbrook |
Description | If you want to see all events in the telemetry stream, you have to turn them all on in the telemetry filter. The recommended way to do this seems to be to set MPS_TELEMETRY_CONTROL=65535 but it is not clear what it means (turn on the first 16 event categories?) and hard to document. Also it is not future-proof: should there ever be more than 16 event categories it would go wrong. If we are recommending that people put this kind of thing in their .gdbinit file, we should have something better than this. |
Analysis | Perhaps just support MPS_TELEMETRY_CONTROL=all RB thought that there might be a slippery slope here: if we allow this, then we'll have to allow MPS_TELEMETRY_CONTROL=all-Arena+ArenaAlloc or whatever, but I think that's unlikely. However, while we're bike-shedding, I think the event categories should be made case-insensitive, so that you can write MPS_TELEMETRY_CONTROL="arena pool" instead of this meaning "no events" as at present. |
How found | inspection |
Evidence | Pers. comm. from RB. |
Observed in | 1.110.0 |
Created by | Gareth Rees |
Created on | 2012-10-23 15:58:51 |
Last modified by | Nick Barnes |
Last modified on | 2012-10-26 13:04:27 |
History | 2012-10-23 GDR Created. |
Change | Effect | Date | User | Description |
---|---|---|---|---|
180098 | closed | 2012-10-26 13:03:44 | Nick Barnes | Make MPS_TELEMETRY_CONTROL case-insensitive, and make it accept "all" as an event class. |