split and lift Assistant.Pushes

Assistant/Monad.hs

@@ -31,7 +31,7 @@ import Assistant.DaemonStatus
 import Assistant.ScanRemotes
 import Assistant.TransferQueue
 import Assistant.TransferSlots
-import Assistant.Pushes
+import Assistant.Types.Pushes
 import Assistant.Commits
 import Assistant.Changes
 import Assistant.BranchChange

Assistant/Pushes.hs

@@ -7,7 +7,8 @@
 
 module Assistant.Pushes where
 
-import Common.Annex
+import Assistant.Common
+import Assistant.Types.Pushes
 import Utility.TSet
 
 import Control.Concurrent.STM
@@ -15,59 +16,39 @@ import Control.Concurrent.MSampleVar
 import Data.Time.Clock
 import qualified Data.Map as M
 
-{- Track the most recent push failure for each remote. -}
-type PushMap = M.Map Remote UTCTime
-type FailedPushMap = TMVar PushMap
-
-{- The TSet is recent, successful pushes that other remotes should be
- - notified about.
- -
- - The MSampleVar is written to when the PushNotifier thread should be
- - restarted for some reason.
- -}
-data PushNotifier = PushNotifier (TSet UUID) (MSampleVar ())
-
-{- The TMVar starts empty, and is left empty when there are no
- - failed pushes. This way we can block until there are some failed pushes.
- -}
-newFailedPushMap :: IO FailedPushMap
-newFailedPushMap = atomically newEmptyTMVar
-
 {- Blocks until there are failed pushes.
  - Returns Remotes whose pushes failed a given time duration or more ago.
  - (This may be an empty list.) -}
-getFailedPushesBefore :: FailedPushMap -> NominalDiffTime -> IO [Remote]
+getFailedPushesBefore :: NominalDiffTime -> Assistant [Remote]
-getFailedPushesBefore v duration = do
+getFailedPushesBefore duration = do
-	m <- atomically $ readTMVar v
+	v <- getAssistant failedPushMap
-	now <- getCurrentTime
+	liftIO $ do
-	return $ M.keys $ M.filter (not . toorecent now) m
+		m <- atomically $ readTMVar v
+		now <- getCurrentTime
+		return $ M.keys $ M.filter (not . toorecent now) m
 	where
 		toorecent now time = now `diffUTCTime` time < duration
 
 {- Modifies the map. -}
-changeFailedPushMap :: FailedPushMap -> (PushMap -> PushMap) -> IO ()
+changeFailedPushMap :: (PushMap -> PushMap) -> Assistant ()
-changeFailedPushMap v a = atomically $
+changeFailedPushMap a = do
-	store . a . fromMaybe M.empty =<< tryTakeTMVar v
+	v <- getAssistant failedPushMap
+	liftIO $ atomically $ store v . a . fromMaybe M.empty =<< tryTakeTMVar v
 	where
  		{- tryTakeTMVar empties the TMVar; refill it only if
 		 - the modified map is not itself empty -}
-		store m
+		store v m
 			| m == M.empty = noop
 			| otherwise = putTMVar v $! m
 
-newPushNotifier :: IO PushNotifier
+notifyPush :: [UUID] -> Assistant ()
-newPushNotifier = PushNotifier
+notifyPush us = flip putTSet us <<~ (pushNotifierSuccesses . pushNotifier)
-	<$> newTSet
-	<*> newEmptySV
 
-notifyPush :: [UUID] -> PushNotifier -> IO ()
+waitPush :: Assistant [UUID]
-notifyPush us (PushNotifier s _) = putTSet s us
+waitPush = getTSet <<~ (pushNotifierSuccesses . pushNotifier)
 
-waitPush :: PushNotifier -> IO [UUID]
+notifyRestart :: Assistant ()
-waitPush (PushNotifier s _) = getTSet s
+notifyRestart = flip writeSV () <<~ (pushNotifierWaiter . pushNotifier)
 
-notifyRestart :: PushNotifier -> IO ()
+waitRestart :: Assistant ()
-notifyRestart (PushNotifier _ sv) = writeSV sv ()
+waitRestart = readSV <<~ (pushNotifierWaiter . pushNotifier)
-
-waitRestart :: PushNotifier -> IO ()
-waitRestart (PushNotifier _ sv) = readSV sv

Assistant/Sync.hs

@@ -100,17 +100,15 @@ pushToRemotes now notifypushes remotes = do
 		if null failed
 			then do
 				when notifypushes $
-					notifyPush (map Remote.uuid succeeded) <<~ pushNotifier
+					notifyPush (map Remote.uuid succeeded)
 				return True
 			else if shouldretry
 				then retry branch g u failed
 				else fallback branch g u failed
 
-	updatemap succeeded failed = do
+	updatemap succeeded failed = changeFailedPushMap $ \m ->
-		pushmap <- getAssistant failedPushMap
+		M.union (makemap failed) $
-		liftIO $ changeFailedPushMap pushmap $ \m ->
+			M.difference m (makemap succeeded)
-			M.union (makemap failed) $
-				M.difference m (makemap succeeded)
 	makemap l = M.fromList $ zip l (repeat now)
 
 	retry branch g u rs = do
