| 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 |