void HandleException(struct _EXCEPTION_RECORD *exceptionRecord, struct _CONTEXT *contextRecord)
{
fflush(stderr);
fflush(stdout);
static int running = 0;
if (running)
exit(1);
running = 1;
if (mysaveFunction)
mysaveFunction();
if (myFatalFunction)
myFatalFunction("Crash", "Press OK to build crash info");
void *process = GetCurrentProcess();
SymInitialize(process, NULL, TRUE);
if (exceptionRecord != NULL && contextRecord != NULL)
{
DumpExceptionInfo(process, exceptionRecord, contextRecord);
}
DumpBackTrace(process);
SymCleanup(process);
exit(1);
}
bool PyrGC::ListSanity()
{
bool found;
if (StackDepth() < 0) {
fprintf(stderr, "stack underflow %d\n", (int)StackDepth());
return false;
}
//postfl("PyrGC::ListSanity\n");
for (int i=0; i<kNumGCSets; ++i) {
PyrObjectHdr *obj;
GCSet* set = mSets + i;
// check black marker
obj = &set->mBlack;
if (!IsMarker(obj)) {
//debugf("set %d black marker color wrong %d %p\n", i, obj->gc_color, obj);
fprintf(stderr, "set %d black marker color wrong %d %p\n", i, obj->gc_color, obj);
setPostFile(stderr);
DumpBackTrace(mVMGlobals);
dumpBadObject((PyrObject*)obj);
return false;
}
// check white marker
obj = &set->mWhite;
if (!IsMarker(obj)) {
//debugf("set %d white marker color wrong %d %p\n", i, obj->gc_color, obj);
fprintf(stderr, "set %d white marker color wrong %d %p\n", i, obj->gc_color, obj);
setPostFile(stderr);
DumpBackTrace(mVMGlobals);
dumpBadObject((PyrObject*)obj);
return false;
}
// check free pointer between white and black marker
if (set->mFree != &set->mBlack) {
obj = set->mWhite.next;
found = false;
while (!IsMarker(obj)) {
if (obj == set->mFree) { found = true; break; }
obj = obj->next;
}
if (!found) {
//debugf("set %d free pointer not between white and black\n", i);
fprintf(stderr, "set %d free pointer not between white and black\n", i);
fprintf(stderr, "set->mFree %p\n", set->mFree);
fprintf(stderr, "set->mWhite %p\n", &set->mWhite);
fprintf(stderr, "set->mBlack %p\n", &set->mBlack);
setPostFile(stderr);
DumpBackTrace(mVMGlobals);
dumpBadObject((PyrObject*)set->mFree);
fprintf(stderr, "black %d white %d grey %d\n", mBlackColor, mWhiteColor, mGreyColor);
obj = &set->mWhite;
int count = 0;
do {
if (obj == set->mFree) fprintf(stderr, "%4d %p %3d %d FREE\n", count, obj, obj->gc_color, obj->obj_sizeclass);
else if (obj == &set->mWhite) fprintf(stderr, "%4d %p %3d %d WHITE\n", count, obj, obj->gc_color, obj->obj_sizeclass);
else if (obj == &set->mBlack) fprintf(stderr, "%4d %p %3d %d BLACK\n", count, obj, obj->gc_color, obj->obj_sizeclass);
else fprintf(stderr, "%4d %p %3d %d\n", count, obj, obj->gc_color, obj->obj_sizeclass);
obj = obj->next;
count++;
} while (obj != &set->mWhite);
return false;
}
}
// scan black list
obj = set->mBlack.next;
while (!IsMarker(obj)) {
if (obj->gc_color != mBlackColor) {
//debugf("set %d black list obj color wrong %d (%d, %d, %d) %p\n",
// i, obj->gc_color, mBlackColor, mGreyColor, mWhiteColor, obj);
fprintf(stderr, "set %d black list obj color wrong %d (%d, %d, %d) %p\n",
i, obj->gc_color, mBlackColor, mGreyColor, mWhiteColor, obj);
setPostFile(stderr);
DumpBackTrace(mVMGlobals);
dumpBadObject((PyrObject*)obj);
return false;
}
if (GetGCSet(obj) != set) {
//debugf("set %d black obj gcset wrong %d %p\n", i, obj->obj_sizeclass, obj);
fprintf(stderr, "set %d black obj gcset wrong %d %p\n", i, obj->obj_sizeclass, obj);
setPostFile(stderr);
dumpBadObject((PyrObject*)obj);
return false;
}
if (obj->next->prev != obj) {
fprintf(stderr, "set %d black obj->next->prev != obj\n", i);
setPostFile(stderr);
DumpBackTrace(mVMGlobals);
dumpBadObject((PyrObject*)obj);
}
// scan for refs to white.
if (!BlackToWhiteCheck((PyrObject*)obj)) return false;
obj = obj->next;
}
// scan white list
obj = set->mWhite.next;
while (obj != set->mFree) {
if (obj->gc_color != mWhiteColor) {
//debugf("set %d white list obj color wrong %d (%d, %d, %d) %p\n",
// i, obj->gc_color, mBlackColor, mGreyColor, mWhiteColor, obj);
//debugf("hmmm free %p black %p\n", set->mFree, set->black);
fprintf(stderr, "set %d white list obj color wrong %d (%d, %d, %d) %p\n",
i, obj->gc_color, mBlackColor, mGreyColor, mWhiteColor, obj);
fprintf(stderr, "hmmm free %p black %p\n", set->mFree, &set->mBlack);
setPostFile(stderr);
DumpBackTrace(mVMGlobals);
dumpBadObject((PyrObject*)obj);
return false;
}
if (GetGCSet(obj) != set) {
//debugf("set %d white obj gcset wrong %d %p\n", i, obj->obj_sizeclass, obj);
fprintf(stderr, "set %d white obj gcset wrong %d %p\n", i, obj->obj_sizeclass, obj);
setPostFile(stderr);
DumpBackTrace(mVMGlobals);
dumpBadObject((PyrObject*)obj);
return false;
}
if (obj->next->prev != obj) {
fprintf(stderr, "set %d white obj->next->prev != obj\n", i);
setPostFile(stderr);
DumpBackTrace(mVMGlobals);
dumpBadObject((PyrObject*)obj);
}
obj = obj->next;
}
// mark all free list items free
obj = set->mFree;
while (!IsMarker(obj)) {
/*if (obj->gc_color == mGreyColor) {
//debugf("grey obj on free list\n");
fprintf(stderr, "grey obj on free list\n");
return false;
}*/
//post("FREE\n");
//dumpObject((PyrObject*)(PyrObject*)obj);
obj->gc_color = mFreeColor;
if (GetGCSet(obj) != set) {
//debugf("set %d free obj gcset wrong %d %p\n", i, obj->obj_sizeclass, obj);
fprintf(stderr, "set %d free obj gcset wrong %d %p\n", i, obj->obj_sizeclass, obj);
//dumpObject((PyrObject*)obj);
return false;
}
if (obj->next->prev != obj) {
fprintf(stderr, "set %d free obj->next->prev != obj\n", i);
//dumpObject((PyrObject*)obj);
}
obj = obj->next;
}
}
int numgrey = 0;
PyrObjectHdr *grey = mGrey.next;
while (!IsMarker(grey)) {
numgrey++;
if (!IsGrey(grey)) {
fprintf(stderr, "sc Object on grey list not grey %d %d %d\n", grey->gc_color, mGreyColor, numgrey);
fprintf(stderr, "%p <- %p -> %p grey %p process %p\n", mGrey.prev, &mGrey, mGrey.next, grey, mProcess);
return false;
}
grey = grey->next;
}
if (numgrey != mNumGrey) {
fprintf(stderr, "grey count off %d %d\n", numgrey, mNumGrey);
DumpInfo();
fprintf(stderr, ".");
return false;
}
return true;
}
