Changeset 2584 in vbox

Timestamp:

May 10, 2007 4:56:22 PM (18 years ago)

Author:

vboxsync

Message:

Full state dump on that weird black box assertion.

File:

• trunk/src/VBox/VMM/TM.cpp (modified) (3 diffs)

trunk/src/VBox/VMM/TM.cpp

@@ -1358 +1358 @@
     const uint64_t u64VirtualNow = TMVirtualGetEx(pVM, false /* don't check timers */);
     uint64_t u64Now;
+uint64_t off = 0, u64Delta = 0, u64Sub = 0; /* debugging - to be removed */
+bool fWasInCatchup = false;                 /* debugging - to be removed */
     if (!pVM->tm.s.fVirtualSyncTicking)
     {
@@ -1367 +1369 @@
     {
         /* Calc 'now'. (update order doesn't really matter here) */
-        uint64_t off = pVM->tm.s.offVirtualSync;
+        /*uint64_t*/ off = pVM->tm.s.offVirtualSync;
         if (pVM->tm.s.fVirtualSyncCatchUp)
         {
-            uint64_t u64Delta = u64VirtualNow - pVM->tm.s.u64VirtualSyncCatchUpPrev;
+fWasInCatchup = pVM->tm.s.fVirtualSyncCatchUp; /* debugging - to be removed */
+            /*uint64_t*/ u64Delta = u64VirtualNow - pVM->tm.s.u64VirtualSyncCatchUpPrev;
             if (RT_LIKELY(!(u64Delta >> 32)))
             {
-                uint64_t u64Sub = ASMMultU64ByU32DivByU32(u64Delta, pVM->tm.s.u32VirtualSyncCatchUpPercentage, 100);
+                /*uint64_t*/ u64Sub = ASMMultU64ByU32DivByU32(u64Delta, pVM->tm.s.u32VirtualSyncCatchUpPercentage, 100);
                 if (off > u64Sub + pVM->tm.s.offVirtualSyncGivenUp)
                 {
@@ -1410 +1413 @@
 
     /* assert sanity */
+#ifdef VBOX_STRICT /* debugging - remove all but the assertions. */
+if (RT_UNLIKELY(    !(u64Now <= u64VirtualNow - pVM->tm.s.offVirtualSyncGivenUp)
+                ||  !(u64Max <= u64VirtualNow - pVM->tm.s.offVirtualSyncGivenUp)
+                ||  !(u64Now <= u64Max)))
+{                   
+    AssertMsg2("Add the following to defect #1414:\n"
+               "                         u64Now=%016RX64\n"
+               "                         u64Max=%016RX64\n"
+               "               pNext->u64Expire=%016RX64\n"
+               "                  u64VirtualNow=%016RX64\n"
+               "                            off=%016RX64\n"
+               "                       u64Delta=%016RX64\n"
+               "                         u64Sub=%016RX64\n"
+               "                 offVirtualSync=%016RX64\n"
+               "          offVirtualSyncGivenUp=%016RX64\n"
+               "      u64VirtualSyncCatchUpPrev=%016RX64\n"
+               "u32VirtualSyncCatchUpPercentage=%08RX32\n"
+               "            fVirtualSyncTicking=%RTbool\n"
+               "            fVirtualSyncCatchUp=%RTbool (prev=%RTbool)\n",
+               u64Now,
+               u64Max, 
+               pNext->u64Expire,
+               u64VirtualNow,
+               off,
+               u64Delta,
+               u64Sub,
+               pVM->tm.s.offVirtualSync,
+               pVM->tm.s.offVirtualSyncGivenUp,
+               pVM->tm.s.u64VirtualSyncCatchUpPrev,
+               pVM->tm.s.u32VirtualSyncCatchUpPercentage,
+               pVM->tm.s.fVirtualSyncTicking, 
+               pVM->tm.s.fVirtualSyncCatchUp, fWasInCatchup);
     Assert(u64Now <= u64VirtualNow - pVM->tm.s.offVirtualSyncGivenUp);
     Assert(u64Max <= u64VirtualNow - pVM->tm.s.offVirtualSyncGivenUp);
     Assert(u64Now <= u64Max);
+}
+#endif
 
     /*