Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2008 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 | */ |
| 16 | |
Brian Carlstrom | fc0e321 | 2013-07-17 14:40:12 -0700 | [diff] [blame] | 17 | #ifndef ART_RUNTIME_MEM_MAP_H_ |
| 18 | #define ART_RUNTIME_MEM_MAP_H_ |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 19 | |
Hiroshi Yamauchi | 3eed93d | 2014-06-04 11:43:59 -0700 | [diff] [blame] | 20 | #include "base/mutex.h" |
| 21 | |
Mathieu Chartier | 1c23e1e | 2012-10-12 14:14:11 -0700 | [diff] [blame] | 22 | #include <string> |
Hiroshi Yamauchi | 3eed93d | 2014-06-04 11:43:59 -0700 | [diff] [blame] | 23 | #include <map> |
Mathieu Chartier | 1c23e1e | 2012-10-12 14:14:11 -0700 | [diff] [blame] | 24 | |
Brian Carlstrom | 27ec961 | 2011-09-19 20:20:38 -0700 | [diff] [blame] | 25 | #include <stddef.h> |
Elliott Hughes | a168c83 | 2012-06-12 15:34:20 -0700 | [diff] [blame] | 26 | #include <sys/mman.h> // For the PROT_* and MAP_* constants. |
Brian Carlstrom | 27ec961 | 2011-09-19 20:20:38 -0700 | [diff] [blame] | 27 | #include <sys/types.h> |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 28 | |
Mathieu Chartier | bad0267 | 2014-08-25 13:08:22 -0700 | [diff] [blame] | 29 | #include "base/allocator.h" |
Brian Carlstrom | 27ec961 | 2011-09-19 20:20:38 -0700 | [diff] [blame] | 30 | #include "globals.h" |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 31 | |
| 32 | namespace art { |
| 33 | |
Ian Rogers | c3ccc10 | 2014-06-25 11:52:14 -0700 | [diff] [blame] | 34 | #if defined(__LP64__) && (!defined(__x86_64__) || defined(__APPLE__)) |
| 35 | #define USE_ART_LOW_4G_ALLOCATOR 1 |
| 36 | #else |
| 37 | #define USE_ART_LOW_4G_ALLOCATOR 0 |
| 38 | #endif |
| 39 | |
Ian Rogers | c5f1773 | 2014-06-05 20:48:42 -0700 | [diff] [blame] | 40 | #ifdef __linux__ |
| 41 | static constexpr bool kMadviseZeroes = true; |
| 42 | #else |
| 43 | static constexpr bool kMadviseZeroes = false; |
| 44 | #endif |
| 45 | |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 46 | // Used to keep track of mmap segments. |
Andreas Gampe | d8f26db | 2014-05-19 17:01:13 -0700 | [diff] [blame] | 47 | // |
| 48 | // On 64b systems not supporting MAP_32BIT, the implementation of MemMap will do a linear scan |
| 49 | // for free pages. For security, the start of this scan should be randomized. This requires a |
| 50 | // dynamic initializer. |
| 51 | // For this to work, it is paramount that there are no other static initializers that access MemMap. |
| 52 | // Otherwise, calls might see uninitialized values. |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 53 | class MemMap { |
| 54 | public: |
Elliott Hughes | ecd3a6f | 2012-06-06 18:16:37 -0700 | [diff] [blame] | 55 | // Request an anonymous region of length 'byte_count' and a requested base address. |
Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 56 | // Use null as the requested base address if you don't care. |
Vladimir Marko | 5c42c29 | 2015-02-25 12:02:49 +0000 | [diff] [blame] | 57 | // "reuse" allows re-mapping an address range from an existing mapping. |
Elliott Hughes | 6c9c06d | 2011-11-07 16:43:47 -0800 | [diff] [blame] | 58 | // |
| 59 | // The word "anonymous" in this context means "not backed by a file". The supplied |
| 60 | // 'ashmem_name' will be used -- on systems that support it -- to give the mapping |
| 61 | // a name. |
Brian Carlstrom | 4a289ed | 2011-08-16 17:17:49 -0700 | [diff] [blame] | 62 | // |
Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 63 | // On success, returns returns a MemMap instance. On failure, returns null. |
Mathieu Chartier | 42bddce | 2015-11-09 15:16:56 -0800 | [diff] [blame^] | 64 | static MemMap* MapAnonymous(const char* ashmem_name, |
| 65 | uint8_t* addr, |
| 66 | size_t byte_count, |
| 67 | int prot, |
| 68 | bool low_4gb, |
| 69 | bool reuse, |
| 70 | std::string* error_msg); |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 71 | |
David Srbecky | 1baabf0 | 2015-06-16 17:12:34 +0000 | [diff] [blame] | 72 | // Create placeholder for a region allocated by direct call to mmap. |
| 73 | // This is useful when we do not have control over the code calling mmap, |
| 74 | // but when we still want to keep track of it in the list. |
| 75 | // The region is not considered to be owned and will not be unmmaped. |
| 76 | static MemMap* MapDummy(const char* name, uint8_t* addr, size_t byte_count); |
| 77 | |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 78 | // Map part of a file, taking care of non-page aligned offsets. The |
| 79 | // "start" offset is absolute, not relative. |
| 80 | // |
Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 81 | // On success, returns returns a MemMap instance. On failure, returns null. |
Mathieu Chartier | 42bddce | 2015-11-09 15:16:56 -0800 | [diff] [blame^] | 82 | static MemMap* MapFile(size_t byte_count, |
| 83 | int prot, |
| 84 | int flags, |
| 85 | int fd, |
| 86 | off_t start, |
| 87 | bool low_4gb, |
| 88 | const char* filename, |
| 89 | std::string* error_msg) { |
| 90 | return MapFileAtAddress(nullptr, |
| 91 | byte_count, |
| 92 | prot, |
| 93 | flags, |
| 94 | fd, |
| 95 | start, |
| 96 | /*low_4gb*/low_4gb, |
| 97 | /*reuse*/false, |
| 98 | filename, |
| 99 | error_msg); |
Brian Carlstrom | 4a289ed | 2011-08-16 17:17:49 -0700 | [diff] [blame] | 100 | } |
| 101 | |
| 102 | // Map part of a file, taking care of non-page aligned offsets. The |
| 103 | // "start" offset is absolute, not relative. This version allows |
Jim_Guo | a62a588 | 2014-04-28 11:11:57 +0800 | [diff] [blame] | 104 | // requesting a specific address for the base of the |
| 105 | // mapping. "reuse" allows us to create a view into an existing |
| 106 | // mapping where we do not take ownership of the memory. |
Brian Carlstrom | 4a289ed | 2011-08-16 17:17:49 -0700 | [diff] [blame] | 107 | // |
Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 108 | // On success, returns returns a MemMap instance. On failure, returns null. |
Mathieu Chartier | 42bddce | 2015-11-09 15:16:56 -0800 | [diff] [blame^] | 109 | static MemMap* MapFileAtAddress(uint8_t* addr, |
| 110 | size_t byte_count, |
| 111 | int prot, |
| 112 | int flags, |
| 113 | int fd, |
| 114 | off_t start, |
| 115 | bool low_4gb, |
| 116 | bool reuse, |
| 117 | const char* filename, |
Ian Rogers | 8d31bbd | 2013-10-13 10:44:14 -0700 | [diff] [blame] | 118 | std::string* error_msg); |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 119 | |
Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 120 | // Releases the memory mapping. |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 121 | ~MemMap() REQUIRES(!Locks::mem_maps_lock_); |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 122 | |
Brian Carlstrom | 0d6adac | 2014-02-05 17:39:16 -0800 | [diff] [blame] | 123 | const std::string& GetName() const { |
| 124 | return name_; |
| 125 | } |
| 126 | |
Logan Chien | d88fa26 | 2012-06-06 15:23:32 +0800 | [diff] [blame] | 127 | bool Protect(int prot); |
| 128 | |
Ian Rogers | c5f1773 | 2014-06-05 20:48:42 -0700 | [diff] [blame] | 129 | void MadviseDontNeedAndZero(); |
| 130 | |
Ian Rogers | 1c849e5 | 2012-06-28 14:00:33 -0700 | [diff] [blame] | 131 | int GetProtect() const { |
| 132 | return prot_; |
| 133 | } |
| 134 | |
Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 135 | uint8_t* Begin() const { |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 136 | return begin_; |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 137 | } |
| 138 | |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 139 | size_t Size() const { |
| 140 | return size_; |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 141 | } |
| 142 | |
Mathieu Chartier | 379d09f | 2015-01-08 11:28:13 -0800 | [diff] [blame] | 143 | // Resize the mem-map by unmapping pages at the end. Currently only supports shrinking. |
| 144 | void SetSize(size_t new_size); |
| 145 | |
Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 146 | uint8_t* End() const { |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 147 | return Begin() + Size(); |
| 148 | } |
| 149 | |
Brian Carlstrom | 0d6adac | 2014-02-05 17:39:16 -0800 | [diff] [blame] | 150 | void* BaseBegin() const { |
| 151 | return base_begin_; |
| 152 | } |
| 153 | |
| 154 | size_t BaseSize() const { |
| 155 | return base_size_; |
| 156 | } |
| 157 | |
| 158 | void* BaseEnd() const { |
Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 159 | return reinterpret_cast<uint8_t*>(BaseBegin()) + BaseSize(); |
Brian Carlstrom | 0d6adac | 2014-02-05 17:39:16 -0800 | [diff] [blame] | 160 | } |
| 161 | |
Mathieu Chartier | 2fde533 | 2012-09-14 14:51:54 -0700 | [diff] [blame] | 162 | bool HasAddress(const void* addr) const { |
| 163 | return Begin() <= addr && addr < End(); |
Brian Carlstrom | b765be0 | 2011-08-17 23:54:10 -0700 | [diff] [blame] | 164 | } |
| 165 | |
Hiroshi Yamauchi | fd7e7f1 | 2013-10-22 14:17:48 -0700 | [diff] [blame] | 166 | // Unmap the pages at end and remap them to create another memory map. |
Mathieu Chartier | 42bddce | 2015-11-09 15:16:56 -0800 | [diff] [blame^] | 167 | MemMap* RemapAtEnd(uint8_t* new_end, |
| 168 | const char* tail_name, |
| 169 | int tail_prot, |
Hiroshi Yamauchi | fd7e7f1 | 2013-10-22 14:17:48 -0700 | [diff] [blame] | 170 | std::string* error_msg); |
Mathieu Chartier | cc236d7 | 2012-07-20 10:29:05 -0700 | [diff] [blame] | 171 | |
Hiroshi Yamauchi | 3eed93d | 2014-06-04 11:43:59 -0700 | [diff] [blame] | 172 | static bool CheckNoGaps(MemMap* begin_map, MemMap* end_map) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 173 | REQUIRES(!Locks::mem_maps_lock_); |
Vladimir Marko | 17a924a | 2015-05-08 15:17:32 +0100 | [diff] [blame] | 174 | static void DumpMaps(std::ostream& os, bool terse = false) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 175 | REQUIRES(!Locks::mem_maps_lock_); |
Hiroshi Yamauchi | 3eed93d | 2014-06-04 11:43:59 -0700 | [diff] [blame] | 176 | |
Mathieu Chartier | bad0267 | 2014-08-25 13:08:22 -0700 | [diff] [blame] | 177 | typedef AllocationTrackingMultiMap<void*, MemMap*, kAllocatorTagMaps> Maps; |
| 178 | |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 179 | static void Init() REQUIRES(!Locks::mem_maps_lock_); |
| 180 | static void Shutdown() REQUIRES(!Locks::mem_maps_lock_); |
Mathieu Chartier | 6e88ef6 | 2014-10-14 15:01:24 -0700 | [diff] [blame] | 181 | |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 182 | private: |
Mathieu Chartier | 42bddce | 2015-11-09 15:16:56 -0800 | [diff] [blame^] | 183 | MemMap(const std::string& name, |
| 184 | uint8_t* begin, |
| 185 | size_t size, |
| 186 | void* base_begin, |
| 187 | size_t base_size, |
| 188 | int prot, |
| 189 | bool reuse, |
| 190 | size_t redzone_size = 0) REQUIRES(!Locks::mem_maps_lock_); |
Hiroshi Yamauchi | 3eed93d | 2014-06-04 11:43:59 -0700 | [diff] [blame] | 191 | |
Vladimir Marko | 17a924a | 2015-05-08 15:17:32 +0100 | [diff] [blame] | 192 | static void DumpMapsLocked(std::ostream& os, bool terse) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 193 | REQUIRES(Locks::mem_maps_lock_); |
Hiroshi Yamauchi | 3eed93d | 2014-06-04 11:43:59 -0700 | [diff] [blame] | 194 | static bool HasMemMap(MemMap* map) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 195 | REQUIRES(Locks::mem_maps_lock_); |
Hiroshi Yamauchi | 3eed93d | 2014-06-04 11:43:59 -0700 | [diff] [blame] | 196 | static MemMap* GetLargestMemMapAt(void* address) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 197 | REQUIRES(Locks::mem_maps_lock_); |
Mathieu Chartier | e58991b | 2015-10-13 07:59:34 -0700 | [diff] [blame] | 198 | static bool ContainedWithinExistingMap(uint8_t* ptr, size_t size, std::string* error_msg) |
| 199 | REQUIRES(!Locks::mem_maps_lock_); |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 200 | |
Mathieu Chartier | 42bddce | 2015-11-09 15:16:56 -0800 | [diff] [blame^] | 201 | // Internal version of mmap that supports low 4gb emulation. |
| 202 | static void* MapInternal(void* addr, |
| 203 | size_t length, |
| 204 | int prot, |
| 205 | int flags, |
| 206 | int fd, |
| 207 | off_t offset, |
| 208 | bool low_4gb); |
| 209 | |
Jim_Guo | a62a588 | 2014-04-28 11:11:57 +0800 | [diff] [blame] | 210 | const std::string name_; |
Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 211 | uint8_t* const begin_; // Start of data. |
Mathieu Chartier | cc236d7 | 2012-07-20 10:29:05 -0700 | [diff] [blame] | 212 | size_t size_; // Length of data. |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 213 | |
Ian Rogers | 1c849e5 | 2012-06-28 14:00:33 -0700 | [diff] [blame] | 214 | void* const base_begin_; // Page-aligned base address. |
Hiroshi Yamauchi | fd7e7f1 | 2013-10-22 14:17:48 -0700 | [diff] [blame] | 215 | size_t base_size_; // Length of mapping. May be changed by RemapAtEnd (ie Zygote). |
Ian Rogers | 1c849e5 | 2012-06-28 14:00:33 -0700 | [diff] [blame] | 216 | int prot_; // Protection of the map. |
Hiroshi Yamauchi | fd7e7f1 | 2013-10-22 14:17:48 -0700 | [diff] [blame] | 217 | |
Jim_Guo | a62a588 | 2014-04-28 11:11:57 +0800 | [diff] [blame] | 218 | // When reuse_ is true, this is just a view of an existing mapping |
| 219 | // and we do not take ownership and are not responsible for |
| 220 | // unmapping. |
| 221 | const bool reuse_; |
| 222 | |
Evgenii Stepanov | 1e13374 | 2015-05-20 12:30:59 -0700 | [diff] [blame] | 223 | const size_t redzone_size_; |
| 224 | |
Ian Rogers | c3ccc10 | 2014-06-25 11:52:14 -0700 | [diff] [blame] | 225 | #if USE_ART_LOW_4G_ALLOCATOR |
| 226 | static uintptr_t next_mem_pos_; // Next memory location to check for low_4g extent. |
Stuart Monteith | 8dba5aa | 2014-03-12 12:44:01 +0000 | [diff] [blame] | 227 | #endif |
| 228 | |
Hiroshi Yamauchi | 3eed93d | 2014-06-04 11:43:59 -0700 | [diff] [blame] | 229 | // All the non-empty MemMaps. Use a multimap as we do a reserve-and-divide (eg ElfMap::Load()). |
Mathieu Chartier | 6e88ef6 | 2014-10-14 15:01:24 -0700 | [diff] [blame] | 230 | static Maps* maps_ GUARDED_BY(Locks::mem_maps_lock_); |
Hiroshi Yamauchi | 3eed93d | 2014-06-04 11:43:59 -0700 | [diff] [blame] | 231 | |
Hiroshi Yamauchi | fd7e7f1 | 2013-10-22 14:17:48 -0700 | [diff] [blame] | 232 | friend class MemMapTest; // To allow access to base_begin_ and base_size_. |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 233 | }; |
Brian Carlstrom | 0d6adac | 2014-02-05 17:39:16 -0800 | [diff] [blame] | 234 | std::ostream& operator<<(std::ostream& os, const MemMap& mem_map); |
Andreas Gampe | 277ccbd | 2014-11-03 21:36:10 -0800 | [diff] [blame] | 235 | std::ostream& operator<<(std::ostream& os, const MemMap::Maps& mem_maps); |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 236 | |
| 237 | } // namespace art |
| 238 | |
Brian Carlstrom | fc0e321 | 2013-07-17 14:40:12 -0700 | [diff] [blame] | 239 | #endif // ART_RUNTIME_MEM_MAP_H_ |