forked from ivmai/bdwgc
-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add tag for tracking if object is RAII'd or GC'd
To support finalizer elison in Alloy, we need a new way to differentiate between RAII (non-GC'd) and GC'd objects such that this status can be changed dynamically. Currently in BDWGC, if we use GC_malloc and GC_malloc_uncollectable for this distinction, there is no way to change this after an object has been allocated. Using a spare bit in the mark header is a convenient way for us to tell the sweep phase whether or not an object should be considered garbage or whether it is uncollectable while allowing it to be changed in the future.
- Loading branch information
1 parent
a69f8b7
commit dc594e7
Showing
3 changed files
with
51 additions
and
3 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters