| Title | No systematic interface to size of pools |
| Status | closed |
| Priority | nice |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | The external interface has functions for getting the total size (mps_mv_size, mps_mvt_size, mps_mvff_size) and the free size (mps_mv_free_size, mps_mvt_free_size, mps_mvff_free_size), of some of the manual pool classes. This interface is not systematic. |
| Analysis | The functions should be called mps_pool_total_size and mps_pool_free_size, and they should dispatch via the pool class. The interface should return a mps_res_t because some pools may not implement the feature. Once the Land abstraction on branch/2014-03-30/addrset (job003684) has been merged, it will be possible to get the free size of the manual pool classes by calling LandSize for the pool's free land. In addition, once the MVFF tuning on branch/2014-02-23/mvff-tune has been merged, it will be possible to get the total size of MVFF pools by calling LandSize for the pool's allocated land. Once the accounting changes on branch/2014-04-23/awl (job003772) have been merged, it will be possible to get the total size of the automated pool classes (and the free size in the cool variety) by adding up the sizes for the pool's generations. |
| How found | inspection |
| Evidence | None |
| Test procedure | apss, mpmss |
| Created by | Gareth Rees |
| Created on | 2014-05-11 23:15:51 |
| Last modified by | Gareth Rees |
| Last modified on | 2014-10-20 17:33:13 |
| History | 2014-05-11 GDR Created. |
| Change | Effect | Date | User | Description |
|---|---|---|---|---|
| 186540 | closed | 2014-06-12 16:51:34 | Gareth Rees | Merged branch/2014-05-15/size into the master sources. |