Elliott Hughes | 2faa5f1 | 2012-01-30 14:42:07 -0800 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2011 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
Carl Shapiro | a5d5cfd | 2011-06-21 12:46:59 -0700 | [diff] [blame] | 16 | |
Brian Carlstrom | fc0e321 | 2013-07-17 14:40:12 -0700 | [diff] [blame] | 17 | #ifndef ART_RUNTIME_MEMORY_REGION_H_ |
| 18 | #define ART_RUNTIME_MEMORY_REGION_H_ |
Carl Shapiro | a5d5cfd | 2011-06-21 12:46:59 -0700 | [diff] [blame] | 19 | |
| 20 | #include <stdint.h> |
Elliott Hughes | 7616005 | 2012-12-12 16:31:20 -0800 | [diff] [blame] | 21 | |
Roland Levillain | da4d79b | 2015-03-24 14:36:11 +0000 | [diff] [blame] | 22 | #include "base/casts.h" |
Elliott Hughes | 07ed66b | 2012-12-12 18:34:25 -0800 | [diff] [blame] | 23 | #include "base/logging.h" |
Elliott Hughes | 7616005 | 2012-12-12 16:31:20 -0800 | [diff] [blame] | 24 | #include "base/macros.h" |
Ian Rogers | d4c4d95 | 2014-10-16 20:31:53 -0700 | [diff] [blame] | 25 | #include "base/value_object.h" |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 26 | #include "globals.h" |
Roland Levillain | a2d8ec6 | 2015-03-12 15:25:29 +0000 | [diff] [blame] | 27 | #include "utils.h" |
Carl Shapiro | a5d5cfd | 2011-06-21 12:46:59 -0700 | [diff] [blame] | 28 | |
Carl Shapiro | 6b6b5f0 | 2011-06-21 15:05:09 -0700 | [diff] [blame] | 29 | namespace art { |
Carl Shapiro | a5d5cfd | 2011-06-21 12:46:59 -0700 | [diff] [blame] | 30 | |
| 31 | // Memory regions are useful for accessing memory with bounds check in |
| 32 | // debug mode. They can be safely passed by value and do not assume ownership |
| 33 | // of the region. |
Ian Rogers | d4c4d95 | 2014-10-16 20:31:53 -0700 | [diff] [blame] | 34 | class MemoryRegion FINAL : public ValueObject { |
Carl Shapiro | a5d5cfd | 2011-06-21 12:46:59 -0700 | [diff] [blame] | 35 | public: |
Ian Rogers | d4c4d95 | 2014-10-16 20:31:53 -0700 | [diff] [blame] | 36 | MemoryRegion() : pointer_(nullptr), size_(0) {} |
Andreas Gampe | 277ccbd | 2014-11-03 21:36:10 -0800 | [diff] [blame] | 37 | MemoryRegion(void* pointer_in, uintptr_t size_in) : pointer_(pointer_in), size_(size_in) {} |
Carl Shapiro | a5d5cfd | 2011-06-21 12:46:59 -0700 | [diff] [blame] | 38 | |
| 39 | void* pointer() const { return pointer_; } |
| 40 | size_t size() const { return size_; } |
| 41 | size_t size_in_bits() const { return size_ * kBitsPerByte; } |
| 42 | |
| 43 | static size_t pointer_offset() { |
| 44 | return OFFSETOF_MEMBER(MemoryRegion, pointer_); |
| 45 | } |
| 46 | |
Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 47 | uint8_t* start() const { return reinterpret_cast<uint8_t*>(pointer_); } |
| 48 | uint8_t* end() const { return start() + size_; } |
Carl Shapiro | a5d5cfd | 2011-06-21 12:46:59 -0700 | [diff] [blame] | 49 | |
Roland Levillain | a2d8ec6 | 2015-03-12 15:25:29 +0000 | [diff] [blame] | 50 | // Load value of type `T` at `offset`. The memory address corresponding |
Roland Levillain | bdba92d | 2015-03-31 12:27:44 +0100 | [diff] [blame] | 51 | // to `offset` should be word-aligned (on ARM, this is a requirement). |
Carl Shapiro | a5d5cfd | 2011-06-21 12:46:59 -0700 | [diff] [blame] | 52 | template<typename T> T Load(uintptr_t offset) const { |
Roland Levillain | bdba92d | 2015-03-31 12:27:44 +0100 | [diff] [blame] | 53 | T* address = ComputeInternalPointer<T>(offset); |
| 54 | DCHECK(IsWordAligned(address)); |
| 55 | return *address; |
Carl Shapiro | a5d5cfd | 2011-06-21 12:46:59 -0700 | [diff] [blame] | 56 | } |
| 57 | |
Roland Levillain | a2d8ec6 | 2015-03-12 15:25:29 +0000 | [diff] [blame] | 58 | // Store `value` (of type `T`) at `offset`. The memory address |
Roland Levillain | bdba92d | 2015-03-31 12:27:44 +0100 | [diff] [blame] | 59 | // corresponding to `offset` should be word-aligned (on ARM, this is |
| 60 | // a requirement). |
Carl Shapiro | a5d5cfd | 2011-06-21 12:46:59 -0700 | [diff] [blame] | 61 | template<typename T> void Store(uintptr_t offset, T value) const { |
Roland Levillain | bdba92d | 2015-03-31 12:27:44 +0100 | [diff] [blame] | 62 | T* address = ComputeInternalPointer<T>(offset); |
| 63 | DCHECK(IsWordAligned(address)); |
| 64 | *address = value; |
Carl Shapiro | a5d5cfd | 2011-06-21 12:46:59 -0700 | [diff] [blame] | 65 | } |
| 66 | |
Roland Levillain | a2d8ec6 | 2015-03-12 15:25:29 +0000 | [diff] [blame] | 67 | // Load value of type `T` at `offset`. The memory address corresponding |
| 68 | // to `offset` does not need to be word-aligned. |
| 69 | template<typename T> T LoadUnaligned(uintptr_t offset) const { |
| 70 | // Equivalent unsigned integer type corresponding to T. |
| 71 | typedef typename UnsignedIntegerType<sizeof(T)>::type U; |
| 72 | U equivalent_unsigned_integer_value = 0; |
| 73 | // Read the value byte by byte in a little-endian fashion. |
| 74 | for (size_t i = 0; i < sizeof(U); ++i) { |
| 75 | equivalent_unsigned_integer_value += |
| 76 | *ComputeInternalPointer<uint8_t>(offset + i) << (i * kBitsPerByte); |
| 77 | } |
Roland Levillain | da4d79b | 2015-03-24 14:36:11 +0000 | [diff] [blame] | 78 | return bit_cast<T, U>(equivalent_unsigned_integer_value); |
Roland Levillain | a2d8ec6 | 2015-03-12 15:25:29 +0000 | [diff] [blame] | 79 | } |
| 80 | |
| 81 | // Store `value` (of type `T`) at `offset`. The memory address |
| 82 | // corresponding to `offset` does not need to be word-aligned. |
| 83 | template<typename T> void StoreUnaligned(uintptr_t offset, T value) const { |
| 84 | // Equivalent unsigned integer type corresponding to T. |
| 85 | typedef typename UnsignedIntegerType<sizeof(T)>::type U; |
Roland Levillain | da4d79b | 2015-03-24 14:36:11 +0000 | [diff] [blame] | 86 | U equivalent_unsigned_integer_value = bit_cast<U, T>(value); |
Roland Levillain | a2d8ec6 | 2015-03-12 15:25:29 +0000 | [diff] [blame] | 87 | // Write the value byte by byte in a little-endian fashion. |
| 88 | for (size_t i = 0; i < sizeof(U); ++i) { |
| 89 | *ComputeInternalPointer<uint8_t>(offset + i) = |
| 90 | (equivalent_unsigned_integer_value >> (i * kBitsPerByte)) & 0xFF; |
| 91 | } |
| 92 | } |
| 93 | |
Carl Shapiro | a5d5cfd | 2011-06-21 12:46:59 -0700 | [diff] [blame] | 94 | template<typename T> T* PointerTo(uintptr_t offset) const { |
| 95 | return ComputeInternalPointer<T>(offset); |
| 96 | } |
| 97 | |
Nicolas Geoffray | 99ea58c | 2014-07-02 15:08:17 +0100 | [diff] [blame] | 98 | // Load a single bit in the region. The bit at offset 0 is the least |
| 99 | // significant bit in the first byte. |
| 100 | bool LoadBit(uintptr_t bit_offset) const { |
| 101 | uint8_t bit_mask; |
| 102 | uint8_t byte = *ComputeBitPointer(bit_offset, &bit_mask); |
| 103 | return byte & bit_mask; |
| 104 | } |
| 105 | |
| 106 | void StoreBit(uintptr_t bit_offset, bool value) const { |
| 107 | uint8_t bit_mask; |
| 108 | uint8_t* byte = ComputeBitPointer(bit_offset, &bit_mask); |
| 109 | if (value) { |
| 110 | *byte |= bit_mask; |
| 111 | } else { |
| 112 | *byte &= ~bit_mask; |
| 113 | } |
| 114 | } |
| 115 | |
Carl Shapiro | a5d5cfd | 2011-06-21 12:46:59 -0700 | [diff] [blame] | 116 | void CopyFrom(size_t offset, const MemoryRegion& from) const; |
| 117 | |
| 118 | // Compute a sub memory region based on an existing one. |
Andreas Gampe | 277ccbd | 2014-11-03 21:36:10 -0800 | [diff] [blame] | 119 | MemoryRegion Subregion(uintptr_t offset, uintptr_t size_in) const { |
| 120 | CHECK_GE(this->size(), size_in); |
| 121 | CHECK_LE(offset, this->size() - size_in); |
| 122 | return MemoryRegion(reinterpret_cast<void*>(start() + offset), size_in); |
Carl Shapiro | a5d5cfd | 2011-06-21 12:46:59 -0700 | [diff] [blame] | 123 | } |
| 124 | |
| 125 | // Compute an extended memory region based on an existing one. |
| 126 | void Extend(const MemoryRegion& region, uintptr_t extra) { |
| 127 | pointer_ = region.pointer(); |
| 128 | size_ = (region.size() + extra); |
| 129 | } |
| 130 | |
| 131 | private: |
| 132 | template<typename T> T* ComputeInternalPointer(size_t offset) const { |
| 133 | CHECK_GE(size(), sizeof(T)); |
| 134 | CHECK_LE(offset, size() - sizeof(T)); |
| 135 | return reinterpret_cast<T*>(start() + offset); |
| 136 | } |
| 137 | |
| 138 | // Locate the bit with the given offset. Returns a pointer to the byte |
| 139 | // containing the bit, and sets bit_mask to the bit within that byte. |
Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 140 | uint8_t* ComputeBitPointer(uintptr_t bit_offset, uint8_t* bit_mask) const { |
Carl Shapiro | a5d5cfd | 2011-06-21 12:46:59 -0700 | [diff] [blame] | 141 | uintptr_t bit_remainder = (bit_offset & (kBitsPerByte - 1)); |
| 142 | *bit_mask = (1U << bit_remainder); |
| 143 | uintptr_t byte_offset = (bit_offset >> kBitsPerByteLog2); |
Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 144 | return ComputeInternalPointer<uint8_t>(byte_offset); |
Carl Shapiro | a5d5cfd | 2011-06-21 12:46:59 -0700 | [diff] [blame] | 145 | } |
| 146 | |
Roland Levillain | bdba92d | 2015-03-31 12:27:44 +0100 | [diff] [blame] | 147 | // Is `address` aligned on a machine word? |
| 148 | template<typename T> static bool IsWordAligned(const T* address) { |
| 149 | // Word alignment in bytes. |
| 150 | size_t kWordAlignment = GetInstructionSetPointerSize(kRuntimeISA); |
| 151 | return IsAlignedParam(address, kWordAlignment); |
| 152 | } |
| 153 | |
Carl Shapiro | a5d5cfd | 2011-06-21 12:46:59 -0700 | [diff] [blame] | 154 | void* pointer_; |
| 155 | size_t size_; |
Carl Shapiro | a5d5cfd | 2011-06-21 12:46:59 -0700 | [diff] [blame] | 156 | }; |
| 157 | |
Carl Shapiro | 6b6b5f0 | 2011-06-21 15:05:09 -0700 | [diff] [blame] | 158 | } // namespace art |
Carl Shapiro | a5d5cfd | 2011-06-21 12:46:59 -0700 | [diff] [blame] | 159 | |
Brian Carlstrom | fc0e321 | 2013-07-17 14:40:12 -0700 | [diff] [blame] | 160 | #endif // ART_RUNTIME_MEMORY_REGION_H_ |