diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-10-22T14·47+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-10-22T14·47+0000 |
| commit | 41c45a9b319a5578e2731505ca3de2b9c50b4988 (patch) | |
| tree | 8bc5da0b8bcb62393a7f143611d6627b03589400 /aterm-gc.supp | |
| parent | 64c3325b0bef8c0234bf797033e129323b36ad1e (diff) | |
* Store Value nodes outside of attribute sets. I.e., Attr now stores
a pointer to a Value, rather than the Value directly. This improves the effectiveness of garbage collection a lot: if the Value is stored inside the set directly, then any live pointer to the Value causes all other attributes in the set to be live as well.
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions