blob: 309da27319c0f73f15089d446f20b7f6f7e09a61 [file] [log] [blame]
Brian Carlstromdb4d5402011-08-09 12:18:28 -07001/*
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
David Sehr79e26072018-04-06 17:58:50 -070017#ifndef ART_LIBARTBASE_BASE_MEM_MAP_H_
18#define ART_LIBARTBASE_BASE_MEM_MAP_H_
Brian Carlstromdb4d5402011-08-09 12:18:28 -070019
Brian Carlstrom27ec9612011-09-19 20:20:38 -070020#include <stddef.h>
21#include <sys/types.h>
Brian Carlstromdb4d5402011-08-09 12:18:28 -070022
Andreas Gampe0dfc3152017-04-24 07:58:06 -070023#include <map>
Igor Murashkin5573c372017-11-16 13:34:30 -080024#include <mutex>
Andreas Gampe0dfc3152017-04-24 07:58:06 -070025#include <string>
26
27#include "android-base/thread_annotations.h"
David Sehr1979c642018-04-26 14:41:18 -070028#include "macros.h"
Brian Carlstromdb4d5402011-08-09 12:18:28 -070029
30namespace art {
31
Steve Austin882ed6b2018-06-08 11:40:38 -070032#if defined(__LP64__) && !defined(__Fuchsia__) && \
33 (defined(__aarch64__) || defined(__mips__) || defined(__APPLE__))
Ian Rogersc3ccc102014-06-25 11:52:14 -070034#define USE_ART_LOW_4G_ALLOCATOR 1
35#else
Steve Austin882ed6b2018-06-08 11:40:38 -070036#if defined(__LP64__) && !defined(__Fuchsia__) && !defined(__x86_64__)
Andreas Gampe651ba592017-06-14 14:41:33 -070037#error "Unrecognized 64-bit architecture."
38#endif
Ian Rogersc3ccc102014-06-25 11:52:14 -070039#define USE_ART_LOW_4G_ALLOCATOR 0
40#endif
41
Ian Rogersc5f17732014-06-05 20:48:42 -070042#ifdef __linux__
43static constexpr bool kMadviseZeroes = true;
Alex Lightca97ada2018-02-02 09:25:31 -080044#define HAVE_MREMAP_SYSCALL true
Ian Rogersc5f17732014-06-05 20:48:42 -070045#else
46static constexpr bool kMadviseZeroes = false;
Alex Lightca97ada2018-02-02 09:25:31 -080047// We cannot ever perform MemMap::ReplaceWith on non-linux hosts since the syscall is not
48// present.
49#define HAVE_MREMAP_SYSCALL false
Ian Rogersc5f17732014-06-05 20:48:42 -070050#endif
51
Brian Carlstromdb4d5402011-08-09 12:18:28 -070052// Used to keep track of mmap segments.
Andreas Gamped8f26db2014-05-19 17:01:13 -070053//
54// On 64b systems not supporting MAP_32BIT, the implementation of MemMap will do a linear scan
55// for free pages. For security, the start of this scan should be randomized. This requires a
56// dynamic initializer.
57// For this to work, it is paramount that there are no other static initializers that access MemMap.
58// Otherwise, calls might see uninitialized values.
Brian Carlstromdb4d5402011-08-09 12:18:28 -070059class MemMap {
60 public:
Alex Lightca97ada2018-02-02 09:25:31 -080061 static constexpr bool kCanReplaceMapping = HAVE_MREMAP_SYSCALL;
62
Vladimir Markoc34bebf2018-08-16 16:12:49 +010063 // Creates an invalid mapping.
64 MemMap() {}
65
66 // Creates an invalid mapping. Used when we want to be more explicit than MemMap().
67 static MemMap Invalid() {
68 return MemMap();
69 }
70
71 MemMap(MemMap&& other) REQUIRES(!MemMap::mem_maps_lock_);
72 MemMap& operator=(MemMap&& other) REQUIRES(!MemMap::mem_maps_lock_) {
73 Reset();
74 swap(other);
75 return *this;
76 }
77
78 // Releases the memory mapping.
79 ~MemMap() REQUIRES(!MemMap::mem_maps_lock_);
80
81 // Swap two MemMaps.
82 void swap(MemMap& other);
83
84 void Reset() {
85 if (IsValid()) {
86 DoReset();
87 }
88 }
89
90 bool IsValid() const {
91 return base_size_ != 0u;
92 }
93
Alex Lightca97ada2018-02-02 09:25:31 -080094 // Replace the data in this memmmap with the data in the memmap pointed to by source. The caller
95 // relinquishes ownership of the source mmap.
96 //
97 // For the call to be successful:
98 // * The range [dest->Begin, dest->Begin() + source->Size()] must not overlap with
99 // [source->Begin(), source->End()].
100 // * Neither source nor dest may be 'reused' mappings (they must own all the pages associated
101 // with them.
102 // * kCanReplaceMapping must be true.
103 // * Neither source nor dest may use manual redzones.
104 // * Both source and dest must have the same offset from the nearest page boundary.
105 // * mremap must succeed when called on the mappings.
106 //
107 // If this call succeeds it will return true and:
Vladimir Markoc34bebf2018-08-16 16:12:49 +0100108 // * Invalidate *source
Alex Lightca97ada2018-02-02 09:25:31 -0800109 // * The protection of this will remain the same.
110 // * The size of this will be the size of the source
111 // * The data in this will be the data from source.
112 //
113 // If this call fails it will return false and make no changes to *source or this. The ownership
114 // of the source mmap is returned to the caller.
Vladimir Markoc34bebf2018-08-16 16:12:49 +0100115 bool ReplaceWith(/*in-out*/MemMap* source, /*out*/std::string* error);
Alex Lightca97ada2018-02-02 09:25:31 -0800116
Joel Fernandes (Google)92597a82018-08-17 16:19:19 -0700117 // Set a debug friendly name for a map. It will be prefixed with "dalvik-".
118 static void SetDebugName(void* map_ptr, const char* name, size_t size);
119
Elliott Hughesecd3a6f2012-06-06 18:16:37 -0700120 // Request an anonymous region of length 'byte_count' and a requested base address.
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700121 // Use null as the requested base address if you don't care.
Vladimir Markoc09cd052018-08-23 16:36:36 +0100122 //
123 // `reuse` allows re-mapping an address range from an existing mapping which retains the
124 // ownership of the memory. Alternatively, `reservation` allows re-mapping the start of an
125 // existing reservation mapping, transferring the ownership of the memory to the new MemMap.
Elliott Hughes6c9c06d2011-11-07 16:43:47 -0800126 //
127 // The word "anonymous" in this context means "not backed by a file". The supplied
Nicolas Geoffraya25dce92016-01-12 16:41:10 +0000128 // 'name' will be used -- on systems that support it -- to give the mapping
Elliott Hughes6c9c06d2011-11-07 16:43:47 -0800129 // a name.
Brian Carlstrom4a289ed2011-08-16 17:17:49 -0700130 //
Vladimir Markoc34bebf2018-08-16 16:12:49 +0100131 // On success, returns returns a valid MemMap. On failure, returns an invalid MemMap.
132 static MemMap MapAnonymous(const char* name,
133 uint8_t* addr,
134 size_t byte_count,
135 int prot,
136 bool low_4gb,
137 bool reuse,
Vladimir Markoc09cd052018-08-23 16:36:36 +0100138 /*inout*/MemMap* reservation,
139 /*out*/std::string* error_msg,
Joel Fernandes (Google)92597a82018-08-17 16:19:19 -0700140 bool use_debug_name = true);
Vladimir Markof6985bd2018-08-24 09:02:28 +0100141 static MemMap MapAnonymous(const char* name,
142 uint8_t* addr,
143 size_t byte_count,
144 int prot,
145 bool low_4gb,
Vladimir Markoc09cd052018-08-23 16:36:36 +0100146 /*out*/std::string* error_msg) {
147 return MapAnonymous(name,
148 addr,
149 byte_count,
150 prot,
151 low_4gb,
152 /* reuse */ false,
153 /* reservation */ nullptr,
154 error_msg);
Vladimir Markof6985bd2018-08-24 09:02:28 +0100155 }
Brian Carlstromdb4d5402011-08-09 12:18:28 -0700156
David Srbecky1baabf02015-06-16 17:12:34 +0000157 // Create placeholder for a region allocated by direct call to mmap.
158 // This is useful when we do not have control over the code calling mmap,
159 // but when we still want to keep track of it in the list.
160 // The region is not considered to be owned and will not be unmmaped.
Vladimir Markoc34bebf2018-08-16 16:12:49 +0100161 static MemMap MapDummy(const char* name, uint8_t* addr, size_t byte_count);
David Srbecky1baabf02015-06-16 17:12:34 +0000162
Brian Carlstromdb4d5402011-08-09 12:18:28 -0700163 // Map part of a file, taking care of non-page aligned offsets. The
164 // "start" offset is absolute, not relative.
165 //
Vladimir Markoc34bebf2018-08-16 16:12:49 +0100166 // On success, returns returns a valid MemMap. On failure, returns an invalid MemMap.
167 static MemMap MapFile(size_t byte_count,
168 int prot,
169 int flags,
170 int fd,
171 off_t start,
172 bool low_4gb,
173 const char* filename,
174 std::string* error_msg) {
Mathieu Chartier42bddce2015-11-09 15:16:56 -0800175 return MapFileAtAddress(nullptr,
176 byte_count,
177 prot,
178 flags,
179 fd,
180 start,
Vladimir Markoc09cd052018-08-23 16:36:36 +0100181 /* low_4gb */ low_4gb,
Mathieu Chartier42bddce2015-11-09 15:16:56 -0800182 filename,
Vladimir Markoc09cd052018-08-23 16:36:36 +0100183 /* reuse */ false,
184 /* reservation */ nullptr,
Mathieu Chartier42bddce2015-11-09 15:16:56 -0800185 error_msg);
Brian Carlstrom4a289ed2011-08-16 17:17:49 -0700186 }
187
Mathieu Chartierebe2dfc2015-11-24 13:47:52 -0800188 // Map part of a file, taking care of non-page aligned offsets. The "start" offset is absolute,
189 // not relative. This version allows requesting a specific address for the base of the mapping.
Vladimir Markoc09cd052018-08-23 16:36:36 +0100190 //
191 // `reuse` allows re-mapping an address range from an existing mapping which retains the
192 // ownership of the memory. Alternatively, `reservation` allows re-mapping the start of an
193 // existing reservation mapping, transferring the ownership of the memory to the new MemMap.
194 //
195 // If error_msg is null then we do not print /proc/maps to the log if MapFileAtAddress fails.
196 // This helps improve performance of the fail case since reading and printing /proc/maps takes
197 // several milliseconds in the worst case.
Brian Carlstrom4a289ed2011-08-16 17:17:49 -0700198 //
Vladimir Markoc34bebf2018-08-16 16:12:49 +0100199 // On success, returns returns a valid MemMap. On failure, returns an invalid MemMap.
200 static MemMap MapFileAtAddress(uint8_t* addr,
201 size_t byte_count,
202 int prot,
203 int flags,
204 int fd,
205 off_t start,
206 bool low_4gb,
Vladimir Markoc34bebf2018-08-16 16:12:49 +0100207 const char* filename,
Vladimir Markoc09cd052018-08-23 16:36:36 +0100208 bool reuse,
209 /*inout*/MemMap* reservation,
210 /*out*/std::string* error_msg);
Brian Carlstromdb4d5402011-08-09 12:18:28 -0700211
Brian Carlstrom0d6adac2014-02-05 17:39:16 -0800212 const std::string& GetName() const {
213 return name_;
214 }
215
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000216 bool Sync();
217
Logan Chiend88fa262012-06-06 15:23:32 +0800218 bool Protect(int prot);
219
Ian Rogersc5f17732014-06-05 20:48:42 -0700220 void MadviseDontNeedAndZero();
221
Ian Rogers1c849e52012-06-28 14:00:33 -0700222 int GetProtect() const {
223 return prot_;
224 }
225
Ian Rogers13735952014-10-08 12:43:28 -0700226 uint8_t* Begin() const {
Ian Rogers30fab402012-01-23 15:43:46 -0800227 return begin_;
Brian Carlstromdb4d5402011-08-09 12:18:28 -0700228 }
229
Ian Rogers30fab402012-01-23 15:43:46 -0800230 size_t Size() const {
231 return size_;
Brian Carlstromdb4d5402011-08-09 12:18:28 -0700232 }
233
Mathieu Chartier379d09f2015-01-08 11:28:13 -0800234 // Resize the mem-map by unmapping pages at the end. Currently only supports shrinking.
235 void SetSize(size_t new_size);
236
Ian Rogers13735952014-10-08 12:43:28 -0700237 uint8_t* End() const {
Mathieu Chartier2fde5332012-09-14 14:51:54 -0700238 return Begin() + Size();
239 }
240
Brian Carlstrom0d6adac2014-02-05 17:39:16 -0800241 void* BaseBegin() const {
242 return base_begin_;
243 }
244
245 size_t BaseSize() const {
246 return base_size_;
247 }
248
249 void* BaseEnd() const {
Ian Rogers13735952014-10-08 12:43:28 -0700250 return reinterpret_cast<uint8_t*>(BaseBegin()) + BaseSize();
Brian Carlstrom0d6adac2014-02-05 17:39:16 -0800251 }
252
Mathieu Chartier2fde5332012-09-14 14:51:54 -0700253 bool HasAddress(const void* addr) const {
254 return Begin() <= addr && addr < End();
Brian Carlstromb765be02011-08-17 23:54:10 -0700255 }
256
Hiroshi Yamauchifd7e7f12013-10-22 14:17:48 -0700257 // Unmap the pages at end and remap them to create another memory map.
Vladimir Markoc34bebf2018-08-16 16:12:49 +0100258 MemMap RemapAtEnd(uint8_t* new_end,
259 const char* tail_name,
260 int tail_prot,
261 std::string* error_msg,
Joel Fernandes (Google)92597a82018-08-17 16:19:19 -0700262 bool use_debug_name = true);
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700263
Orion Hodson1d3fd082018-09-28 09:38:35 +0100264 // Unmap the pages of a file at end and remap them to create another memory map.
265 MemMap RemapAtEnd(uint8_t* new_end,
266 const char* tail_name,
267 int tail_prot,
268 int tail_flags,
269 int fd,
270 off_t offset,
271 std::string* error_msg,
272 bool use_debug_name = true);
273
Vladimir Markoc09cd052018-08-23 16:36:36 +0100274 // Take ownership of pages at the beginning of the mapping. The mapping must be an
275 // anonymous reservation mapping, owning entire pages. The `byte_count` must not
276 // exceed the size of this reservation.
277 //
278 // Returns a mapping owning `byte_count` bytes rounded up to entire pages
279 // with size set to the passed `byte_count`.
280 MemMap TakeReservedMemory(size_t byte_count);
281
Vladimir Markoc34bebf2018-08-16 16:12:49 +0100282 static bool CheckNoGaps(MemMap& begin_map, MemMap& end_map)
David Sehr1b14fb82017-02-01 10:42:11 -0800283 REQUIRES(!MemMap::mem_maps_lock_);
Vladimir Marko17a924a2015-05-08 15:17:32 +0100284 static void DumpMaps(std::ostream& os, bool terse = false)
David Sehr1b14fb82017-02-01 10:42:11 -0800285 REQUIRES(!MemMap::mem_maps_lock_);
Hiroshi Yamauchi3eed93d2014-06-04 11:43:59 -0700286
David Sehr1b14fb82017-02-01 10:42:11 -0800287 // Init and Shutdown are NOT thread safe.
288 // Both may be called multiple times and MemMap objects may be created any
289 // time after the first call to Init and before the first call to Shutodwn.
290 static void Init() REQUIRES(!MemMap::mem_maps_lock_);
291 static void Shutdown() REQUIRES(!MemMap::mem_maps_lock_);
Mathieu Chartier6e88ef62014-10-14 15:01:24 -0700292
Hiroshi Yamauchi6edb9ae2016-02-08 14:18:21 -0800293 // If the map is PROT_READ, try to read each page of the map to check it is in fact readable (not
294 // faulting). This is used to diagnose a bug b/19894268 where mprotect doesn't seem to be working
295 // intermittently.
296 void TryReadable();
297
Hiroshi Yamauchi3c3c4a12017-02-21 16:49:59 -0800298 // Align the map by unmapping the unaligned parts at the lower and the higher ends.
299 void AlignBy(size_t size);
300
Andreas Gampe0dfc3152017-04-24 07:58:06 -0700301 // For annotation reasons.
302 static std::mutex* GetMemMapsLock() RETURN_CAPABILITY(mem_maps_lock_) {
303 return nullptr;
304 }
305
Brian Carlstromdb4d5402011-08-09 12:18:28 -0700306 private:
Mathieu Chartier42bddce2015-11-09 15:16:56 -0800307 MemMap(const std::string& name,
308 uint8_t* begin,
309 size_t size,
310 void* base_begin,
311 size_t base_size,
312 int prot,
313 bool reuse,
David Sehr1b14fb82017-02-01 10:42:11 -0800314 size_t redzone_size = 0) REQUIRES(!MemMap::mem_maps_lock_);
Hiroshi Yamauchi3eed93d2014-06-04 11:43:59 -0700315
Vladimir Markoc34bebf2018-08-16 16:12:49 +0100316 void DoReset();
317 void Invalidate();
318 void SwapMembers(MemMap& other);
319
Vladimir Marko17a924a2015-05-08 15:17:32 +0100320 static void DumpMapsLocked(std::ostream& os, bool terse)
David Sehr1b14fb82017-02-01 10:42:11 -0800321 REQUIRES(MemMap::mem_maps_lock_);
Vladimir Markoc34bebf2018-08-16 16:12:49 +0100322 static bool HasMemMap(MemMap& map)
David Sehr1b14fb82017-02-01 10:42:11 -0800323 REQUIRES(MemMap::mem_maps_lock_);
Hiroshi Yamauchi3eed93d2014-06-04 11:43:59 -0700324 static MemMap* GetLargestMemMapAt(void* address)
David Sehr1b14fb82017-02-01 10:42:11 -0800325 REQUIRES(MemMap::mem_maps_lock_);
Mathieu Chartiere58991b2015-10-13 07:59:34 -0700326 static bool ContainedWithinExistingMap(uint8_t* ptr, size_t size, std::string* error_msg)
David Sehr1b14fb82017-02-01 10:42:11 -0800327 REQUIRES(!MemMap::mem_maps_lock_);
Brian Carlstromdb4d5402011-08-09 12:18:28 -0700328
Mathieu Chartier42bddce2015-11-09 15:16:56 -0800329 // Internal version of mmap that supports low 4gb emulation.
330 static void* MapInternal(void* addr,
331 size_t length,
332 int prot,
333 int flags,
334 int fd,
335 off_t offset,
Andreas Gampe651ba592017-06-14 14:41:33 -0700336 bool low_4gb)
337 REQUIRES(!MemMap::mem_maps_lock_);
338 static void* MapInternalArtLow4GBAllocator(size_t length,
339 int prot,
340 int flags,
341 int fd,
342 off_t offset)
343 REQUIRES(!MemMap::mem_maps_lock_);
Mathieu Chartier42bddce2015-11-09 15:16:56 -0800344
Vladimir Markoc09cd052018-08-23 16:36:36 +0100345 // Release memory owned by a reservation mapping.
346 void ReleaseReservedMemory(size_t byte_count);
347
Steve Austin882ed6b2018-06-08 11:40:38 -0700348 // member function to access real_munmap
349 static bool CheckMapRequest(uint8_t* expected_ptr,
350 void* actual_ptr,
351 size_t byte_count,
352 std::string* error_msg);
353
Vladimir Markoc09cd052018-08-23 16:36:36 +0100354 static bool CheckReservation(uint8_t* expected_ptr,
355 size_t byte_count,
356 const char* name,
357 const MemMap& reservation,
358 /*out*/std::string* error_msg);
359
Vladimir Markoc34bebf2018-08-16 16:12:49 +0100360 std::string name_;
361 uint8_t* begin_ = nullptr; // Start of data. May be changed by AlignBy.
362 size_t size_ = 0u; // Length of data.
Brian Carlstromdb4d5402011-08-09 12:18:28 -0700363
Vladimir Markoc34bebf2018-08-16 16:12:49 +0100364 void* base_begin_ = nullptr; // Page-aligned base address. May be changed by AlignBy.
365 size_t base_size_ = 0u; // Length of mapping. May be changed by RemapAtEnd (ie Zygote).
366 int prot_ = 0; // Protection of the map.
Hiroshi Yamauchifd7e7f12013-10-22 14:17:48 -0700367
Jim_Guoa62a5882014-04-28 11:11:57 +0800368 // When reuse_ is true, this is just a view of an existing mapping
369 // and we do not take ownership and are not responsible for
370 // unmapping.
Vladimir Markoc34bebf2018-08-16 16:12:49 +0100371 bool reuse_ = false;
Jim_Guoa62a5882014-04-28 11:11:57 +0800372
Alex Lightca97ada2018-02-02 09:25:31 -0800373 // When already_unmapped_ is true the destructor will not call munmap.
Vladimir Markoc34bebf2018-08-16 16:12:49 +0100374 bool already_unmapped_ = false;
Alex Lightca97ada2018-02-02 09:25:31 -0800375
Vladimir Markoc34bebf2018-08-16 16:12:49 +0100376 size_t redzone_size_ = 0u;
Evgenii Stepanov1e133742015-05-20 12:30:59 -0700377
Ian Rogersc3ccc102014-06-25 11:52:14 -0700378#if USE_ART_LOW_4G_ALLOCATOR
379 static uintptr_t next_mem_pos_; // Next memory location to check for low_4g extent.
Steve Austin882ed6b2018-06-08 11:40:38 -0700380
381 static void* TryMemMapLow4GB(void* ptr,
382 size_t page_aligned_byte_count,
383 int prot,
384 int flags,
385 int fd,
386 off_t offset);
Stuart Monteith8dba5aa2014-03-12 12:44:01 +0000387#endif
388
Steve Austin882ed6b2018-06-08 11:40:38 -0700389 static void TargetMMapInit();
390 static void* TargetMMap(void* start, size_t len, int prot, int flags, int fd, off_t fd_off);
391 static int TargetMUnmap(void* start, size_t len);
392
David Sehr1b14fb82017-02-01 10:42:11 -0800393 static std::mutex* mem_maps_lock_;
394
Hiroshi Yamauchifd7e7f12013-10-22 14:17:48 -0700395 friend class MemMapTest; // To allow access to base_begin_ and base_size_.
Brian Carlstromdb4d5402011-08-09 12:18:28 -0700396};
Mathieu Chartier6e6078a2016-10-24 15:45:41 -0700397
Vladimir Markoc34bebf2018-08-16 16:12:49 +0100398inline void swap(MemMap& lhs, MemMap& rhs) {
399 lhs.swap(rhs);
400}
401
Brian Carlstrom0d6adac2014-02-05 17:39:16 -0800402std::ostream& operator<<(std::ostream& os, const MemMap& mem_map);
Brian Carlstromdb4d5402011-08-09 12:18:28 -0700403
Mathieu Chartier6e6078a2016-10-24 15:45:41 -0700404// Zero and release pages if possible, no requirements on alignments.
405void ZeroAndReleasePages(void* address, size_t length);
406
Brian Carlstromdb4d5402011-08-09 12:18:28 -0700407} // namespace art
408
David Sehr79e26072018-04-06 17:58:50 -0700409#endif // ART_LIBARTBASE_BASE_MEM_MAP_H_