module Transient.Logged(
#ifndef ghcjs_HOST_OS
restore,checkpoint,suspend,
#endif
logged, received,param, Loggable) where
import Data.Typeable
import Unsafe.Coerce
import Transient.Base
import Transient.Internals(Loggable)
import Transient.Indeterminism(choose)
import Transient.Internals(onNothing,reads1,IDynamic(..),Log(..),LogElem(..),RemoteStatus(..),StateIO)
import Control.Applicative
import Control.Monad.IO.Class
import System.Directory
import Control.Exception
import Control.Monad
#ifndef ghcjs_HOST_OS
import System.Random
#endif
#ifndef ghcjs_HOST_OS
logs= "logs/"
restore :: TransIO a -> TransIO a
restore proc= do
liftIO $ createDirectory logs `catch` (\(e :: SomeException) -> return ())
list <- liftIO $ getDirectoryContents logs
`catch` (\(e::SomeException) -> return [])
if length list== 2 then proc else do
let list'= filter ((/=) '.' . head) list
file <- choose list'
logstr <- liftIO $ readFile (logs++file)
let log= length logstr `seq` read' logstr
log `seq` setData (Log True (reverse log) log)
liftIO $ remove $ logs ++ file
proc
where
read'= fst . head . reads1
remove f= removeFile f `catch` (\(e::SomeException) -> remove f)
suspend :: Typeable a => a -> TransIO a
suspend x= do
Log recovery _ log <- getData `onNothing` return (Log False [] [])
if recovery then return x else do
logAll log
exit x
checkpoint :: TransIO ()
checkpoint = do
Log recovery _ log <- getData `onNothing` return (Log False [] [])
if recovery then return () else logAll log
logAll log= do
newlogfile <- liftIO $ (logs ++) <$> replicateM 7 (randomRIO ('a','z'))
liftIO $ writeFile newlogfile $ show log
:: TransIO ()
#endif
fromIDyn :: Loggable a => IDynamic -> a
fromIDyn (IDynamic x)=r where r= unsafeCoerce x
fromIDyn (IDyns s)=r `seq`r where r= read s
toIDyn x= IDynamic x
logged :: Loggable a => TransientIO a -> TransientIO a
logged mx = Transient $ do
Log recover rs full <- getData `onNothing` return ( Log False [][])
runTrans $
case (recover ,rs) of
(True, Var x: rs') -> do
setData $ Log True rs' full
return $ fromIDyn x
(True, Exec:rs') -> do
setData $ Log True rs' full
mx
(True, Wait:rs') -> do
setData (Log True rs' full)
empty
_ -> do
setData $ Log False (Exec : rs) (Exec: full)
r <- mx <** ( do
r <- getSData <|> return NoRemote
case r of
WasParallel ->
setData $ Log False (Wait: rs) (Wait: full)
_ -> return ())
Log recoverAfter lognew _ <- getData `onNothing` return ( Log False [][])
let add= Var (toIDyn r): full
if recoverAfter && (not $ null lognew)
then (setData $ Log True lognew (reverse lognew ++ add) )
else if recoverAfter && (null lognew) then
setData $ Log False [] add
else
(setData $ Log False (Var (toIDyn r):rs) add)
return r
received :: Loggable a => a -> TransIO ()
received n=Transient $ do
Log recover rs full <- getData `onNothing` return ( Log False [][])
case rs of
[] -> return Nothing
Var (IDyns s):t -> if s == show1 n
then do
setData $ Log recover t full
return $ Just ()
else return Nothing
_ -> return Nothing
where
show1 x= if typeOf x == typeOf "" then unsafeCoerce x else show x
param :: Loggable a => TransIO a
param= res where
res= Transient $ do
Log recover rs full <- getData `onNothing` return ( Log False [][])
case rs of
[] -> return Nothing
Var (IDynamic v):t ->do
setData $ Log recover t full
return $ cast v
Var (IDyns s):t -> do
let mr = reads1 s `asTypeOf` type1 res
case mr of
[] -> return Nothing
(v,r):_ -> do
setData $ Log recover t full
return $ Just v
_ -> return Nothing
where
type1 :: TransIO a -> [(a,String)]
type1= error "type1: typelevel"