MPS issue job003847

TitleAllocation clock inconsistency in handling of AMC segment padding
Assigned userGareth Rees
DescriptionIn 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.)
AnalysisNone as yet.
How foundinspection
Evidence[1] <>
Created byGareth Rees
Created on2014-06-30 15:55:08
Last modified byGareth Rees
Last modified on2014-06-30 15:55:37
History2014-06-30 GDR Created.