diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Profiler update

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1017 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
rslopes 2004-03-04 21:17:40 +00:00
parent 0092e6fd45
commit 69f6496e7e
3 changed files with 19 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
C/absmi.c
View File

@ -129,8 +129,8 @@ Yap_absmi(int inp)
register CELL *pt0, *pt1; register CELL *pt0, *pt1;
#endif /* LONG_LIVED_REGISTERS */ #endif /* LONG_LIVED_REGISTERS */
#if SHADOW_P #if SHADOW_P
register yamop *PREG = P; register yamop *PREG = P;
#endif /* SHADOW_P */ #endif /* SHADOW_P */
@ -11750,3 +11750,13 @@ Yap_absmi(int inp)
} }
#if LOW_PROF
#include <stdio.h>
void prof_alrm(int signo)
{
fprintf(FProf,"%p\n", PREG);
return;
}
#endif

4
C/index.c
View File

@ -3439,7 +3439,7 @@ Yap_PredIsIndexable(PredEntry *ap)
} }
#ifdef LOW_PROF #ifdef LOW_PROF
if (ProfilerOn) { if (ProfilerOn) {
Yap_inform_profiler_of_clause(indx_out, ProfEnd, ap,-1); Yap_inform_profiler_of_clause(indx_out, ProfEnd, ap,1);
} }
#endif /* LOW_PROF */ #endif /* LOW_PROF */
if (ap->PredFlags & LogUpdatePredFlag) { if (ap->PredFlags & LogUpdatePredFlag) {
@ -4241,7 +4241,7 @@ ExpandIndex(PredEntry *ap) {
} }
#ifdef LOW_PROF #ifdef LOW_PROF
if (ProfilerOn) { if (ProfilerOn) {
Yap_inform_profiler_of_clause(indx_out, ProfEnd, ap,-1); Yap_inform_profiler_of_clause(indx_out, ProfEnd, ap,1);
} }
#endif /* LOW_PROF */ #endif /* LOW_PROF */
if (indx_out == NULL) { if (indx_out == NULL) {

9
C/stdpreds.c
View File

@ -102,7 +102,7 @@ STD_PROTO(static Int p_set_yap_flags, (void));
#ifdef LOW_PROF #ifdef LOW_PROF
#define TIMER_DEFAULT 1000 #define TIMER_DEFAULT 100
#define MORE_INFO_FILE 1 #define MORE_INFO_FILE 1
void void
@ -131,14 +131,15 @@ static Int order=0;
#if defined(__linux__) #if defined(__linux__)
static void static void
prof_alrm(int signo) prof_alrm_OLD(int signo)
{ {
// printf("%p\n", Yap_regp->P_); // printf("%p %p\n", Yap_regp->P_,P);
fprintf(FProf,"%p\n", Yap_regp->P_); fprintf(FProf,"%p\n", Yap_regp->P_);
// fprintf(FProf,"%p\n", P);
return; return;
} }
extern void prof_alrm(int signo);
static Int start_profilers(int msec) static Int start_profilers(int msec)
{ {
struct itimerval t; struct itimerval t;