| Title | AMS and AWL don't update summaries of condemned segments |
| Status | open |
| Priority | nice |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | Scans of condemned (white) AMS and AWL segments are always "partial" scans, and so the summary of the segment is never updated. This may result in unnecessary scanning (because the MPS always thinks the segment might refer to the white set). |
| Analysis | It would be possible for AMS and AWL to maintain a "running" summary in the segment. Whiten would set the running summary to RefSetEMPTY. Scan would union the running summary with the references found in the scan. Finally in Reclaim the running summary could be passed to SegSetSummary. A slight wrinkle here is that this running summary would have to be per-trace. RB suggests that we could store a RefSet runningSummary[TraceLIMIT] in the segment. (Since TraceLIMIT is 1 at present, this doesn't waste space.) |
| How found | inspection |
| Evidence | None |
| Created by | Gareth Rees |
| Created on | 2014-05-13 22:34:17 |
| Last modified by | Gareth Rees |
| Last modified on | 2014-06-19 22:16:45 |
| History | 2014-05-13 GDR Created. |