462 lines
11 KiB
C
Executable File
462 lines
11 KiB
C
Executable File
/*************************************************************************
|
|
* *
|
|
* YAP Prolog @(#)amidefs.h 1.3 3/15/90
|
|
* *
|
|
* Yap Prolog was developed at NCCUP - Universidade do Porto *
|
|
* *
|
|
* Copyright L.Damas, V.S.Costa and Universidade do Porto 1985-1997 *
|
|
* *
|
|
**************************************************************************
|
|
* *
|
|
* File: tracer.h *
|
|
* Last rev: *
|
|
* mods: *
|
|
* comments: definitions for low level tracer *
|
|
* *
|
|
*************************************************************************/
|
|
|
|
#include "Yap.h"
|
|
|
|
#ifdef LOW_LEVEL_TRACER
|
|
|
|
#include "Yatom.h"
|
|
#include "YapHeap.h"
|
|
#include "attvar.h"
|
|
#include "yapio.h"
|
|
#include "tracer.h"
|
|
|
|
STATIC_PROTO(int TracePutchar, (int, int));
|
|
STATIC_PROTO(void send_tracer_message, (char *, char *, Int, char *, CELL *));
|
|
|
|
|
|
|
|
static int
|
|
TracePutchar(int sno, int ch)
|
|
{
|
|
return(putc(ch, GLOBAL_stderr)); /* use standard error stream, which is supposed to be 2*/
|
|
}
|
|
|
|
static void
|
|
send_tracer_message(char *start, char *name, Int arity, char *mname, CELL *args)
|
|
{
|
|
CACHE_REGS
|
|
if (name == NULL) {
|
|
#ifdef YAPOR
|
|
fprintf(GLOBAL_stderr, "(%d)%s", worker_id, start);
|
|
#else
|
|
fprintf(GLOBAL_stderr, "%s", start);
|
|
#endif
|
|
} else {
|
|
int i;
|
|
|
|
if (arity) {
|
|
if (args)
|
|
fprintf(GLOBAL_stderr, "%s %s:%s(", start, mname, name);
|
|
else
|
|
fprintf(GLOBAL_stderr, "%s %s:%s/%lu", start, mname, name, (unsigned long int)arity);
|
|
} else {
|
|
fprintf(GLOBAL_stderr, "%s %s:%s", start, mname, name);
|
|
}
|
|
if (args) {
|
|
for (i= 0; i < arity; i++) {
|
|
if (i > 0) fprintf(GLOBAL_stderr, ",");
|
|
#if DEBUG
|
|
#if COROUTINING
|
|
Yap_Portray_delays = TRUE;
|
|
#endif
|
|
#endif
|
|
Yap_plwrite(args[i], TracePutchar, Handle_vars_f, 1200);
|
|
#if DEBUG
|
|
#if COROUTINING
|
|
Yap_Portray_delays = FALSE;
|
|
#endif
|
|
#endif
|
|
}
|
|
if (arity) {
|
|
fprintf(GLOBAL_stderr, ")");
|
|
}
|
|
}
|
|
}
|
|
fprintf(GLOBAL_stderr, "\n");
|
|
}
|
|
|
|
#if defined(__GNUC__)
|
|
unsigned long long vsc_count;
|
|
#else
|
|
unsigned long vsc_count;
|
|
#endif
|
|
|
|
#if THREADS
|
|
static int thread_trace;
|
|
#endif
|
|
|
|
/*
|
|
static int
|
|
check_trail_consistency(void) {
|
|
tr_fr_ptr ptr = TR;
|
|
while (ptr > (CELL *)LOCAL_TrailBase) {
|
|
ptr = --ptr;
|
|
if (!IsVarTerm(TrailTerm(ptr))) {
|
|
if (IsApplTerm(TrailTerm(ptr))) {
|
|
CELL *cptr = (CELL *)ptr;
|
|
ptr = (tr_fr_ptr)(cptr-1);
|
|
} else {
|
|
if (IsPairTerm(TrailTerm(ptr))) {
|
|
CELL *p = RepPair(TrailTerm(ptr));
|
|
if IsAttVar(p) continue;
|
|
}
|
|
printf("Oops at call %ld, B->cp(%p) TR(%p) pt(%p)\n", vsc_count,B->cp_tr, TR, ptr);
|
|
return(FALSE);
|
|
}
|
|
}
|
|
}
|
|
return(TRUE);
|
|
}
|
|
*/
|
|
|
|
|
|
CELL old_value = 0L, old_value2 = 0L;
|
|
|
|
void jmp_deb(int);
|
|
|
|
void
|
|
jmp_deb(int i) {if (i) printf("Here we go\n"); else jmp_deb(0);}
|
|
|
|
struct various_codes *sc;
|
|
|
|
/*
|
|
CELL array[332];
|
|
|
|
int found = FALSE;
|
|
|
|
static void
|
|
check_area(void)
|
|
{
|
|
int i, first = -1;
|
|
for (i= 0; i < 332; i++) {
|
|
if (array[i] !=((CELL *)0x187a800)[i]) {
|
|
if (first != -1) {
|
|
first = i;
|
|
found = TRUE;
|
|
}
|
|
fprintf(stderr,"%lld changed %d\n",vsc_count,i);
|
|
}
|
|
array[i] = ((CELL *)0x187a800)[i];
|
|
}
|
|
if (first != -1)
|
|
jmp_deb(i);
|
|
}
|
|
*/
|
|
|
|
PredEntry *old_p[10000];
|
|
Term old_x1[10000], old_x2[10000], old_x3[10000];
|
|
|
|
void
|
|
low_level_trace(yap_low_level_port port, PredEntry *pred, CELL *args)
|
|
{
|
|
CACHE_REGS
|
|
char *s;
|
|
char *mname;
|
|
Int arity;
|
|
/* extern int gc_calls; */
|
|
|
|
LOCK(Yap_heap_regs->low_level_trace_lock);
|
|
sc = Yap_heap_regs;
|
|
vsc_count++;
|
|
if (vsc_count < 12000)
|
|
return;
|
|
jmp_deb(1);
|
|
#ifdef THREADS
|
|
LOCAL_ThreadHandle.thread_inst_count++;
|
|
#endif
|
|
#ifdef COMMENTED
|
|
{ choiceptr myB = B;
|
|
while (myB) myB = myB->cp_b;
|
|
}
|
|
//*(H0+(0xb65f2850-0xb64b2008)/sizeof(CELL))==0xc ||
|
|
//0x4fd4d
|
|
if (vsc_count == 40650191LL)
|
|
jmp_deb(1);
|
|
return;
|
|
if (vsc_count > 1388060LL && vsc_count < 1388070LL) {
|
|
if (vsc_count==1388061LL)
|
|
jmp_deb(1);
|
|
if (vsc_count % 1LL == 0) {
|
|
UInt sz = Yap_regp->H0_[17];
|
|
UInt end = sizeof(MP_INT)/sizeof(CELL)+sz+1;
|
|
fprintf(stderr,"VAL %lld %d %x/%x\n",vsc_count,sz,H0[16],H0[16+end]);
|
|
}
|
|
} else
|
|
return;
|
|
{
|
|
tr_fr_ptr pt = (tr_fr_ptr)LOCAL_TrailBase;
|
|
if (pt[140].term == 0 && pt[140].value != 0)
|
|
jmp_deb(1);
|
|
}
|
|
if (worker_id != 04 || worker_id != 03) return;
|
|
// if (vsc_count == 218280)
|
|
// vsc_xstop = 1;
|
|
if (vsc_count < 1468068888) {
|
|
UNLOCK(Yap_heap_regs->low_level_trace_lock);
|
|
return;
|
|
}
|
|
if (port != enter_pred ||
|
|
!pred ||
|
|
pred->ArityOfPE != 4 ||
|
|
strcmp(RepAtom(NameOfFunctor(pred->FunctorOfPred))->StrOfAE,"in_between_target_phrases")) {
|
|
UNLOCK(Yap_heap_regs->low_level_trace_lock);
|
|
return;
|
|
}
|
|
if (vsc_count < 1246949400LL) {
|
|
UNLOCK(Yap_heap_regs->low_level_trace_lock);
|
|
return;
|
|
}
|
|
if (vsc_count == 1246949493LL)
|
|
vsc_xstop = TRUE;
|
|
if (vsc_count < 5646100000LL) {
|
|
UNLOCK(Yap_heap_regs->low_level_trace_lock);
|
|
return;
|
|
}
|
|
if (vsc_count == 5646100441LL)
|
|
vsc_xstop = TRUE;
|
|
if (vsc_count < 2923351500LL) {
|
|
UNLOCK(Yap_heap_regs->low_level_trace_lock);
|
|
return;
|
|
}
|
|
if (vsc_count == 123536441LL) vsc_xstop = 1;
|
|
if (vsc_count < 5530257LL) {
|
|
UNLOCK(Yap_heap_regs->low_level_trace_lock);
|
|
return;
|
|
}
|
|
if (vsc_count == 9414280LL) {
|
|
vsc_xstop = TRUE;
|
|
}
|
|
if (vsc_count < 3399741LL) {
|
|
UNLOCK(Yap_heap_regs->low_level_trace_lock);
|
|
return;
|
|
}
|
|
if (TR_FZ > TR)
|
|
jmp_deb(1);
|
|
{
|
|
tr_fr_ptr pt = (tr_fr_ptr)LOCAL_TrailBase;
|
|
if (pt[153].term == 0 && pt[153].value == 0 &&
|
|
pt[154].term != 0 && pt[154].value != 0 && ( TR > pt+154 ||
|
|
TR_FZ > pt+154))
|
|
jmp_deb(2);
|
|
if (pt[635].term == 0 && pt[635].value == 0 &&
|
|
pt[636].term != 0 && pt[636].value != 0 && ( TR > pt+636 ||
|
|
TR_FZ > pt+636))
|
|
jmp_deb(3);
|
|
if (pt[138].term == 0 && pt[138].value == 0 &&
|
|
pt[139].term != 0 && pt[139].value != 0 && ( TR > pt+138 ||
|
|
TR_FZ > pt+138) )
|
|
jmp_deb(4);
|
|
}
|
|
if (vsc_count == 287939LL)
|
|
jmp_deb(1);
|
|
if (vsc_count == 173118LL)
|
|
jmp_deb(1);
|
|
if (!(vsc_count >= 287934LL && vsc_count <= 287939LL) &&
|
|
!(vsc_count >= 173100LL && vsc_count <= 173239LL) &&
|
|
vsc_count != -1)
|
|
return;
|
|
if (vsc_count == 51021) {
|
|
printf("Here I go\n");
|
|
}
|
|
if (vsc_count < 52000) {
|
|
UNLOCK(Yap_heap_regs->low_level_trace_lock);
|
|
return;
|
|
}
|
|
if (vsc_count > 52000) exit(0);
|
|
UNLOCK(Yap_heap_regs->low_level_trace_lock);
|
|
return;
|
|
if (vsc_count == 837074) {
|
|
printf("Here I go\n");
|
|
}
|
|
if (gc_calls < 1) {
|
|
UNLOCK(Yap_heap_regs->low_level_trace_lock);
|
|
return;
|
|
}
|
|
{
|
|
CELL *env_ptr = ENV;
|
|
PredEntry *p;
|
|
|
|
while (env_ptr) {
|
|
PredEntry *pe = EnvPreg(env_ptr[E_CP]);
|
|
|
|
printf("%p->",env_ptr,pe);
|
|
if (vsc_count == 52LL) printf("\n");
|
|
if (p == pe) {
|
|
UNLOCK(Yap_heap_regs->low_level_trace_lock);
|
|
return;
|
|
}
|
|
if (env_ptr != NULL)
|
|
env_ptr = (CELL *)(env_ptr[E_E]);
|
|
}
|
|
printf("\n");
|
|
}
|
|
#endif
|
|
fprintf(GLOBAL_stderr,"%lld ",vsc_count);
|
|
#if defined(THREADS) || defined(YAPOR)
|
|
fprintf(GLOBAL_stderr,"(%d)", worker_id);
|
|
#endif
|
|
/* check_trail_consistency(); */
|
|
if (pred == NULL) {
|
|
UNLOCK(Yap_heap_regs->low_level_trace_lock);
|
|
return;
|
|
}
|
|
if (pred->ModuleOfPred == 0 && !LOCAL_do_trace_primitives) {
|
|
UNLOCK(Yap_heap_regs->low_level_trace_lock);
|
|
return;
|
|
}
|
|
switch (port) {
|
|
case enter_pred:
|
|
mname = RepAtom(AtomOfTerm(Yap_Module_Name(pred)))->StrOfAE;
|
|
arity = pred->ArityOfPE;
|
|
if (arity == 0)
|
|
s = RepAtom((Atom)pred->FunctorOfPred)->StrOfAE;
|
|
else
|
|
s = RepAtom(NameOfFunctor((pred->FunctorOfPred)))->StrOfAE;
|
|
/* if ((pred->ModuleOfPred == 0) && (s[0] == '$'))
|
|
return; */
|
|
send_tracer_message("CALL: ", s, arity, mname, args);
|
|
break;
|
|
case try_or:
|
|
send_tracer_message("TRY_OR ", NULL, 0, NULL, args);
|
|
break;
|
|
case retry_or:
|
|
send_tracer_message("FAIL ", NULL, 0, NULL, args);
|
|
send_tracer_message("RETRY_OR ", NULL, 0, NULL, args);
|
|
break;
|
|
case retry_table_generator:
|
|
send_tracer_message("FAIL ", NULL, 0, NULL, args);
|
|
mname = RepAtom(AtomOfTerm(Yap_Module_Name(pred)))->StrOfAE;
|
|
arity = pred->ArityOfPE;
|
|
if (arity == 0)
|
|
s = RepAtom((Atom)pred->FunctorOfPred)->StrOfAE;
|
|
else
|
|
s = RepAtom(NameOfFunctor((pred->FunctorOfPred)))->StrOfAE;
|
|
send_tracer_message("RETRY GENERATOR: ", s, arity, mname, args);
|
|
break;
|
|
case retry_table_consumer:
|
|
send_tracer_message("FAIL ", NULL, 0, NULL, args);
|
|
mname = RepAtom(AtomOfTerm(Yap_Module_Name(pred)))->StrOfAE;
|
|
arity = pred->ArityOfPE;
|
|
if (arity == 0) {
|
|
s = RepAtom((Atom)pred->FunctorOfPred)->StrOfAE;
|
|
send_tracer_message("RETRY CONSUMER: ", s, 0, mname, NULL);
|
|
} else {
|
|
s = RepAtom(NameOfFunctor((pred->FunctorOfPred)))->StrOfAE;
|
|
send_tracer_message("RETRY CONSUMER: ", s, pred->ArityOfPE, mname, NULL);
|
|
}
|
|
break;
|
|
case retry_table_loader:
|
|
send_tracer_message("FAIL ", NULL, 0, NULL, args);
|
|
if (pred == UndefCode) {
|
|
send_tracer_message("RETRY LOADER ", NULL, 0, NULL, NULL);
|
|
} else {
|
|
mname = RepAtom(AtomOfTerm(Yap_Module_Name(pred)))->StrOfAE;
|
|
arity = pred->ArityOfPE;
|
|
if (arity == 0)
|
|
s = RepAtom((Atom)pred->FunctorOfPred)->StrOfAE;
|
|
else
|
|
s = RepAtom(NameOfFunctor((pred->FunctorOfPred)))->StrOfAE;
|
|
send_tracer_message("RETRY LOADER: ", s, 0, mname, NULL);
|
|
}
|
|
break;
|
|
case retry_pred:
|
|
send_tracer_message("FAIL ", NULL, 0, NULL, args);
|
|
if (pred != NULL) {
|
|
mname = RepAtom(AtomOfTerm(Yap_Module_Name(pred)))->StrOfAE;
|
|
arity = pred->ArityOfPE;
|
|
if (pred->ModuleOfPred == IDB_MODULE) {
|
|
s = "recorded";
|
|
arity = 3;
|
|
} else if (arity == 0) {
|
|
s = RepAtom((Atom)pred->FunctorOfPred)->StrOfAE;
|
|
} else {
|
|
s = RepAtom(NameOfFunctor((pred->FunctorOfPred)))->StrOfAE;
|
|
}
|
|
send_tracer_message("RETRY: ", s, arity, mname, args);
|
|
}
|
|
break;
|
|
}
|
|
fflush(NULL);
|
|
UNLOCK(Yap_heap_regs->low_level_trace_lock);
|
|
}
|
|
|
|
void
|
|
toggle_low_level_trace(void)
|
|
{
|
|
Yap_do_low_level_trace = !Yap_do_low_level_trace;
|
|
}
|
|
|
|
static Int p_start_low_level_trace( USES_REGS1 )
|
|
{
|
|
Yap_do_low_level_trace = TRUE;
|
|
return(TRUE);
|
|
}
|
|
|
|
static Int p_total_choicepoints( USES_REGS1 )
|
|
{
|
|
return Yap_unify(MkIntegerTerm(LOCAL_total_choicepoints),ARG1);
|
|
}
|
|
|
|
static Int p_reset_total_choicepoints( USES_REGS1 )
|
|
{
|
|
LOCAL_total_choicepoints = 0;
|
|
return TRUE;
|
|
}
|
|
|
|
static Int p_show_low_level_trace( USES_REGS1 )
|
|
{
|
|
fprintf(stderr,"Call counter=%lld\n",vsc_count);
|
|
return(TRUE);
|
|
}
|
|
|
|
#ifdef THREADS
|
|
static Int p_start_low_level_trace2( USES_REGS1 )
|
|
{
|
|
thread_trace = IntegerOfTerm(Deref(ARG1))+1;
|
|
Yap_do_low_level_trace = TRUE;
|
|
return(TRUE);
|
|
}
|
|
#endif
|
|
|
|
#include <stdio.h>
|
|
|
|
static Int p_stop_low_level_trace( USES_REGS1 )
|
|
{
|
|
Yap_do_low_level_trace = FALSE;
|
|
LOCAL_do_trace_primitives = TRUE;
|
|
return(TRUE);
|
|
}
|
|
|
|
volatile int vsc_wait;
|
|
|
|
static Int p_vsc_wait( USES_REGS1 )
|
|
{
|
|
while (!vsc_wait);
|
|
vsc_wait=1;
|
|
return(TRUE);
|
|
}
|
|
|
|
void
|
|
Yap_InitLowLevelTrace(void)
|
|
{
|
|
Yap_InitCPred("start_low_level_trace", 0, p_start_low_level_trace, SafePredFlag);
|
|
#if THREADS
|
|
Yap_InitCPred("start_low_level_trace", 1, p_start_low_level_trace2, SafePredFlag);
|
|
#endif
|
|
Yap_InitCPred("stop_low_level_trace", 0, p_stop_low_level_trace, SafePredFlag);
|
|
Yap_InitCPred("show_low_level_trace", 0, p_show_low_level_trace, SafePredFlag);
|
|
Yap_InitCPred("total_choicepoints", 1, p_total_choicepoints, SafePredFlag);
|
|
Yap_InitCPred("reset_total_choicepoints", 0, p_reset_total_choicepoints, SafePredFlag);
|
|
Yap_InitCPred("vsc_wait", 0, p_vsc_wait, SafePredFlag);
|
|
}
|
|
|
|
#endif
|
|
|
|
|
|
|