| Title | MMQA function/150.c fails in hot variety on lii6ll |
| Status | closed |
| Priority | essential |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | $ qa run function/150.c FAILED TEST function/150.c harness = 1.0 id = $Id: //info.ravenbrook.com/project/mps/master/test/function/150.c#8 $language = c link = testlib.o rankfmt.o summary = finalization and collection stats SPECIFIED RESULTS collect = true collect_not_condem = 0 completed = yes count1 < 50 count2 < 50 MMQA OPTIONS MPS_INCLUDE_DIR = ../code MPS_LINK_OBJ = ../code/lii6ll/hot/mps.o MPS_PRODUCT = mps PLATFORM = Linux_3.2.0-101-generic_x86_64__unix RESULTS collect = true collect_condemned = 1662976 collect_live = 1600648 collect_not_condem = 4096 completed = yes count1 = 0 count2 = 0 seconds = 0 CONCLUSION FAIL failed on collect_not_condemned: wanted = 0, was 4096 |
| Analysis | The AWL pool contains only weak references to objects that died, so the MPS may be able to correctly determine that it does not need to be condemned, even in order to collect the world. |
| How found | automated_test |
| Evidence | See Description. |
| Created by | Gareth Rees |
| Created on | 2016-09-07 10:19:00 |
| Last modified by | Gareth Rees |
| Last modified on | 2016-09-07 10:20:39 |
| History | 2016-09-07 GDR Created. |
| Change | Effect | Date | User | Description |
|---|---|---|---|---|
| 192226 | closed | 2016-09-07 10:20:39 | Gareth Rees | The AWL pool contains only weak references to objects that died, so the MPS may be able to deduce (via its summary) that it does not need to be condemned, even to collect the world. |