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

Unified Diff: src/heap/incremental-marking.cc

Issue 2857713002: [heap] Make non-atomic markbit operations consistent with atomic ones. (Closed)
Patch Set: remove dcheck Created 3 years, 8 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/incremental-marking.cc
diff --git a/src/heap/incremental-marking.cc b/src/heap/incremental-marking.cc
index 856819d37df7a40b5dea7dc79b65bbf18e2ecab7..585fdfc9723472f5e34633e71e08690bb938cadb 100644
--- a/src/heap/incremental-marking.cc
+++ b/src/heap/incremental-marking.cc
@@ -48,9 +48,7 @@ bool IncrementalMarking::BaseRecordWrite(HeapObject* obj, Object* value) {
DCHECK(!ObjectMarking::IsImpossible(obj, marking_state(obj)));
const bool is_black = ObjectMarking::IsBlack(obj, marking_state(obj));
- if (is_black &&
- ObjectMarking::IsWhite(value_heap_obj, marking_state(value_heap_obj))) {
- WhiteToGreyAndPush(value_heap_obj);
+ if (is_black && WhiteToGreyAndPush(value_heap_obj)) {
RestartIfNotMarking();
}
return is_compacting_ && is_black;
@@ -121,9 +119,12 @@ void IncrementalMarking::RecordWriteIntoCodeSlow(Code* host, RelocInfo* rinfo,
}
}
-void IncrementalMarking::WhiteToGreyAndPush(HeapObject* obj) {
- ObjectMarking::WhiteToGrey(obj, marking_state(obj));
- marking_deque()->Push(obj);
+bool IncrementalMarking::WhiteToGreyAndPush(HeapObject* obj) {
+ if (ObjectMarking::WhiteToGrey(obj, marking_state(obj))) {
+ marking_deque()->Push(obj);
+ return true;
+ }
+ return false;
}
void IncrementalMarking::TransferMark(Heap* heap, HeapObject* from,
@@ -144,9 +145,13 @@ void IncrementalMarking::TransferMark(Heap* heap, HeapObject* from,
MarkBit old_mark_bit = ObjectMarking::MarkBitFrom(from, marking_state(from));
if (Marking::IsBlack(old_mark_bit)) {
- Marking::MarkBlack(new_mark_bit);
+ bool success = Marking::WhiteToBlack(new_mark_bit);
+ DCHECK(success);
+ USE(success);
} else if (Marking::IsGrey(old_mark_bit)) {
- Marking::WhiteToGrey(new_mark_bit);
+ bool success = Marking::WhiteToGrey(new_mark_bit);
+ DCHECK(success);
+ USE(success);
marking_deque()->Push(to);
RestartIfNotMarking();
}
@@ -218,12 +223,9 @@ class IncrementalMarkingMarkingVisitor
// Mark the object grey if it is white, do not enque it into the marking
// deque.
Heap* heap = map->GetHeap();
- if (ObjectMarking::IsWhite(
- heap_obj,
- heap->incremental_marking()->marking_state(heap_obj))) {
- ObjectMarking::WhiteToGrey(
- heap_obj, heap->incremental_marking()->marking_state(heap_obj));
- }
+ bool ignored = ObjectMarking::WhiteToGrey(
+ heap_obj, heap->incremental_marking()->marking_state(heap_obj));
+ USE(ignored);
}
}
VisitNativeContext(map, context);
@@ -250,21 +252,15 @@ class IncrementalMarkingMarkingVisitor
// Marks the object grey and pushes it on the marking stack.
INLINE(static void MarkObject(Heap* heap, Object* obj)) {
- heap->incremental_marking()->MarkGrey(HeapObject::cast(obj));
+ heap->incremental_marking()->WhiteToGreyAndPush(HeapObject::cast(obj));
}
// Marks the object black without pushing it on the marking stack.
// Returns true if object needed marking and false otherwise.
INLINE(static bool MarkObjectWithoutPush(Heap* heap, Object* obj)) {
HeapObject* heap_object = HeapObject::cast(obj);
- if (ObjectMarking::IsWhite(
- heap_object,
- heap->incremental_marking()->marking_state(heap_object))) {
- ObjectMarking::WhiteToBlack(
- heap_object, heap->incremental_marking()->marking_state(heap_object));
- return true;
- }
- return false;
+ return ObjectMarking::WhiteToBlack(
+ heap_object, heap->incremental_marking()->marking_state(heap_object));
}
};
@@ -276,7 +272,7 @@ void IncrementalMarking::IterateBlackObject(HeapObject* object) {
page->ResetProgressBar();
}
Map* map = object->map();
- MarkGrey(map);
+ WhiteToGreyAndPush(map);
IncrementalMarkingMarkingVisitor::IterateBody(map, object);
}
}
@@ -300,7 +296,7 @@ class IncrementalMarkingRootMarkingVisitor : public RootVisitor {
Object* obj = *p;
if (!obj->IsHeapObject()) return;
- heap_->incremental_marking()->MarkGrey(HeapObject::cast(obj));
+ heap_->incremental_marking()->WhiteToGreyAndPush(HeapObject::cast(obj));
}
Heap* heap_;
@@ -678,7 +674,7 @@ void IncrementalMarking::RetainMaps() {
if (i >= number_of_disposed_maps && !map_retaining_is_disabled &&
ObjectMarking::IsWhite(map, marking_state(map))) {
if (ShouldRetainMap(map, age)) {
- MarkGrey(map);
+ WhiteToGreyAndPush(map);
}
Object* prototype = map->prototype();
if (age > 0 && prototype->IsHeapObject() &&
@@ -798,7 +794,7 @@ void IncrementalMarking::UpdateMarkingDequeAfterScavenge() {
void IncrementalMarking::VisitObject(Map* map, HeapObject* obj, int size) {
- MarkGrey(map);
+ WhiteToGreyAndPush(map);
IncrementalMarkingMarkingVisitor::IterateBody(map, obj);
@@ -809,17 +805,6 @@ void IncrementalMarking::VisitObject(Map* map, HeapObject* obj, int size) {
(chunk->IsFlagSet(MemoryChunk::HAS_PROGRESS_BAR) &&
Marking::IsBlack(mark_bit)));
#endif
- MarkBlack(obj, size);
-}
-
-void IncrementalMarking::MarkGrey(HeapObject* object) {
- if (ObjectMarking::IsWhite(object, marking_state(object))) {
- WhiteToGreyAndPush(object);
- }
-}
-
-void IncrementalMarking::MarkBlack(HeapObject* obj, int size) {
- if (ObjectMarking::IsBlack(obj, marking_state(obj))) return;
ObjectMarking::GreyToBlack(obj, marking_state(obj));
}
@@ -888,9 +873,9 @@ void IncrementalMarking::Hurry() {
HeapObject* cache = HeapObject::cast(
Context::cast(context)->get(Context::NORMALIZED_MAP_CACHE_INDEX));
if (!cache->IsUndefined(heap_->isolate())) {
- if (ObjectMarking::IsGrey(cache, marking_state(cache))) {
- ObjectMarking::GreyToBlack(cache, marking_state(cache));
- }
+ // Mark the cache black if it is grey.
+ bool ignored = ObjectMarking::GreyToBlack(cache, marking_state(cache));
+ USE(ignored);
Hannes Payer (out of office) 2017/05/03 08:29:05 Do you want to DCHECK ignored?
}
context = Context::cast(context)->next_context_link();
}

Powered by Google App Engine
This is Rietveld 408576698