| Title | MPS condemns too many segments and takes too long to find them |
| Status | closed |
| Priority | optional |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | When starting a trace the MPS decides which generations to condemn. But it does not just condemn those generations: it condemns all segments that share a zone with any segment that has ever been allocated in any of those generations. This may lead to condemned sets that are much bigger than the generations that were selected to be condemned. Moreover, the segments in the condemned zones are selected by iterating over all segments in the MPS, even if only a few segments are actually condemned. |
| Analysis | By keeping a ring of segments in each generation, we could arrange to condemn just the segments in a generation, and to do so in time proportional to the number of segments being condemned. |
| How found | inspection |
| Evidence | None as yet. |
| Created by | Gareth Rees |
| Created on | 2016-04-12 18:38:18 |
| Last modified by | Gareth Rees |
| Last modified on | 2016-04-20 17:51:09 |
| History | 2016-04-12 GDR Created. |
| Change | Effect | Date | User | Description |
|---|---|---|---|---|
| 191034 | closed | 2016-04-12 19:42:03 | Gareth Rees | Condemn only the segments in the selected generations (not segments that happen to share a zone with any segment ever allocated in the generation). |