| // Copyright (c) 2015 The Chromium Authors. All rights reserved. | |
| // Use of this source code is governed by a BSD-style license that can be | |
| // found in the LICENSE file. | |
| #include "base/metrics/persistent_memory_allocator.h" | |
| #include <assert.h> | |
| #include <algorithm> | |
| #if defined(OS_WIN) | |
| #include <windows.h> | |
| #include "winbase.h" | |
| #elif defined(OS_POSIX) || defined(OS_FUCHSIA) | |
| #include <sys/mman.h> | |
| #endif | |
| #include "base/debug/alias.h" | |
| #include "base/files/memory_mapped_file.h" | |
| #include "base/logging.h" | |
| #include "base/memory/shared_memory.h" | |
| #include "base/metrics/histogram_functions.h" | |
| #include "base/metrics/sparse_histogram.h" | |
| #include "base/numerics/safe_conversions.h" | |
| #include "base/sys_info.h" | |
| #include "base/threading/thread_restrictions.h" | |
| #include "build/build_config.h" | |
| #include "starboard/memory.h" | |
| #include "starboard/types.h" | |
| namespace { | |
| // Limit of memory segment size. It has to fit in an unsigned 32-bit number | |
| // and should be a power of 2 in order to accomodate almost any page size. | |
| const uint32_t kSegmentMaxSize = 1 << 30; // 1 GiB | |
| // A constant (random) value placed in the shared metadata to identify | |
| // an already initialized memory segment. | |
| const uint32_t kGlobalCookie = 0x408305DC; | |
| // The current version of the metadata. If updates are made that change | |
| // the metadata, the version number can be queried to operate in a backward- | |
| // compatible manner until the memory segment is completely re-initalized. | |
| const uint32_t kGlobalVersion = 2; | |
| // Constant values placed in the block headers to indicate its state. | |
| const uint32_t kBlockCookieFree = 0; | |
| const uint32_t kBlockCookieQueue = 1; | |
| const uint32_t kBlockCookieWasted = (uint32_t)-1; | |
| const uint32_t kBlockCookieAllocated = 0xC8799269; | |
| // TODO(bcwhite): When acceptable, consider moving flags to std::atomic<char> | |
| // types rather than combined bitfield. | |
| // Flags stored in the flags_ field of the SharedMetadata structure below. | |
| enum : int { | |
| kFlagCorrupt = 1 << 0, | |
| kFlagFull = 1 << 1 | |
| }; | |
| // Errors that are logged in "errors" histogram. | |
| enum AllocatorError : int { | |
| kMemoryIsCorrupt = 1, | |
| }; | |
| bool CheckFlag(const volatile std::atomic<uint32_t>* flags, int flag) { | |
| uint32_t loaded_flags = flags->load(std::memory_order_relaxed); | |
| return (loaded_flags & flag) != 0; | |
| } | |
| void SetFlag(volatile std::atomic<uint32_t>* flags, int flag) { | |
| uint32_t loaded_flags = flags->load(std::memory_order_relaxed); | |
| for (;;) { | |
| uint32_t new_flags = (loaded_flags & ~flag) | flag; | |
| // In the failue case, actual "flags" value stored in loaded_flags. | |
| // These access are "relaxed" because they are completely independent | |
| // of all other values. | |
| if (flags->compare_exchange_weak(loaded_flags, new_flags, | |
| std::memory_order_relaxed, | |
| std::memory_order_relaxed)) { | |
| break; | |
| } | |
| } | |
| } | |
| } // namespace | |
| namespace base { | |
| // All allocations and data-structures must be aligned to this byte boundary. | |
| // Alignment as large as the physical bus between CPU and RAM is _required_ | |
| // for some architectures, is simply more efficient on other CPUs, and | |
| // generally a Good Idea(tm) for all platforms as it reduces/eliminates the | |
| // chance that a type will span cache lines. Alignment mustn't be less | |
| // than 8 to ensure proper alignment for all types. The rest is a balance | |
| // between reducing spans across multiple cache lines and wasted space spent | |
| // padding out allocations. An alignment of 16 would ensure that the block | |
| // header structure always sits in a single cache line. An average of about | |
| // 1/2 this value will be wasted with every allocation. | |
| const uint32_t PersistentMemoryAllocator::kAllocAlignment = 8; | |
| // The block-header is placed at the top of every allocation within the | |
| // segment to describe the data that follows it. | |
| struct PersistentMemoryAllocator::BlockHeader { | |
| uint32_t size; // Number of bytes in this block, including header. | |
| uint32_t cookie; // Constant value indicating completed allocation. | |
| std::atomic<uint32_t> type_id; // Arbitrary number indicating data type. | |
| std::atomic<uint32_t> next; // Pointer to the next block when iterating. | |
| }; | |
| // The shared metadata exists once at the top of the memory segment to | |
| // describe the state of the allocator to all processes. The size of this | |
| // structure must be a multiple of 64-bits to ensure compatibility between | |
| // architectures. | |
| struct PersistentMemoryAllocator::SharedMetadata { | |
| uint32_t cookie; // Some value that indicates complete initialization. | |
| uint32_t size; // Total size of memory segment. | |
| uint32_t page_size; // Paging size within memory segment. | |
| uint32_t version; // Version code so upgrades don't break. | |
| uint64_t id; // Arbitrary ID number given by creator. | |
| uint32_t name; // Reference to stored name string. | |
| uint32_t padding1; // Pad-out read-only data to 64-bit alignment. | |
| // Above is read-only after first construction. Below may be changed and | |
| // so must be marked "volatile" to provide correct inter-process behavior. | |
| // State of the memory, plus some padding to keep alignment. | |
| volatile std::atomic<uint8_t> memory_state; // MemoryState enum values. | |
| uint8_t padding2[3]; | |
| // Bitfield of information flags. Access to this should be done through | |
| // the CheckFlag() and SetFlag() methods defined above. | |
| volatile std::atomic<uint32_t> flags; | |
| // Offset/reference to first free space in segment. | |
| volatile std::atomic<uint32_t> freeptr; | |
| // The "iterable" queue is an M&S Queue as described here, append-only: | |
| // https://www.research.ibm.com/people/m/michael/podc-1996.pdf | |
| // |queue| needs to be 64-bit aligned and is itself a multiple of 64 bits. | |
| volatile std::atomic<uint32_t> tailptr; // Last block of iteration queue. | |
| volatile BlockHeader queue; // Empty block for linked-list head/tail. | |
| }; | |
| // The "queue" block header is used to detect "last node" so that zero/null | |
| // can be used to indicate that it hasn't been added at all. It is part of | |
| // the SharedMetadata structure which itself is always located at offset zero. | |
| const PersistentMemoryAllocator::Reference | |
| PersistentMemoryAllocator::kReferenceQueue = | |
| offsetof(SharedMetadata, queue); | |
| const base::FilePath::CharType PersistentMemoryAllocator::kFileExtension[] = | |
| FILE_PATH_LITERAL(".pma"); | |
| PersistentMemoryAllocator::Iterator::Iterator( | |
| const PersistentMemoryAllocator* allocator) | |
| : allocator_(allocator), last_record_(kReferenceQueue), record_count_(0) {} | |
| PersistentMemoryAllocator::Iterator::Iterator( | |
| const PersistentMemoryAllocator* allocator, | |
| Reference starting_after) | |
| : allocator_(allocator), last_record_(0), record_count_(0) { | |
| Reset(starting_after); | |
| } | |
| void PersistentMemoryAllocator::Iterator::Reset() { | |
| last_record_.store(kReferenceQueue, std::memory_order_relaxed); | |
| record_count_.store(0, std::memory_order_relaxed); | |
| } | |
| void PersistentMemoryAllocator::Iterator::Reset(Reference starting_after) { | |
| if (starting_after == 0) { | |
| Reset(); | |
| return; | |
| } | |
| last_record_.store(starting_after, std::memory_order_relaxed); | |
| record_count_.store(0, std::memory_order_relaxed); | |
| // Ensure that the starting point is a valid, iterable block (meaning it can | |
| // be read and has a non-zero "next" pointer). | |
| const volatile BlockHeader* block = | |
| allocator_->GetBlock(starting_after, 0, 0, false, false); | |
| if (!block || block->next.load(std::memory_order_relaxed) == 0) { | |
| NOTREACHED(); | |
| last_record_.store(kReferenceQueue, std::memory_order_release); | |
| } | |
| } | |
| PersistentMemoryAllocator::Reference | |
| PersistentMemoryAllocator::Iterator::GetLast() { | |
| Reference last = last_record_.load(std::memory_order_relaxed); | |
| if (last == kReferenceQueue) | |
| return kReferenceNull; | |
| return last; | |
| } | |
| PersistentMemoryAllocator::Reference | |
| PersistentMemoryAllocator::Iterator::GetNext(uint32_t* type_return) { | |
| // Make a copy of the existing count of found-records, acquiring all changes | |
| // made to the allocator, notably "freeptr" (see comment in loop for why | |
| // the load of that value cannot be moved above here) that occurred during | |
| // any previous runs of this method, including those by parallel threads | |
| // that interrupted it. It pairs with the Release at the end of this method. | |
| // | |
| // Otherwise, if the compiler were to arrange the two loads such that | |
| // "count" was fetched _after_ "freeptr" then it would be possible for | |
| // this thread to be interrupted between them and other threads perform | |
| // multiple allocations, make-iterables, and iterations (with the included | |
| // increment of |record_count_|) culminating in the check at the bottom | |
| // mistakenly determining that a loop exists. Isn't this stuff fun? | |
| uint32_t count = record_count_.load(std::memory_order_acquire); | |
| Reference last = last_record_.load(std::memory_order_acquire); | |
| Reference next; | |
| while (true) { | |
| const volatile BlockHeader* block = | |
| allocator_->GetBlock(last, 0, 0, true, false); | |
| if (!block) // Invalid iterator state. | |
| return kReferenceNull; | |
| // The compiler and CPU can freely reorder all memory accesses on which | |
| // there are no dependencies. It could, for example, move the load of | |
| // "freeptr" to above this point because there are no explicit dependencies | |
| // between it and "next". If it did, however, then another block could | |
| // be queued after that but before the following load meaning there is | |
| // one more queued block than the future "detect loop by having more | |
| // blocks that could fit before freeptr" will allow. | |
| // | |
| // By "acquiring" the "next" value here, it's synchronized to the enqueue | |
| // of the node which in turn is synchronized to the allocation (which sets | |
| // freeptr). Thus, the scenario above cannot happen. | |
| next = block->next.load(std::memory_order_acquire); | |
| if (next == kReferenceQueue) // No next allocation in queue. | |
| return kReferenceNull; | |
| block = allocator_->GetBlock(next, 0, 0, false, false); | |
| if (!block) { // Memory is corrupt. | |
| allocator_->SetCorrupt(); | |
| return kReferenceNull; | |
| } | |
| // Update the "last_record" pointer to be the reference being returned. | |
| // If it fails then another thread has already iterated past it so loop | |
| // again. Failing will also load the existing value into "last" so there | |
| // is no need to do another such load when the while-loop restarts. A | |
| // "strong" compare-exchange is used because failing unnecessarily would | |
| // mean repeating some fairly costly validations above. | |
| if (last_record_.compare_exchange_strong( | |
| last, next, std::memory_order_acq_rel, std::memory_order_acquire)) { | |
| *type_return = block->type_id.load(std::memory_order_relaxed); | |
| break; | |
| } | |
| } | |
| // Memory corruption could cause a loop in the list. Such must be detected | |
| // so as to not cause an infinite loop in the caller. This is done by simply | |
| // making sure it doesn't iterate more times than the absolute maximum | |
| // number of allocations that could have been made. Callers are likely | |
| // to loop multiple times before it is detected but at least it stops. | |
| const uint32_t freeptr = std::min( | |
| allocator_->shared_meta()->freeptr.load(std::memory_order_relaxed), | |
| allocator_->mem_size_); | |
| const uint32_t max_records = | |
| freeptr / (sizeof(BlockHeader) + kAllocAlignment); | |
| if (count > max_records) { | |
| allocator_->SetCorrupt(); | |
| return kReferenceNull; | |
| } | |
| // Increment the count and release the changes made above. It pairs with | |
| // the Acquire at the top of this method. Note that this operation is not | |
| // strictly synchonized with fetching of the object to return, which would | |
| // have to be done inside the loop and is somewhat complicated to achieve. | |
| // It does not matter if it falls behind temporarily so long as it never | |
| // gets ahead. | |
| record_count_.fetch_add(1, std::memory_order_release); | |
| return next; | |
| } | |
| PersistentMemoryAllocator::Reference | |
| PersistentMemoryAllocator::Iterator::GetNextOfType(uint32_t type_match) { | |
| Reference ref; | |
| uint32_t type_found; | |
| while ((ref = GetNext(&type_found)) != 0) { | |
| if (type_found == type_match) | |
| return ref; | |
| } | |
| return kReferenceNull; | |
| } | |
| // static | |
| bool PersistentMemoryAllocator::IsMemoryAcceptable(const void* base, | |
| size_t size, | |
| size_t page_size, | |
| bool readonly) { | |
| return ((base && reinterpret_cast<uintptr_t>(base) % kAllocAlignment == 0) && | |
| (size >= sizeof(SharedMetadata) && size <= kSegmentMaxSize) && | |
| (size % kAllocAlignment == 0 || readonly) && | |
| (page_size == 0 || size % page_size == 0 || readonly)); | |
| } | |
| PersistentMemoryAllocator::PersistentMemoryAllocator(void* base, | |
| size_t size, | |
| size_t page_size, | |
| uint64_t id, | |
| base::StringPiece name, | |
| bool readonly) | |
| : PersistentMemoryAllocator(Memory(base, MEM_EXTERNAL), | |
| size, | |
| page_size, | |
| id, | |
| name, | |
| readonly) {} | |
| PersistentMemoryAllocator::PersistentMemoryAllocator(Memory memory, | |
| size_t size, | |
| size_t page_size, | |
| uint64_t id, | |
| base::StringPiece name, | |
| bool readonly) | |
| : mem_base_(static_cast<char*>(memory.base)), | |
| mem_type_(memory.type), | |
| mem_size_(static_cast<uint32_t>(size)), | |
| mem_page_(static_cast<uint32_t>((page_size ? page_size : size))), | |
| #if defined(OS_NACL) || defined(STARBOARD) | |
| vm_page_size_(4096U), // SysInfo is not built for NACL. | |
| #else | |
| vm_page_size_(SysInfo::VMAllocationGranularity()), | |
| #endif | |
| readonly_(readonly), | |
| corrupt_(0), | |
| allocs_histogram_(nullptr), | |
| used_histogram_(nullptr), | |
| errors_histogram_(nullptr) { | |
| // These asserts ensure that the structures are 32/64-bit agnostic and meet | |
| // all the requirements of use within the allocator. They access private | |
| // definitions and so cannot be moved to the global scope. | |
| static_assert(sizeof(PersistentMemoryAllocator::BlockHeader) == 16, | |
| "struct is not portable across different natural word widths"); | |
| static_assert(sizeof(PersistentMemoryAllocator::SharedMetadata) == 64, | |
| "struct is not portable across different natural word widths"); | |
| static_assert(sizeof(BlockHeader) % kAllocAlignment == 0, | |
| "BlockHeader is not a multiple of kAllocAlignment"); | |
| static_assert(sizeof(SharedMetadata) % kAllocAlignment == 0, | |
| "SharedMetadata is not a multiple of kAllocAlignment"); | |
| static_assert(kReferenceQueue % kAllocAlignment == 0, | |
| "\"queue\" is not aligned properly; must be at end of struct"); | |
| // Ensure that memory segment is of acceptable size. | |
| CHECK(IsMemoryAcceptable(memory.base, size, page_size, readonly)); | |
| // The |is_lock_free| function has been found to require additional library | |
| // linkage that we'd like to avoid on Starboard platforms. Additionally we | |
| // don't support multi-process applications on Starboard currently, so this | |
| // code will not be used. | |
| #if !defined(STARBOARD) | |
| // These atomics operate inter-process and so must be lock-free. The local | |
| // casts are to make sure it can be evaluated at compile time to a constant. | |
| CHECK(((SharedMetadata*)nullptr)->freeptr.is_lock_free()); | |
| CHECK(((SharedMetadata*)nullptr)->flags.is_lock_free()); | |
| CHECK(((BlockHeader*)nullptr)->next.is_lock_free()); | |
| CHECK(corrupt_.is_lock_free()); | |
| #endif // !defined(STARBOARD) | |
| if (shared_meta()->cookie != kGlobalCookie) { | |
| if (readonly) { | |
| SetCorrupt(); | |
| return; | |
| } | |
| // This block is only executed when a completely new memory segment is | |
| // being initialized. It's unshared and single-threaded... | |
| volatile BlockHeader* const first_block = | |
| reinterpret_cast<volatile BlockHeader*>(mem_base_ + | |
| sizeof(SharedMetadata)); | |
| if (shared_meta()->cookie != 0 || | |
| shared_meta()->size != 0 || | |
| shared_meta()->version != 0 || | |
| shared_meta()->freeptr.load(std::memory_order_relaxed) != 0 || | |
| shared_meta()->flags.load(std::memory_order_relaxed) != 0 || | |
| shared_meta()->id != 0 || | |
| shared_meta()->name != 0 || | |
| shared_meta()->tailptr != 0 || | |
| shared_meta()->queue.cookie != 0 || | |
| shared_meta()->queue.next.load(std::memory_order_relaxed) != 0 || | |
| first_block->size != 0 || | |
| first_block->cookie != 0 || | |
| first_block->type_id.load(std::memory_order_relaxed) != 0 || | |
| first_block->next != 0) { | |
| // ...or something malicious has been playing with the metadata. | |
| SetCorrupt(); | |
| } | |
| // This is still safe to do even if corruption has been detected. | |
| shared_meta()->cookie = kGlobalCookie; | |
| shared_meta()->size = mem_size_; | |
| shared_meta()->page_size = mem_page_; | |
| shared_meta()->version = kGlobalVersion; | |
| shared_meta()->id = id; | |
| shared_meta()->freeptr.store(sizeof(SharedMetadata), | |
| std::memory_order_release); | |
| // Set up the queue of iterable allocations. | |
| shared_meta()->queue.size = sizeof(BlockHeader); | |
| shared_meta()->queue.cookie = kBlockCookieQueue; | |
| shared_meta()->queue.next.store(kReferenceQueue, std::memory_order_release); | |
| shared_meta()->tailptr.store(kReferenceQueue, std::memory_order_release); | |
| // Allocate space for the name so other processes can learn it. | |
| if (!name.empty()) { | |
| const size_t name_length = name.length() + 1; | |
| shared_meta()->name = Allocate(name_length, 0); | |
| char* name_cstr = GetAsArray<char>(shared_meta()->name, 0, name_length); | |
| if (name_cstr) | |
| memcpy(name_cstr, name.data(), name.length()); | |
| } | |
| shared_meta()->memory_state.store(MEMORY_INITIALIZED, | |
| std::memory_order_release); | |
| } else { | |
| if (shared_meta()->size == 0 || shared_meta()->version != kGlobalVersion || | |
| shared_meta()->freeptr.load(std::memory_order_relaxed) == 0 || | |
| shared_meta()->tailptr == 0 || shared_meta()->queue.cookie == 0 || | |
| shared_meta()->queue.next.load(std::memory_order_relaxed) == 0) { | |
| SetCorrupt(); | |
| } | |
| if (!readonly) { | |
| // The allocator is attaching to a previously initialized segment of | |
| // memory. If the initialization parameters differ, make the best of it | |
| // by reducing the local construction parameters to match those of | |
| // the actual memory area. This ensures that the local object never | |
| // tries to write outside of the original bounds. | |
| // Because the fields are const to ensure that no code other than the | |
| // constructor makes changes to them as well as to give optimization | |
| // hints to the compiler, it's necessary to const-cast them for changes | |
| // here. | |
| if (shared_meta()->size < mem_size_) | |
| *const_cast<uint32_t*>(&mem_size_) = shared_meta()->size; | |
| if (shared_meta()->page_size < mem_page_) | |
| *const_cast<uint32_t*>(&mem_page_) = shared_meta()->page_size; | |
| // Ensure that settings are still valid after the above adjustments. | |
| if (!IsMemoryAcceptable(memory.base, mem_size_, mem_page_, readonly)) | |
| SetCorrupt(); | |
| } | |
| } | |
| } | |
| PersistentMemoryAllocator::~PersistentMemoryAllocator() { | |
| // It's strictly forbidden to do any memory access here in case there is | |
| // some issue with the underlying memory segment. The "Local" allocator | |
| // makes use of this to allow deletion of the segment on the heap from | |
| // within its destructor. | |
| } | |
| uint64_t PersistentMemoryAllocator::Id() const { | |
| return shared_meta()->id; | |
| } | |
| const char* PersistentMemoryAllocator::Name() const { | |
| Reference name_ref = shared_meta()->name; | |
| const char* name_cstr = | |
| GetAsArray<char>(name_ref, 0, PersistentMemoryAllocator::kSizeAny); | |
| if (!name_cstr) | |
| return ""; | |
| size_t name_length = GetAllocSize(name_ref); | |
| if (name_cstr[name_length - 1] != '\0') { | |
| NOTREACHED(); | |
| SetCorrupt(); | |
| return ""; | |
| } | |
| return name_cstr; | |
| } | |
| void PersistentMemoryAllocator::CreateTrackingHistograms( | |
| base::StringPiece name) { | |
| if (name.empty() || readonly_) | |
| return; | |
| std::string name_string = name.as_string(); | |
| #if 0 | |
| // This histogram wasn't being used so has been disabled. It is left here | |
| // in case development of a new use of the allocator could benefit from | |
| // recording (temporarily and locally) the allocation sizes. | |
| DCHECK(!allocs_histogram_); | |
| allocs_histogram_ = Histogram::FactoryGet( | |
| "UMA.PersistentAllocator." + name_string + ".Allocs", 1, 10000, 50, | |
| HistogramBase::kUmaTargetedHistogramFlag); | |
| #endif | |
| DCHECK(!used_histogram_); | |
| used_histogram_ = LinearHistogram::FactoryGet( | |
| "UMA.PersistentAllocator." + name_string + ".UsedPct", 1, 101, 21, | |
| HistogramBase::kUmaTargetedHistogramFlag); | |
| DCHECK(!errors_histogram_); | |
| errors_histogram_ = SparseHistogram::FactoryGet( | |
| "UMA.PersistentAllocator." + name_string + ".Errors", | |
| HistogramBase::kUmaTargetedHistogramFlag); | |
| } | |
| void PersistentMemoryAllocator::Flush(bool sync) { | |
| FlushPartial(used(), sync); | |
| } | |
| void PersistentMemoryAllocator::SetMemoryState(uint8_t memory_state) { | |
| shared_meta()->memory_state.store(memory_state, std::memory_order_relaxed); | |
| FlushPartial(sizeof(SharedMetadata), false); | |
| } | |
| uint8_t PersistentMemoryAllocator::GetMemoryState() const { | |
| return shared_meta()->memory_state.load(std::memory_order_relaxed); | |
| } | |
| size_t PersistentMemoryAllocator::used() const { | |
| return std::min(shared_meta()->freeptr.load(std::memory_order_relaxed), | |
| mem_size_); | |
| } | |
| PersistentMemoryAllocator::Reference PersistentMemoryAllocator::GetAsReference( | |
| const void* memory, | |
| uint32_t type_id) const { | |
| uintptr_t address = reinterpret_cast<uintptr_t>(memory); | |
| if (address < reinterpret_cast<uintptr_t>(mem_base_)) | |
| return kReferenceNull; | |
| uintptr_t offset = address - reinterpret_cast<uintptr_t>(mem_base_); | |
| if (offset >= mem_size_ || offset < sizeof(BlockHeader)) | |
| return kReferenceNull; | |
| Reference ref = static_cast<Reference>(offset) - sizeof(BlockHeader); | |
| if (!GetBlockData(ref, type_id, kSizeAny)) | |
| return kReferenceNull; | |
| return ref; | |
| } | |
| size_t PersistentMemoryAllocator::GetAllocSize(Reference ref) const { | |
| const volatile BlockHeader* const block = GetBlock(ref, 0, 0, false, false); | |
| if (!block) | |
| return 0; | |
| uint32_t size = block->size; | |
| // Header was verified by GetBlock() but a malicious actor could change | |
| // the value between there and here. Check it again. | |
| if (size <= sizeof(BlockHeader) || ref + size > mem_size_) { | |
| SetCorrupt(); | |
| return 0; | |
| } | |
| return size - sizeof(BlockHeader); | |
| } | |
| uint32_t PersistentMemoryAllocator::GetType(Reference ref) const { | |
| const volatile BlockHeader* const block = GetBlock(ref, 0, 0, false, false); | |
| if (!block) | |
| return 0; | |
| return block->type_id.load(std::memory_order_relaxed); | |
| } | |
| bool PersistentMemoryAllocator::ChangeType(Reference ref, | |
| uint32_t to_type_id, | |
| uint32_t from_type_id, | |
| bool clear) { | |
| DCHECK(!readonly_); | |
| volatile BlockHeader* const block = GetBlock(ref, 0, 0, false, false); | |
| if (!block) | |
| return false; | |
| // "Strong" exchanges are used below because there is no loop that can retry | |
| // in the wake of spurious failures possible with "weak" exchanges. It is, | |
| // in aggregate, an "acquire-release" operation so no memory accesses can be | |
| // reordered either before or after this method (since changes based on type | |
| // could happen on either side). | |
| if (clear) { | |
| // If clearing the memory, first change it to the "transitioning" type so | |
| // there can be no confusion by other threads. After the memory is cleared, | |
| // it can be changed to its final type. | |
| if (!block->type_id.compare_exchange_strong( | |
| from_type_id, kTypeIdTransitioning, std::memory_order_acquire, | |
| std::memory_order_acquire)) { | |
| // Existing type wasn't what was expected: fail (with no changes) | |
| return false; | |
| } | |
| // Clear the memory in an atomic manner. Using "release" stores force | |
| // every write to be done after the ones before it. This is better than | |
| // using memset because (a) it supports "volatile" and (b) it creates a | |
| // reliable pattern upon which other threads may rely. | |
| volatile std::atomic<int>* data = | |
| reinterpret_cast<volatile std::atomic<int>*>( | |
| reinterpret_cast<volatile char*>(block) + sizeof(BlockHeader)); | |
| const uint32_t words = (block->size - sizeof(BlockHeader)) / sizeof(int); | |
| DCHECK_EQ(0U, (block->size - sizeof(BlockHeader)) % sizeof(int)); | |
| for (uint32_t i = 0; i < words; ++i) { | |
| data->store(0, std::memory_order_release); | |
| ++data; | |
| } | |
| // If the destination type is "transitioning" then skip the final exchange. | |
| if (to_type_id == kTypeIdTransitioning) | |
| return true; | |
| // Finish the change to the desired type. | |
| from_type_id = kTypeIdTransitioning; // Exchange needs modifiable original. | |
| bool success = block->type_id.compare_exchange_strong( | |
| from_type_id, to_type_id, std::memory_order_release, | |
| std::memory_order_relaxed); | |
| DCHECK(success); // Should never fail. | |
| return success; | |
| } | |
| // One step change to the new type. Will return false if the existing value | |
| // doesn't match what is expected. | |
| return block->type_id.compare_exchange_strong(from_type_id, to_type_id, | |
| std::memory_order_acq_rel, | |
| std::memory_order_acquire); | |
| } | |
| PersistentMemoryAllocator::Reference PersistentMemoryAllocator::Allocate( | |
| size_t req_size, | |
| uint32_t type_id) { | |
| Reference ref = AllocateImpl(req_size, type_id); | |
| if (ref) { | |
| // Success: Record this allocation in usage stats (if active). | |
| if (allocs_histogram_) | |
| allocs_histogram_->Add(static_cast<HistogramBase::Sample>(req_size)); | |
| } else { | |
| // Failure: Record an allocation of zero for tracking. | |
| if (allocs_histogram_) | |
| allocs_histogram_->Add(0); | |
| } | |
| return ref; | |
| } | |
| PersistentMemoryAllocator::Reference PersistentMemoryAllocator::AllocateImpl( | |
| size_t req_size, | |
| uint32_t type_id) { | |
| DCHECK(!readonly_); | |
| // Validate req_size to ensure it won't overflow when used as 32-bit value. | |
| if (req_size > kSegmentMaxSize - sizeof(BlockHeader)) { | |
| NOTREACHED(); | |
| return kReferenceNull; | |
| } | |
| // Round up the requested size, plus header, to the next allocation alignment. | |
| uint32_t size = static_cast<uint32_t>(req_size + sizeof(BlockHeader)); | |
| size = (size + (kAllocAlignment - 1)) & ~(kAllocAlignment - 1); | |
| if (size <= sizeof(BlockHeader) || size > mem_page_) { | |
| NOTREACHED(); | |
| return kReferenceNull; | |
| } | |
| // Get the current start of unallocated memory. Other threads may | |
| // update this at any time and cause us to retry these operations. | |
| // This value should be treated as "const" to avoid confusion through | |
| // the code below but recognize that any failed compare-exchange operation | |
| // involving it will cause it to be loaded with a more recent value. The | |
| // code should either exit or restart the loop in that case. | |
| /* const */ uint32_t freeptr = | |
| shared_meta()->freeptr.load(std::memory_order_acquire); | |
| // Allocation is lockless so we do all our caculation and then, if saving | |
| // indicates a change has occurred since we started, scrap everything and | |
| // start over. | |
| for (;;) { | |
| if (IsCorrupt()) | |
| return kReferenceNull; | |
| if (freeptr + size > mem_size_) { | |
| SetFlag(&shared_meta()->flags, kFlagFull); | |
| return kReferenceNull; | |
| } | |
| // Get pointer to the "free" block. If something has been allocated since | |
| // the load of freeptr above, it is still safe as nothing will be written | |
| // to that location until after the compare-exchange below. | |
| volatile BlockHeader* const block = GetBlock(freeptr, 0, 0, false, true); | |
| if (!block) { | |
| SetCorrupt(); | |
| return kReferenceNull; | |
| } | |
| // An allocation cannot cross page boundaries. If it would, create a | |
| // "wasted" block and begin again at the top of the next page. This | |
| // area could just be left empty but we fill in the block header just | |
| // for completeness sake. | |
| const uint32_t page_free = mem_page_ - freeptr % mem_page_; | |
| if (size > page_free) { | |
| if (page_free <= sizeof(BlockHeader)) { | |
| SetCorrupt(); | |
| return kReferenceNull; | |
| } | |
| const uint32_t new_freeptr = freeptr + page_free; | |
| if (shared_meta()->freeptr.compare_exchange_strong( | |
| freeptr, new_freeptr, std::memory_order_acq_rel, | |
| std::memory_order_acquire)) { | |
| block->size = page_free; | |
| block->cookie = kBlockCookieWasted; | |
| } | |
| continue; | |
| } | |
| // Don't leave a slice at the end of a page too small for anything. This | |
| // can result in an allocation up to two alignment-sizes greater than the | |
| // minimum required by requested-size + header + alignment. | |
| if (page_free - size < sizeof(BlockHeader) + kAllocAlignment) | |
| size = page_free; | |
| const uint32_t new_freeptr = freeptr + size; | |
| if (new_freeptr > mem_size_) { | |
| SetCorrupt(); | |
| return kReferenceNull; | |
| } | |
| // Save our work. Try again if another thread has completed an allocation | |
| // while we were processing. A "weak" exchange would be permissable here | |
| // because the code will just loop and try again but the above processing | |
| // is significant so make the extra effort of a "strong" exchange. | |
| if (!shared_meta()->freeptr.compare_exchange_strong( | |
| freeptr, new_freeptr, std::memory_order_acq_rel, | |
| std::memory_order_acquire)) { | |
| continue; | |
| } | |
| // Given that all memory was zeroed before ever being given to an instance | |
| // of this class and given that we only allocate in a monotomic fashion | |
| // going forward, it must be that the newly allocated block is completely | |
| // full of zeros. If we find anything in the block header that is NOT a | |
| // zero then something must have previously run amuck through memory, | |
| // writing beyond the allocated space and into unallocated space. | |
| if (block->size != 0 || | |
| block->cookie != kBlockCookieFree || | |
| block->type_id.load(std::memory_order_relaxed) != 0 || | |
| block->next.load(std::memory_order_relaxed) != 0) { | |
| SetCorrupt(); | |
| return kReferenceNull; | |
| } | |
| // Make sure the memory exists by writing to the first byte of every memory | |
| // page it touches beyond the one containing the block header itself. | |
| // As the underlying storage is often memory mapped from disk or shared | |
| // space, sometimes things go wrong and those address don't actually exist | |
| // leading to a SIGBUS (or Windows equivalent) at some arbitrary location | |
| // in the code. This should concentrate all those failures into this | |
| // location for easy tracking and, eventually, proper handling. | |
| volatile char* mem_end = reinterpret_cast<volatile char*>(block) + size; | |
| volatile char* mem_begin = reinterpret_cast<volatile char*>( | |
| (reinterpret_cast<uintptr_t>(block) + sizeof(BlockHeader) + | |
| (vm_page_size_ - 1)) & | |
| ~static_cast<uintptr_t>(vm_page_size_ - 1)); | |
| for (volatile char* memory = mem_begin; memory < mem_end; | |
| memory += vm_page_size_) { | |
| // It's required that a memory segment start as all zeros and thus the | |
| // newly allocated block is all zeros at this point. Thus, writing a | |
| // zero to it allows testing that the memory exists without actually | |
| // changing its contents. The compiler doesn't know about the requirement | |
| // and so cannot optimize-away these writes. | |
| *memory = 0; | |
| } | |
| // Load information into the block header. There is no "release" of the | |
| // data here because this memory can, currently, be seen only by the thread | |
| // performing the allocation. When it comes time to share this, the thread | |
| // will call MakeIterable() which does the release operation. | |
| block->size = size; | |
| block->cookie = kBlockCookieAllocated; | |
| block->type_id.store(type_id, std::memory_order_relaxed); | |
| return freeptr; | |
| } | |
| } | |
| void PersistentMemoryAllocator::GetMemoryInfo(MemoryInfo* meminfo) const { | |
| uint32_t remaining = std::max( | |
| mem_size_ - shared_meta()->freeptr.load(std::memory_order_relaxed), | |
| (uint32_t)sizeof(BlockHeader)); | |
| meminfo->total = mem_size_; | |
| meminfo->free = remaining - sizeof(BlockHeader); | |
| } | |
| void PersistentMemoryAllocator::MakeIterable(Reference ref) { | |
| DCHECK(!readonly_); | |
| if (IsCorrupt()) | |
| return; | |
| volatile BlockHeader* block = GetBlock(ref, 0, 0, false, false); | |
| if (!block) // invalid reference | |
| return; | |
| if (block->next.load(std::memory_order_acquire) != 0) // Already iterable. | |
| return; | |
| block->next.store(kReferenceQueue, std::memory_order_release); // New tail. | |
| // Try to add this block to the tail of the queue. May take multiple tries. | |
| // If so, tail will be automatically updated with a more recent value during | |
| // compare-exchange operations. | |
| uint32_t tail = shared_meta()->tailptr.load(std::memory_order_acquire); | |
| for (;;) { | |
| // Acquire the current tail-pointer released by previous call to this | |
| // method and validate it. | |
| block = GetBlock(tail, 0, 0, true, false); | |
| if (!block) { | |
| SetCorrupt(); | |
| return; | |
| } | |
| // Try to insert the block at the tail of the queue. The tail node always | |
| // has an existing value of kReferenceQueue; if that is somehow not the | |
| // existing value then another thread has acted in the meantime. A "strong" | |
| // exchange is necessary so the "else" block does not get executed when | |
| // that is not actually the case (which can happen with a "weak" exchange). | |
| uint32_t next = kReferenceQueue; // Will get replaced with existing value. | |
| if (block->next.compare_exchange_strong(next, ref, | |
| std::memory_order_acq_rel, | |
| std::memory_order_acquire)) { | |
| // Update the tail pointer to the new offset. If the "else" clause did | |
| // not exist, then this could be a simple Release_Store to set the new | |
| // value but because it does, it's possible that other threads could add | |
| // one or more nodes at the tail before reaching this point. We don't | |
| // have to check the return value because it either operates correctly | |
| // or the exact same operation has already been done (by the "else" | |
| // clause) on some other thread. | |
| shared_meta()->tailptr.compare_exchange_strong(tail, ref, | |
| std::memory_order_release, | |
| std::memory_order_relaxed); | |
| return; | |
| } | |
| // In the unlikely case that a thread crashed or was killed between the | |
| // update of "next" and the update of "tailptr", it is necessary to | |
| // perform the operation that would have been done. There's no explicit | |
| // check for crash/kill which means that this operation may also happen | |
| // even when the other thread is in perfect working order which is what | |
| // necessitates the CompareAndSwap above. | |
| shared_meta()->tailptr.compare_exchange_strong( | |
| tail, next, std::memory_order_acq_rel, std::memory_order_acquire); | |
| } | |
| } | |
| // The "corrupted" state is held both locally and globally (shared). The | |
| // shared flag can't be trusted since a malicious actor could overwrite it. | |
| // Because corruption can be detected during read-only operations such as | |
| // iteration, this method may be called by other "const" methods. In this | |
| // case, it's safe to discard the constness and modify the local flag and | |
| // maybe even the shared flag if the underlying data isn't actually read-only. | |
| void PersistentMemoryAllocator::SetCorrupt() const { | |
| if (!corrupt_.load(std::memory_order_relaxed) && | |
| !CheckFlag( | |
| const_cast<volatile std::atomic<uint32_t>*>(&shared_meta()->flags), | |
| kFlagCorrupt)) { | |
| LOG(ERROR) << "Corruption detected in shared-memory segment."; | |
| RecordError(kMemoryIsCorrupt); | |
| } | |
| corrupt_.store(true, std::memory_order_relaxed); | |
| if (!readonly_) { | |
| SetFlag(const_cast<volatile std::atomic<uint32_t>*>(&shared_meta()->flags), | |
| kFlagCorrupt); | |
| } | |
| } | |
| bool PersistentMemoryAllocator::IsCorrupt() const { | |
| if (corrupt_.load(std::memory_order_relaxed) || | |
| CheckFlag(&shared_meta()->flags, kFlagCorrupt)) { | |
| SetCorrupt(); // Make sure all indicators are set. | |
| return true; | |
| } | |
| return false; | |
| } | |
| bool PersistentMemoryAllocator::IsFull() const { | |
| return CheckFlag(&shared_meta()->flags, kFlagFull); | |
| } | |
| // Dereference a block |ref| and ensure that it's valid for the desired | |
| // |type_id| and |size|. |special| indicates that we may try to access block | |
| // headers not available to callers but still accessed by this module. By | |
| // having internal dereferences go through this same function, the allocator | |
| // is hardened against corruption. | |
| const volatile PersistentMemoryAllocator::BlockHeader* | |
| PersistentMemoryAllocator::GetBlock(Reference ref, uint32_t type_id, | |
| uint32_t size, bool queue_ok, | |
| bool free_ok) const { | |
| // Handle special cases. | |
| if (ref == kReferenceQueue && queue_ok) | |
| return reinterpret_cast<const volatile BlockHeader*>(mem_base_ + ref); | |
| // Validation of parameters. | |
| if (ref < sizeof(SharedMetadata)) | |
| return nullptr; | |
| if (ref % kAllocAlignment != 0) | |
| return nullptr; | |
| size += sizeof(BlockHeader); | |
| if (ref + size > mem_size_) | |
| return nullptr; | |
| // Validation of referenced block-header. | |
| if (!free_ok) { | |
| const volatile BlockHeader* const block = | |
| reinterpret_cast<volatile BlockHeader*>(mem_base_ + ref); | |
| if (block->cookie != kBlockCookieAllocated) | |
| return nullptr; | |
| if (block->size < size) | |
| return nullptr; | |
| if (ref + block->size > mem_size_) | |
| return nullptr; | |
| if (type_id != 0 && | |
| block->type_id.load(std::memory_order_relaxed) != type_id) { | |
| return nullptr; | |
| } | |
| } | |
| // Return pointer to block data. | |
| return reinterpret_cast<const volatile BlockHeader*>(mem_base_ + ref); | |
| } | |
| void PersistentMemoryAllocator::FlushPartial(size_t length, bool sync) { | |
| // Generally there is nothing to do as every write is done through volatile | |
| // memory with atomic instructions to guarantee consistency. This (virtual) | |
| // method exists so that derivced classes can do special things, such as | |
| // tell the OS to write changes to disk now rather than when convenient. | |
| } | |
| void PersistentMemoryAllocator::RecordError(int error) const { | |
| if (errors_histogram_) | |
| errors_histogram_->Add(error); | |
| } | |
| const volatile void* PersistentMemoryAllocator::GetBlockData( | |
| Reference ref, | |
| uint32_t type_id, | |
| uint32_t size) const { | |
| DCHECK(size > 0); | |
| const volatile BlockHeader* block = | |
| GetBlock(ref, type_id, size, false, false); | |
| if (!block) | |
| return nullptr; | |
| return reinterpret_cast<const volatile char*>(block) + sizeof(BlockHeader); | |
| } | |
| void PersistentMemoryAllocator::UpdateTrackingHistograms() { | |
| DCHECK(!readonly_); | |
| if (used_histogram_) { | |
| MemoryInfo meminfo; | |
| GetMemoryInfo(&meminfo); | |
| HistogramBase::Sample used_percent = static_cast<HistogramBase::Sample>( | |
| ((meminfo.total - meminfo.free) * 100ULL / meminfo.total)); | |
| used_histogram_->Add(used_percent); | |
| } | |
| } | |
| //----- LocalPersistentMemoryAllocator ----------------------------------------- | |
| LocalPersistentMemoryAllocator::LocalPersistentMemoryAllocator( | |
| size_t size, | |
| uint64_t id, | |
| base::StringPiece name) | |
| : PersistentMemoryAllocator(AllocateLocalMemory(size), | |
| size, 0, id, name, false) {} | |
| LocalPersistentMemoryAllocator::~LocalPersistentMemoryAllocator() { | |
| DeallocateLocalMemory(const_cast<char*>(mem_base_), mem_size_, mem_type_); | |
| } | |
| // static | |
| PersistentMemoryAllocator::Memory | |
| LocalPersistentMemoryAllocator::AllocateLocalMemory(size_t size) { | |
| void* address; | |
| #if !defined(STARBOARD) | |
| #if defined(OS_WIN) | |
| address = | |
| ::VirtualAlloc(nullptr, size, MEM_RESERVE | MEM_COMMIT, PAGE_READWRITE); | |
| if (address) | |
| return Memory(address, MEM_VIRTUAL); | |
| UmaHistogramSparse("UMA.LocalPersistentMemoryAllocator.Failures.Win", | |
| ::GetLastError()); | |
| #elif defined(OS_POSIX) || defined(OS_FUCHSIA) | |
| // MAP_ANON is deprecated on Linux but MAP_ANONYMOUS is not universal on Mac. | |
| // MAP_SHARED is not available on Linux <2.4 but required on Mac. | |
| address = ::mmap(nullptr, size, PROT_READ | PROT_WRITE, | |
| MAP_ANON | MAP_SHARED, -1, 0); | |
| if (address != MAP_FAILED) | |
| return Memory(address, MEM_VIRTUAL); | |
| UmaHistogramSparse("UMA.LocalPersistentMemoryAllocator.Failures.Posix", | |
| errno); | |
| #else | |
| #error This architecture is not (yet) supported. | |
| #endif | |
| #endif // !defined(STARBOARD) | |
| // As a last resort, just allocate the memory from the heap. This will | |
| // achieve the same basic result but the acquired memory has to be | |
| // explicitly zeroed and thus realized immediately (i.e. all pages are | |
| // added to the process now istead of only when first accessed). | |
| address = SbMemoryAllocate(size); | |
| DPCHECK(address); | |
| memset(address, 0, size); | |
| return Memory(address, MEM_MALLOC); | |
| } | |
| // static | |
| void LocalPersistentMemoryAllocator::DeallocateLocalMemory(void* memory, | |
| size_t size, | |
| MemoryType type) { | |
| if (type == MEM_MALLOC) { | |
| SbMemoryDeallocate(memory); | |
| return; | |
| } | |
| DCHECK_EQ(MEM_VIRTUAL, type); | |
| #if !defined(STARBOARD) | |
| #if defined(OS_WIN) | |
| BOOL success = ::VirtualFree(memory, 0, MEM_DECOMMIT); | |
| DCHECK(success); | |
| #elif defined(OS_POSIX) || defined(OS_FUCHSIA) | |
| int result = ::munmap(memory, size); | |
| DCHECK_EQ(0, result); | |
| #else | |
| #error This architecture is not (yet) supported. | |
| #endif | |
| #endif // !defined(STARBOARD) | |
| } | |
| //----- SharedPersistentMemoryAllocator ---------------------------------------- | |
| #if !defined(STARBOARD) | |
| SharedPersistentMemoryAllocator::SharedPersistentMemoryAllocator( | |
| std::unique_ptr<SharedMemory> memory, | |
| uint64_t id, | |
| base::StringPiece name, | |
| bool read_only) | |
| : PersistentMemoryAllocator( | |
| Memory(static_cast<uint8_t*>(memory->memory()), MEM_SHARED), | |
| memory->mapped_size(), | |
| 0, | |
| id, | |
| name, | |
| read_only), | |
| shared_memory_(std::move(memory)) {} | |
| SharedPersistentMemoryAllocator::~SharedPersistentMemoryAllocator() = default; | |
| // static | |
| bool SharedPersistentMemoryAllocator::IsSharedMemoryAcceptable( | |
| const SharedMemory& memory) { | |
| return IsMemoryAcceptable(memory.memory(), memory.mapped_size(), 0, false); | |
| } | |
| #endif // !defined(STARBOARD) | |
| #if !defined(OS_NACL) && !defined(STARBOARD) | |
| //----- FilePersistentMemoryAllocator ------------------------------------------ | |
| FilePersistentMemoryAllocator::FilePersistentMemoryAllocator( | |
| std::unique_ptr<MemoryMappedFile> file, | |
| size_t max_size, | |
| uint64_t id, | |
| base::StringPiece name, | |
| bool read_only) | |
| : PersistentMemoryAllocator( | |
| Memory(const_cast<uint8_t*>(file->data()), MEM_FILE), | |
| max_size != 0 ? max_size : file->length(), | |
| 0, | |
| id, | |
| name, | |
| read_only), | |
| mapped_file_(std::move(file)) {} | |
| FilePersistentMemoryAllocator::~FilePersistentMemoryAllocator() = default; | |
| // static | |
| bool FilePersistentMemoryAllocator::IsFileAcceptable( | |
| const MemoryMappedFile& file, | |
| bool read_only) { | |
| return IsMemoryAcceptable(file.data(), file.length(), 0, read_only); | |
| } | |
| void FilePersistentMemoryAllocator::Cache() { | |
| // Since this method is expected to load data from permanent storage | |
| // into memory, blocking I/O may occur. | |
| AssertBlockingAllowed(); | |
| // Calculate begin/end addresses so that the first byte of every page | |
| // in that range can be read. Keep within the used space. The |volatile| | |
| // keyword makes it so the compiler can't make assumptions about what is | |
| // in a given memory location and thus possibly avoid the read. | |
| const volatile char* mem_end = mem_base_ + used(); | |
| const volatile char* mem_begin = mem_base_; | |
| // Iterate over the memory a page at a time, reading the first byte of | |
| // every page. The values are added to a |total| so that the compiler | |
| // can't omit the read. | |
| int total = 0; | |
| for (const volatile char* memory = mem_begin; memory < mem_end; | |
| memory += vm_page_size_) { | |
| total += *memory; | |
| } | |
| // Tell the compiler that |total| is used so that it can't optimize away | |
| // the memory accesses above. | |
| debug::Alias(&total); | |
| } | |
| void FilePersistentMemoryAllocator::FlushPartial(size_t length, bool sync) { | |
| if (sync) | |
| AssertBlockingAllowed(); | |
| if (IsReadonly()) | |
| return; | |
| #if defined(OS_WIN) | |
| // Windows doesn't support asynchronous flush. | |
| AssertBlockingAllowed(); | |
| BOOL success = ::FlushViewOfFile(data(), length); | |
| DPCHECK(success); | |
| #elif defined(OS_MACOSX) | |
| // On OSX, "invalidate" removes all cached pages, forcing a re-read from | |
| // disk. That's not applicable to "flush" so omit it. | |
| int result = | |
| ::msync(const_cast<void*>(data()), length, sync ? MS_SYNC : MS_ASYNC); | |
| DCHECK_NE(EINVAL, result); | |
| #elif defined(OS_POSIX) || defined(OS_FUCHSIA) | |
| // On POSIX, "invalidate" forces _other_ processes to recognize what has | |
| // been written to disk and so is applicable to "flush". | |
| int result = ::msync(const_cast<void*>(data()), length, | |
| MS_INVALIDATE | (sync ? MS_SYNC : MS_ASYNC)); | |
| DCHECK_NE(EINVAL, result); | |
| #else | |
| #error Unsupported OS. | |
| #endif | |
| } | |
| #endif // !defined(OS_NACL) | |
| //----- DelayedPersistentAllocation -------------------------------------------- | |
| // Forwarding constructors. | |
| DelayedPersistentAllocation::DelayedPersistentAllocation( | |
| PersistentMemoryAllocator* allocator, | |
| subtle::Atomic32* ref, | |
| uint32_t type, | |
| size_t size, | |
| bool make_iterable) | |
| : DelayedPersistentAllocation( | |
| allocator, | |
| reinterpret_cast<std::atomic<Reference>*>(ref), | |
| type, | |
| size, | |
| 0, | |
| make_iterable) {} | |
| DelayedPersistentAllocation::DelayedPersistentAllocation( | |
| PersistentMemoryAllocator* allocator, | |
| subtle::Atomic32* ref, | |
| uint32_t type, | |
| size_t size, | |
| size_t offset, | |
| bool make_iterable) | |
| : DelayedPersistentAllocation( | |
| allocator, | |
| reinterpret_cast<std::atomic<Reference>*>(ref), | |
| type, | |
| size, | |
| offset, | |
| make_iterable) {} | |
| DelayedPersistentAllocation::DelayedPersistentAllocation( | |
| PersistentMemoryAllocator* allocator, | |
| std::atomic<Reference>* ref, | |
| uint32_t type, | |
| size_t size, | |
| bool make_iterable) | |
| : DelayedPersistentAllocation(allocator, | |
| ref, | |
| type, | |
| size, | |
| 0, | |
| make_iterable) {} | |
| // Real constructor. | |
| DelayedPersistentAllocation::DelayedPersistentAllocation( | |
| PersistentMemoryAllocator* allocator, | |
| std::atomic<Reference>* ref, | |
| uint32_t type, | |
| size_t size, | |
| size_t offset, | |
| bool make_iterable) | |
| : allocator_(allocator), | |
| type_(type), | |
| size_(checked_cast<uint32_t>(size)), | |
| offset_(checked_cast<uint32_t>(offset)), | |
| make_iterable_(make_iterable), | |
| reference_(ref) { | |
| DCHECK(allocator_); | |
| DCHECK_NE(0U, type_); | |
| DCHECK_LT(0U, size_); | |
| DCHECK(reference_); | |
| } | |
| DelayedPersistentAllocation::~DelayedPersistentAllocation() = default; | |
| void* DelayedPersistentAllocation::Get() const { | |
| // Relaxed operations are acceptable here because it's not protecting the | |
| // contents of the allocation in any way. | |
| Reference ref = reference_->load(std::memory_order_acquire); | |
| if (!ref) { | |
| ref = allocator_->Allocate(size_, type_); | |
| if (!ref) | |
| return nullptr; | |
| // Store the new reference in its proper location using compare-and-swap. | |
| // Use a "strong" exchange to ensure no false-negatives since the operation | |
| // cannot be retried. | |
| Reference existing = 0; // Must be mutable; receives actual value. | |
| if (reference_->compare_exchange_strong(existing, ref, | |
| std::memory_order_release, | |
| std::memory_order_relaxed)) { | |
| if (make_iterable_) | |
| allocator_->MakeIterable(ref); | |
| } else { | |
| // Failure indicates that something else has raced ahead, performed the | |
| // allocation, and stored its reference. Purge the allocation that was | |
| // just done and use the other one instead. | |
| DCHECK_EQ(type_, allocator_->GetType(existing)); | |
| DCHECK_LE(size_, allocator_->GetAllocSize(existing)); | |
| allocator_->ChangeType(ref, 0, type_, /*clear=*/false); | |
| ref = existing; | |
| } | |
| } | |
| char* mem = allocator_->GetAsArray<char>(ref, type_, size_); | |
| if (!mem) { | |
| // This should never happen but be tolerant if it does as corruption from | |
| // the outside is something to guard against. | |
| NOTREACHED(); | |
| return nullptr; | |
| } | |
| return mem + offset_; | |
| } | |
| } // namespace base |