2013-05-11 22:02:39 -04:00
|
|
|
namespace factor {
|
2009-10-07 16:48:09 -04:00
|
|
|
|
|
|
|
struct full_policy {
|
2013-05-11 22:02:39 -04:00
|
|
|
factor_vm* parent;
|
|
|
|
tenured_space* tenured;
|
|
|
|
|
2013-05-12 23:20:43 -04:00
|
|
|
explicit full_policy(factor_vm* parent)
|
|
|
|
: parent(parent), tenured(parent->data->tenured) {}
|
2013-05-11 22:02:39 -04:00
|
|
|
|
|
|
|
bool should_copy_p(object* untagged) {
|
|
|
|
return !tenured->contains_p(untagged);
|
|
|
|
}
|
|
|
|
|
|
|
|
void promoted_object(object* obj) {
|
2015-01-13 22:11:49 -05:00
|
|
|
tenured->state.set_marked_p((cell)obj, obj->size());
|
2013-05-13 00:53:47 -04:00
|
|
|
parent->mark_stack.push_back((cell)obj);
|
2013-05-11 22:02:39 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
void visited_object(object* obj) {
|
2015-01-13 22:11:49 -05:00
|
|
|
if (!tenured->state.marked_p((cell)obj))
|
2013-05-11 22:02:39 -04:00
|
|
|
promoted_object(obj);
|
|
|
|
}
|
2009-11-23 19:51:08 -05:00
|
|
|
};
|
|
|
|
|
2009-10-07 16:48:09 -04:00
|
|
|
}
|