capataz: OTP-like supervision trees in Haskell

[ concurrency, control, library, mit ] [ Propose Tags ] [ Report a vulnerability ]

capataz enhances the reliability of your concurrent applications by offering supervision of green threads that run in your application.

Advantages over standard library:

Links related long-living processes together under a common capataz supervisor, with restart/shutdown order
Set restart strategies (Permanent, Transient, Temporary) on IO sub-routines on a granular level
Set restart strategies on a pool of long-living worker threads (AllForOne, OneForOne)
Complete telemetry on the sub-routine lifecycle of your application (start, error, restarts, shutdown)

[Skip to Readme]

Modules

[Index]

Control
- Concurrent
  - Control.Concurrent.Capataz

Downloads

capataz-0.0.0.1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

RomanGonzalez

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.0.0.0, 0.0.0.1, 0.0.0.2, 0.1.0.0, 0.1.0.1, 0.2.0.0, 0.2.1.0
Change log	CHANGELOG.md
Dependencies	async (>=2.1.1.1 && <2.2), base (>=4.10.1.0 && <4.11), bytestring (>=0.10.8.2 && <0.11), data-default (>=0.7.1.1 && <0.8), protolude (>=0.2 && <0.3), safe-exceptions (>=0.1.6.0 && <0.2), stm (>=2.4.4.1 && <2.5), teardown (>=0.3.0.0 && <0.4), text (>=1.2.2.2 && <1.3), time (>=1.8.0.2 && <1.9), unordered-containers (>=0.2.8.0 && <0.3), uuid (>=1.3.13 && <1.4), vector (>=0.12.0.1 && <0.13) [details]
Tested with	ghc ==8.0.1, ghc ==8.0.2, ghc ==8.2.1
License	MIT
Copyright	© 2018 Roman Gonzalez
Author	Roman Gonzalez
Maintainer	capataz@roman-gonzalez.info
Category	Control, Concurrency
Home page	https://github.com/roman/Haskell-capataz#readme
Bug tracker	https://github.com/roman/Haskell-capataz/issues
Source repo	head: git clone https://github.com/roman/Haskell-capataz
Uploaded	by RomanGonzalez at 2018-01-02T05:22:39Z
Distributions
Reverse Dependencies	1 direct, 0 indirect [details]
Downloads	4207 total (9 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2018-01-02 [all 1 reports]

Readme for capataz-0.0.0.1

[back to package description]

Capataz

Our greatest glory is not in never failing, but in rising every time we fail.– Confucius

Raison d'etre
Documentation
Development

Raison d'etre

As time progresses, I've come to love developing concurrent applications in Haskell, its API (STM, MVars, etc.) and light threading RTS bring a lot to the table. There is another technology that is more famous than Haskell in regards to concurrency, and that is Erlang, more specifically its OTP library.

If you wonder why that is, you may need to look into the OTP library design, actors systems (in general) provide an architecture that enables applications to be tolerant to failure through the enforcement of communication via message passing and by making use of a critical infrastructure piece called a Supervisor.

After trying to replicate Erlang's behavior on Haskell applications by using the distributed-process library (a clone of OTP), and after implementing several (disposable) iterations of actor systems in Haskell, I've settled with just this library, one that provides a simple Supervisor API.

This library is intended to be a drop-in replacement to forkIO invocations throughout your codebase, the difference being, you'll need to do a bit more of setup specifying supervision rules, and also pass along a reference of a capataz descriptor to every thread fork.

Why not distributed-process?

distributed-process is an impressive library, and brings many great utilities if you need to develop applications that are reliable. However, it is a heavyweight solution that will enforce serious changes to your application. It also optimizes its implementation around the distributed part of its name. This library is intended to provide some benefits of distributed-process , without the baggage.

Why not a complete actor system?

Actor systems are very pervasive, they impose specific design constraints on your application which can be rather expensive. This library attempts to bring some of the reliability benefits of actor systems without the "change all your application to work with actors" part of the equation.

That said, this library can serve as a basis for a more prominent library that provides an opinionated Inter-Process communication scheme. If you happen to attempt at doing exactly that, please let me know, I would love to learn about such initiatives.

Why not async?

async is a fabulous library that allows Applicative composition of small asynchronous sub-routines into bigger ones and link errors between them. Given this, async fits the bill perfectly for small operations that happen concurrently, not necessarily for long living threads. This library attempts not to replace async's forte, but rather provides ways to make threads reliable in situations where the usage of async or forkIO would give you the same outcome.