| Title | Easy to miss mps_addr_pool |
| Status | closed |
| Priority | nice |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | The Clasp additions to the MPS [1] include a function clasp_pool_of_addr with essentially the same functionality as mps_addr_pool [2]. The latter has been in the MPS since RHSK added it in 2010 [3], so the question is, how DL missed it. |
| Analysis | DL thinks that he may have looked only at mps_arena_has_addr [4], so we could add cross-references back and forth. |
| How found | customer |
| Evidence | [1] https://github.com/clasp-developers/clasp/blob/master/src/gctools/mygc.c[2] https://www.ravenbrook.com/project/mps...al/html/topic/pool.html#c.mps_addr_pool[3] https://info.ravenbrook.com/infosys/cgi/perfbrowse.cgi?%40describe+169907[4] https://www.ravenbrook.com/project/mps...l/topic/arena.html#c.mps_arena_has_addr |
| Created by | Gareth Rees |
| Created on | 2018-06-13 10:00:45 |
| Last modified by | Gareth Rees |
| Last modified on | 2018-06-13 10:56:47 |
| History | 2018-06-13 GDR Created. |
| Change | Effect | Date | User | Description |
|---|---|---|---|---|
| 193721 | closed | 2018-06-13 10:56:47 | Gareth Rees | Add cross-references from mps_arena_has_addr to mps_addr_pool (and vice versa), to decrease the likelihood that developers will miss these functions. |