Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Open sidebar
Tobias Decking
GHC
Commits
a5c7f52e
Commit
a5c7f52e
authored
Jul 18, 2011
by
Duncan Coutts
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Sync EventLogFormat.h with ghc-events
parent
084b64f2
Changes
2
Show whitespace changes
Inline
Side-by-side
Showing
2 changed files
with
8 additions
and
5 deletions
+8
-5
includes/rts/EventLogFormat.h
includes/rts/EventLogFormat.h
+5
-2
rts/eventlog/EventLog.c
rts/eventlog/EventLog.c
+3
-3
No files found.
includes/rts/EventLogFormat.h
View file @
a5c7f52e
...
...
@@ -140,20 +140,23 @@
#define EVENT_SPARK_STEAL 39
/* (victim_cap) */
#define EVENT_SPARK_FIZZLE 40
/* () */
#define EVENT_SPARK_GC 41
/* () */
#define EVENT_INTERN_STRING 42
/* (string, id) {not used by ghc} */
/* Range 4
2
- 59 is available for new events */
/* Range 4
3
- 59 is available for new
GHC and common
events */
/* Range 60 - 80 is used by eden for parallel tracing
* see http://www.mathematik.uni-marburg.de/~eden/
*/
/* Range 100 - 139 is reserved for Mercury */
/*
* The highest event code +1 that ghc itself emits. Note that some event
* ranges higher than this are reserved but not currently emitted by ghc.
* This must match the size of the EventDesc[] array in EventLog.c
*/
#define NUM_EVENT_TAGS
42
#define NUM_
GHC_
EVENT_TAGS 42
#if 0 /* DEPRECATED EVENTS: */
/* we don't actually need to record the thread, it's implicit */
...
...
rts/eventlog/EventLog.c
View file @
a5c7f52e
...
...
@@ -101,7 +101,7 @@ typedef struct _EventType {
char
*
desc
;
// Description
}
EventType
;
EventType
eventTypes
[
NUM_EVENT_TAGS
];
EventType
eventTypes
[
NUM_
GHC_
EVENT_TAGS
];
static
void
initEventsBuf
(
EventsBuf
*
eb
,
StgWord64
size
,
EventCapNo
capno
);
static
void
resetEventsBuf
(
EventsBuf
*
eb
);
...
...
@@ -200,7 +200,7 @@ initEventLogging(void)
+
10
/* .eventlog */
,
"initEventLogging"
);
if
(
sizeof
(
EventDesc
)
/
sizeof
(
char
*
)
!=
NUM_EVENT_TAGS
)
{
if
(
sizeof
(
EventDesc
)
/
sizeof
(
char
*
)
!=
NUM_
GHC_
EVENT_TAGS
)
{
barf
(
"EventDesc array has the wrong number of elements"
);
}
...
...
@@ -250,7 +250,7 @@ initEventLogging(void)
// Mark beginning of event types in the header.
postInt32
(
&
eventBuf
,
EVENT_HET_BEGIN
);
for
(
t
=
0
;
t
<
NUM_EVENT_TAGS
;
++
t
)
{
for
(
t
=
0
;
t
<
NUM_
GHC_
EVENT_TAGS
;
++
t
)
{
eventTypes
[
t
].
etNum
=
t
;
eventTypes
[
t
].
desc
=
EventDesc
[
t
];
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment