VM thread shutdown.

runtime/vm/verified_memory_test.cc

 // Copyright (c) 2014, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #include "platform/assert.h"
 #include "vm/unit_test.h"
 #include "vm/verified_memory.h"
 
 namespace dart {
 
 void Init() {
 #if defined(DEBUG)
   FLAG_verified_mem = true;
 #endif
 }
 
 
+void Shutdown() {
+#if defined(DEBUG)
+  // We must reset this to false to avoid checking some assumptions in
+  // VM shutdown that are left violated by these tests.
+  FLAG_verified_mem = false;
+#endif
+}
+
+
 UNIT_TEST_CASE(VerifiedMemoryReserve) {
   Init();
   const intptr_t kReservationSize = 64 * KB;
   VirtualMemory* vm = VerifiedMemory::Reserve(kReservationSize);
   EXPECT_EQ(kReservationSize, vm->size());
   delete vm;
+  Shutdown();
 }
 
 
 UNIT_TEST_CASE(VerifiedMemoryCommit) {
   Init();
   const intptr_t kReservationSize = 64 * KB;
   VirtualMemory* vm = VerifiedMemory::Reserve(kReservationSize);
   EXPECT_EQ(kReservationSize, vm->size());
   vm->Commit(false);
   delete vm;
+  Shutdown();
 }
 
 
 UNIT_TEST_CASE(VerifiedMemoryBasic) {
   Init();
   const intptr_t kReservationSize = 64 * KB;
   VirtualMemory* vm = VerifiedMemory::Reserve(kReservationSize);
   EXPECT_EQ(kReservationSize, vm->size());
   vm->Commit(false);
   double* addr = reinterpret_cast<double*>(vm->address());
   VerifiedMemory::Write(&addr[0], 0.5);
   EXPECT_EQ(0.5, addr[0]);
   VerifiedMemory::Write(&addr[1], 1.5);
   VerifiedMemory::Write(&addr[2], 2.5);
   VerifiedMemory::Write(&addr[0], 0.25);
   static const double kNaN = NAN;
   VerifiedMemory::Write(&addr[0], kNaN);  // Bitwise comparison should be used.
   VerifiedMemory::Write(&addr[0], 0.5);
   int64_t* unverified = reinterpret_cast<int64_t*>(&addr[3]);
   *unverified = 123;
   VerifiedMemory::Verify(reinterpret_cast<uword>(addr), 3 * sizeof(double));
   delete vm;
+  Shutdown();
 }
 
 
 UNIT_TEST_CASE(VerifiedMemoryAccept) {
   Init();
   const intptr_t kReservationSize = 64 * KB;
   VirtualMemory* vm = VerifiedMemory::Reserve(kReservationSize);
   EXPECT_EQ(kReservationSize, vm->size());
   vm->Commit(false);
   double* addr = reinterpret_cast<double*>(vm->address());
   VerifiedMemory::Write(&addr[0], 0.5);
   VerifiedMemory::Write(&addr[1], 1.5);
   VerifiedMemory::Write(&addr[2], 2.5);
   VerifiedMemory::Write(&addr[0], 0.25);
   // Unverified write followed by Accept ("I know what I'm doing").
   memset(addr, 0xf3, 2 * sizeof(double));
   VerifiedMemory::Accept(reinterpret_cast<uword>(addr), 2 * sizeof(double));
   VerifiedMemory::Verify(reinterpret_cast<uword>(addr), 3 * sizeof(double));
   delete vm;
+  Shutdown();
 }
 
 
 // Negative tests below.
 
 UNIT_TEST_CASE(VerifyImplicit_Crash) {
   Init();
   const intptr_t kReservationSize = 64 * KB;
   VirtualMemory* vm = VerifiedMemory::Reserve(kReservationSize);
   EXPECT_EQ(kReservationSize, vm->size());
   vm->Commit(false);
   double* addr = reinterpret_cast<double*>(vm->address());
   addr[0] = 0.5;  // Forget to use Write.
   VerifiedMemory::Write(&addr[0], 1.5);
+  Shutdown();
 }
 
 
 UNIT_TEST_CASE(VerifyExplicit_Crash) {
   Init();
   const intptr_t kReservationSize = 64 * KB;
   VirtualMemory* vm = VerifiedMemory::Reserve(kReservationSize);
   EXPECT_EQ(kReservationSize, vm->size());
   vm->Commit(false);
   double* addr = reinterpret_cast<double*>(vm->address());
   VerifiedMemory::Write(&addr[0], 0.5);
   VerifiedMemory::Write(&addr[1], 1.5);
   addr[1] = 3.5;  // Forget to use Write.
   VerifiedMemory::Write(&addr[2], 2.5);
   VerifiedMemory::Verify(reinterpret_cast<uword>(addr), 3 * sizeof(double));
+  Shutdown();
 }
 
 }  // namespace dart