slave-thread

A fundamental solution to ghost threads and silent exceptions

https://github.com/nikita-volkov/slave-thread

Version on this page:1.1.0.2
LTS Haskell 22.37:1.1.0.3
Stackage Nightly 2024-10-10:1.1.0.3
Latest on Hackage:1.1.0.3

See all snapshots slave-thread appears in

MIT licensed and maintained by Nikita Volkov
This version can be pinned in stack with:slave-thread-1.1.0.2@sha256:fd0fce89ae2e003ec3adb72c802019689bd32e75ea0f5e16a198e81622112db4,4111

Module documentation for 1.1.0.2

Vanilla thread management in Haskell is low level and it does not approach the problems related to thread deaths. When it's used naively the following typical problems arise:

  • When a forked thread dies due to an uncaught exception, the exception does not get raised in the main thread, which is why the program continues to run as if nothing happened, i.e., with the presumption that the already dead thread is running normally. Naturally this may very well bring your program to a chaotic state.

  • Another issue is that one thread dying does not affect any of the threads forked from it. That's why your program may be accumulating ghost threads.

  • Ever dealt with your program ignoring the <Ctrl-C> strikes?

This library solves all the issues above with a concept of a slave thread. A slave thread has the following properties:

  1. When it dies for whatever reason (exception or finishing normally) it kills all the slave threads that were forked from it. This protects you from ghost threads.

  2. It waits for all slaves to die and execute their finalizers before executing its own finalizer and getting released itself. This gives you hierarchical releasing of resources.

  3. When a slave thread dies with an uncaught exception it reraises it in the master thread. This protects you from silent exceptions and lets you be sure of getting informed if your program gets brought to an erroneous state.