module Main (main) where
import Data.List
-import Data.Function
+import Data.Maybe (isJust, fromJust)
import Monad
-import System
+import System (exitWith, ExitCode(..))
import System.IO
import qualified System
-- | Options list and functions
options :: [OptType]
-options = [oShowVer, oShowHelp]
-
-processResults :: (Monad m) => Cluster.AllocSolution -> m (String, [Node.Node])
-processResults (fstats, successes, sols) =
+options = [oPrintNodes, oShowVer, oShowHelp]
+
+processResults :: (Monad m) =>
+ RqType -> Cluster.AllocSolution
+ -> m (String, Cluster.AllocSolution)
+processResults _ (_, _, []) = fail "No valid allocation solutions"
+processResults (Evacuate _) as@(fstats, successes, sols) =
+ let best = fst $ head sols
+ tfails = length fstats
+ info = printf "for last allocation, successes %d, failures %d,\
+ \ best score: %.8f" successes tfails best::String
+ in return (info, as)
+
+processResults _ as@(fstats, successes, sols) =
case sols of
- Nothing -> fail "No valid allocation solutions"
- Just (best, (_, _, w)) ->
+ (best, (_, _, w)):[] ->
let tfails = length fstats
info = printf "successes %d, failures %d,\
\ best score: %.8f for node(s) %s"
successes tfails
best (intercalate "/" . map Node.name $ w)::String
- in return (info, w)
+ in return (info, as)
+ _ -> fail "Internal error: multiple allocation solutions"
-- | Process a request and return new node lists
processRequest :: Request
in case rqtype of
Allocate xi reqn -> Cluster.tryAlloc nl il xi reqn
Relocate idx reqn exnodes -> Cluster.tryReloc nl il idx reqn exnodes
+ Evacuate exnodes -> Cluster.tryEvac nl il exnodes
-- | Main function.
main :: IO ()
main = do
cmd_args <- System.getArgs
- (_, args) <- parseOpts cmd_args "hail" options
+ (opts, args) <- parseOpts cmd_args "hail" options
when (null args) $ do
hPutStrLn stderr "Error: this program needs an input file."
exitWith $ ExitFailure 1
let input_file = head args
+ shownodes = optShowNodes opts
input_data <- readFile input_file
request <- case (parseData input_data) of
exitWith $ ExitFailure 1
Ok rq -> return rq
- let Request _ _ _ csf = request
- sols = processRequest request >>= processResults
+ let Request rq nl _ _ = request
+
+ when (isJust shownodes) $ do
+ hPutStrLn stderr "Initial cluster status:"
+ hPutStrLn stderr $ Cluster.printNodes nl (fromJust shownodes)
+
+ let sols = processRequest request >>= processResults rq
let (ok, info, rn) =
case sols of
- Ok (ginfo, sn) -> (True, "Request successful: " ++ ginfo,
- map ((++ csf) . Node.name) sn)
+ Ok (ginfo, (_, _, sn)) -> (True, "Request successful: " ++ ginfo,
+ map snd sn)
Bad s -> (False, "Request failed: " ++ s, [])
- resp = formatResponse ok info rn
+ resp = formatResponse ok info rq rn
putStrLn resp