@@ -124,7 +122,7 @@ pushToRemotes now notifypushes remotes = do
 			inParallel (pushfallback g u branch) rs
 		updatemap succeeded failed
 		when (notifypushes && (not $ null succeeded)) $
-			notifyPush (map Remote.uuid succeeded) <<~ pushNotifier
+			notifyPush (map Remote.uuid succeeded)
 		return $ null failed
 		
 	push g branch remote = Command.Sync.pushBranch remote branch g

Assistant/Threads/NetWatcher.hs

@@ -62,7 +62,7 @@ dbusThread = do
 		)
 	handleconn = do
 		debug ["detected network connection"]
-		notifyRestart <<~ pushNotifier
+		notifyRestart
 		handleConnection
 	onerr e _ = do
 		liftAnnex $

Assistant/Threads/PushNotifier.hs

@@ -28,17 +28,15 @@ pushNotifierThread :: NamedThread
 pushNotifierThread = NamedThread "PushNotifier" $ do
 	iodebug <- asIO debug
 	iopull <- asIO pull
-	pn <- getAssistant pushNotifier
+	iowaitpush <- asIO $ const waitPush
-	controllerThread pn <~> xmppClient pn iodebug iopull
+	ioclient <- asIO2 $ xmppClient $ iowaitpush ()
+	forever $ do
+		tid <- liftIO $ forkIO $ ioclient iodebug iopull
+		waitRestart
+		liftIO $ killThread tid
 
-controllerThread :: PushNotifier -> IO () -> IO ()
+xmppClient :: (IO [UUID]) -> ([String] -> IO ()) -> ([UUID] -> IO ()) -> Assistant ()
-controllerThread pushnotifier xmppclient = forever $ do
+xmppClient iowaitpush iodebug iopull = do
-	tid <- forkIO xmppclient
-	waitRestart pushnotifier
-	killThread tid
-
-xmppClient :: PushNotifier -> ([String] -> IO ()) -> ([UUID] -> IO ()) -> Assistant ()
-xmppClient pushnotifier iodebug iopull = do
 	v <- liftAnnex getXMPPCreds
 	case v of
 		Nothing -> noop
@@ -63,7 +61,7 @@ xmppClient pushnotifier iodebug iopull = do
 				threadDelaySeconds (Seconds 300)
 				loop c =<< getCurrentTime
 	sendnotifications = forever $ do
-		us <- liftIO $ waitPush pushnotifier
+		us <- liftIO iowaitpush
 		putStanza $ gitAnnexPresence $ encodePushNotification us
 	receivenotifications = forever $ do
 		s <- getStanza

Assistant/Threads/Pusher.hs

@@ -27,8 +27,7 @@ pushRetryThread :: NamedThread
 pushRetryThread = NamedThread "PushRetrier" $ runEvery (Seconds halfhour) <~> do
 	-- We already waited half an hour, now wait until there are failed
 	-- pushes to retry.
-	pushmap <- getAssistant failedPushMap
+	topush <- getFailedPushesBefore (fromIntegral halfhour)
-	topush <- liftIO $ getFailedPushesBefore pushmap (fromIntegral halfhour)
 	unless (null topush) $ do
 		debug ["retrying", show (length topush), "failed pushes"]
 		void $ alertWhile (pushRetryAlert topush) $ do

Assistant/Types/Pushes.hs

@@ -0,0 +1,42 @@
+{- git-annex assistant push tracking
+ -
+ - Copyright 2012 Joey Hess <joey@kitenet.net>
+ -
+ - Licensed under the GNU GPL version 3 or higher.
+ -}
+
+module Assistant.Types.Pushes where
+
+import Common.Annex
+import Utility.TSet
+
+import Control.Concurrent.STM
+import Control.Concurrent.MSampleVar
+import Data.Time.Clock
+import qualified Data.Map as M
+
+{- Track the most recent push failure for each remote. -}
+type PushMap = M.Map Remote UTCTime
+type FailedPushMap = TMVar PushMap
+
+{- The TSet is recent, successful pushes that other remotes should be
+ - notified about.
+ -
+ - The MSampleVar is written to when the PushNotifier thread should be
+ - restarted for some reason.
+ -}
+data PushNotifier = PushNotifier
+	{ pushNotifierSuccesses :: TSet UUID
+	, pushNotifierWaiter :: MSampleVar ()
+	}
+
+{- The TMVar starts empty, and is left empty when there are no
+ - failed pushes. This way we can block until there are some failed pushes.
+ -}
+newFailedPushMap :: IO FailedPushMap
+newFailedPushMap = atomically newEmptyTMVar
+
+newPushNotifier :: IO PushNotifier
+newPushNotifier = PushNotifier
+	<$> newTSet
+	<*> newEmptySV

Assistant/WebApp/Configurators/XMPP.hs

@@ -58,7 +58,7 @@ getXMPPR = xmppPage $ do
 	where
 		storecreds creds = do
 			void $ runAnnex undefined $ setXMPPCreds creds
-			liftIO . notifyRestart =<< getAssistantY pushNotifier
+			runAssistantY notifyRestart
 			redirect ConfigR
 #else
 getXMPPR = xmppPage $