import Data.List
import Data.Function
+import Data.Maybe (isJust, fromJust, fromMaybe)
import Monad
import System
import System.IO
-- | Command line options structure.
data Options = Options
- { optShowNodes :: Bool -- ^ Whether to show node status
- , optShowCmds :: Bool -- ^ Whether to show the command list
- , optOneline :: Bool -- ^ Switch output to a single line
- , optNodef :: FilePath -- ^ Path to the nodes file
- , optInstf :: FilePath -- ^ Path to the instances file
- , optMaxLength :: Int -- ^ Stop after this many steps
- , optMaster :: String -- ^ Collect data from RAPI
- , optVerbose :: Int -- ^ Verbosity level
- , optOffline :: [String] -- ^ Names of offline nodes
- , optShowVer :: Bool -- ^ Just show the program version
- , optShowHelp :: Bool -- ^ Just show the help
+ { optShowNodes :: Bool -- ^ Whether to show node status
+ , optShowCmds :: Maybe FilePath -- ^ Whether to show the command list
+ , optOneline :: Bool -- ^ Switch output to a single line
+ , optNodef :: FilePath -- ^ Path to the nodes file
+ , optNodeSet :: Bool -- ^ The nodes have been set by options
+ , optInstf :: FilePath -- ^ Path to the instances file
+ , optInstSet :: Bool -- ^ The insts have been set by options
+ , optMaxLength :: Int -- ^ Stop after this many steps
+ , optMaster :: String -- ^ Collect data from RAPI
+ , optVerbose :: Int -- ^ Verbosity level
+ , optOffline :: [String] -- ^ Names of offline nodes
+ , optMinScore :: Cluster.Score -- ^ The minimum score we aim for
+ , optShowVer :: Bool -- ^ Just show the program version
+ , optShowHelp :: Bool -- ^ Just show the help
} deriving Show
-- | Default values for the command line options.
defaultOptions :: Options
defaultOptions = Options
{ optShowNodes = False
- , optShowCmds = False
+ , optShowCmds = Nothing
, optOneline = False
, optNodef = "nodes"
+ , optNodeSet = False
, optInstf = "instances"
+ , optInstSet = False
, optMaxLength = -1
, optMaster = ""
- , optVerbose = 0
+ , optVerbose = 1
, optOffline = []
+ , optMinScore = 1e-9
, optShowVer = False
, optShowHelp = False
}
(NoArg (\ opts -> opts { optShowNodes = True }))
"print the final node list"
, Option ['C'] ["print-commands"]
- (NoArg (\ opts -> opts { optShowCmds = True }))
- "print the ganeti command list for reaching the solution"
+ (OptArg ((\ f opts -> opts { optShowCmds = Just f }) . fromMaybe "-")
+ "FILE")
+ "print the ganeti command list for reaching the solution,\
+ \if an argument is passed then write the commands to a file named\
+ \ as such"
, Option ['o'] ["oneline"]
(NoArg (\ opts -> opts { optOneline = True }))
"print the ganeti command list for reaching the solution"
, Option ['n'] ["nodes"]
- (ReqArg (\ f opts -> opts { optNodef = f }) "FILE")
+ (ReqArg (\ f opts -> opts { optNodef = f, optNodeSet = True }) "FILE")
"the node list FILE"
, Option ['i'] ["instances"]
- (ReqArg (\ f opts -> opts { optInstf = f }) "FILE")
+ (ReqArg (\ f opts -> opts { optInstf = f, optInstSet = True }) "FILE")
"the instance list FILE"
, Option ['m'] ["master"]
(ReqArg (\ m opts -> opts { optMaster = m }) "ADDRESS")
, Option ['v'] ["verbose"]
(NoArg (\ opts -> opts { optVerbose = (optVerbose opts) + 1 }))
"increase the verbosity level"
+ , Option ['q'] ["quiet"]
+ (NoArg (\ opts -> opts { optVerbose = (optVerbose opts) - 1 }))
+ "decrease the verbosity level"
, Option ['O'] ["offline"]
(ReqArg (\ n opts -> opts { optOffline = n:optOffline opts }) "NODE")
- " set node as offline"
+ " set node as offline"
+ , Option ['e'] ["min-score"]
+ (ReqArg (\ e opts -> opts { optMinScore = read e }) "EPSILON")
+ " mininum score to aim for"
, Option ['V'] ["version"]
(NoArg (\ opts -> opts { optShowVer = True}))
"show the version of the program"
-> Int -- ^ Max instance name len
-> [[String]] -- ^ Current command list
-> Bool -- ^ Wheter to be silent
+ -> Cluster.Score -- ^ Score at which to stop
-> IO (Cluster.Table, [[String]]) -- ^ The resulting table and
-- commands
-iterateDepth ini_tbl max_rounds ktn kti nmlen imlen cmd_strs oneline =
+iterateDepth ini_tbl max_rounds ktn kti nmlen imlen
+ cmd_strs oneline min_score =
let Cluster.Table ini_nl ini_il ini_cv ini_plc = ini_tbl
all_inst = Container.elems ini_il
node_idx = map Node.idx . filter (not . Node.offline) $
putStrLn sol_line
hFlush stdout
(if fin_cv < ini_cv then -- this round made success, try deeper
- if allowed_next
+ if allowed_next && fin_cv > min_score
then iterateDepth fin_tbl max_rounds ktn kti
- nmlen imlen upd_cmd_strs oneline
+ nmlen imlen upd_cmd_strs oneline min_score
-- don't go deeper, but return the better solution
else return (fin_tbl, upd_cmd_strs)
else
return (ini_tbl, cmd_strs))
+-- | Formats the solution for the oneline display
+formatOneline :: Double -> Int -> Double -> String
+formatOneline ini_cv plc_len fin_cv =
+ printf "%.8f %d %.8f %8.3f" ini_cv plc_len fin_cv
+ (if fin_cv == 0 then 1 else (ini_cv / fin_cv))
+
-- | Main function.
main :: IO ()
main = do
cmd_args <- System.getArgs
- (opts, _) <- CLI.parseOpts cmd_args "hbal" options defaultOptions optShowHelp
+ (opts, args) <- CLI.parseOpts cmd_args "hbal" options
+ defaultOptions optShowHelp
+
+ unless (null args) $ do
+ hPutStrLn stderr "Error: this program doesn't take any arguments."
+ exitWith $ ExitFailure 1
when (optShowVer opts) $ do
putStr $ CLI.showVersion "hbal"
exitWith ExitSuccess
- let oneline = optOneline opts
+ (env_node, env_inst) <- CLI.parseEnv ()
+ let nodef = if optNodeSet opts then optNodef opts
+ else env_node
+ instf = if optInstSet opts then optInstf opts
+ else env_inst
+ oneline = optOneline opts
verbose = optVerbose opts
(node_data, inst_data) =
case optMaster opts of
- "" -> (readFile $ optNodef opts,
- readFile $ optInstf opts)
+ "" -> (readFile nodef,
+ readFile instf)
host -> (readData getNodes host,
readData getInstances host)
(loaded_nl, il, csf, ktn, kti) <- liftM2 Cluster.loadData node_data inst_data
+ let (fix_msgs, fixed_nl) = Cluster.checkData loaded_nl il ktn kti
+
+ unless (null fix_msgs || verbose == 0) $ do
+ putStrLn "Warning: cluster has inconsistent data:"
+ putStrLn . unlines . map (\s -> printf " - %s" s) $ fix_msgs
let offline_names = optOffline opts
+ all_names = snd . unzip $ ktn
+ offline_wrong = filter (\n -> not $ elem n all_names) offline_names
offline_indices = fst . unzip .
filter (\(_, n) -> elem n offline_names) $ ktn
+ when (length offline_wrong > 0) $ do
+ printf "Wrong node name(s) set as offline: %s\n"
+ (commaJoin offline_wrong)
+ exitWith $ ExitFailure 1
+
let nl = Container.map (\n -> if elem (Node.idx n) offline_indices
then Node.setOffline n True
- else n) loaded_nl
+ else n) fixed_nl
+
+ when (Container.size il == 0) $ do
+ (if oneline then
+ putStrLn $ formatOneline 0 0 0
+ else
+ printf "Cluster is empty, exiting.\n")
+ exitWith ExitSuccess
+
unless oneline $ printf "Loaded %d nodes, %d instances\n"
(Container.size nl)
(Container.size il)
- when (length csf > 0 && not oneline && verbose > 0) $ do
+ when (length csf > 0 && not oneline && verbose > 1) $ do
printf "Note: Stripping common suffix of '%s' from names\n" csf
let (bad_nodes, bad_instances) = Cluster.computeBadItems nl il
let ini_cv = Cluster.compCV nl
ini_tbl = Cluster.Table nl il ini_cv []
- unless oneline (if verbose > 1 then
+ min_cv = optMinScore opts
+
+ when (ini_cv < min_cv) $ do
+ (if oneline then
+ putStrLn $ formatOneline ini_cv 0 ini_cv
+ else printf "Cluster is already well balanced (initial score %.6g,\n\
+ \minimum score %.6g).\nNothing to do, exiting\n"
+ ini_cv min_cv)
+ exitWith ExitSuccess
+
+ unless oneline (if verbose > 2 then
printf "Initial coefficients: overall %.8f, %s\n"
ini_cv (Cluster.printStats nl)
else
nmlen = mlen_fn ktn
(fin_tbl, cmd_strs) <- iterateDepth ini_tbl (optMaxLength opts)
- ktn kti nmlen imlen [] oneline
+ ktn kti nmlen imlen [] oneline min_cv
let (Cluster.Table fin_nl _ fin_cv fin_plc) = fin_tbl
ord_plc = reverse fin_plc
sol_msg = if null fin_plc
then printf "No solution found\n"
- else (if verbose > 1
+ else (if verbose > 2
then printf "Final coefficients: overall %.8f, %s\n"
fin_cv (Cluster.printStats fin_nl)
else printf "Cluster score improved from %.8f to %.8f\n"
unless (oneline || verbose == 0) $
printf "Solution length=%d\n" (length ord_plc)
- when (optShowCmds opts) $
+ let cmd_data = Cluster.formatCmds . reverse $ cmd_strs
+
+ when (isJust $ optShowCmds opts) $
do
+ let out_path = fromJust $ optShowCmds opts
putStrLn ""
- putStrLn "Commands to run to reach the above solution:"
- putStr . Cluster.formatCmds . reverse $ cmd_strs
+ (if out_path == "-" then
+ printf "Commands to run to reach the above solution:\n%s"
+ (unlines . map (" " ++) .
+ filter (/= "check") .
+ lines $ cmd_data)
+ else do
+ writeFile out_path (CLI.shTemplate ++ cmd_data)
+ printf "The commands have been written to file '%s'\n" out_path)
+
when (optShowNodes opts) $
do
let (orig_mem, orig_disk) = Cluster.totalResources nl
putStrLn ""
putStrLn "Final cluster status:"
putStrLn $ Cluster.printNodes ktn fin_nl
- when (verbose > 2) $
+ when (verbose > 3) $
do
printf "Original: mem=%d disk=%d\n" orig_mem orig_disk
printf "Final: mem=%d disk=%d\n" final_mem final_disk
- when oneline $ do
- printf "%.8f %d %.8f %8.3f\n"
- ini_cv (length ord_plc) fin_cv (ini_cv / fin_cv)
+ when oneline $
+ putStrLn $ formatOneline ini_cv (length ord_plc) fin_cv
projects / ganeti-local / blobdiff