The External Interpreter
When the flag
-fexternal-interpreter is used, GHC runs interpreted code in a separate process.
For the background and rationale, see RemoteGHCi.
Where the code for
The main pieces are:
libraries/libiserv, containing the code for the external server. This is a fairly simple wrapper, most of the functionality is provided by modules in
The GHCi module in
compiler/GHC/Runtimewhich provides the interface to the server used by the rest of GHC.
GHC works with and without
-fexternal-interpreter. With the flag, all
interpreted code is run by the
iserv binary. Without the flag,
interpreted code is run in the same process as GHC.
-fexternal-interpreter, the first time we need to run some interpreted code, we start the
iserv server. This is done by
withIServ in GHCi.
iserv communicate over a pair of pipes, one for sending messages and one for receiving.
All communication is done using messages serialized using the
binary package. The main message type is
Message in GHCi.Message. To send a message from GHC, use
iservCmd in GHCi. There are wrappers for common message types.
There are multiple versions of
iserv_dyn. The latter two are compiled with
-dynamic respectively. One big advantage of
-fexternal-interpreter is that we can run interpreted code in
-prof mode without GHC itself being compiled with
-prof; in order to do that, we invoke
iserv_p rather than
What runs where?
In the GHC process:
- The compiler: everything from
.hsto byte code and object code.
- When we're running TH code, the methods of the
qReify, run in the GHC process. The results are sent back to the TH computation running in the
- Byte code is executed here, including compiled TH code (the contents of splices)
- External packages and object code are linked into this process, so that the compiled byte code can call functions from packages and other modules.
How does byte code execution work?
To run some interpreted code, GHC compiles the Haskell code to byte code as usual, and then sends the byte code over the pipe to
iserv, which is responsible for linking it, executing it, and sending back responses if any.
Any compiled packages and object files are linked into the
iserv process using either the system dynamic linker or the RTS linker, depending on whether we're using
-dynamic or not respectively.
How does Template Haskell work?
This is a bit more tricky, because the communication is two way: we send the TH code to
iserv, but during execution the TH code may make requests back to GHC, e.g. to look up a
The set of operations that TH code can perform is defined by the
Quasi class in Language.Haskell.TH.Syntax. Under
-fexternal-interpreter, each of these operations results in a message sent back from
iserv to GHC, and a response to the message sent from GHC back to
iserv side of this communication is in GHCi.TH, and the GHC side is in
runRemoteTH in TcSplice.hs.
For more details, see
Note [Remote Template Haskell] in libraries/ghci/GHCi/TH.hs.