* (c)2006 Galois Connections, Inc.
*/
-// #include "HsFFI.h"
-
#include <stdio.h>
#include <ctype.h>
#include <stdlib.h>
#include <string.h>
#include <assert.h>
#include "HsFFI.h"
+
#include "Rts.h"
#include "Hpc.h"
*/
#define DEBUG_HPC 0
+#define WOP_SIZE 1024
static int hpc_inited = 0; // Have you started this component?
+static int totalTickCount = 0; // How many ticks have we got to work with
static FILE *tixFile; // file being read/written
static int tix_ch; // current char
static StgWord64 magicTixNumber; // Magic/Hash number to mark .tix files
+static FILE *rixFile = NULL; // The tracer file/pipe (to debugger)
+static FILE *rixCmdFile = NULL; // The tracer file/pipe (from debugger)
+static StgWord64 rixCounter = 0; // The global event counter
+
+
+typedef enum {
+ RixThreadFinishedOp = -1,
+ RixRaiseOp = -2,
+ RixFinishedOp = -3
+} HpcRixOp;
+
+
typedef struct _Info {
char *modName; // name of module
int tickCount; // number of ticks
StgWord64 *tixBoxes = 0; // local copy of tixBoxes array, from file.
int totalTixes = 0; // total number of tix boxes.
-
-
static char *tixFilename;
+
static void failure(char *msg) {
- printf("Hpc failure: %s\n",msg);
- printf("(perhaps remove .tix file?)\n");
+ fprintf(stderr,"Hpc failure: %s\n",msg);
+ fprintf(stderr,"(perhaps remove .tix file?)\n");
exit(-1);
}
static void expect(char c) {
if (tix_ch != c) {
- printf("Hpc: parse failed (%c,%c)\n",tix_ch,c);
+ fprintf(stderr,"Hpc: parse failed (%c,%c)\n",tix_ch,c);
exit(-1);
}
tix_ch = getc(tixFile);
* of the tix file, or all zeros.
*/
-void
+int
hs_hpc_module(char *modName,int modCount,StgWord64 *tixArr) {
Info *tmpModule, *lastModule;
int i;
+ int offset = 0;
#if DEBUG_HPC
- printf("hs_hpc_module(%s,%d)\n",modName,modCount);
+ fprintf(stderr,"hs_hpc_module(%s,%d)\n",modName,modCount);
#endif
hpc_init();
for(i=0;i < modCount;i++) {
tixArr[i] = tixBoxes[i + tmpModule->tickOffset];
}
- return;
+ return tmpModule->tickOffset;
}
lastModule = tmpModule;
}
}
#if DEBUG_HPC
- printf("end: hs_hpc_module\n");
+ fprintf(stderr,"end: hs_hpc_module\n");
+#endif
+ return offset;
+}
+
+static void breakPointCommand(HpcRixOp rixOp, StgThreadID rixTid);
+
+// Breakpointing
+static StgThreadID previousTid = 0;
+static StgWord64 rixBPCounter = 0; // The global event breakpoint counter
+static int *tixBoxBP;
+static int specialOpBP = 0;
+static HpcRixOp rixOpBack[WOP_SIZE]; // The actual op
+static HpcRixOp rixTidBack[WOP_SIZE]; // Tid's before the op
+
+void
+hs_hpc_raise_event(StgTSO *current_tso) {
+ hs_hpc_tick(RixRaiseOp,current_tso);
+}
+
+void
+hs_hpc_thread_finished_event(StgTSO *current_tso) {
+ hs_hpc_tick(RixThreadFinishedOp,current_tso);
+}
+
+/* Called on every tick, dynamically, sending to our
+ * external record of program execution.
+ */
+
+void
+hs_hpc_tick(int rixOp, StgTSO *current_tso) {
+#if DEBUG_HPC
+ fprintf(stderr,"hs_hpc_tick(%x)\n",rixOp);
+#endif
+ if (rixFile == NULL) {
+ return;
+ }
+ assert(rixCmdFile != NULL);
+ StgThreadID tid = (current_tso == 0) ? 0 : current_tso->id;
+
+ // now check to see if we have met a breakpoint condition
+ if (rixCounter == rixBPCounter || (specialOpBP && tid != previousTid)) {
+ breakPointCommand(rixOp,tid);
+ } else {
+ if (rixOp >= 0) {
+ // Tix op
+ if (tixBoxBP[rixOp] == 1) { // reached a bp tixbox
+ breakPointCommand(rixOp,tid);
+ }
+ } else {
+ // Special op
+ if (specialOpBP) {
+ breakPointCommand(rixOp,tid);
+ }
+ }
+ }
+ // update the history information.
+ previousTid = tid;
+ rixOpBack[rixCounter % WOP_SIZE] = rixOp;
+ rixTidBack[rixCounter % WOP_SIZE] = tid;
+ rixCounter++;
+
+#if DEBUG_HPC
+ fprintf(stderr,"end: hs_hpc_tick\n");
+#endif
+}
+
+static void
+printEvent(FILE *out,StgWord64 rixCounter,StgThreadID rixTid,HpcRixOp rixOp) {
+#if DEBUG_HPC
+ if (out != stderr) {
+ printEvent(stderr,rixCounter,rixTid,rixOp);
+ }
+#endif
+ fprintf(out,"%" PRIuWORD64 " %u ",rixCounter,(unsigned int)rixTid);
+ switch(rixOp) {
+ case RixThreadFinishedOp:
+ fprintf(out,"ThreadFinished\n");
+ case RixRaiseOp:
+ fprintf(out,"Raise\n");
+ case RixFinishedOp:
+ fprintf(out,"Finished\n");
+ default:
+ fprintf(out,"%u\n",rixOp);
+ }
+}
+
+static void
+breakPointCommand(HpcRixOp rixOp, StgThreadID rixTid) {
+ StgWord64 tmp64 = 0;
+ unsigned int tmp = 0;
+ printEvent(rixFile,rixCounter,rixTid,rixOp);
+ fflush(rixFile);
+ /* From here, you can ask some basic questions.
+ *
+ * c<nat> set the (one) counter breakpoint
+ * s<nat> set the (many) tickbox breakpoint
+ * u<nat> unset the (many) tickbox breakpoint
+ * x set special bp
+ * o unset special bp
+ * h history
+
+ * Note that you aways end up here on the first tick
+ * because the specialOpBP is equal 0.
+ */
+ int c = getc(rixCmdFile);
+ while(c != 10 && c != -1) {
+ switch(c) {
+ case 'c': // c1234 -- set counter breakpoint at 1234
+ c = getc(rixCmdFile);
+ tmp64 = 0;
+ while(isdigit(c)) {
+ tmp64 = tmp64 * 10 + (c - '0');
+ c = getc(rixCmdFile);
+ }
+#if DEBUG_HPC
+ fprintf(stderr,"setting countBP = %" PRIuWORD64 "\n",tmp64);
+#endif
+ rixBPCounter = tmp64;
+ break;
+ case 's': // s2323 -- set tick box breakpoint at 2323
+ c = getc(rixCmdFile);
+ tmp = 0;
+ while(isdigit(c)) {
+ tmp = tmp * 10 + (c - '0');
+ c = getc(rixCmdFile);
+ }
+#if DEBUG_HPC
+ fprintf(stderr,"seting bp for tix %d\n",tmp);
+#endif
+ tixBoxBP[tmp] = 1;
+ break;
+ case 'u': // u2323 -- unset tick box breakpoint at 2323
+ c = getc(rixCmdFile);
+ tmp = 0;
+ while(isdigit(c)) {
+ tmp = tmp * 10 + (c - '0');
+ c = getc(rixCmdFile);
+ }
+#if DEBUG_HPC
+ fprintf(stderr,"unseting bp for tix %d\n",tmp);
+#endif
+ tixBoxBP[tmp] = 0;
+ break;
+ case 'x': // x -- set special bp flag
+#if DEBUG_HPC
+ fprintf(stderr,"seting specialOpBP = 1\n");
+#endif
+ specialOpBP = 1;
+ c = getc(rixCmdFile);
+ break;
+ case 'o': // o -- clear special bp flag
+#if DEBUG_HPC
+ fprintf(stderr,"seting specialOpBP = 0\n");
+#endif
+ specialOpBP = 0;
+ c = getc(rixCmdFile);
+ break;
+ case 'h': // h -- history of the last few (WOP_SIZE) steps
+ if (rixCounter > WOP_SIZE) {
+ tmp64 = rixCounter - WOP_SIZE;
+ } else {
+ tmp64 = 0;
+ }
+ for(;tmp64 < rixCounter;tmp64++) {
+ printEvent(rixFile,tmp64,rixTidBack[tmp64 % WOP_SIZE],rixOpBack[tmp64 % WOP_SIZE]);
+ }
+ fflush(rixFile);
+ c = getc(rixCmdFile);
+ break;
+ default:
+#if DEBUG_HPC
+ fprintf(stderr,"strange command from HPCRIX (%d)\n",c);
+#endif
+ c = getc(rixCmdFile);
+ }
+ while (c != 10) { // the end of the line
+ c = getc(rixCmdFile); // to the end of the line
+ }
+ c = getc(rixCmdFile); // the first char on the next command
+ }
+#if DEBUG_HPC
+ fprintf(stderr,"re entering program\n");
#endif
}
void
startupHpc(void) {
Info *tmpModule;
+ char *hpcRix;
+ char *hpcRixCmd;
#if DEBUG_HPC
- printf("startupHpc\n");
+ fprintf(stderr,"startupHpc\n");
#endif
if (hpc_inited == 0) {
if (tixBoxes) {
for(;tmpModule != 0;tmpModule = tmpModule->next) {
+ totalTickCount += tmpModule->tickCount;
if (!tmpModule->tixArr) {
fprintf(stderr,"error: module %s did not register any hpc tick data\n",
tmpModule->modName);
}
}
}
+
+ // HPCRIX contains the name of the file to send our dynamic runtime output to (a named pipe).
+
+ hpcRix = getenv("HPCRIX");
+ if (hpcRix) {
+ int comma;
+ Info *tmpModule;
+
+ assert(hpc_inited);
+
+ rixFile = fopen(hpcRix,"w");
+ comma = 0;
+
+ fprintf(rixFile,"Starting %s\n",prog_name);
+ fprintf(rixFile,"[");
+ tmpModule = modules;
+ for(;tmpModule != 0;tmpModule = tmpModule->next) {
+ if (comma) {
+ fprintf(rixFile,",");
+ } else {
+ comma = 1;
+ }
+ fprintf(rixFile,"(\"%s\",%u)",
+ tmpModule->modName,
+ tmpModule->tickCount);
+#if DEBUG_HPC
+ fprintf(stderr,"(tracer)%s: %u (offset=%u)\n",
+ tmpModule->modName,
+ tmpModule->tickCount,
+ tmpModule->tickOffset);
+#endif
+ }
+ fprintf(rixFile,"]\n");
+ fflush(rixFile);
+
+ // Now we open the command channel.
+ hpcRixCmd = getenv("HPCRIXCMD");
+ assert(hpcRixCmd != NULL);
+ rixCmdFile = fopen(hpcRixCmd,"r");
+ assert(rixCmdFile != NULL);
+
+ // Allocate the tixBox breakpoint array
+ // These are set to 1 if you want to
+ // stop at a specific breakpoint
+ tixBoxBP = (int *)calloc(1,sizeof(int));
+ }
+
}
+
/* Called at the end of execution, to write out the Hpc *.tix file
* for this exection. Safe to call, even if coverage is not used.
*/
int i, comma;
#if DEBUG_HPC
- printf("exitHpc\n");
+ fprintf(stderr,"exitHpc\n");
#endif
if (hpc_inited == 0) {
fprintf(f,"]\n");
fclose(f);
+
+ if (rixFile != NULL) {
+ hs_hpc_tick(RixFinishedOp,(StgThreadID)0);
+ fclose(rixFile);
+ }
+ if (rixCmdFile != NULL) {
+ fclose(rixCmdFile);
+ }
}
projects / ghc-hetmet.git / blobdiff