IAlloc.hs 5.6 KB
Newer Older
1
2
3
4
{-| Implementation of the iallocator interface.

-}

Iustin Pop's avatar
Iustin Pop committed
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
{-

Copyright (C) 2009 Google Inc.

This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.

This program is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
02110-1301, USA.

-}

26
module Ganeti.HTools.IAlloc
27
    ( parseData
28
29
30
31
32
    , formatResponse
    ) where

import Data.Either ()
import Control.Monad
33
34
35
import Text.JSON (JSObject, JSValue(JSBool, JSString, JSArray),
                  makeObj, encodeStrict, decodeStrict,
                  fromJSObject, toJSString)
36
import qualified Ganeti.HTools.Container as Container
37
38
import qualified Ganeti.HTools.Node as Node
import qualified Ganeti.HTools.Instance as Instance
Iustin Pop's avatar
Iustin Pop committed
39
40
41
import Ganeti.HTools.Loader
import Ganeti.HTools.Utils
import Ganeti.HTools.Types
42

Iustin Pop's avatar
Iustin Pop committed
43
44
45
46
47
-- | Parse the basic specifications of an instance.
--
-- Instances in the cluster instance list and the instance in an
-- 'Allocate' request share some common properties, which are read by
-- this function.
Iustin Pop's avatar
Iustin Pop committed
48
parseBaseInstance :: String
49
                  -> [(String, JSValue)]
Iustin Pop's avatar
Iustin Pop committed
50
51
                  -> Result (String, Instance.Instance)
parseBaseInstance n a = do
52
  disk <- fromObj "disk_space_total" a
Iustin Pop's avatar
Iustin Pop committed
53
  mem <- fromObj "memory" a
54
  vcpus <- fromObj "vcpus" a
Iustin Pop's avatar
Iustin Pop committed
55
  tags <- fromObj "tags" a
Iustin Pop's avatar
Iustin Pop committed
56
  let running = "running"
Iustin Pop's avatar
Iustin Pop committed
57
  return (n, Instance.create n mem disk vcpus running tags 0 0)
Iustin Pop's avatar
Iustin Pop committed
58

59
-- | Parses an instance as found in the cluster instance listg.
Iustin Pop's avatar
Iustin Pop committed
60
61
parseInstance :: NameAssoc        -- ^ The node name-to-index association list
              -> String           -- ^ The name of the instance
62
              -> [(String, JSValue)] -- ^ The JSON object
Iustin Pop's avatar
Iustin Pop committed
63
64
              -> Result (String, Instance.Instance)
parseInstance ktn n a = do
65
66
67
68
69
70
71
72
  base <- parseBaseInstance n a
  nodes <- fromObj "nodes" a
  pnode <- readEitherString $ head nodes
  pidx <- lookupNode ktn n pnode
  let snodes = tail nodes
  sidx <- (if null snodes then return Node.noSecondary
           else readEitherString (head snodes) >>= lookupNode ktn n)
  return (n, Instance.setBoth (snd base) pidx sidx)
Iustin Pop's avatar
Iustin Pop committed
73

Iustin Pop's avatar
Iustin Pop committed
74
75
-- | Parses a node as found in the cluster node list.
parseNode :: String           -- ^ The node's name
76
          -> [(String, JSValue)] -- ^ The JSON object
Iustin Pop's avatar
Iustin Pop committed
77
          -> Result (String, Node.Node)
Iustin Pop's avatar
Iustin Pop committed
78
parseNode n a = do
79
80
81
82
83
84
85
86
87
88
89
90
91
92
  offline <- fromObj "offline" a
  drained <- fromObj "drained" a
  node <- (if offline || drained
           then return $ Node.create n 0 0 0 0 0 0 True
           else do
             mtotal <- fromObj "total_memory" a
             mnode  <- fromObj "reserved_memory" a
             mfree  <- fromObj "free_memory"  a
             dtotal <- fromObj "total_disk"   a
             dfree  <- fromObj "free_disk"    a
             ctotal <- fromObj "total_cpus"   a
             return $ Node.create n mtotal mnode mfree
                    dtotal dfree ctotal False)
  return (n, node)
93

Iustin Pop's avatar
Iustin Pop committed
94
95
96
-- | Top-level parser.
parseData :: String         -- ^ The JSON message as received from Ganeti
          -> Result Request -- ^ A (possible valid) request
Iustin Pop's avatar
Iustin Pop committed
97
98
parseData body = do
  decoded <- fromJResult $ decodeStrict body
99
  let obj = fromJSObject decoded
Iustin Pop's avatar
Iustin Pop committed
100
  -- request parser
101
  request <- liftM fromJSObject (fromObj "request" obj)
Iustin Pop's avatar
Iustin Pop committed
102
  -- existing node parsing
103
104
  nlist <- liftM fromJSObject (fromObj "nodes" obj)
  nobj <- mapM (\(x,y) -> asJSObject y >>= parseNode x . fromJSObject) nlist
105
  let (ktn, nl) = assignIndices nobj
Iustin Pop's avatar
Iustin Pop committed
106
107
108
  -- existing instance parsing
  ilist <- fromObj "instances" obj
  let idata = fromJSObject ilist
109
110
  iobj <- mapM (\(x,y) ->
                    asJSObject y >>= parseInstance ktn x . fromJSObject) idata
111
  let (kti, il) = assignIndices iobj
112
113
114
  -- cluster tags
  ctags <- fromObj "cluster_tags" obj
  (map_n, map_i, ptags, csf) <- mergeData [] [] (nl, il, ctags)
Iustin Pop's avatar
Iustin Pop committed
115
116
117
118
119
  optype <- fromObj "type" request
  rqtype <-
      case optype of
        "allocate" ->
            do
120
121
              rname <- fromObj "name" request
              req_nodes <- fromObj "required_nodes" request
Iustin Pop's avatar
Iustin Pop committed
122
              inew <- parseBaseInstance rname request
123
124
              let io = snd inew
              return $ Allocate io req_nodes
Iustin Pop's avatar
Iustin Pop committed
125
126
        "relocate" ->
            do
127
              rname <- fromObj "name" request
128
              ridx <- lookupInstance kti rname
129
              req_nodes <- fromObj "required_nodes" request
130
131
              ex_nodes <- fromObj "relocate_from" request
              let ex_nodes' = map (stripSuffix $ length csf) ex_nodes
132
              ex_idex <- mapM (Container.findByName map_n) ex_nodes'
133
              return $ Relocate ridx req_nodes (map Node.idx ex_idex)
Iustin Pop's avatar
Iustin Pop committed
134
        other -> fail ("Invalid request type '" ++ other ++ "'")
135
  return $ Request rqtype map_n map_i ptags csf
136

Iustin Pop's avatar
Iustin Pop committed
137
138
139
140
141
-- | Formats the response into a valid IAllocator response message.
formatResponse :: Bool     -- ^ Whether the request was successful
               -> String   -- ^ Information text
               -> [String] -- ^ The list of chosen nodes
               -> String   -- ^ The JSON-formatted message
142
143
144
145
146
147
formatResponse success info nodes =
    let
        e_success = ("success", JSBool success)
        e_info = ("info", JSString . toJSString $ info)
        e_nodes = ("nodes", JSArray $ map (JSString . toJSString) nodes)
    in encodeStrict $ makeObj [e_success, e_info, e_nodes]