summaryrefslogtreecommitdiff
path: root/includes/rts/EventLogWriter.h
diff options
context:
space:
mode:
Diffstat (limited to 'includes/rts/EventLogWriter.h')
-rw-r--r--includes/rts/EventLogWriter.h75
1 files changed, 0 insertions, 75 deletions
diff --git a/includes/rts/EventLogWriter.h b/includes/rts/EventLogWriter.h
deleted file mode 100644
index 73a2aec64c..0000000000
--- a/includes/rts/EventLogWriter.h
+++ /dev/null
@@ -1,75 +0,0 @@
-/* -----------------------------------------------------------------------------
- *
- * (c) The GHC Team, 2008-2017
- *
- * Support for fast binary event logging.
- *
- * Do not #include this file directly: #include "Rts.h" instead.
- *
- * To understand the structure of the RTS headers, see the wiki:
- * https://gitlab.haskell.org/ghc/ghc/wikis/commentary/source-tree/includes
- *
- * ---------------------------------------------------------------------------*/
-
-#pragma once
-
-#include <stddef.h>
-#include <stdbool.h>
-
-/*
- * Abstraction for writing eventlog data.
- */
-typedef struct {
- // Initialize an EventLogWriter (may be NULL)
- void (* initEventLogWriter) (void);
-
- // Write a series of events returning true on success.
- // Note that this may be called by multiple threads simultaneously.
- // The writer is responsible for concurrency control.
- bool (* writeEventLog) (void *eventlog, size_t eventlog_size);
-
- // Flush possibly existing buffers (may be NULL)
- // Note that this may be called by multiple threads simultaneously.
- // The writer is responsible for concurrency control.
- void (* flushEventLog) (void);
-
- // Close an initialized EventLogOutput (may be NULL)
- void (* stopEventLogWriter) (void);
-} EventLogWriter;
-
-/*
- * An EventLogWriter which writes eventlogs to
- * a file `program.eventlog`.
- */
-extern const EventLogWriter FileEventLogWriter;
-
-enum EventLogStatus {
- /* The runtime system wasn't compiled with eventlog support. */
- EVENTLOG_NOT_SUPPORTED,
- /* An EventLogWriter has not yet been configured */
- EVENTLOG_NOT_CONFIGURED,
- /* An EventLogWriter has been configured and is running. */
- EVENTLOG_RUNNING,
-};
-
-/*
- * Query whether the current runtime system supports eventlogging.
- */
-enum EventLogStatus eventLogStatus(void);
-
-/*
- * Initialize event logging using the given EventLogWriter.
- * Returns true on success or false if an EventLogWriter is already configured
- * or eventlogging isn't supported by the runtime.
- */
-bool startEventLogging(const EventLogWriter *writer);
-
-/*
- * Stop event logging and destroy the current EventLogWriter.
- */
-void endEventLogging(void);
-
-/*
- * Flush the eventlog. cap can be NULL if one is not held.
- */
-void flushEventLog(Capability **cap);