Fix debug builds.

Review URL: http://codereview.chromium.org/113462

git-svn-id: http://v8.googlecode.com/svn/branches/bleeding_edge@1976 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
parent cadd98f8
...@@ -191,6 +191,27 @@ void Heap::CopyBlock(Object** dst, Object** src, int byte_size) { ...@@ -191,6 +191,27 @@ void Heap::CopyBlock(Object** dst, Object** src, int byte_size) {
} }
void Heap::ScavengeObject(HeapObject** p, HeapObject* object) {
ASSERT(InFromSpace(object));
// We use the first word (where the map pointer usually is) of a heap
// object to record the forwarding pointer. A forwarding pointer can
// point to an old space, the code space, or the to space of the new
// generation.
MapWord first_word = object->map_word();
// If the first word is a forwarding address, the object has already been
// copied.
if (first_word.IsForwardingAddress()) {
*p = first_word.ToForwardingAddress();
return;
}
// Call the slow part of scavenge object.
return ScavengeObjectSlow(p, object);
}
Object* Heap::GetKeyedLookupCache() { Object* Heap::GetKeyedLookupCache() {
if (keyed_lookup_cache()->IsUndefined()) { if (keyed_lookup_cache()->IsUndefined()) {
Object* obj = LookupCache::Allocate(4); Object* obj = LookupCache::Allocate(4);
......
...@@ -569,7 +569,7 @@ class PromotionQueue { ...@@ -569,7 +569,7 @@ class PromotionQueue {
// Shared state read by the scavenge collector and set by ScavengeObject. // Shared state read by the scavenge collector and set by ScavengeObject.
static Address promoted_rear = NULL; static PromotionQueue promotion_queue;
#ifdef DEBUG #ifdef DEBUG
...@@ -655,8 +655,7 @@ void Heap::Scavenge() { ...@@ -655,8 +655,7 @@ void Heap::Scavenge() {
// frees up its size in bytes from the top of the new space, and // frees up its size in bytes from the top of the new space, and
// objects are at least one pointer in size. // objects are at least one pointer in size.
Address new_space_front = new_space_.ToSpaceLow(); Address new_space_front = new_space_.ToSpaceLow();
Address promoted_front = new_space_.ToSpaceHigh(); promotion_queue.Initialize(new_space_.ToSpaceHigh());
promoted_rear = new_space_.ToSpaceHigh();
ScavengeVisitor scavenge_visitor; ScavengeVisitor scavenge_visitor;
// Copy roots. // Copy roots.
...@@ -673,7 +672,6 @@ void Heap::Scavenge() { ...@@ -673,7 +672,6 @@ void Heap::Scavenge() {
do { do {
ASSERT(new_space_front <= new_space_.top()); ASSERT(new_space_front <= new_space_.top());
ASSERT(promoted_front >= promoted_rear);
// The addresses new_space_front and new_space_.top() define a // The addresses new_space_front and new_space_.top() define a
// queue of unprocessed copied objects. Process them until the // queue of unprocessed copied objects. Process them until the
...@@ -684,15 +682,26 @@ void Heap::Scavenge() { ...@@ -684,15 +682,26 @@ void Heap::Scavenge() {
new_space_front += object->Size(); new_space_front += object->Size();
} }
// The addresses promoted_front and promoted_rear define a queue // Promote and process all the to-be-promoted objects.
// of unprocessed addresses of promoted objects. Process them while (!promotion_queue.is_empty()) {
// until the queue is empty. HeapObject* source;
while (promoted_front > promoted_rear) { Map* map;
promoted_front -= kPointerSize; promotion_queue.remove(&source, &map);
HeapObject* object = // Copy the from-space object to its new location (given by the
HeapObject::cast(Memory::Object_at(promoted_front)); // forwarding address) and fix its map.
object->Iterate(&scavenge_visitor); HeapObject* target = source->map_word().ToForwardingAddress();
UpdateRSet(object); CopyBlock(reinterpret_cast<Object**>(target->address()),
reinterpret_cast<Object**>(source->address()),
source->SizeFromMap(map));
target->set_map(map);
#if defined(DEBUG) || defined(ENABLE_LOGGING_AND_PROFILING)
// Update NewSpace stats if necessary.
RecordCopiedObject(target);
#endif
// Visit the newly copied object for pointers to new space.
target->Iterate(&scavenge_visitor);
UpdateRSet(target);
} }
// Take another spin if there are now unswept objects in new space // Take another spin if there are now unswept objects in new space
...@@ -849,8 +858,8 @@ HeapObject* Heap::MigrateObject(HeapObject* source, ...@@ -849,8 +858,8 @@ HeapObject* Heap::MigrateObject(HeapObject* source,
// Set the forwarding address. // Set the forwarding address.
source->set_map_word(MapWord::FromForwardingAddress(target)); source->set_map_word(MapWord::FromForwardingAddress(target));
// Update NewSpace stats if necessary.
#if defined(DEBUG) || defined(ENABLE_LOGGING_AND_PROFILING) #if defined(DEBUG) || defined(ENABLE_LOGGING_AND_PROFILING)
// Update NewSpace stats if necessary.
RecordCopiedObject(target); RecordCopiedObject(target);
#endif #endif
...@@ -858,28 +867,6 @@ HeapObject* Heap::MigrateObject(HeapObject* source, ...@@ -858,28 +867,6 @@ HeapObject* Heap::MigrateObject(HeapObject* source,
} }
// Inlined function.
void Heap::ScavengeObject(HeapObject** p, HeapObject* object) {
ASSERT(InFromSpace(object));
// We use the first word (where the map pointer usually is) of a heap
// object to record the forwarding pointer. A forwarding pointer can
// point to an old space, the code space, or the to space of the new
// generation.
MapWord first_word = object->map_word();
// If the first word is a forwarding address, the object has already been
// copied.
if (first_word.IsForwardingAddress()) {
*p = first_word.ToForwardingAddress();
return;
}
// Call the slow part of scavenge object.
return ScavengeObjectSlow(p, object);
}
static inline bool IsShortcutCandidate(HeapObject* object, Map* map) { static inline bool IsShortcutCandidate(HeapObject* object, Map* map) {
STATIC_ASSERT(kNotStringTag != 0 && kSymbolTag != 0); STATIC_ASSERT(kNotStringTag != 0 && kSymbolTag != 0);
ASSERT(object->map() == map); ASSERT(object->map() == map);
...@@ -910,6 +897,11 @@ void Heap::ScavengeObjectSlow(HeapObject** p, HeapObject* object) { ...@@ -910,6 +897,11 @@ void Heap::ScavengeObjectSlow(HeapObject** p, HeapObject* object) {
} }
int object_size = object->SizeFromMap(first_word.ToMap()); int object_size = object->SizeFromMap(first_word.ToMap());
// We rely on live objects in new space to be at least two pointers,
// so we can store the from-space address and map pointer of promoted
// objects in the to space.
ASSERT(object_size >= 2 * kPointerSize);
// If the object should be promoted, we try to copy it to old space. // If the object should be promoted, we try to copy it to old space.
if (ShouldBePromoted(object->address(), object_size)) { if (ShouldBePromoted(object->address(), object_size)) {
OldSpace* target_space = Heap::TargetSpace(object); OldSpace* target_space = Heap::TargetSpace(object);
...@@ -917,16 +909,29 @@ void Heap::ScavengeObjectSlow(HeapObject** p, HeapObject* object) { ...@@ -917,16 +909,29 @@ void Heap::ScavengeObjectSlow(HeapObject** p, HeapObject* object) {
target_space == Heap::old_data_space_); target_space == Heap::old_data_space_);
Object* result = target_space->AllocateRaw(object_size); Object* result = target_space->AllocateRaw(object_size);
if (!result->IsFailure()) { if (!result->IsFailure()) {
*p = MigrateObject(object, HeapObject::cast(result), object_size); HeapObject* target = HeapObject::cast(result);
if (target_space == Heap::old_pointer_space_) { if (target_space == Heap::old_pointer_space_) {
// Record the object's address at the top of the to space, to allow // Save the from-space object pointer and its map pointer at the
// it to be swept by the scavenger. // top of the to space to be swept and copied later. Write the
promoted_rear -= kPointerSize; // forwarding address over the map word of the from-space
Memory::Object_at(promoted_rear) = *p; // object.
promotion_queue.insert(object, first_word.ToMap());
object->set_map_word(MapWord::FromForwardingAddress(target));
// Give the space allocated for the result a proper map by
// treating it as a free list node (not linked into the free
// list).
FreeListNode* node = FreeListNode::FromAddress(target->address());
node->set_size(object_size);
*p = target;
} else { } else {
// Objects promoted to the data space can be copied immediately
// and not revisited---we will never sweep that space for
// pointers and the copied objects do not contain pointers to
// new space objects.
*p = MigrateObject(object, target, object_size);
#ifdef DEBUG #ifdef DEBUG
// Objects promoted to the data space should not have pointers to
// new space.
VerifyNonPointerSpacePointersVisitor v; VerifyNonPointerSpacePointersVisitor v;
(*p)->Iterate(&v); (*p)->Iterate(&v);
#endif #endif
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment