Programmieren mit Locks

...ist fehleranfällig:

• zuviel Locking: riskiert Deadlock wg. mutual exclusion, jeder wartet auf eine Ressource, die der andere festhält

Beispiel (Vorsicht, fehlerhafter Code):

überweise ( betrag :: Geld ) 
  ( quelle :: MVar Geld ) ( ziel :: MVar Geld ) = do
    q <- takeMVar quelle
    when ( q >= betrag ) $ do 
        z <- takeMVar ziel
        putMVar quelle $ q - betrag
        putMVar ziel   $ z + betrag