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

Unified Diff: base/memory/shared_memory_allocator.h

Issue 1410213004: Create "persistent memory allocator" for persisting and sharing objects. (Closed) Base URL: https://chromium.googlesource.com/chromium/src.git@master
Patch Set: addressed review comments by Chris Created 5 years, 1 month 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: base/memory/shared_memory_allocator.h
diff --git a/base/memory/shared_memory_allocator.h b/base/memory/shared_memory_allocator.h
new file mode 100644
index 0000000000000000000000000000000000000000..89ac267536485e9da3688418e7f01af28eb9586a
--- /dev/null
+++ b/base/memory/shared_memory_allocator.h
@@ -0,0 +1,168 @@
+// 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.
+
+#ifndef BASE_MEMORY_SHARED_MEMORY_ALLOCATOR_H_
+#define BASE_MEMORY_SHARED_MEMORY_ALLOCATOR_H_
+
+#include <stdint.h>
+
+#include "base/atomicops.h"
+#include "base/base_export.h"
+#include "base/macros.h"
+
+namespace base {
+
+// Simple allocator for pieces of a memory block that may be shared across
+// multiple processes.
+//
+// This class provides for thread-secure (i.e. safe against other threads
+// or processes that may be compromised and thus have malicious intent)
+// allocation of memory within a designated block and also a mechanism by
+// which other threads can learn of the allocations with any additional
+// shared information.
+//
+// There is (currently) no way to release an allocated block of data because
+// doing so would risk invalidating pointers held by other processes and
+// greatly complicate the allocation algorithm.
+//
+// Construction of this object can accept new, clean (i.e. zeroed) memory
+// or previously initialized memory. In the first case, construction must
+// be allowed to complete before letting other allocators attach to the same
+// segment. In other words, don't share the segment until at least one
+// allocator has been attached to it.
+//
+// It should be noted that memory doesn't need to actually have zeros written
+// throughout; it just needs to read as zero until something diffferent is
+// written to a location. This is an important distinction as it supports the
+// use-case of non-pinned memory, such as from a demand-allocated region by
+// the OS or a memory-mapped file that auto-grows from a starting size of zero.
+class BASE_EXPORT SharedMemoryAllocator {
+ public:
+ typedef int32_t Reference;
+
+ // Internal state information when iterating over memory allocations.
+ struct Iterator {
+ Reference last;
+ uint32_t niter;
+ };
+
+ // Returned information about the internal state of the heap.
+ struct MemoryInfo {
+ size_t total;
+ size_t free;
+ };
+
+ enum : uint32_t {
+ kTypeIdAny = 0 // Match any type-id inside GetAsObject().
+ };
+
+ // The allocator operates on any arbitrary block of memory. Creation and
+ // sharing of that block with another process is the responsibility of the
+ // caller. The allocator needs to know only the block's |base| address, the
+ // total |size| of the block, and any internal |page| size (zero if not
+ // paged) across which allocations should not span.
+ //
+ // SharedMemoryAllocator does NOT take ownership of this memory block. The
+ // caller must manage it and ensure it stays available throughout the lifetime
+ // of this object.
+ //
+ // Memory segments for sharing must have had an allocator attached to them
+ // before actually being shared. If the memory segment was just created, it
+ // should be zeroed. If it was an existing segment, the values here will
+ // be compared to copies stored in the shared segment as a guard against
+ // corruption.
+ SharedMemoryAllocator(void* base, size_t size, size_t page_size);
+ ~SharedMemoryAllocator();
+
+ // Get an object referenced by a |ref|. For safety reasons, the |type_id|
+ // code and size-of(|T|) are compared to ensure the reference is valid
+ // and cannot return an object outside of the memory segment. A |type_id| of
+ // zero will match any though the size is still checked. NULL is returned
+ // if any problem is detected, such as corrupted storage or incorrect
+ // parameters. Callers MUST check that the returned value is not-null EVERY
+ // TIME before accessing it or risk crashing! Once dereferenced, the pointer
mdempsky 2015/11/10 19:47:56 I'm a little unclear on these last two sentences.
+ // is safe to reuse forever.
+ //
+ // NOTE: Though this method will guarantee that an object of the specified
+ // type can be accessed without going outside the bounds of the memory
+ // segment, it makes no guarantees of the validity of the data within the
+ // object itself. If it is expected that the contents of the segment could
+ // be compromised with malicious intent, the object must be hardened as well.
+ template <typename T>
+ T* GetAsObject(Reference ref, uint32_t type_id) {
+ return static_cast<T*>(GetBlockData(ref, type_id, sizeof(T)));
+ }
+
+ // Get the number of bytes allocated to a block. This is useful when storing
+ // arrays in order to validate the ending boundary. The returned value will
+ // include any padding added to achieve the required alignment and so could
+ // be larger than given in the original Allocate() request.
+ size_t GetAllocSize(Reference ref);
+
+ // Reserve space in the memory segment of the desired |size| and |type_id|.
+ // A return value of zero indicates the allocation failed, otherwise the
+ // returned reference can be used by any process to get a real pointer via
+ // the GetAsObject() call.
+ int32_t Allocate(size_t size, uint32_t type_id);
+
+ // Allocated objects can be added to an internal list that can then be
+ // iterated over by other processes. If an allocated object can be found
+ // another way, such as by having its reference within a different object
+ // that will be made iterable, then this call is not necessary. This always
+ // succeeds unless corruption is detected; check IsCorrupted() to find out.
+ void MakeIterable(Reference ref);
+
+ // Get the information about the amount of free space in the allocator. The
+ // amount of free space should be treated as approximate due to extras from
+ // alignment and metadata. Concurrent allocations from other threads will
+ // also make the true amount less than what is reported.
+ void GetMemoryInfo(MemoryInfo* meminfo);
+
+ // Iterating uses a |state| structure (initialized by CreateIterator) and
mdempsky 2015/11/10 19:47:56 nit: I think "uses an |Iterator| structure" is mea
+ // returns both the reference to the object as well as the |type_id| of
+ // that object. A zero return value indicates there are currently no more
+ // objects to be found but future attempts can be made without having to
+ // reset the iterator to "first".
+ void CreateIterator(Iterator* state);
+ int32_t GetNextIterable(Iterator* state, uint32_t* type_id);
mdempsky 2015/11/10 19:47:55 Should the return type be Reference?
+
+ // If there is some indication that the shared memory has become corrupted,
+ // calling this will attempt to prevent further damage by indicating to
+ // all processes that something is not as expected.
+ void SetCorrupt();
+
+ // This can be called to determine if corruption has been detected in the
+ // shared segment, possibly my a malicious actor. Once detected, future
mdempsky 2015/11/10 19:47:56 typo: s/my/by/
+ // allocations will fail and iteration may not locate all objects.
+ bool IsCorrupt();
+
+ // Flag set if an allocation has failed because memory was full.
+ bool IsFull();
+
+ private:
+ struct SharedMetadata;
+ struct BlockHeader;
+
+ // The shared metadata is always located at the top of the shared memory.
+ // This convenience function eliminates constant casting of the base pointer
mdempsky 2015/11/10 19:47:56 nit: Say "repeated casting" since "constant castin
+ // within the code.
+ SharedMetadata* shared_meta() {
+ return reinterpret_cast<SharedMetadata*>(mem_base_);
+ }
+
+ BlockHeader* GetBlock(Reference ref, uint32_t type_id, int32_t size,
+ bool queue_ok, bool free_ok);
+ void* GetBlockData(Reference ref, uint32_t type_id, int32_t size);
+
+ char* mem_base_; // Same. (char because sizeof guaranteed 1)
mdempsky 2015/11/10 19:47:56 Same as what?
+ int32_t mem_size_; // Size of entire memory segment.
+ int32_t mem_page_; // Page size allocations shouldn't cross.
+ subtle::Atomic32 corrupted_; // Local version of "corrupted" flag.
+
+ DISALLOW_COPY_AND_ASSIGN(SharedMemoryAllocator);
+};
+
+} // namespace base
+
+#endif // BASE_MEMORY_SHARED_MEMORY_ALLOCATOR_H_

Powered by Google App Engine
This is Rietveld 408576698