| Title | Allocation clock inconsistency in handling of AMC segment padding |
| Status | open |
| Priority | nice |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | In a normal AMC segment, the whole segment is added to the allocation clock (in BufferAttach), and the padding object at the end of the segment continues to contribute to the clock. But in a "large" AMC segment, only the allocated object is added to the allocation clock: the padding object does not. (Because the returned buffer is only just big enough for the allocated object [1].) This is inconsistent. It's not clear what, if anything, can go wrong because of this inconsistency. Need to do the analysis and find out. (This was noted during the analysis of job003845.) |
| Analysis | None as yet. |
| How found | inspection |
| Evidence | [1] <https://info.ravenbrook.com/project/mps/master/code/poolamc.c#line-1073> |
| Created by | Gareth Rees |
| Created on | 2014-06-30 15:55:08 |
| Last modified by | Gareth Rees |
| Last modified on | 2014-06-30 15:55:37 |
| History | 2014-06-30 GDR Created. |