diff options
| author | 2014-02-12 17:47:42 -0800 | |
|---|---|---|
| committer | 2014-02-12 17:51:51 -0800 | |
| commit | 8544b462b524a502d2a18efb5a790ef98fa5eb51 (patch) | |
| tree | 3a53268a568a8bd6cb7bfd65906e74c920a3aa4f | |
| parent | 1f26fb175bf3a10b5e1eb495d22778b47400f323 (diff) | |
Fix race condition in BumpPointerSpace::Walk.
There was a race where we would incorrectly tread part of the main
block as other blocks. This was caused by a thread allocating into
the bump pointer space when another thread was walking it. The new
solution is to ignore objects allocated since we started the walk.
Bug: 12966354
Change-Id: I49abd4de97609e9c9a3fae40b9c159abfdbbd07c
| -rw-r--r-- | runtime/gc/space/bump_pointer_space.cc | 22 |
1 files changed, 18 insertions, 4 deletions
diff --git a/runtime/gc/space/bump_pointer_space.cc b/runtime/gc/space/bump_pointer_space.cc index f7bdc4cdb0..f3f594f5de 100644 --- a/runtime/gc/space/bump_pointer_space.cc +++ b/runtime/gc/space/bump_pointer_space.cc @@ -137,6 +137,7 @@ byte* BumpPointerSpace::AllocBlock(size_t bytes) { void BumpPointerSpace::Walk(ObjectCallback* callback, void* arg) { byte* pos = Begin(); + byte* end = End(); byte* main_end = pos; { MutexLock mu(Thread::Current(), block_lock_); @@ -145,16 +146,29 @@ void BumpPointerSpace::Walk(ObjectCallback* callback, void* arg) { if (num_blocks_ == 0) { UpdateMainBlock(); } - main_end += main_block_size_; + main_end = Begin() + main_block_size_; + if (num_blocks_ == 0) { + // We don't have any other blocks, this means someone else may be allocating into the main + // block. In this case, we don't want to try and visit the other blocks after the main block + // since these could actually be part of the main block. + end = main_end; + } } // Walk all of the objects in the main block first. while (pos < main_end) { mirror::Object* obj = reinterpret_cast<mirror::Object*>(pos); - callback(obj, arg); - pos = reinterpret_cast<byte*>(GetNextObject(obj)); + if (obj->GetClass() == nullptr) { + // There is a race condition where a thread has just allocated an object but not set the + // class. We can't know the size of this object, so we don't visit it and exit the function + // since there is guaranteed to be not other blocks. + return; + } else { + callback(obj, arg); + pos = reinterpret_cast<byte*>(GetNextObject(obj)); + } } // Walk the other blocks (currently only TLABs). - while (pos < End()) { + while (pos < end) { BlockHeader* header = reinterpret_cast<BlockHeader*>(pos); size_t block_size = header->size_; pos += sizeof(BlockHeader); // Skip the header so that we know where the objects |