Changeset 5973

Timestamp:

Mar 2, 2007, 4:05:35 AM (18 years ago)

Author:

Gary Byers

Message:

Try to handle two more cases of consus-interruptus.

File:

• trunk/ccl/lisp-kernel/x86-exceptions.c (modified) (3 diffs)

trunk/ccl/lisp-kernel/x86-exceptions.c

@@ -1486 +1486 @@
     if ((state == ID_unrecognized_alloc_instruction) ||
         ((state == ID_set_allocptr_header_instruction) &&
-         (allocptr_tag == fulltag_cons))) {
-      Bug(NULL, "Can't determine state of thread 0x%lx, interrupted during memory allocation", tcr);
+         (allocptr_tag != fulltag_misc))) {
+      Bug(xp, "Can't determine state of thread 0x%lx, interrupted during memory allocation", tcr);
     }
     switch(state) {
@@ -1511 +1511 @@
       if (interrupt_displacement == NULL) {
         xpGPR(xp,Iallocptr) = VOID_ALLOCPTR - disp;
+        tcr->save_allocptr = (void *)(VOID_ALLOCPTR - disp);
       } else {
         /* Back out, and tell the caller how to resume the allocation attempt */
         *interrupt_displacement = disp;
+        xpGPR(xp,Iallocptr) = VOID_ALLOCPTR;
+        tcr->save_allocptr += disp;
         xpPC(xp) -= (sizeof(branch_around_alloc_trap_instruction)+
                      sizeof(compare_allocptr_reg_to_tcr_save_allocbase_instruction) +
@@ -1545 +1548 @@
                        sizeof(load_allocptr_reg_from_tcr_save_allocptr_instruction));
           xpGPR(xp,Iallocptr) = VOID_ALLOCPTR;
-          tcr->save_allocptr = (void *)(VOID_ALLOCPTR-disp);
+          if (interrupt_displacement) {
+            *interrupt_displacement = disp;
+            tcr->save_allocptr += disp;
+          } else {
+            tcr->save_allocptr = (void *)(VOID_ALLOCPTR-disp);
+          }
         }
       }