1 {-| Implementation of the RAPI client interface.
7 Copyright (C) 2009, 2010, 2011 Google Inc.
9 This program is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
11 the Free Software Foundation; either version 2 of the License, or
12 (at your option) any later version.
14 This program is distributed in the hope that it will be useful, but
15 WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
17 General Public License for more details.
19 You should have received a copy of the GNU General Public License
20 along with this program; if not, write to the Free Software
21 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
26 {-# LANGUAGE BangPatterns, CPP #-}
28 module Ganeti.HTools.Rapi
33 import Data.Maybe (fromMaybe)
36 import Network.Curl.Types ()
39 import Text.JSON (JSObject, fromJSObject, decodeStrict)
40 import Text.JSON.Types (JSValue(..))
41 import Text.Printf (printf)
43 import Ganeti.HTools.Loader
44 import Ganeti.HTools.Types
45 import Ganeti.HTools.JSON
46 import qualified Ganeti.HTools.Group as Group
47 import qualified Ganeti.HTools.Node as Node
48 import qualified Ganeti.HTools.Instance as Instance
49 import qualified Ganeti.Constants as C
51 {-# ANN module "HLint: ignore Eta reduce" #-}
53 -- | Read an URL via curl and return the body if successful.
54 getUrl :: (Monad m) => String -> IO (m String)
57 getUrl _ = return $ fail "RAPI/curl backend disabled at compile time"
61 -- | The curl options we use.
62 curlOpts :: [CurlOption]
63 curlOpts = [ CurlSSLVerifyPeer False
65 , CurlTimeout (fromIntegral queryTimeout)
66 , CurlConnectTimeout (fromIntegral connTimeout)
70 (code, !body) <- curlGetString url curlOpts
73 _ -> fail $ printf "Curl error for '%s', error %s"
77 -- | Append the default port if not passed in.
78 formatHost :: String -> String
82 else "https://" ++ master ++ ":" ++ show C.defaultRapiPort
84 -- | Parse a instance list in JSON format.
85 getInstances :: NameAssoc
87 -> Result [(String, Instance.Instance)]
88 getInstances ktn body =
89 loadJSArray "Parsing instance data" body >>=
90 mapM (parseInstance ktn . fromJSObject)
92 -- | Parse a node list in JSON format.
93 getNodes :: NameAssoc -> String -> Result [(String, Node.Node)]
94 getNodes ktg body = loadJSArray "Parsing node data" body >>=
95 mapM (parseNode ktg . fromJSObject)
97 -- | Parse a group list in JSON format.
98 getGroups :: String -> Result [(String, Group.Group)]
99 getGroups body = loadJSArray "Parsing group data" body >>=
100 mapM (parseGroup . fromJSObject)
102 -- | Construct an instance from a JSON object.
103 parseInstance :: NameAssoc
105 -> Result (String, Instance.Instance)
106 parseInstance ktn a = do
107 name <- tryFromObj "Parsing new instance" a "name"
108 let owner_name = "Instance '" ++ name ++ "', error while parsing data"
109 let extract s x = tryFromObj owner_name x s
110 disk <- extract "disk_usage" a
111 beparams <- liftM fromJSObject (extract "beparams" a)
112 omem <- extract "oper_ram" a
114 JSRational _ _ -> annotateResult owner_name (fromJVal omem)
115 _ -> extract "memory" beparams `mplus` extract "maxmem" beparams
116 vcpus <- extract "vcpus" beparams
117 pnode <- extract "pnode" a >>= lookupNode ktn name
118 snodes <- extract "snodes" a
119 snode <- if null snodes
120 then return Node.noSecondary
121 else readEitherString (head snodes) >>= lookupNode ktn name
122 running <- extract "status" a
123 tags <- extract "tags" a
124 auto_balance <- extract "auto_balance" beparams
125 dt <- extract "disk_template" a
126 let inst = Instance.create name mem disk vcpus running tags
127 auto_balance pnode snode dt
130 -- | Construct a node from a JSON object.
131 parseNode :: NameAssoc -> JSRecord -> Result (String, Node.Node)
133 name <- tryFromObj "Parsing new node" a "name"
134 let desc = "Node '" ++ name ++ "', error while parsing data"
135 extract s = tryFromObj desc a s
136 offline <- extract "offline"
137 drained <- extract "drained"
138 vm_cap <- annotateResult desc $ maybeFromObj a "vm_capable"
139 let vm_cap' = fromMaybe True vm_cap
140 guuid <- annotateResult desc $ maybeFromObj a "group.uuid"
141 guuid' <- lookupGroup ktg name (fromMaybe defaultGroupID guuid)
142 node <- if offline || drained || not vm_cap'
143 then return $ Node.create name 0 0 0 0 0 0 True guuid'
145 mtotal <- extract "mtotal"
146 mnode <- extract "mnode"
147 mfree <- extract "mfree"
148 dtotal <- extract "dtotal"
149 dfree <- extract "dfree"
150 ctotal <- extract "ctotal"
151 return $ Node.create name mtotal mnode mfree
152 dtotal dfree ctotal False guuid'
155 -- | Construct a group from a JSON object.
156 parseGroup :: JSRecord -> Result (String, Group.Group)
158 name <- tryFromObj "Parsing new group" a "name"
159 let extract s = tryFromObj ("Group '" ++ name ++ "'") a s
160 uuid <- extract "uuid"
161 apol <- extract "alloc_policy"
162 ipol <- extract "ipolicy"
163 return (uuid, Group.create name uuid apol ipol)
165 -- | Parse cluster data from the info resource.
166 parseCluster :: JSObject JSValue -> Result ([String], IPolicy)
167 parseCluster obj = do
168 let obj' = fromJSObject obj
169 extract s = tryFromObj "Parsing cluster data" obj' s
170 tags <- extract "tags"
171 ipolicy <- extract "ipolicy"
172 return (tags, ipolicy)
174 -- | Loads the raw cluster data from an URL.
175 readData :: String -- ^ Cluster or URL to use as source
176 -> IO (Result String, Result String, Result String, Result String)
178 let url = formatHost master
179 group_body <- getUrl $ printf "%s/2/groups?bulk=1" url
180 node_body <- getUrl $ printf "%s/2/nodes?bulk=1" url
181 inst_body <- getUrl $ printf "%s/2/instances?bulk=1" url
182 info_body <- getUrl $ printf "%s/2/info" url
183 return (group_body, node_body, inst_body, info_body)
185 -- | Builds the cluster data from the raw Rapi content.
186 parseData :: (Result String, Result String, Result String, Result String)
187 -> Result ClusterData
188 parseData (group_body, node_body, inst_body, info_body) = do
189 group_data <- group_body >>= getGroups
190 let (group_names, group_idx) = assignIndices group_data
191 node_data <- node_body >>= getNodes group_names
192 let (node_names, node_idx) = assignIndices node_data
193 inst_data <- inst_body >>= getInstances node_names
194 let (_, inst_idx) = assignIndices inst_data
195 (tags, ipolicy) <- info_body >>=
196 (fromJResult "Parsing cluster info" . decodeStrict) >>=
198 return (ClusterData group_idx node_idx inst_idx tags ipolicy)
200 -- | Top level function for data loading.
201 loadData :: String -- ^ Cluster or URL to use as source
202 -> IO (Result ClusterData)
203 loadData = fmap parseData . readData