parconc-examples-0.1: TQueue.hs

module TQueue (TQueue, newTQueue, writeTQueue, readTQueue) where

import Control.Concurrent.STM (STM, TVar, newTVar, readTVar, writeTVar, retry)

-- <<TQueue
data TQueue a = TQueue (TVar [a]) (TVar [a])

newTQueue :: STM (TQueue a)
newTQueue = do
  read  <- newTVar []
  write <- newTVar []
  return (TQueue read write)

writeTQueue :: TQueue a -> a -> STM ()
writeTQueue (TQueue _read write) a = do
  listend <- readTVar write
  writeTVar write (a:listend)

readTQueue :: TQueue a -> STM a
readTQueue (TQueue read write) = do
  xs <- readTVar read
  case xs of
    (x:xs') -> do writeTVar read xs'
                  return x
    [] -> do ys <- readTVar write
             case ys of
               [] -> retry                      -- <1>
               _  -> do let (z:zs) = reverse ys -- <2>
                        writeTVar write []
                        writeTVar read zs
                        return z
-- >>