2010-10-27 17:12:02 +00:00
|
|
|
{- git repository command queue
|
2010-10-27 20:53:54 +00:00
|
|
|
-
|
|
|
|
- Copyright 2010 Joey Hess <joey@kitenet.net>
|
|
|
|
-
|
|
|
|
- Licensed under the GNU GPL version 3 or higher.
|
2010-10-26 19:59:50 +00:00
|
|
|
-}
|
|
|
|
|
2011-06-30 17:25:37 +00:00
|
|
|
module Git.Queue (
|
2010-10-26 19:59:50 +00:00
|
|
|
Queue,
|
|
|
|
empty,
|
|
|
|
add,
|
2011-03-16 19:10:15 +00:00
|
|
|
size,
|
2011-04-07 17:59:31 +00:00
|
|
|
full,
|
|
|
|
flush
|
2010-10-26 19:59:50 +00:00
|
|
|
) where
|
|
|
|
|
|
|
|
import qualified Data.Map as M
|
2010-10-27 17:12:02 +00:00
|
|
|
import System.IO
|
|
|
|
import System.Cmd.Utils
|
|
|
|
import Data.String.Utils
|
2011-07-15 07:12:05 +00:00
|
|
|
import Control.Monad (forM_)
|
2011-08-22 20:14:12 +00:00
|
|
|
import Utility.SafeCommand
|
2010-10-26 19:59:50 +00:00
|
|
|
|
2011-06-30 17:25:37 +00:00
|
|
|
import Git
|
2010-10-26 19:59:50 +00:00
|
|
|
|
|
|
|
{- An action to perform in a git repository. The file to act on
|
|
|
|
- is not included, and must be able to be appended after the params. -}
|
2011-08-22 20:14:12 +00:00
|
|
|
data Action = Action
|
|
|
|
{ getSubcommand :: String
|
|
|
|
, getParams :: [CommandParam]
|
2010-10-26 19:59:50 +00:00
|
|
|
} deriving (Show, Eq, Ord)
|
|
|
|
|
|
|
|
{- A queue of actions to perform (in any order) on a git repository,
|
|
|
|
- with lists of files to perform them on. This allows coalescing
|
|
|
|
- similar git commands. -}
|
2011-04-07 17:59:31 +00:00
|
|
|
data Queue = Queue Int (M.Map Action [FilePath])
|
2011-03-16 19:10:15 +00:00
|
|
|
deriving (Show, Eq)
|
2010-10-26 19:59:50 +00:00
|
|
|
|
2011-04-07 17:59:31 +00:00
|
|
|
{- A recommended maximum size for the queue, after which it should be
|
|
|
|
- run.
|
|
|
|
-
|
|
|
|
- 10240 is semi-arbitrary. If we assume git filenames are between 10 and
|
|
|
|
- 255 characters long, then the queue will build up between 100kb and
|
|
|
|
- 2550kb long commands. The max command line length on linux is somewhere
|
|
|
|
- above 20k, so this is a fairly good balance -- the queue will buffer
|
|
|
|
- only a few megabytes of stuff and a minimal number of commands will be
|
|
|
|
- run by xargs. -}
|
|
|
|
maxSize :: Int
|
|
|
|
maxSize = 10240
|
|
|
|
|
2010-10-26 19:59:50 +00:00
|
|
|
{- Constructor for empty queue. -}
|
|
|
|
empty :: Queue
|
2011-03-16 19:10:15 +00:00
|
|
|
empty = Queue 0 M.empty
|
2010-10-26 19:59:50 +00:00
|
|
|
|
|
|
|
{- Adds an action to a queue. -}
|
2011-07-14 20:56:06 +00:00
|
|
|
add :: Queue -> String -> [CommandParam] -> [FilePath] -> Queue
|
|
|
|
add (Queue n m) subcommand params files = Queue (n + 1) m'
|
2010-10-26 19:59:50 +00:00
|
|
|
where
|
|
|
|
action = Action subcommand params
|
2011-04-07 19:00:06 +00:00
|
|
|
-- There are probably few items in the map, but there
|
|
|
|
-- can be a lot of files per item. So, optimise adding
|
|
|
|
-- files.
|
2011-07-14 20:56:06 +00:00
|
|
|
m' = M.insertWith' const action fs m
|
2011-07-15 07:12:05 +00:00
|
|
|
fs = files ++ M.findWithDefault [] action m
|
2011-03-16 19:10:15 +00:00
|
|
|
|
|
|
|
{- Number of items in a queue. -}
|
2011-04-07 17:59:31 +00:00
|
|
|
size :: Queue -> Int
|
2011-03-16 19:10:15 +00:00
|
|
|
size (Queue n _) = n
|
2010-10-26 19:59:50 +00:00
|
|
|
|
2011-04-07 17:59:31 +00:00
|
|
|
{- Is a queue large enough that it should be flushed? -}
|
|
|
|
full :: Queue -> Bool
|
|
|
|
full (Queue n _) = n > maxSize
|
|
|
|
|
2010-10-26 19:59:50 +00:00
|
|
|
{- Runs a queue on a git repository. -}
|
2011-11-08 19:34:10 +00:00
|
|
|
flush :: Queue -> Repo -> IO Queue
|
|
|
|
flush (Queue _ m) repo = do
|
2011-03-16 19:10:15 +00:00
|
|
|
forM_ (M.toList m) $ uncurry $ runAction repo
|
2011-04-07 17:59:31 +00:00
|
|
|
return empty
|
2010-10-26 19:59:50 +00:00
|
|
|
|
|
|
|
{- Runs an Action on a list of files in a git repository.
|
|
|
|
-
|
2011-07-14 20:56:06 +00:00
|
|
|
- Complicated by commandline length limits.
|
|
|
|
-
|
|
|
|
- Intentionally runs the command even if the list of files is empty;
|
|
|
|
- this allows queueing commands that do not need a list of files. -}
|
2011-06-30 17:25:37 +00:00
|
|
|
runAction :: Repo -> Action -> [FilePath] -> IO ()
|
2011-07-14 20:56:06 +00:00
|
|
|
runAction repo action files =
|
|
|
|
pOpen WriteToPipe "xargs" ("-0":"git":params) feedxargs
|
2010-10-26 19:59:50 +00:00
|
|
|
where
|
2011-11-08 19:34:10 +00:00
|
|
|
params = toCommand $ gitCommandLine
|
|
|
|
(Param (getSubcommand action):getParams action) repo
|
2010-10-27 17:12:02 +00:00
|
|
|
feedxargs h = hPutStr h $ join "\0" files
|