OLD | NEW |
| (Empty) |
1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | |
2 // for details. All rights reserved. Use of this source code is governed by a | |
3 // BSD-style license that can be found in the LICENSE file. | |
4 | |
5 #include "vm/verified_memory.h" | |
6 | |
7 namespace dart { | |
8 | |
9 #if defined(DEBUG) | |
10 | |
11 DEFINE_FLAG(bool, verified_mem, false, | |
12 "Enable write-barrier verification mode (slow, DEBUG only)."); | |
13 DEFINE_FLAG(int, verified_mem_max_reserve_mb, (kWordSize <= 4) ? 16 : 32, | |
14 "When verified_mem is true, largest supported reservation (MB)."); | |
15 | |
16 | |
17 VirtualMemory* VerifiedMemory::ReserveInternal(intptr_t size) { | |
18 if (size > offset()) { | |
19 FATAL1("Requested reservation of %" Pd " bytes exceeds the limit. " | |
20 "Use --verified_mem_max_reserve_mb to increase it.", size); | |
21 } | |
22 VirtualMemory* result = VirtualMemory::Reserve(size + offset()); | |
23 if (result != NULL) { | |
24 // Commit the offset part of the reservation (writable, not executable). | |
25 result->Commit(result->start() + offset(), size, /* executable = */ false); | |
26 // Truncate without unmapping, so that the returned object looks like | |
27 // a normal 'size' bytes reservation (but VirtualMemory will correctly | |
28 // unmap the entire original reservation on destruction). | |
29 result->Truncate(size, /* try_unmap = */ false); | |
30 } | |
31 return result; | |
32 } | |
33 | |
34 #endif // DEBUG | |
35 | |
36 } // namespace dart | |
OLD | NEW |