Updates:
Status: WorkingAsIntended
Comment #2 on issue 1668 by [email protected]: NewGC: DoStoreNamedField
need a write barrier for the map
http://code.google.com/p/v8/issues/detail?id=1668
I don't think we need a write barrier here. Reasoning:
- generational wb is not required because map is never in new space.
- compaction write barrier is not required because map space is not
compacted;
- incremental marking write barrier is not required because if object is
black then it's map M before mov was grey (invariant of the marking), if
map was grey then map M' = instr->transition() will be marked because M' is
reachable from M through transition tree;
--
v8-dev mailing list
[email protected]
http://groups.google.com/group/v8-dev