Skip to content

is_live is buggy for generational plans #1422

@qinsoon

Description

@qinsoon

For nursery GCs in generational plans, objects that are not in the nursery space are not traced (e.g. nonmoving space, immortal space, mature space, etc). Thus MMTk does not know whether it is live or not. However, MMTk should conservatively return true for those objects, as they may be alive.

Currently most spaces return is_live by checking the object is marked or not, and ignore the fact that it is a nursery GC, those objects will not be traced and the mark bit does not tell whether the object is alive or not.

Metadata

Metadata

Assignees

No one assigned

    Labels

    C-bugCategory: Bug

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions