blob: 3dcb0dd329d49c463489847acfbdd5fd2e95fd26 [file] [log] [blame]
Elliott Hughes2faa5f12012-01-30 14:42:07 -08001/*
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 Shapiroa5d5cfd2011-06-21 12:46:59 -070016
Brian Carlstromfc0e3212013-07-17 14:40:12 -070017#ifndef ART_RUNTIME_MEMORY_REGION_H_
18#define ART_RUNTIME_MEMORY_REGION_H_
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070019
20#include <stdint.h>
Elliott Hughes76160052012-12-12 16:31:20 -080021
Roland Levillainda4d79b2015-03-24 14:36:11 +000022#include "base/casts.h"
Elliott Hughes07ed66b2012-12-12 18:34:25 -080023#include "base/logging.h"
Elliott Hughes76160052012-12-12 16:31:20 -080024#include "base/macros.h"
Ian Rogersd4c4d952014-10-16 20:31:53 -070025#include "base/value_object.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070026#include "globals.h"
Roland Levillaina2d8ec62015-03-12 15:25:29 +000027#include "utils.h"
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070028
Carl Shapiro6b6b5f02011-06-21 15:05:09 -070029namespace art {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070030
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 Rogersd4c4d952014-10-16 20:31:53 -070034class MemoryRegion FINAL : public ValueObject {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070035 public:
Ian Rogersd4c4d952014-10-16 20:31:53 -070036 MemoryRegion() : pointer_(nullptr), size_(0) {}
Andreas Gampe277ccbd2014-11-03 21:36:10 -080037 MemoryRegion(void* pointer_in, uintptr_t size_in) : pointer_(pointer_in), size_(size_in) {}
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070038
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 Rogers13735952014-10-08 12:43:28 -070047 uint8_t* start() const { return reinterpret_cast<uint8_t*>(pointer_); }
48 uint8_t* end() const { return start() + size_; }
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070049
Roland Levillaina2d8ec62015-03-12 15:25:29 +000050 // Load value of type `T` at `offset`. The memory address corresponding
Roland Levillainbdba92d2015-03-31 12:27:44 +010051 // to `offset` should be word-aligned (on ARM, this is a requirement).
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070052 template<typename T> T Load(uintptr_t offset) const {
Roland Levillainbdba92d2015-03-31 12:27:44 +010053 T* address = ComputeInternalPointer<T>(offset);
54 DCHECK(IsWordAligned(address));
55 return *address;
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070056 }
57
Roland Levillaina2d8ec62015-03-12 15:25:29 +000058 // Store `value` (of type `T`) at `offset`. The memory address
Roland Levillainbdba92d2015-03-31 12:27:44 +010059 // corresponding to `offset` should be word-aligned (on ARM, this is
60 // a requirement).
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070061 template<typename T> void Store(uintptr_t offset, T value) const {
Roland Levillainbdba92d2015-03-31 12:27:44 +010062 T* address = ComputeInternalPointer<T>(offset);
63 DCHECK(IsWordAligned(address));
64 *address = value;
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070065 }
66
Roland Levillaina2d8ec62015-03-12 15:25:29 +000067 // 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 Levillainda4d79b2015-03-24 14:36:11 +000078 return bit_cast<T, U>(equivalent_unsigned_integer_value);
Roland Levillaina2d8ec62015-03-12 15:25:29 +000079 }
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 Levillainda4d79b2015-03-24 14:36:11 +000086 U equivalent_unsigned_integer_value = bit_cast<U, T>(value);
Roland Levillaina2d8ec62015-03-12 15:25:29 +000087 // 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 Shapiroa5d5cfd2011-06-21 12:46:59 -070094 template<typename T> T* PointerTo(uintptr_t offset) const {
95 return ComputeInternalPointer<T>(offset);
96 }
97
Nicolas Geoffray99ea58c2014-07-02 15:08:17 +010098 // 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 Shapiroa5d5cfd2011-06-21 12:46:59 -0700116 void CopyFrom(size_t offset, const MemoryRegion& from) const;
117
118 // Compute a sub memory region based on an existing one.
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800119 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 Shapiroa5d5cfd2011-06-21 12:46:59 -0700123 }
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 Rogers13735952014-10-08 12:43:28 -0700140 uint8_t* ComputeBitPointer(uintptr_t bit_offset, uint8_t* bit_mask) const {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700141 uintptr_t bit_remainder = (bit_offset & (kBitsPerByte - 1));
142 *bit_mask = (1U << bit_remainder);
143 uintptr_t byte_offset = (bit_offset >> kBitsPerByteLog2);
Ian Rogers13735952014-10-08 12:43:28 -0700144 return ComputeInternalPointer<uint8_t>(byte_offset);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700145 }
146
Roland Levillainbdba92d2015-03-31 12:27:44 +0100147 // 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 Shapiroa5d5cfd2011-06-21 12:46:59 -0700154 void* pointer_;
155 size_t size_;
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700156};
157
Carl Shapiro6b6b5f02011-06-21 15:05:09 -0700158} // namespace art
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700159
Brian Carlstromfc0e3212013-07-17 14:40:12 -0700160#endif // ART_RUNTIME_MEMORY_REGION_H_