Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(339)

Unified Diff: src/heap/mark-compact.cc

Issue 2045263002: [heap] Avoid the use of cells to point from code to new-space objects. (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: Created 4 years, 6 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: src/heap/mark-compact.cc
diff --git a/src/heap/mark-compact.cc b/src/heap/mark-compact.cc
index 48d66ac2f2f1c2f3e092e4ce3e4269049bb77d65..8ce73b31bc00ec1ab57e6044dbe589242f1b566b 100644
--- a/src/heap/mark-compact.cc
+++ b/src/heap/mark-compact.cc
@@ -1563,6 +1563,7 @@ class RecordMigratedSlotVisitor final : public ObjectVisitor {
DCHECK(RelocInfo::IsCodeTarget(rinfo->rmode()));
Code* target = Code::GetCodeFromTargetAddress(rinfo->target_address());
Code* host = rinfo->host();
+ collector_->heap()->RecordWriteIntoCode(host, rinfo, target);
ulan 2016/06/09 14:45:22 Replace it with a comment that we don't need to re
ahaas 2016/06/10 11:00:34 done.
collector_->RecordRelocSlot(host, rinfo, target);
}
@@ -1571,6 +1572,7 @@ class RecordMigratedSlotVisitor final : public ObjectVisitor {
rinfo->IsPatchedDebugBreakSlotSequence());
Code* target = Code::GetCodeFromTargetAddress(rinfo->debug_call_address());
Code* host = rinfo->host();
+ collector_->heap()->RecordWriteIntoCode(host, rinfo, target);
ulan 2016/06/09 14:45:22 ditto
ahaas 2016/06/10 11:00:34 done.
collector_->RecordRelocSlot(host, rinfo, target);
}
@@ -1578,6 +1580,7 @@ class RecordMigratedSlotVisitor final : public ObjectVisitor {
DCHECK(rinfo->rmode() == RelocInfo::EMBEDDED_OBJECT);
HeapObject* object = HeapObject::cast(rinfo->target_object());
Code* host = rinfo->host();
+ collector_->heap()->RecordWriteIntoCode(host, rinfo, object);
collector_->RecordRelocSlot(host, rinfo, object);
}
@@ -1585,6 +1588,7 @@ class RecordMigratedSlotVisitor final : public ObjectVisitor {
DCHECK(rinfo->rmode() == RelocInfo::CELL);
Cell* cell = rinfo->target_cell();
Code* host = rinfo->host();
+ collector_->heap()->RecordWriteIntoCode(host, rinfo, cell);
ulan 2016/06/09 14:45:22 ditto
ahaas 2016/06/10 11:00:34 done.
collector_->RecordRelocSlot(host, rinfo, cell);
}
@@ -2448,6 +2452,33 @@ void MarkCompactCollector::MarkDependentCodeForDeoptimization(
current = current->next_link();
}
+ {
+ ArrayList* list = heap_->weak_new_space_object_to_code_list();
+ int counter = 0;
+ for (int i = 0; i < list->Length(); i += 2) {
+ WeakCell* obj = WeakCell::cast(list->Get(i));
+ WeakCell* dep = WeakCell::cast(list->Get(i + 1));
+ if (obj->cleared() || dep->cleared()) {
+ if (!dep->cleared()) {
+ Code* code = Code::cast(dep->value());
+ if (!code->marked_for_deoptimization()) {
+ DependentCode::SetMarkedForDeoptimization(
+ code, DependentCode::DependencyGroup::kWeakCodeGroup);
+ code->InvalidateEmbeddedObjects();
+ have_code_to_deoptimize_ = true;
+ }
+ }
+ } else {
+ list->Set(counter, obj, SKIP_WRITE_BARRIER);
titzer 2016/06/09 11:10:21 I don't understand why this is a SKIP_WRITE_BARRIE
ahaas 2016/06/09 11:20:40 We skip the write barrier because this code is exe
ulan 2016/06/09 14:45:22 Yes, the barrier will bailout because marking is f
titzer 2016/06/10 13:27:06 Let's add a comment to document this.
+ RecordSlot(list, list->Slot(counter), obj);
+ counter++;
+ list->Set(counter, dep, SKIP_WRITE_BARRIER);
+ RecordSlot(list, list->Slot(counter), dep);
+ counter++;
+ }
+ }
+ }
+
WeakHashTable* table = heap_->weak_object_to_code_table();
uint32_t capacity = table->Capacity();
for (uint32_t i = 0; i < capacity; i++) {
@@ -2792,30 +2823,16 @@ void MarkCompactCollector::AbortTransitionArrays() {
heap()->set_encountered_transition_arrays(Smi::FromInt(0));
}
-static inline SlotType SlotTypeForRMode(RelocInfo::Mode rmode) {
- if (RelocInfo::IsCodeTarget(rmode)) {
- return CODE_TARGET_SLOT;
- } else if (RelocInfo::IsCell(rmode)) {
- return CELL_TARGET_SLOT;
- } else if (RelocInfo::IsEmbeddedObject(rmode)) {
- return EMBEDDED_OBJECT_SLOT;
- } else if (RelocInfo::IsDebugBreakSlot(rmode)) {
- return DEBUG_TARGET_SLOT;
- }
- UNREACHABLE();
- return NUMBER_OF_SLOT_TYPES;
-}
-
void MarkCompactCollector::RecordRelocSlot(Code* host, RelocInfo* rinfo,
Object* target) {
Page* target_page = Page::FromAddress(reinterpret_cast<Address>(target));
Page* source_page = Page::FromAddress(reinterpret_cast<Address>(host));
- RelocInfo::Mode rmode = rinfo->rmode();
if (target_page->IsEvacuationCandidate() &&
(rinfo->host() == NULL ||
!ShouldSkipEvacuationSlotRecording(rinfo->host()))) {
+ RelocInfo::Mode rmode = rinfo->rmode();
Address addr = rinfo->pc();
- SlotType slot_type = SlotTypeForRMode(rmode);
+ SlotType slot_type = SlotTypeForRelocInfoMode(rmode);
if (rinfo->IsInConstantPool()) {
addr = rinfo->constant_pool_entry_address();
if (RelocInfo::IsCodeTarget(rmode)) {
@@ -3432,6 +3449,12 @@ int MarkCompactCollector::Sweeper::RawSweep(PagedSpace* space, Page* p,
}
void MarkCompactCollector::InvalidateCode(Code* code) {
+ Page* page = Page::FromAddress(code->address());
+ Address start = code->instruction_start();
+ Address end = code->address() + code->Size();
+
+ RememberedSet<OLD_TO_NEW>::RemoveRangeTyped(page, start, end);
+
if (heap_->incremental_marking()->IsCompacting() &&
!ShouldSkipEvacuationSlotRecording(code)) {
DCHECK(compacting_);
@@ -3443,11 +3466,7 @@ void MarkCompactCollector::InvalidateCode(Code* code) {
// Ignore all slots that might have been recorded in the body of the
// deoptimized code object. Assumption: no slots will be recorded for
// this object after invalidating it.
- Page* page = Page::FromAddress(code->address());
- Address start = code->instruction_start();
- Address end = code->address() + code->Size();
RememberedSet<OLD_TO_OLD>::RemoveRangeTyped(page, start, end);
- RememberedSet<OLD_TO_NEW>::RemoveRangeTyped(page, start, end);
}
}
@@ -3993,6 +4012,7 @@ void MarkCompactCollector::RecordCodeTargetPatch(Address pc, Code* target) {
MarkBit mark_bit = Marking::MarkBitFrom(host);
if (Marking::IsBlack(mark_bit)) {
RelocInfo rinfo(isolate(), pc, RelocInfo::CODE_TARGET, 0, host);
+ heap()->RecordWriteIntoCode(host, &rinfo, target);
ulan 2016/06/09 14:45:22 ditto
ahaas 2016/06/10 11:00:34 done.
RecordRelocSlot(host, &rinfo, target);
}
}

Powered by Google App Engine
This is Rietveld 408576698