Come prendere il controllo del thread del sistema operativo principale in Haskell?

Question

Sto cercando di incorporare un interprete Ruby1.9 in un programma. Attualmente sto usando forkOS nel mio pacchetto hruby, ma sembra che funzioni solo per Ruby 1.8 e 2.x. Sembra che 1.9 abbia bisogno di essere eseguito nella discussione principale. Come nodo laterale, c'è no documentazione come fare una cosa del genere, quindi l'unico puntatore al mio problema attuale è here.

C'è un modo per assumere il controllo del thread principale per eseguire tutte le mie chiamate FFI?

Answer 1

Dopo aver eseguito alcuni test e aver letto la documentazione, sono giunto alle seguenti conclusioni. Il rapporto dice che tutto questo è definito dall'implementazione, quindi non esiste un modo standard. Il modulo Control.Concurrent indica nella documentazione che main è un thread associato, tuttavia non richiede che sia uguale al thread del sistema operativo principale.

Sperimentalmente (almeno su Linux 64-bit con GHC 7.8 e 7.10-rc3) il thread principale è il thread del sistema operativo. Dato che il thread principale è legato sembra che non ci sarebbe alcun motivo per questo essere diverso su altre piattaforme GHC, ma non posso testare altre piattaforme.

In termini di implementazione effettiva se si desidera programmare come se Ruby fosse in un thread diverso, è possibile eseguire la maggior parte delle cose non ruby ​​in un thread diverso e comunicare con il thread principale (che parla all'interprete ruby) tramite uno dei due MVar se TVar s. Vedi il commento di @chi per un esempio di come questo viene fatto in gtk.

In termini di un'interfaccia di libreria è possibile avere una funzione di inizializzazione che richiede una continuazione. La libreria dirotta il thread all'inizializzazione e quindi chiama la continuazione su un altro thread. Naturalmente è necessario documentare agli utenti che deve essere richiamato nel thread principale.