root / htools / Ganeti / HTools / Text.hs @ 23fe06c2
History | View | Annotate | Download (8.7 kB)
1 | 525bfb36 | Iustin Pop | {-| Parsing data from text-files. |
---|---|---|---|
2 | 040afc35 | Iustin Pop | |
3 | 040afc35 | Iustin Pop | This module holds the code for loading the cluster state from text |
4 | 525bfb36 | Iustin Pop | files, as produced by @gnt-node@ and @gnt-instance@ @list@ command. |
5 | 040afc35 | Iustin Pop | |
6 | 040afc35 | Iustin Pop | -} |
7 | 040afc35 | Iustin Pop | |
8 | e2fa2baf | Iustin Pop | {- |
9 | e2fa2baf | Iustin Pop | |
10 | d5072e4c | Iustin Pop | Copyright (C) 2009, 2010, 2011 Google Inc. |
11 | e2fa2baf | Iustin Pop | |
12 | e2fa2baf | Iustin Pop | This program is free software; you can redistribute it and/or modify |
13 | e2fa2baf | Iustin Pop | it under the terms of the GNU General Public License as published by |
14 | e2fa2baf | Iustin Pop | the Free Software Foundation; either version 2 of the License, or |
15 | e2fa2baf | Iustin Pop | (at your option) any later version. |
16 | e2fa2baf | Iustin Pop | |
17 | e2fa2baf | Iustin Pop | This program is distributed in the hope that it will be useful, but |
18 | e2fa2baf | Iustin Pop | WITHOUT ANY WARRANTY; without even the implied warranty of |
19 | e2fa2baf | Iustin Pop | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
20 | e2fa2baf | Iustin Pop | General Public License for more details. |
21 | e2fa2baf | Iustin Pop | |
22 | e2fa2baf | Iustin Pop | You should have received a copy of the GNU General Public License |
23 | e2fa2baf | Iustin Pop | along with this program; if not, write to the Free Software |
24 | e2fa2baf | Iustin Pop | Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA |
25 | e2fa2baf | Iustin Pop | 02110-1301, USA. |
26 | e2fa2baf | Iustin Pop | |
27 | e2fa2baf | Iustin Pop | -} |
28 | e2fa2baf | Iustin Pop | |
29 | 040afc35 | Iustin Pop | module Ganeti.HTools.Text |
30 | b2278348 | Iustin Pop | ( |
31 | b2278348 | Iustin Pop | loadData |
32 | dadfc261 | Iustin Pop | , parseData |
33 | 1ae7a904 | Iustin Pop | , loadInst |
34 | 39d11971 | Iustin Pop | , loadNode |
35 | 3bf75b7d | Iustin Pop | , serializeInstances |
36 | 50811e2c | Iustin Pop | , serializeNode |
37 | 3bf75b7d | Iustin Pop | , serializeNodes |
38 | 4a273e97 | Iustin Pop | , serializeCluster |
39 | b2278348 | Iustin Pop | ) where |
40 | 040afc35 | Iustin Pop | |
41 | 040afc35 | Iustin Pop | import Control.Monad |
42 | 3bf75b7d | Iustin Pop | import Data.List |
43 | 3bf75b7d | Iustin Pop | |
44 | 3bf75b7d | Iustin Pop | import Text.Printf (printf) |
45 | 040afc35 | Iustin Pop | |
46 | 040afc35 | Iustin Pop | import Ganeti.HTools.Utils |
47 | 040afc35 | Iustin Pop | import Ganeti.HTools.Loader |
48 | e4c5beaf | Iustin Pop | import Ganeti.HTools.Types |
49 | 3bf75b7d | Iustin Pop | import qualified Ganeti.HTools.Container as Container |
50 | a679e9dc | Iustin Pop | import qualified Ganeti.HTools.Group as Group |
51 | 040afc35 | Iustin Pop | import qualified Ganeti.HTools.Node as Node |
52 | 040afc35 | Iustin Pop | import qualified Ganeti.HTools.Instance as Instance |
53 | 040afc35 | Iustin Pop | |
54 | 525bfb36 | Iustin Pop | -- * Serialisation functions |
55 | 525bfb36 | Iustin Pop | |
56 | 525bfb36 | Iustin Pop | -- | Serialize a single group. |
57 | e4d8071d | Iustin Pop | serializeGroup :: Group.Group -> String |
58 | e4d8071d | Iustin Pop | serializeGroup grp = |
59 | f4c7d37a | Iustin Pop | printf "%s|%s|%s" (Group.name grp) (Group.uuid grp) |
60 | 2c9336a4 | Iustin Pop | (allocPolicyToString (Group.allocPolicy grp)) |
61 | e4d8071d | Iustin Pop | |
62 | 525bfb36 | Iustin Pop | -- | Generate group file data from a group list. |
63 | e4d8071d | Iustin Pop | serializeGroups :: Group.List -> String |
64 | e4d8071d | Iustin Pop | serializeGroups = unlines . map serializeGroup . Container.elems |
65 | e4d8071d | Iustin Pop | |
66 | 525bfb36 | Iustin Pop | -- | Serialize a single node. |
67 | 525bfb36 | Iustin Pop | serializeNode :: Group.List -- ^ The list of groups (needed for group uuid) |
68 | 525bfb36 | Iustin Pop | -> Node.Node -- ^ The node to be serialised |
69 | 525bfb36 | Iustin Pop | -> String |
70 | 10ef6b4e | Iustin Pop | serializeNode gl node = |
71 | b3707354 | Iustin Pop | printf "%s|%.0f|%d|%d|%.0f|%d|%.0f|%c|%s" (Node.name node) |
72 | 3bf75b7d | Iustin Pop | (Node.tMem node) (Node.nMem node) (Node.fMem node) |
73 | 3bf75b7d | Iustin Pop | (Node.tDsk node) (Node.fDsk node) (Node.tCpu node) |
74 | 3bf75b7d | Iustin Pop | (if Node.offline node then 'Y' else 'N') |
75 | 10ef6b4e | Iustin Pop | (Group.uuid grp) |
76 | 10ef6b4e | Iustin Pop | where grp = Container.find (Node.group node) gl |
77 | 3bf75b7d | Iustin Pop | |
78 | 525bfb36 | Iustin Pop | -- | Generate node file data from node objects. |
79 | 10ef6b4e | Iustin Pop | serializeNodes :: Group.List -> Node.List -> String |
80 | 10ef6b4e | Iustin Pop | serializeNodes gl = unlines . map (serializeNode gl) . Container.elems |
81 | 3bf75b7d | Iustin Pop | |
82 | 525bfb36 | Iustin Pop | -- | Serialize a single instance. |
83 | 525bfb36 | Iustin Pop | serializeInstance :: Node.List -- ^ The node list (needed for |
84 | 525bfb36 | Iustin Pop | -- node names) |
85 | 525bfb36 | Iustin Pop | -> Instance.Instance -- ^ The instance to be serialised |
86 | 525bfb36 | Iustin Pop | -> String |
87 | 3bf75b7d | Iustin Pop | serializeInstance nl inst = |
88 | 3bf75b7d | Iustin Pop | let |
89 | 3bf75b7d | Iustin Pop | iname = Instance.name inst |
90 | 3bf75b7d | Iustin Pop | pnode = Container.nameOf nl (Instance.pNode inst) |
91 | 3bf75b7d | Iustin Pop | sidx = Instance.sNode inst |
92 | 3bf75b7d | Iustin Pop | snode = (if sidx == Node.noSecondary |
93 | 3bf75b7d | Iustin Pop | then "" |
94 | 3bf75b7d | Iustin Pop | else Container.nameOf nl sidx) |
95 | 3bf75b7d | Iustin Pop | in |
96 | 6429e8d8 | Iustin Pop | printf "%s|%d|%d|%d|%s|%s|%s|%s|%s|%s" |
97 | 3bf75b7d | Iustin Pop | iname (Instance.mem inst) (Instance.dsk inst) |
98 | 3bf75b7d | Iustin Pop | (Instance.vcpus inst) (Instance.runSt inst) |
99 | 0e09422b | Iustin Pop | (if Instance.autoBalance inst then "Y" else "N") |
100 | 2c9336a4 | Iustin Pop | pnode snode (diskTemplateToString (Instance.diskTemplate inst)) |
101 | 6429e8d8 | Iustin Pop | (intercalate "," (Instance.tags inst)) |
102 | 3bf75b7d | Iustin Pop | |
103 | 525bfb36 | Iustin Pop | -- | Generate instance file data from instance objects. |
104 | 3bf75b7d | Iustin Pop | serializeInstances :: Node.List -> Instance.List -> String |
105 | 3bf75b7d | Iustin Pop | serializeInstances nl = |
106 | 3bf75b7d | Iustin Pop | unlines . map (serializeInstance nl) . Container.elems |
107 | 3bf75b7d | Iustin Pop | |
108 | 525bfb36 | Iustin Pop | -- | Generate complete cluster data from node and instance lists. |
109 | c0e31451 | Iustin Pop | serializeCluster :: ClusterData -> String |
110 | c0e31451 | Iustin Pop | serializeCluster (ClusterData gl nl il ctags) = |
111 | e4d8071d | Iustin Pop | let gdata = serializeGroups gl |
112 | e4d8071d | Iustin Pop | ndata = serializeNodes gl nl |
113 | 4a273e97 | Iustin Pop | idata = serializeInstances nl il |
114 | 716c6be5 | Iustin Pop | -- note: not using 'unlines' as that adds too many newlines |
115 | 716c6be5 | Iustin Pop | in intercalate "\n" [gdata, ndata, idata, unlines ctags] |
116 | 4a273e97 | Iustin Pop | |
117 | 525bfb36 | Iustin Pop | -- * Parsing functions |
118 | 525bfb36 | Iustin Pop | |
119 | a679e9dc | Iustin Pop | -- | Load a group from a field list. |
120 | 525bfb36 | Iustin Pop | loadGroup :: (Monad m) => [String] |
121 | 525bfb36 | Iustin Pop | -> m (String, Group.Group) -- ^ The result, a tuple of group |
122 | 525bfb36 | Iustin Pop | -- UUID and group object |
123 | f4c7d37a | Iustin Pop | loadGroup [name, gid, apol] = do |
124 | 2c9336a4 | Iustin Pop | xapol <- allocPolicyFromString apol |
125 | d5072e4c | Iustin Pop | return (gid, Group.create name gid xapol) |
126 | a679e9dc | Iustin Pop | |
127 | a679e9dc | Iustin Pop | loadGroup s = fail $ "Invalid/incomplete group data: '" ++ show s ++ "'" |
128 | a679e9dc | Iustin Pop | |
129 | 9188aeef | Iustin Pop | -- | Load a node from a field list. |
130 | 525bfb36 | Iustin Pop | loadNode :: (Monad m) => |
131 | 525bfb36 | Iustin Pop | NameAssoc -- ^ Association list with current groups |
132 | 525bfb36 | Iustin Pop | -> [String] -- ^ Input data as a list of fields |
133 | 525bfb36 | Iustin Pop | -> m (String, Node.Node) -- ^ The result, a tuple o node name |
134 | 525bfb36 | Iustin Pop | -- and node object |
135 | 10ef6b4e | Iustin Pop | loadNode ktg [name, tm, nm, fm, td, fd, tc, fo, gu] = do |
136 | 10ef6b4e | Iustin Pop | gdx <- lookupGroup ktg name gu |
137 | 040afc35 | Iustin Pop | new_node <- |
138 | 1a82215d | Iustin Pop | if any (== "?") [tm,nm,fm,td,fd,tc] || fo == "Y" then |
139 | 10ef6b4e | Iustin Pop | return $ Node.create name 0 0 0 0 0 0 True gdx |
140 | 040afc35 | Iustin Pop | else do |
141 | 040afc35 | Iustin Pop | vtm <- tryRead name tm |
142 | 040afc35 | Iustin Pop | vnm <- tryRead name nm |
143 | 040afc35 | Iustin Pop | vfm <- tryRead name fm |
144 | 040afc35 | Iustin Pop | vtd <- tryRead name td |
145 | 040afc35 | Iustin Pop | vfd <- tryRead name fd |
146 | 1a82215d | Iustin Pop | vtc <- tryRead name tc |
147 | 10ef6b4e | Iustin Pop | return $ Node.create name vtm vnm vfm vtd vfd vtc False gdx |
148 | 040afc35 | Iustin Pop | return (name, new_node) |
149 | 10ef6b4e | Iustin Pop | loadNode _ s = fail $ "Invalid/incomplete node data: '" ++ show s ++ "'" |
150 | 040afc35 | Iustin Pop | |
151 | 9188aeef | Iustin Pop | -- | Load an instance from a field list. |
152 | 6429e8d8 | Iustin Pop | loadInst :: NameAssoc -- ^ Association list with the current nodes |
153 | 6429e8d8 | Iustin Pop | -> [String] -- ^ Input data as a list of fields |
154 | 6429e8d8 | Iustin Pop | -> Result (String, Instance.Instance) -- ^ A tuple of |
155 | 6429e8d8 | Iustin Pop | -- instance name and |
156 | 6429e8d8 | Iustin Pop | -- the instance object |
157 | 6429e8d8 | Iustin Pop | loadInst ktn [ name, mem, dsk, vcpus, status, auto_bal, pnode, snode |
158 | 6429e8d8 | Iustin Pop | , dt, tags ] = do |
159 | 040afc35 | Iustin Pop | pidx <- lookupNode ktn name pnode |
160 | 040afc35 | Iustin Pop | sidx <- (if null snode then return Node.noSecondary |
161 | 040afc35 | Iustin Pop | else lookupNode ktn name snode) |
162 | 040afc35 | Iustin Pop | vmem <- tryRead name mem |
163 | 040afc35 | Iustin Pop | vdsk <- tryRead name dsk |
164 | d752eb39 | Iustin Pop | vvcpus <- tryRead name vcpus |
165 | bc782180 | Iustin Pop | auto_balance <- case auto_bal of |
166 | bc782180 | Iustin Pop | "Y" -> return True |
167 | bc782180 | Iustin Pop | "N" -> return False |
168 | bc782180 | Iustin Pop | _ -> fail $ "Invalid auto_balance value '" ++ auto_bal ++ |
169 | bc782180 | Iustin Pop | "' for instance " ++ name |
170 | 2c9336a4 | Iustin Pop | disk_template <- annotateResult ("Instance " ++ name) |
171 | 2c9336a4 | Iustin Pop | (diskTemplateFromString dt) |
172 | 040afc35 | Iustin Pop | when (sidx == pidx) $ fail $ "Instance " ++ name ++ |
173 | 040afc35 | Iustin Pop | " has same primary and secondary node - " ++ pnode |
174 | 17e7af2b | Iustin Pop | let vtags = sepSplit ',' tags |
175 | c352b0a9 | Iustin Pop | newinst = Instance.create name vmem vdsk vvcpus status vtags |
176 | 6429e8d8 | Iustin Pop | auto_balance pidx sidx disk_template |
177 | 040afc35 | Iustin Pop | return (name, newinst) |
178 | 9f6dcdea | Iustin Pop | loadInst _ s = fail $ "Invalid/incomplete instance data: '" ++ show s ++ "'" |
179 | 040afc35 | Iustin Pop | |
180 | 9188aeef | Iustin Pop | -- | Convert newline and delimiter-separated text. |
181 | 9188aeef | Iustin Pop | -- |
182 | 9188aeef | Iustin Pop | -- This function converts a text in tabular format as generated by |
183 | 9188aeef | Iustin Pop | -- @gnt-instance list@ and @gnt-node list@ to a list of objects using |
184 | 9188aeef | Iustin Pop | -- a supplied conversion function. |
185 | 497e30a1 | Iustin Pop | loadTabular :: (Monad m, Element a) => |
186 | 525bfb36 | Iustin Pop | [String] -- ^ Input data, as a list of lines |
187 | 525bfb36 | Iustin Pop | -> ([String] -> m (String, a)) -- ^ Conversion function |
188 | 525bfb36 | Iustin Pop | -> m ( NameAssoc |
189 | 525bfb36 | Iustin Pop | , Container.Container a ) -- ^ A tuple of an |
190 | 525bfb36 | Iustin Pop | -- association list (name |
191 | 525bfb36 | Iustin Pop | -- to object) and a set as |
192 | 525bfb36 | Iustin Pop | -- used in |
193 | 525bfb36 | Iustin Pop | -- "Ganeti.HTools.Container" |
194 | 525bfb36 | Iustin Pop | |
195 | f5197d89 | Iustin Pop | loadTabular lines_data convert_fn = do |
196 | f5197d89 | Iustin Pop | let rows = map (sepSplit '|') lines_data |
197 | 040afc35 | Iustin Pop | kerows <- mapM convert_fn rows |
198 | 497e30a1 | Iustin Pop | return $ assignIndices kerows |
199 | 040afc35 | Iustin Pop | |
200 | dadfc261 | Iustin Pop | -- | Load the cluser data from disk. |
201 | 525bfb36 | Iustin Pop | -- |
202 | 525bfb36 | Iustin Pop | -- This is an alias to 'readFile' just for consistency with the other |
203 | 525bfb36 | Iustin Pop | -- modules. |
204 | 525bfb36 | Iustin Pop | readData :: String -- ^ Path to the text file |
205 | 525bfb36 | Iustin Pop | -> IO String -- ^ Contents of the file |
206 | dadfc261 | Iustin Pop | readData = readFile |
207 | dadfc261 | Iustin Pop | |
208 | 16c2369c | Iustin Pop | -- | Builds the cluster data from text input. |
209 | dadfc261 | Iustin Pop | parseData :: String -- ^ Text data |
210 | f4f6eb0b | Iustin Pop | -> Result ClusterData |
211 | dadfc261 | Iustin Pop | parseData fdata = do |
212 | 16c2369c | Iustin Pop | let flines = lines fdata |
213 | afcd5a0b | Iustin Pop | (glines, nlines, ilines, ctags) <- |
214 | a604456d | Iustin Pop | case sepSplit "" flines of |
215 | afcd5a0b | Iustin Pop | [a, b, c, d] -> Ok (a, b, c, d) |
216 | a604456d | Iustin Pop | xs -> Bad $ printf "Invalid format of the input file: %d sections\ |
217 | afcd5a0b | Iustin Pop | \ instead of 4" (length xs) |
218 | a679e9dc | Iustin Pop | {- group file: name uuid -} |
219 | 10ef6b4e | Iustin Pop | (ktg, gl) <- loadTabular glines loadGroup |
220 | dadfc261 | Iustin Pop | {- node file: name t_mem n_mem f_mem t_disk f_disk -} |
221 | a604456d | Iustin Pop | (ktn, nl) <- loadTabular nlines (loadNode ktg) |
222 | dadfc261 | Iustin Pop | {- instance file: name mem disk status pnode snode -} |
223 | a604456d | Iustin Pop | (_, il) <- loadTabular ilines (loadInst ktn) |
224 | afcd5a0b | Iustin Pop | {- the tags are simply line-based, no processing needed -} |
225 | f4f6eb0b | Iustin Pop | return (ClusterData gl nl il ctags) |
226 | dadfc261 | Iustin Pop | |
227 | 525bfb36 | Iustin Pop | -- | Top level function for data loading. |
228 | dadfc261 | Iustin Pop | loadData :: String -- ^ Path to the text file |
229 | f4f6eb0b | Iustin Pop | -> IO (Result ClusterData) |
230 | 2a8e2dc9 | Iustin Pop | loadData = fmap parseData . readData |