| Title | MPS unclear constraints on avgSize argument to PoolMV mps_pool_create |
| Status | open |
| Priority | nice |
| Assigned user | Richard Brooksby |
| Organization | Ravenbrook |
| Description | MPS 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: < http://info.ravenbrook.com/project/mps/master/code/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: < http://info.ravenbrook.com/project/mps/master/example/hello-world/>because it explicitly discusses this misplaced documentation). |
| Analysis | RHSK 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 found | customer |
| Evidence | [Jorge 2006-03-20] <http://info.ravenbrook.com/mail/2006/03/20/22-50-12/0.txt> |
| Observed in | 1.106.1 |
| Introduced in | 1.100.0 |
| Created by | Richard Kistruck |
| Created on | 2006‑05‑15 12:32:15 |
| Last modified by | Gareth Rees |
| Last modified on | 2013‑03‑19 12:02:00 |
| History | 2006-05-15 RHSK Created. 2013-03-19 GDR Assigned to RB. |