Control.CUtils.Deadlock

Automatic deadlock prevention.

Automatic deadlock detection is inefficient, and computations cannot be rolled back or aborted in general.

Instead, we prevent deadlocks before they happen.

Documentation

data Res t u where

The Res arrow.

Constructors

Lift :: Kleisli IO t v -> Res v u -> Res t u

Acq :: MVar () -> Res t u -> Res t u

Rel :: MVar () -> Res t u -> Res t u

Fork :: Res t () -> Res t u -> Res t u

Plus :: Res t v -> Res u v -> Res (Either t u) v

Id :: Res t t

Instances

Arrow Res

ArrowChoice Res

Category * Res

run :: Res t u -> t -> IO u

Use this to run computations built in the Res arrow. Pieces of the arrow that hold locks must be finitely examinable, otherwise it doesn't terminate.

lft :: IO a -> Res v u -> Res v u