diff options
| author | Tamar Christina <tamar@zhox.com> | 2019-06-02 14:55:34 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2020-07-15 16:41:01 -0400 |
| commit | 71245fcce24723910f12f934fbc4c700658b727a (patch) | |
| tree | 83d387775893a72afc97cb73b345864f77b1bf98 /includes | |
| parent | 90e69f779b6da755fac472337535a1321cbb7917 (diff) | |
| download | haskell-71245fcce24723910f12f934fbc4c700658b727a.tar.gz | |
winio: Add new io-manager cmdline options
Diffstat (limited to 'includes')
| -rw-r--r-- | includes/rts/Flags.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/includes/rts/Flags.h b/includes/rts/Flags.h index d0c41a1576..bf84c5dc96 100644 --- a/includes/rts/Flags.h +++ b/includes/rts/Flags.h @@ -206,6 +206,9 @@ typedef struct _CONCURRENT_FLAGS { #define DEFAULT_LINKER_ALWAYS_PIC false #endif +/* Which I/O Manager to use in the target program. */ +typedef enum _IO_MANAGER { IO_MNGR_NATIVE, IO_MNGR_POSIX } IO_MANAGER; + /* See Note [Synchronization of flags and base APIs] */ typedef struct _MISC_FLAGS { Time tickInterval; /* units: TIME_RESOLUTION */ @@ -224,6 +227,8 @@ typedef struct _MISC_FLAGS { bool linkerAlwaysPic; /* Assume the object code is always PIC */ StgWord linkerMemBase; /* address to ask the OS for memory * for the linker, NULL ==> off */ + IO_MANAGER ioManager; /* The I/O manager to use. */ + uint32_t numIoWorkerThreads; /* Number of I/O worker threads to use. */ } MISC_FLAGS; /* See Note [Synchronization of flags and base APIs] */ |