Using GHC with SMP and FFI?

[Li, Peng]

[1] Extending the Haskell Foreign Function Interface with Concurrency
[2] Haskell on a Shared-Memory Multiprocessor

I read the above two papers [1,2] and I have been trying to write an
application that uses both FFI and SMP. The first paper [1] shows how
FFI is implemented on uniprocessor concurrent Haskell; the second
paper [2] shows how SMP Concurrent Haskell is implemented.  However, I
found little documentation on using FFI with the latest SMP extension.
 In addition to [1],  what has been changed and what should a
programmer know if he wants to use FFI in a multithreaded program
running on SMP machines?

Best,
Peng