| Title | No check that collecting a generation reduces its "new size" to zero |
| Status | closed |
| Priority | optional |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | Collecting a generation must reduce its new size to zero (otherwise it might still be over its capacity and so cause the policy to get stuck as described in job004007). There should be an assertion to this effect. |
| Analysis | There's no point the collection cycle where this can be checked, because allocation between flip and reclaim is accounted as "new". |
| How found | inspection |
| Evidence | None as yet. |
| Created by | Gareth Rees |
| Created on | 2016-04-19 16:16:53 |
| Last modified by | Gareth Rees |
| Last modified on | 2016-04-22 10:22:20 |
| History | 2016-04-19 GDR Created. 2016-04-22 GDR Closed as invalid (see analysis). |