MPS issue job001384

TitleMPS unclear constraints on avgSize argument to PoolMV mps_pool_create
Assigned userRichard Brooksby
DescriptionMPS unclear constraints on avgSize argument to PoolMV mps_pool_create

RHSK 2006-05-15
As reported by [Jorge 2006-03-20], the comment in poolmv.h:
says "avgSize must not be less than extendBy".
This is wrong.

Furthermore: it is not clear what the constraint should be (see
Analysis below).

Furthermore: all this documentation should be put into the reference
manual. (Note: If you do this, you will need to update the
hello-world example in:
because it explicitly discusses this misplaced documentation).
AnalysisRHSK 2006-05-15
There is an aver in poolmv.c:
  AVER(avgSize <= extendBy);
Is this the true constraint? Probably.
But we should check it through visually with the rest of the code.
How foundcustomer
Evidence[Jorge 2006-03-20] <>
Observed in1.106.1
Introduced in1.100.0
Created byRichard Kistruck
Created on2006-05-15 12:32:15
Last modified byGareth Rees
Last modified on2014-04-10 15:37:03
History2006-05-15 RHSK Created.
2013-03-19 GDR Assigned to RB.


Change Effect Date User Description
185432 closed 2014-04-10 15:36:51 Gareth Rees Document the constraints on the mean and maximum size arguments to the MV pool class. Remove documentation from poolmv.h: this is in the manual now.