cmdlib.py 552 KB
Newer Older
Iustin Pop's avatar
Iustin Pop committed
1
#
Iustin Pop's avatar
Iustin Pop committed
2
3
#

4
# Copyright (C) 2006, 2007, 2008, 2009, 2010, 2011, 2012 Google Inc.
Iustin Pop's avatar
Iustin Pop committed
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
#
# 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.


22
"""Module implementing the master-side code."""
Iustin Pop's avatar
Iustin Pop committed
23

24
# pylint: disable=W0201,C0302
25
26
27

# W0201 since most LU attributes are defined in CheckPrereq or similar
# functions
Iustin Pop's avatar
Iustin Pop committed
28

29
# C0302: since we have waaaay too many lines in this module
Iustin Pop's avatar
Iustin Pop committed
30

Iustin Pop's avatar
Iustin Pop committed
31
32
33
34
import os
import os.path
import time
import re
35
import logging
36
import copy
37
import OpenSSL
38
39
40
import socket
import tempfile
import shutil
41
import itertools
42
import operator
Iustin Pop's avatar
Iustin Pop committed
43
44
45
46
47

from ganeti import ssh
from ganeti import utils
from ganeti import errors
from ganeti import hypervisor
Guido Trotter's avatar
Guido Trotter committed
48
from ganeti import locking
Iustin Pop's avatar
Iustin Pop committed
49
50
from ganeti import constants
from ganeti import objects
51
from ganeti import serializer
52
from ganeti import ssconf
53
from ganeti import uidpool
54
from ganeti import compat
55
from ganeti import masterd
56
from ganeti import netutils
57
58
from ganeti import query
from ganeti import qlang
59
from ganeti import opcodes
60
from ganeti import ht
61
from ganeti import rpc
62
from ganeti import runtime
63

64
import ganeti.masterd.instance # pylint: disable=W0611
65

Iustin Pop's avatar
Iustin Pop committed
66

67
68
69
#: Size of DRBD meta block device
DRBD_META_SIZE = 128

70
# States of instance
71
INSTANCE_DOWN = [constants.ADMINST_DOWN]
72
73
74
INSTANCE_ONLINE = [constants.ADMINST_DOWN, constants.ADMINST_UP]
INSTANCE_NOT_RUNNING = [constants.ADMINST_DOWN, constants.ADMINST_OFFLINE]

75
#: Instance status in which an instance can be marked as offline/online
76
CAN_CHANGE_INSTANCE_OFFLINE = (frozenset(INSTANCE_DOWN) | frozenset([
77
  constants.ADMINST_OFFLINE,
78
  ]))
79

80

81
82
83
84
class ResultWithJobs:
  """Data container for LU results with jobs.

  Instances of this class returned from L{LogicalUnit.Exec} will be recognized
85
  by L{mcpu._ProcessResult}. The latter will then submit the jobs
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
  contained in the C{jobs} attribute and include the job IDs in the opcode
  result.

  """
  def __init__(self, jobs, **kwargs):
    """Initializes this class.

    Additional return values can be specified as keyword arguments.

    @type jobs: list of lists of L{opcode.OpCode}
    @param jobs: A list of lists of opcode objects

    """
    self.jobs = jobs
    self.other = kwargs


Iustin Pop's avatar
Iustin Pop committed
103
class LogicalUnit(object):
104
  """Logical Unit base class.
Iustin Pop's avatar
Iustin Pop committed
105
106

  Subclasses must follow these rules:
107
    - implement ExpandNames
108
109
    - implement CheckPrereq (except when tasklets are used)
    - implement Exec (except when tasklets are used)
Iustin Pop's avatar
Iustin Pop committed
110
    - implement BuildHooksEnv
111
    - implement BuildHooksNodes
Iustin Pop's avatar
Iustin Pop committed
112
    - redefine HPATH and HTYPE
113
    - optionally redefine their run requirements:
114
        REQ_BGL: the LU needs to hold the Big Ganeti Lock exclusively
115
116

  Note that all commands require root permissions.
Iustin Pop's avatar
Iustin Pop committed
117

118
119
120
  @ivar dry_run_result: the value (if any) that will be returned to the caller
      in dry-run mode (signalled by opcode dry_run parameter)

Iustin Pop's avatar
Iustin Pop committed
121
122
123
  """
  HPATH = None
  HTYPE = None
124
  REQ_BGL = True
Iustin Pop's avatar
Iustin Pop committed
125

126
  def __init__(self, processor, op, context, rpc_runner):
Iustin Pop's avatar
Iustin Pop committed
127
128
    """Constructor for LogicalUnit.

Michael Hanselmann's avatar
Michael Hanselmann committed
129
    This needs to be overridden in derived classes in order to check op
Iustin Pop's avatar
Iustin Pop committed
130
131
132
    validity.

    """
Iustin Pop's avatar
Iustin Pop committed
133
    self.proc = processor
Iustin Pop's avatar
Iustin Pop committed
134
    self.op = op
Guido Trotter's avatar
Guido Trotter committed
135
    self.cfg = context.cfg
136
    self.glm = context.glm
Iustin Pop's avatar
Iustin Pop committed
137
138
    # readability alias
    self.owned_locks = context.glm.list_owned
Guido Trotter's avatar
Guido Trotter committed
139
    self.context = context
140
    self.rpc = rpc_runner
141
    # Dicts used to declare locking needs to mcpu
142
    self.needed_locks = None
143
    self.share_locks = dict.fromkeys(locking.LEVELS, 0)
144
145
    self.add_locks = {}
    self.remove_locks = {}
146
147
    # Used to force good behavior when calling helper functions
    self.recalculate_locks = {}
148
    # logging
149
150
151
152
    self.Log = processor.Log # pylint: disable=C0103
    self.LogWarning = processor.LogWarning # pylint: disable=C0103
    self.LogInfo = processor.LogInfo # pylint: disable=C0103
    self.LogStep = processor.LogStep # pylint: disable=C0103
153
154
    # support for dry-run
    self.dry_run_result = None
155
156
157
158
    # support for generic debug attribute
    if (not hasattr(self.op, "debug_level") or
        not isinstance(self.op.debug_level, int)):
      self.op.debug_level = 0
159

160
    # Tasklets
161
    self.tasklets = None
162

163
164
    # Validate opcode parameters and set defaults
    self.op.Validate(True)
165

166
    self.CheckArguments()
Iustin Pop's avatar
Iustin Pop committed
167

168
169
170
171
172
173
174
175
176
  def CheckArguments(self):
    """Check syntactic validity for the opcode arguments.

    This method is for doing a simple syntactic check and ensure
    validity of opcode parameters, without any cluster-related
    checks. While the same can be accomplished in ExpandNames and/or
    CheckPrereq, doing these separate is better because:

      - ExpandNames is left as as purely a lock-related function
Michael Hanselmann's avatar
Michael Hanselmann committed
177
      - CheckPrereq is run after we have acquired locks (and possible
178
179
180
181
182
183
184
185
        waited for them)

    The function is allowed to change the self.op attribute so that
    later methods can no longer worry about missing parameters.

    """
    pass

186
187
188
189
190
191
  def ExpandNames(self):
    """Expand names for this LU.

    This method is called before starting to execute the opcode, and it should
    update all the parameters of the opcode to their canonical form (e.g. a
    short node name must be fully expanded after this method has successfully
Adeodato Simo's avatar
Adeodato Simo committed
192
    completed). This way locking, hooks, logging, etc. can work correctly.
193
194
195
196

    LUs which implement this method must also populate the self.needed_locks
    member, as a dict with lock levels as keys, and a list of needed lock names
    as values. Rules:
197
198

      - use an empty dict if you don't need any lock
199
200
201
202
203
204
205
      - if you don't need any lock at a particular level omit that
        level (note that in this case C{DeclareLocks} won't be called
        at all for that level)
      - if you need locks at a level, but you can't calculate it in
        this function, initialise that level with an empty list and do
        further processing in L{LogicalUnit.DeclareLocks} (see that
        function's docstring)
206
      - don't put anything for the BGL level
207
      - if you want all locks at a level use L{locking.ALL_SET} as a value
208

Guido Trotter's avatar
Guido Trotter committed
209
210
211
212
    If you need to share locks (rather than acquire them exclusively) at one
    level you can modify self.share_locks, setting a true value (usually 1) for
    that level. By default locks are not shared.

213
214
215
216
    This function can also define a list of tasklets, which then will be
    executed in order instead of the usual LU-level CheckPrereq and Exec
    functions, if those are not defined by the LU.

217
218
219
220
221
    Examples::

      # Acquire all nodes and one instance
      self.needed_locks = {
        locking.LEVEL_NODE: locking.ALL_SET,
222
        locking.LEVEL_INSTANCE: ['instance1.example.com'],
223
224
225
      }
      # Acquire just two nodes
      self.needed_locks = {
226
        locking.LEVEL_NODE: ['node1.example.com', 'node2.example.com'],
227
228
229
      }
      # Acquire no locks
      self.needed_locks = {} # No, you can't leave it to the default value None
230
231
232
233
234
235
236
237
238
239

    """
    # The implementation of this method is mandatory only if the new LU is
    # concurrent, so that old LUs don't need to be changed all at the same
    # time.
    if self.REQ_BGL:
      self.needed_locks = {} # Exclusive LUs don't need locks.
    else:
      raise NotImplementedError

Guido Trotter's avatar
Guido Trotter committed
240
241
242
243
244
245
246
247
248
249
250
251
252
253
  def DeclareLocks(self, level):
    """Declare LU locking needs for a level

    While most LUs can just declare their locking needs at ExpandNames time,
    sometimes there's the need to calculate some locks after having acquired
    the ones before. This function is called just before acquiring locks at a
    particular level, but after acquiring the ones at lower levels, and permits
    such calculations. It can be used to modify self.needed_locks, and by
    default it does nothing.

    This function is only called if you have something already set in
    self.needed_locks for the level.

    @param level: Locking level which is going to be locked
254
    @type level: member of L{ganeti.locking.LEVELS}
Guido Trotter's avatar
Guido Trotter committed
255
256
257

    """

Iustin Pop's avatar
Iustin Pop committed
258
259
260
261
262
263
264
265
266
267
268
269
  def CheckPrereq(self):
    """Check prerequisites for this LU.

    This method should check that the prerequisites for the execution
    of this LU are fulfilled. It can do internode communication, but
    it should be idempotent - no cluster or system changes are
    allowed.

    The method should raise errors.OpPrereqError in case something is
    not fulfilled. Its return value is ignored.

    This method should also update all the parameters of the opcode to
270
    their canonical form if it hasn't been done by ExpandNames before.
Iustin Pop's avatar
Iustin Pop committed
271
272

    """
273
    if self.tasklets is not None:
274
      for (idx, tl) in enumerate(self.tasklets):
275
276
        logging.debug("Checking prerequisites for tasklet %s/%s",
                      idx + 1, len(self.tasklets))
277
278
        tl.CheckPrereq()
    else:
279
      pass
Iustin Pop's avatar
Iustin Pop committed
280
281
282
283
284
285
286
287
288

  def Exec(self, feedback_fn):
    """Execute the LU.

    This method should implement the actual work. It should raise
    errors.OpExecError for failures that are somewhat dealt with in
    code, or expected.

    """
289
    if self.tasklets is not None:
290
      for (idx, tl) in enumerate(self.tasklets):
291
        logging.debug("Executing tasklet %s/%s", idx + 1, len(self.tasklets))
292
293
294
        tl.Exec(feedback_fn)
    else:
      raise NotImplementedError
Iustin Pop's avatar
Iustin Pop committed
295
296
297
298

  def BuildHooksEnv(self):
    """Build hooks environment for this LU.

299
300
301
302
303
304
305
306
    @rtype: dict
    @return: Dictionary containing the environment that will be used for
      running the hooks for this LU. The keys of the dict must not be prefixed
      with "GANETI_"--that'll be added by the hooks runner. The hooks runner
      will extend the environment with additional variables. If no environment
      should be defined, an empty dictionary should be returned (not C{None}).
    @note: If the C{HPATH} attribute of the LU class is C{None}, this function
      will not be called.
Iustin Pop's avatar
Iustin Pop committed
307

308
309
    """
    raise NotImplementedError
Iustin Pop's avatar
Iustin Pop committed
310

311
312
  def BuildHooksNodes(self):
    """Build list of nodes to run LU's hooks.
Iustin Pop's avatar
Iustin Pop committed
313

314
315
316
317
318
319
320
    @rtype: tuple; (list, list)
    @return: Tuple containing a list of node names on which the hook
      should run before the execution and a list of node names on which the
      hook should run after the execution. No nodes should be returned as an
      empty list (and not None).
    @note: If the C{HPATH} attribute of the LU class is C{None}, this function
      will not be called.
Iustin Pop's avatar
Iustin Pop committed
321
322
323
324

    """
    raise NotImplementedError

325
326
327
328
329
330
331
332
333
  def HooksCallBack(self, phase, hook_results, feedback_fn, lu_result):
    """Notify the LU about the results of its hooks.

    This method is called every time a hooks phase is executed, and notifies
    the Logical Unit about the hooks' result. The LU can then use it to alter
    its result based on the hooks.  By default the method does nothing and the
    previous result is passed back unchanged but any LU can define it if it
    wants to use the local cluster hook-scripts somehow.

334
335
336
337
338
339
340
341
    @param phase: one of L{constants.HOOKS_PHASE_POST} or
        L{constants.HOOKS_PHASE_PRE}; it denotes the hooks phase
    @param hook_results: the results of the multi-node hooks rpc call
    @param feedback_fn: function used send feedback back to the caller
    @param lu_result: the previous Exec result this LU had, or None
        in the PRE phase
    @return: the new Exec result, based on the previous result
        and hook results
342
343

    """
344
345
    # API must be kept, thus we ignore the unused argument and could
    # be a function warnings
346
    # pylint: disable=W0613,R0201
347
348
    return lu_result

349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
  def _ExpandAndLockInstance(self):
    """Helper function to expand and lock an instance.

    Many LUs that work on an instance take its name in self.op.instance_name
    and need to expand it and then declare the expanded name for locking. This
    function does it, and then updates self.op.instance_name to the expanded
    name. It also initializes needed_locks as a dict, if this hasn't been done
    before.

    """
    if self.needed_locks is None:
      self.needed_locks = {}
    else:
      assert locking.LEVEL_INSTANCE not in self.needed_locks, \
        "_ExpandAndLockInstance called with instance-level locks set"
364
365
366
    self.op.instance_name = _ExpandInstanceName(self.cfg,
                                                self.op.instance_name)
    self.needed_locks[locking.LEVEL_INSTANCE] = self.op.instance_name
367

368
369
  def _LockInstancesNodes(self, primary_only=False,
                          level=locking.LEVEL_NODE):
370
371
372
373
374
375
376
377
378
379
380
381
382
    """Helper function to declare instances' nodes for locking.

    This function should be called after locking one or more instances to lock
    their nodes. Its effect is populating self.needed_locks[locking.LEVEL_NODE]
    with all primary or secondary nodes for instances already locked and
    present in self.needed_locks[locking.LEVEL_INSTANCE].

    It should be called from DeclareLocks, and for safety only works if
    self.recalculate_locks[locking.LEVEL_NODE] is set.

    In the future it may grow parameters to just lock some instance's nodes, or
    to just lock primaries or secondary nodes, if needed.

383
    If should be called in DeclareLocks in a way similar to::
384

385
386
      if level == locking.LEVEL_NODE:
        self._LockInstancesNodes()
387

388
389
    @type primary_only: boolean
    @param primary_only: only lock primary nodes of locked instances
390
    @param level: Which lock level to use for locking nodes
391

392
    """
393
    assert level in self.recalculate_locks, \
394
395
396
397
398
399
400
401
      "_LockInstancesNodes helper function called with no nodes to recalculate"

    # TODO: check if we're really been called with the instance locks held

    # For now we'll replace self.needed_locks[locking.LEVEL_NODE], but in the
    # future we might want to have different behaviors depending on the value
    # of self.recalculate_locks[locking.LEVEL_NODE]
    wanted_nodes = []
Iustin Pop's avatar
Iustin Pop committed
402
    locked_i = self.owned_locks(locking.LEVEL_INSTANCE)
403
    for _, instance in self.cfg.GetMultiInstanceInfo(locked_i):
404
      wanted_nodes.append(instance.primary_node)
405
406
      if not primary_only:
        wanted_nodes.extend(instance.secondary_nodes)
407

408
409
410
411
412
413
    if self.recalculate_locks[level] == constants.LOCKS_REPLACE:
      self.needed_locks[level] = wanted_nodes
    elif self.recalculate_locks[level] == constants.LOCKS_APPEND:
      self.needed_locks[level].extend(wanted_nodes)
    else:
      raise errors.ProgrammerError("Unknown recalculation mode")
414

415
    del self.recalculate_locks[level]
416

Iustin Pop's avatar
Iustin Pop committed
417

418
class NoHooksLU(LogicalUnit): # pylint: disable=W0223
Iustin Pop's avatar
Iustin Pop committed
419
420
421
422
423
424
425
426
427
  """Simple LU which runs no hooks.

  This LU is intended as a parent for other LogicalUnits which will
  run no hooks, in order to reduce duplicate code.

  """
  HPATH = None
  HTYPE = None

428
429
430
431
432
433
  def BuildHooksEnv(self):
    """Empty BuildHooksEnv for NoHooksLu.

    This just raises an error.

    """
434
435
436
437
438
439
440
    raise AssertionError("BuildHooksEnv called for NoHooksLUs")

  def BuildHooksNodes(self):
    """Empty BuildHooksNodes for NoHooksLU.

    """
    raise AssertionError("BuildHooksNodes called for NoHooksLU")
441

Iustin Pop's avatar
Iustin Pop committed
442

443
444
445
446
447
448
449
450
451
452
453
454
class Tasklet:
  """Tasklet base class.

  Tasklets are subcomponents for LUs. LUs can consist entirely of tasklets or
  they can mix legacy code with tasklets. Locking needs to be done in the LU,
  tasklets know nothing about locks.

  Subclasses must follow these rules:
    - Implement CheckPrereq
    - Implement Exec

  """
455
456
457
458
459
460
461
  def __init__(self, lu):
    self.lu = lu

    # Shortcuts
    self.cfg = lu.cfg
    self.rpc = lu.rpc

462
463
464
465
466
467
468
469
470
471
472
473
474
475
  def CheckPrereq(self):
    """Check prerequisites for this tasklets.

    This method should check whether the prerequisites for the execution of
    this tasklet are fulfilled. It can do internode communication, but it
    should be idempotent - no cluster or system changes are allowed.

    The method should raise errors.OpPrereqError in case something is not
    fulfilled. Its return value is ignored.

    This method should also update all parameters to their canonical form if it
    hasn't been done before.

    """
476
    pass
477
478
479
480
481
482
483
484
485
486
487
488

  def Exec(self, feedback_fn):
    """Execute the tasklet.

    This method should implement the actual work. It should raise
    errors.OpExecError for failures that are somewhat dealt with in code, or
    expected.

    """
    raise NotImplementedError


489
490
491
492
493
494
495
class _QueryBase:
  """Base for query utility classes.

  """
  #: Attribute holding field definitions
  FIELDS = None

496
497
498
  #: Field to sort by
  SORT_FIELD = "name"

499
  def __init__(self, qfilter, fields, use_locking):
500
501
502
503
504
    """Initializes this class.

    """
    self.use_locking = use_locking

505
    self.query = query.Query(self.FIELDS, fields, qfilter=qfilter,
506
                             namefield=self.SORT_FIELD)
507
    self.requested_data = self.query.RequestedData()
508
    self.names = self.query.RequestedNames()
509

510
511
512
    # Sort only if no names were requested
    self.sort_by_name = not self.names

513
514
515
516
517
518
519
520
    self.do_locking = None
    self.wanted = None

  def _GetNames(self, lu, all_names, lock_level):
    """Helper function to determine names asked for in the query.

    """
    if self.do_locking:
Iustin Pop's avatar
Iustin Pop committed
521
      names = lu.owned_locks(lock_level)
522
523
524
525
526
527
528
529
530
531
    else:
      names = all_names

    if self.wanted == locking.ALL_SET:
      assert not self.names
      # caller didn't specify names, so ordering is not important
      return utils.NiceSort(names)

    # caller specified names and we must keep the same order
    assert self.names
532
    assert not self.do_locking or lu.glm.is_owned(lock_level)
533
534
535
536
537
538
539
540
541

    missing = set(self.wanted).difference(names)
    if missing:
      raise errors.OpExecError("Some items were removed before retrieving"
                               " their data: %s" % missing)

    # Return expanded names
    return self.wanted

542
543
544
545
546
547
548
549
  def ExpandNames(self, lu):
    """Expand names for this query.

    See L{LogicalUnit.ExpandNames}.

    """
    raise NotImplementedError()

550
  def DeclareLocks(self, lu, level):
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
    """Declare locks for this query.

    See L{LogicalUnit.DeclareLocks}.

    """
    raise NotImplementedError()

  def _GetQueryData(self, lu):
    """Collects all data for this query.

    @return: Query data object

    """
    raise NotImplementedError()

  def NewStyleQuery(self, lu):
    """Collect data and execute query.

    """
570
571
    return query.GetQueryResponse(self.query, self._GetQueryData(lu),
                                  sort_by_name=self.sort_by_name)
572
573
574
575
576

  def OldStyleQuery(self, lu):
    """Collect data and execute query.

    """
577
578
    return self.query.OldStyleQuery(self._GetQueryData(lu),
                                    sort_by_name=self.sort_by_name)
579
580


581
582
583
584
585
586
587
def _ShareAll():
  """Returns a dict declaring all lock levels shared.

  """
  return dict.fromkeys(locking.LEVELS, 1)


588
589
590
591
592
593
594
595
596
597
598
599
600
601
def _MakeLegacyNodeInfo(data):
  """Formats the data returned by L{rpc.RpcRunner.call_node_info}.

  Converts the data into a single dictionary. This is fine for most use cases,
  but some require information from more than one volume group or hypervisor.

  """
  (bootid, (vg_info, ), (hv_info, )) = data

  return utils.JoinDisjointDicts(utils.JoinDisjointDicts(vg_info, hv_info), {
    "bootid": bootid,
    })


602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
def _AnnotateDiskParams(instance, devs, cfg):
  """Little helper wrapper to the rpc annotation method.

  @param instance: The instance object
  @type devs: List of L{objects.Disk}
  @param devs: The root devices (not any of its children!)
  @param cfg: The config object
  @returns The annotated disk copies
  @see L{rpc.AnnotateDiskParams}

  """
  return rpc.AnnotateDiskParams(instance.disk_template, devs,
                                cfg.GetInstanceDiskParams(instance))


617
618
619
620
621
622
623
624
625
626
627
628
629
def _CheckInstancesNodeGroups(cfg, instances, owned_groups, owned_nodes,
                              cur_group_uuid):
  """Checks if node groups for locked instances are still correct.

  @type cfg: L{config.ConfigWriter}
  @param cfg: Cluster configuration
  @type instances: dict; string as key, L{objects.Instance} as value
  @param instances: Dictionary, instance name as key, instance object as value
  @type owned_groups: iterable of string
  @param owned_groups: List of owned groups
  @type owned_nodes: iterable of string
  @param owned_nodes: List of owned nodes
  @type cur_group_uuid: string or None
Iustin Pop's avatar
Iustin Pop committed
630
  @param cur_group_uuid: Optional group UUID to check against instance's groups
631
632
633
634
635
636
637
638
639
640
641
642

  """
  for (name, inst) in instances.items():
    assert owned_nodes.issuperset(inst.all_nodes), \
      "Instance %s's nodes changed while we kept the lock" % name

    inst_groups = _CheckInstanceNodeGroups(cfg, name, owned_groups)

    assert cur_group_uuid is None or cur_group_uuid in inst_groups, \
      "Instance %s has no node in group %s" % (name, cur_group_uuid)


643
644
def _CheckInstanceNodeGroups(cfg, instance_name, owned_groups,
                             primary_only=False):
645
646
647
648
649
650
651
652
  """Checks if the owned node groups are still correct for an instance.

  @type cfg: L{config.ConfigWriter}
  @param cfg: The cluster configuration
  @type instance_name: string
  @param instance_name: Instance name
  @type owned_groups: set or frozenset
  @param owned_groups: List of currently owned node groups
653
654
  @type primary_only: boolean
  @param primary_only: Whether to check node groups for only the primary node
655
656

  """
657
  inst_groups = cfg.GetInstanceNodeGroups(instance_name, primary_only)
658
659
660
661
662
663
664
665
666
667
668
669
670
671

  if not owned_groups.issuperset(inst_groups):
    raise errors.OpPrereqError("Instance %s's node groups changed since"
                               " locks were acquired, current groups are"
                               " are '%s', owning groups '%s'; retry the"
                               " operation" %
                               (instance_name,
                                utils.CommaJoin(inst_groups),
                                utils.CommaJoin(owned_groups)),
                               errors.ECODE_STATE)

  return inst_groups


672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
def _CheckNodeGroupInstances(cfg, group_uuid, owned_instances):
  """Checks if the instances in a node group are still correct.

  @type cfg: L{config.ConfigWriter}
  @param cfg: The cluster configuration
  @type group_uuid: string
  @param group_uuid: Node group UUID
  @type owned_instances: set or frozenset
  @param owned_instances: List of currently owned instances

  """
  wanted_instances = cfg.GetNodeGroupInstances(group_uuid)
  if owned_instances != wanted_instances:
    raise errors.OpPrereqError("Instances in node group '%s' changed since"
                               " locks were acquired, wanted '%s', have '%s';"
                               " retry the operation" %
                               (group_uuid,
                                utils.CommaJoin(wanted_instances),
                                utils.CommaJoin(owned_instances)),
                               errors.ECODE_STATE)

  return wanted_instances


696
697
698
699
700
701
702
703
704
705
706
707
708
def _SupportsOob(cfg, node):
  """Tells if node supports OOB.

  @type cfg: L{config.ConfigWriter}
  @param cfg: The cluster configuration
  @type node: L{objects.Node}
  @param node: The node
  @return: The OOB script if supported or an empty string otherwise

  """
  return cfg.GetNdParams(node)[constants.ND_OOB_PROGRAM]


709
def _GetWantedNodes(lu, nodes):
710
  """Returns list of checked and expanded node names.
711

712
713
714
715
716
717
  @type lu: L{LogicalUnit}
  @param lu: the logical unit on whose behalf we execute
  @type nodes: list
  @param nodes: list of node names or None for all nodes
  @rtype: list
  @return: the list of nodes, sorted
Iustin Pop's avatar
Iustin Pop committed
718
  @raise errors.ProgrammerError: if the nodes parameter is wrong type
719
720

  """
721
722
  if nodes:
    return [_ExpandNodeName(lu.cfg, name) for name in nodes]
723

724
  return utils.NiceSort(lu.cfg.GetNodeList())
725
726
727


def _GetWantedInstances(lu, instances):
728
  """Returns list of checked and expanded instance names.
729

730
731
732
733
734
735
736
737
  @type lu: L{LogicalUnit}
  @param lu: the logical unit on whose behalf we execute
  @type instances: list
  @param instances: list of instance names or None for all instances
  @rtype: list
  @return: the list of instances, sorted
  @raise errors.OpPrereqError: if the instances parameter is wrong type
  @raise errors.OpPrereqError: if any of the passed instances is not found
738
739
740

  """
  if instances:
741
    wanted = [_ExpandInstanceName(lu.cfg, name) for name in instances]
742
  else:
743
744
    wanted = utils.NiceSort(lu.cfg.GetInstanceList())
  return wanted
745
746


747
748
def _GetUpdatedParams(old_params, update_dict,
                      use_default=True, use_none=False):
749
750
751
752
753
754
755
756
  """Return the new version of a parameter dictionary.

  @type old_params: dict
  @param old_params: old parameters
  @type update_dict: dict
  @param update_dict: dict containing new parameter values, or
      constants.VALUE_DEFAULT to reset the parameter to its default
      value
757
758
759
760
761
762
  @param use_default: boolean
  @type use_default: whether to recognise L{constants.VALUE_DEFAULT}
      values as 'to be deleted' values
  @param use_none: boolean
  @type use_none: whether to recognise C{None} values as 'to be
      deleted' values
763
764
765
766
767
768
  @rtype: dict
  @return: the new parameter dictionary

  """
  params_copy = copy.deepcopy(old_params)
  for key, val in update_dict.iteritems():
769
770
    if ((use_default and val == constants.VALUE_DEFAULT) or
        (use_none and val is None)):
771
772
773
774
775
776
777
778
779
      try:
        del params_copy[key]
      except KeyError:
        pass
    else:
      params_copy[key] = val
  return params_copy


780
781
782
783
784
785
786
787
788
789
def _GetUpdatedIPolicy(old_ipolicy, new_ipolicy, group_policy=False):
  """Return the new version of a instance policy.

  @param group_policy: whether this policy applies to a group and thus
    we should support removal of policy entries

  """
  use_none = use_default = group_policy
  ipolicy = copy.deepcopy(old_ipolicy)
  for key, value in new_ipolicy.items():
790
791
792
    if key not in constants.IPOLICY_ALL_KEYS:
      raise errors.OpPrereqError("Invalid key in new ipolicy: %s" % key,
                                 errors.ECODE_INVAL)
793
    if key in constants.IPOLICY_ISPECS:
794
795
796
797
798
      utils.ForceDictType(value, constants.ISPECS_PARAMETER_TYPES)
      ipolicy[key] = _GetUpdatedParams(old_ipolicy.get(key, {}), value,
                                       use_none=use_none,
                                       use_default=use_default)
    else:
799
800
      if (not value or value == [constants.VALUE_DEFAULT] or
          value == constants.VALUE_DEFAULT):
801
802
803
804
805
806
807
        if group_policy:
          del ipolicy[key]
        else:
          raise errors.OpPrereqError("Can't unset ipolicy attribute '%s'"
                                     " on the cluster'" % key,
                                     errors.ECODE_INVAL)
      else:
808
809
810
811
812
813
814
815
816
817
818
819
        if key in constants.IPOLICY_PARAMETERS:
          # FIXME: we assume all such values are float
          try:
            ipolicy[key] = float(value)
          except (TypeError, ValueError), err:
            raise errors.OpPrereqError("Invalid value for attribute"
                                       " '%s': '%s', error: %s" %
                                       (key, value, err), errors.ECODE_INVAL)
        else:
          # FIXME: we assume all others are lists; this should be redone
          # in a nicer way
          ipolicy[key] = list(value)
820
  try:
821
    objects.InstancePolicy.CheckParameterSyntax(ipolicy, not group_policy)
822
823
824
825
826
827
  except errors.ConfigurationError, err:
    raise errors.OpPrereqError("Invalid instance policy: %s" % err,
                               errors.ECODE_INVAL)
  return ipolicy


828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
def _UpdateAndVerifySubDict(base, updates, type_check):
  """Updates and verifies a dict with sub dicts of the same type.

  @param base: The dict with the old data
  @param updates: The dict with the new data
  @param type_check: Dict suitable to ForceDictType to verify correct types
  @returns: A new dict with updated and verified values

  """
  def fn(old, value):
    new = _GetUpdatedParams(old, value)
    utils.ForceDictType(new, type_check)
    return new

  ret = copy.deepcopy(base)
  ret.update(dict((key, fn(base.get(key, {}), value))
                  for key, value in updates.items()))
  return ret


848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
def _MergeAndVerifyHvState(op_input, obj_input):
  """Combines the hv state from an opcode with the one of the object

  @param op_input: The input dict from the opcode
  @param obj_input: The input dict from the objects
  @return: The verified and updated dict

  """
  if op_input:
    invalid_hvs = set(op_input) - constants.HYPER_TYPES
    if invalid_hvs:
      raise errors.OpPrereqError("Invalid hypervisor(s) in hypervisor state:"
                                 " %s" % utils.CommaJoin(invalid_hvs),
                                 errors.ECODE_INVAL)
    if obj_input is None:
      obj_input = {}
    type_check = constants.HVSTS_PARAMETER_TYPES
    return _UpdateAndVerifySubDict(obj_input, op_input, type_check)

  return None


def _MergeAndVerifyDiskState(op_input, obj_input):
  """Combines the disk state from an opcode with the one of the object

  @param op_input: The input dict from the opcode
  @param obj_input: The input dict from the objects
  @return: The verified and updated dict
  """
  if op_input:
    invalid_dst = set(op_input) - constants.DS_VALID_TYPES
    if invalid_dst:
      raise errors.OpPrereqError("Invalid storage type(s) in disk state: %s" %
                                 utils.CommaJoin(invalid_dst),
                                 errors.ECODE_INVAL)
    type_check = constants.DSS_PARAMETER_TYPES
    if obj_input is None:
      obj_input = {}
    return dict((key, _UpdateAndVerifySubDict(obj_input.get(key, {}), value,
                                              type_check))
                for key, value in op_input.items())

  return None


893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
def _ReleaseLocks(lu, level, names=None, keep=None):
  """Releases locks owned by an LU.

  @type lu: L{LogicalUnit}
  @param level: Lock level
  @type names: list or None
  @param names: Names of locks to release
  @type keep: list or None
  @param keep: Names of locks to retain

  """
  assert not (keep is not None and names is not None), \
         "Only one of the 'names' and the 'keep' parameters can be given"

  if names is not None:
    should_release = names.__contains__
  elif keep:
    should_release = lambda name: name not in keep
  else:
    should_release = None

914
915
916
917
918
919
  owned = lu.owned_locks(level)
  if not owned:
    # Not owning any lock at this level, do nothing
    pass

  elif should_release:
920
921
922
923
    retain = []
    release = []

    # Determine which locks to release
924
    for name in owned:
925
926
927
928
929
      if should_release(name):
        release.append(name)
      else:
        retain.append(name)

Iustin Pop's avatar
Iustin Pop committed
930
    assert len(lu.owned_locks(level)) == (len(retain) + len(release))
931
932

    # Release just some locks
933
    lu.glm.release(level, names=release)
934

Iustin Pop's avatar
Iustin Pop committed
935
    assert frozenset(lu.owned_locks(level)) == frozenset(retain)
936
937
  else:
    # Release everything
938
    lu.glm.release(level)
939

940
    assert not lu.glm.is_owned(level), "No locks should be owned"
941
942


943
944
945
946
947
948
949
950
951
952
953
954
955
def _MapInstanceDisksToNodes(instances):
  """Creates a map from (node, volume) to instance name.

  @type instances: list of L{objects.Instance}
  @rtype: dict; tuple of (node name, volume name) as key, instance name as value

  """
  return dict(((node, vol), inst.name)
              for inst in instances
              for (node, vols) in inst.MapLVsByNode().items()
              for vol in vols)


956
957
958
959
def _RunPostHook(lu, node_name):
  """Runs the post-hook for an opcode on a single node.

  """
Andrea Spadaccini's avatar
Andrea Spadaccini committed
960
  hm = lu.proc.BuildHooksManager(lu)
961
962
  try:
    hm.RunPhase(constants.HOOKS_PHASE_POST, nodes=[node_name])
963
964
  except Exception, err: # pylint: disable=W0703
    lu.LogWarning("Errors occurred running hooks on %s: %s" % (node_name, err))
965
966


967
def _CheckOutputFields(static, dynamic, selected):
968
969
  """Checks whether all selected fields are valid.

Iustin Pop's avatar
Iustin Pop committed
970
  @type static: L{utils.FieldSet}
Iustin Pop's avatar
Iustin Pop committed
971
  @param static: static fields set
Iustin Pop's avatar
Iustin Pop committed
972
  @type dynamic: L{utils.FieldSet}
Iustin Pop's avatar
Iustin Pop committed
973
  @param dynamic: dynamic fields set
974
975

  """
Iustin Pop's avatar
Iustin Pop committed
976
  f = utils.FieldSet()
Iustin Pop's avatar
Iustin Pop committed
977
978
  f.Extend(static)
  f.Extend(dynamic)
979

Iustin Pop's avatar
Iustin Pop committed
980
981
  delta = f.NonMatching(selected)
  if delta:
982
    raise errors.OpPrereqError("Unknown output fields selected: %s"
983
                               % ",".join(delta), errors.ECODE_INVAL)
984
985


986
987
988
989
990
991
992
993
994
995
996
def _CheckGlobalHvParams(params):
  """Validates that given hypervisor params are not global ones.

  This will ensure that instances don't get customised versions of
  global params.

  """
  used_globals = constants.HVC_GLOBALS.intersection(params)
  if used_globals:
    msg = ("The following hypervisor parameters are global and cannot"
           " be customized at instance level, please modify them at"
997
           " cluster level: %s" % utils.CommaJoin(used_globals))
998
999
1000
    raise errors.OpPrereqError(msg, errors.ECODE_INVAL)


1001
def _CheckNodeOnline(lu, node, msg=None):
1002
1003
1004
1005
  """Ensure that a given node is online.

  @param lu: the LU on behalf of which we make the check
  @param node: the node to check
1006
  @param msg: if passed, should be a message to replace the default one
1007
  @raise errors.OpPrereqError: if the node is offline
1008
1009

  """
1010
1011
  if msg is None:
    msg = "Can't use offline node"
1012
  if lu.cfg.GetNodeInfo(node).offline:
1013
    raise errors.OpPrereqError("%s: %s" % (msg, node), errors.ECODE_STATE)
1014
1015


1016
1017
1018
1019
1020
1021
1022
1023
1024
def _CheckNodeNotDrained(lu, node):
  """Ensure that a given node is not drained.

  @param lu: the LU on behalf of which we make the check
  @param node: the node to check
  @raise errors.OpPrereqError: if the node is drained

  """
  if lu.cfg.GetNodeInfo(node).drained:
1025
    raise errors.OpPrereqError("Can't use drained node %s" % node,
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
                               errors.ECODE_STATE)


def _CheckNodeVmCapable(lu, node):
  """Ensure that a given node is vm capable.

  @param lu: the LU on behalf of which we make the check
  @param node: the node to check
  @raise errors.OpPrereqError: if the node is not vm capable

  """
  if not lu.cfg.GetNodeInfo(node).vm_capable:
    raise errors.OpPrereqError("Can't use non-vm_capable node %s" % node,
                               errors.ECODE_STATE)
1040
1041


Iustin Pop's avatar
Iustin Pop committed
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
def _CheckNodeHasOS(lu, node, os_name, force_variant):
  """Ensure that a node supports a given OS.

  @param lu: the LU on behalf of which we make the check
  @param node: the node to check
  @param os_name: the OS to query about
  @param force_variant: whether to ignore variant errors
  @raise errors.OpPrereqError: if the node is not supporting the OS

  """
  result = lu.rpc.call_os_get(node, os_name)
  result.Raise("OS '%s' not in supported OS list for node %s" %
               (os_name, node),
               prereq=True, ecode=errors.ECODE_INVAL)
  if not force_variant:
    _CheckOSVariant(result.payload, os_name)


1060
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
def _CheckNodeHasSecondaryIP(lu, node, secondary_ip, prereq):
  """Ensure that a node has the given secondary ip.

  @type lu: L{LogicalUnit}
  @param lu: the LU on behalf of which we make the check
  @type node: string
  @param node: the node to check
  @type secondary_ip: string
  @param secondary_ip: the ip to check
  @type prereq: boolean
  @param prereq: whether to throw a prerequisite or an execute error
  @raise errors.OpPrereqError: if the node doesn't have the ip, and prereq=True
  @raise errors.OpExecError: if the node doesn't have the ip, and prereq=False

  """
  result = lu.rpc.call_node_has_ip_address(node, secondary_ip)
  result.Raise("Failure checking secondary ip on node %s" % node,
               prereq=prereq, ecode=errors.ECODE_ENVIRON)
  if not result.payload:
    msg = ("Node claims it doesn't have the secondary ip you gave (%s),"
           " please fix and re-run this command" % secondary_ip)
    if prereq:
      raise errors.OpPrereqError(msg, errors.ECODE_ENVIRON)
    else:
      raise errors.OpExecError(msg)


1087
1088
1089
1090
1091
1092
1093
def _GetClusterDomainSecret():
  """Reads the cluster domain secret.

  """
  return utils.ReadOneLineFile(constants.CLUSTER_DOMAIN_SECRET_FILE,
                               strict=True)

1094

1095
1096
1097
1098
1099
1100
1101
1102
1103
1104
1105
1106
def _CheckInstanceState(lu, instance, req_states, msg=None):
  """Ensure that an instance is in one of the required states.

  @param lu: the LU on behalf of which we make the check
  @param instance: the instance to check
  @param msg: if passed, should be a message to replace the default one
  @raise errors.OpPrereqError: if the instance is not in the required state

  """
  if msg is None:
    msg = "can't use instance from outside %s states" % ", ".join(req_states)
  if instance.admin_state not in req_states:
1107
1108
    raise errors.OpPrereqError("Instance '%s' is marked to be %s, %s" %
                               (instance.name, instance.admin_state, msg),
1109
                               errors.ECODE_STATE)
1110

1111
1112
  if constants.ADMINST_UP not in req_states:
    pnode = instance.primary_node
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
    if not lu.cfg.GetNodeInfo(pnode).offline:
      ins_l = lu.rpc.call_instance_list([pnode], [instance.hypervisor])[pnode]
      ins_l.Raise("Can't contact node %s for instance information" % pnode,
                  prereq=True, ecode=errors.ECODE_ENVIRON)
      if instance.name in ins_l.payload:
        raise errors.OpPrereqError("Instance %s is running, %s" %
                                   (instance.name, msg), errors.ECODE_STATE)
    else:
      lu.LogWarning("Primary node offline, ignoring check that instance"
                     " is down")
1123
1124


1125
def _ComputeMinMaxSpec(name, qualifier, ipolicy, value):
1126
  """Computes if value is in the desired range.
1127
1128

  @param name: name of the parameter for which we perform the check
1129
1130
  @param qualifier: a qualifier used in the error message (e.g. 'disk/1',
      not just 'disk')
1131
1132
1133
1134
1135
1136
1137
1138
  @param ipolicy: dictionary containing min, max and std values
  @param value: actual value that we want to use
  @return: None or element not meeting the criteria


  """
  if value in [None, constants.VALUE_AUTO]:
    return None
1139
1140
  max_v = ipolicy[constants.ISPECS_MAX].get(name, value)
  min_v = ipolicy[constants.ISPECS_MIN].get(name, value)
1141
  if value > max_v or min_v > value:
1142
1143
1144
1145
    if qualifier:
      fqn = "%s/%s" % (name, qualifier)
    else:
      fqn = name
1146
    return ("%s value %s is not in range [%s, %s]" %
1147
            (fqn, value, min_v, max_v))
1148
1149
1150
  return None


1151
def _ComputeIPolicySpecViolation(ipolicy, mem_size, cpu_count, disk_count,
1152
                                 nic_count, disk_sizes, spindle_use,
1153
                                 _compute_fn=_ComputeMinMaxSpec):
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
1167
  """Verifies ipolicy against provided specs.

  @type ipolicy: dict
  @param ipolicy: The ipolicy
  @type mem_size: int
  @param mem_size: The memory size
  @type cpu_count: int
  @param cpu_count: Used cpu cores
  @type disk_count: int
  @param disk_count: Number of disks used
  @type nic_count: int
  @param nic_count: Number of nics used
  @type disk_sizes: list of ints
  @param disk_sizes: Disk sizes of used disk (len must match C{disk_count})
1168
1169
  @type spindle_use: int
  @param spindle_use: The number of spindles this instance uses
1170
  @param _compute_fn: The compute function (unittest only)
1171
1172
1173
1174
1175
1176
  @return: A list of violations, or an empty list of no violations are found

  """
  assert disk_count == len(disk_sizes)

  test_settings = [
1177
1178
1179
1180
1181
1182
1183
    (constants.ISPEC_MEM_SIZE, "", mem_size),
    (constants.ISPEC_CPU_COUNT, "", cpu_count),
    (constants.ISPEC_DISK_COUNT, "", disk_count),
    (constants.ISPEC_NIC_COUNT, "", nic_count),
    (constants.ISPEC_SPINDLE_USE, "", spindle_use),
    ] + [(constants.ISPEC_DISK_SIZE, str(idx), d)
         for idx, d in enumerate(disk_sizes)]
1184
1185

  return filter(None,
1186
1187
                (_compute_fn(name, qualifier, ipolicy, value)
                 for (name, qualifier, value) in test_settings))
1188
1189
1190
1191
1192
1193
1194
1195
1196
1197
1198
1199
1200
1201
1202
1203


def _ComputeIPolicyInstanceViolation(ipolicy, instance,
                                     _compute_fn=_ComputeIPolicySpecViolation):
  """Compute if instance meets the specs of ipolicy.

  @type ipolicy: dict
  @param ipolicy: The ipolicy to verify against
  @type instance: L{objects.Instance}
  @param instance: The instance to verify
  @param _compute_fn: The function to verify ipolicy (unittest only)
  @see: L{_ComputeIPolicySpecViolation}

  """
  mem_size = instance.beparams.get(constants.BE_MAXMEM, None)
  cpu_count = instance.beparams.get(constants.BE_VCPUS, None)
1204
  spindle_use = instance.beparams.get(constants.BE_SPINDLE_USE, None)
1205
1206
1207
1208
1209
  disk_count = len(instance.disks)
  disk_sizes = [disk.size for disk in instance.disks]
  nic_count = len(instance.nics)

  return _compute_fn(ipolicy, mem_size, cpu_count, disk_count, nic_count,
1210
                     disk_sizes, spindle_use)
1211
1212


Iustin Pop's avatar
Iustin Pop committed
1213
1214
def _ComputeIPolicyInstanceSpecViolation(
  ipolicy, instance_spec, _compute_fn=_ComputeIPolicySpecViolation):
1215
1216
1217
1218
1219
1220
1221
1222
1223
1224
1225
1226
1227
1228
1229
  """Compute if instance specs meets the specs of ipolicy.

  @type ipolicy: dict
  @param ipolicy: The ipolicy to verify against
  @param instance_spec: dict
  @param instance_spec: The instance spec to verify
  @param _compute_fn: The function to verify ipolicy (unittest only)
  @see: L{_ComputeIPolicySpecViolation}

  """
  mem_size = instance_spec.get(constants.ISPEC_MEM_SIZE, None)
  cpu_count = instance_spec.get(constants.ISPEC_CPU_COUNT, None)
  disk_count = instance_spec.get(constants.ISPEC_DISK_COUNT, 0)
  disk_sizes = instance_spec.get(constants.ISPEC_DISK_SIZE, [])
  nic_count = instance_spec.get(constants.ISPEC_NIC_COUNT, 0)
1230
  spindle_use = instance_spec.get(constants.ISPEC_SPINDLE_USE, None)
1231
1232

  return _compute_fn(ipolicy, mem_size, cpu_count, disk_count, nic_count,
1233
                     disk_sizes, spindle_use)
1234
1235
1236
1237
1238
1239
1240
1241
1242
1243
1244
1245
1246
1247
1248
1249
1250
1251
1252
1253
1254
1255
1256
1257
1258
1259
1260
1261
1262
1263
1264
1265
1266


def _ComputeIPolicyNodeViolation(ipolicy, instance, current_group,
                                 target_group,
                                 _compute_fn=_ComputeIPolicyInstanceViolation):
  """Compute if instance meets the specs of the new target group.

  @param ipolicy: The ipolicy to verify
  @param instance: The instance object to verify
  @param current_group: The current group of the instance
  @param target_group: The new group of the instance
  @param _compute_fn: The function to verify ipolicy (unittest only)
  @see: L{_ComputeIPolicySpecViolation}

  """
  if current_group == target_group:
    return []
  else:
    return _compute_fn(ipolicy, instance)


def _CheckTargetNodeIPolicy(lu, ipolicy, instance, node, ignore=False,
                            _compute_fn=_ComputeIPolicyNodeViolation):
  """Checks that the target node is correct in terms of instance policy.

  @param ipolicy: The ipolicy to verify
  @param instance: The instance object to verify
  @param node: The new node to relocate
  @param ignore: Ignore violations of the ipolicy
  @param _compute_fn: The function to verify ipolicy (unittest only)
  @see: L{_ComputeIPolicySpecViolation}

  """
1267
1268
  primary_node = lu.cfg.GetNodeInfo(instance.primary_node)
  res = _compute_fn(ipolicy, instance, primary_node.group, node.group)
1269
1270
1271
1272
1273
1274
1275
1276
1277
1278

  if res:
    msg = ("Instance does not meet target node group's (%s) instance"
           " policy: %s") % (node.group, utils.CommaJoin(res))
    if ignore:
      lu.LogWarning(msg)
    else:
      raise errors.OpPrereqError(msg, errors.ECODE_INVAL)


1279
1280
1281
1282
1283
1284
def _ComputeNewInstanceViolations(old_ipolicy, new_ipolicy, instances):
  """Computes a set of any instances that would violate the new ipolicy.

  @param old_ipolicy: The current (still in-place) ipolicy
  @param new_ipolicy: The new (to become) ipolicy
  @param instances: List of instances to verify
1285
1286
  @return: A list of instances which violates the new ipolicy but
      did not before
1287
1288

  """
1289
1290
  return (_ComputeViolatingInstances(new_ipolicy, instances) -
          _ComputeViolatingInstances(old_ipolicy, instances))
1291
1292


1293
1294
1295
1296
1297
1298
1299
1300
1301
1302
1303
1304
1305
1306
1307
1308
1309
1310
1311
1312
1313
1314
1315
1316
1317
1318
1319
def _ExpandItemName(fn, name, kind):
  """Expand an item name.

  @param fn: the function to use for expansion
  @param name: requested item name
  @param kind: text description ('Node' or 'Instance')
  @return: the resolved (full) name
  @raise errors.OpPrereqError: if the item is not found

  """
  full_name = fn(name)
  if full_name is None:
    raise errors.OpPrereqError("%s '%s' not known" % (kind, name),
                               errors.ECODE_NOENT)
  return full_name


def _ExpandNodeName(cfg, name):
  """Wrapper over L{_ExpandItemName} for nodes."""
  return _ExpandItemName(cfg.ExpandNodeName, name, "Node")


def _ExpandInstanceName(cfg, name):
  """Wrapper over L{_ExpandItemName} for instance."""
  return _ExpandItemName(cfg.ExpandInstanceName, name, "Instance")


1320
def _BuildInstanceHookEnv(name, primary_node, secondary_nodes, os_type, status,
1321
                          minmem, maxmem, vcpus, nics, disk_template, disks,
1322
                          bep, hvp, hypervisor_name, tags):
1323
1324
1325
1326
1327
1328
1329
1330
1331
1332
1333
1334
  """Builds instance related env variables for hooks

  This builds the hook environment from individual variables.

  @type name: string
  @param name: the name of the instance
  @type primary_node: string
  @param primary_node: the name of the instance's primary node
  @type secondary_nodes: list
  @param secondary_nodes: list of secondary nodes as strings
  @type os_type: string
  @param os_type: the name of the instance's OS
1335
1336
  @type status: string
  @param status: the desired status of the instance
1337
1338
1339
1340
  @type minmem: string
  @param minmem: the minimum memory size of the instance
  @type maxmem: string
  @param maxmem: the maximum memory size of the instance
1341
1342
1343
  @type vcpus: string
  @param vcpus: the count of VCPUs the instance has
  @type nics: list
1344
1345
  @param nics: list of tuples (ip, mac, mode, link) representing
      the NICs the instance has
Iustin Pop's avatar
Iustin Pop committed
1346
  @type disk_template: string
Michael Hanselmann's avatar
Michael Hanselmann committed
1347
  @param disk_template: the disk template of the instance
Iustin Pop's avatar
Iustin Pop committed
1348
1349
  @type disks: list
  @param disks: the list of (size, mode) pairs
1350
1351
1352
1353
  @type bep: dict
  @param bep: the backend parameters for the instance
  @type hvp: dict
  @param hvp: the hypervisor parameters for the instance
Michael Hanselmann's avatar
Michael Hanselmann committed
1354
1355
  @type hypervisor_name: string
  @param hypervisor_name: the hypervisor for the instance
1356
1357
  @type tags: list
  @param tags: list of instance tags as strings
1358
1359
  @rtype: dict
  @return: the hook environment for this instance
1360

1361
1362
  """
  env = {
1363
    "OP_TARGET": name,
1364
1365
1366
    "INSTANCE_NAME": name,
    "INSTANCE_PRIMARY": primary_node,
    "INSTANCE_SECONDARIES": " ".join(secondary_nodes),
1367
    "INSTANCE_OS_TYPE": os_type,
1368
    "INSTANCE_STATUS": status,
1369
1370
1371
1372
    "INSTANCE_MINMEM": minmem,
    "INSTANCE_MAXMEM": maxmem,
    # TODO(2.7) remove deprecated "memory" value
    "INSTANCE_MEMORY": maxmem,
1373
    "INSTANCE_VCPUS": vcpus,
Iustin Pop's avatar
Iustin Pop committed
1374
    "INSTANCE_DISK_TEMPLATE": disk_template,
Michael Hanselmann's avatar
Michael Hanselmann committed
1375
    "INSTANCE_HYPERVISOR": hypervisor_name,
1376
1377
1378
  }
  if nics:
    nic_count = len(nics)
1379
    for idx, (ip, mac, mode, link) in enumerate(nics):
1380
1381
1382
      if ip is None:
        ip = ""
      env["INSTANCE_NIC%d_IP" % idx] = ip
Iustin Pop's avatar
Iustin Pop committed
1383
      env["INSTANCE_NIC%d_MAC" % idx] = mac
1384
1385
1386
1387
      env["INSTANCE_NIC%d_MODE" % idx] = mode
      env["INSTANCE_NIC%d_LINK" % idx] = link
      if mode == constants.NIC_MODE_BRIDGED:
        env["INSTANCE_NIC%d_BRIDGE" % idx] = link
1388
1389
1390
1391
1392
  else:
    nic_count = 0

  env["INSTANCE_NIC_COUNT"] = nic_count

Iustin Pop's avatar
Iustin Pop committed
1393
1394
1395
1396
1397
1398
1399
1400
1401
1402
  if disks:
    disk_count = len(disks)
    for idx, (size, mode) in enumerate(disks):
      env["INSTANCE_DISK%d_SIZE" % idx] = size
      env["INSTANCE_DISK%d_MODE" % idx] = mode
  else:
    disk_count = 0

  env["INSTANCE_DISK_COUNT"] = disk_count

1403
1404
1405
1406
1407
  if not tags:
    tags = []

  env["INSTANCE_TAGS"] = " ".join(tags)

1408
1409
1410
1411
  for source, kind in [(bep, "BE"), (hvp, "HV")]:
    for key, value in source.items():
      env["INSTANCE_%s_%s" % (kind, key)] = value

1412
1413
  return env

1414

1415
def _NICListToTuple(lu, nics):
1416
1417
  """Build a list of nic information tuples.

1418
  This list is suitable to be passed to _BuildInstanceHookEnv or as a return
1419
  value in LUInstanceQueryData.
1420
1421
1422
1423
1424
1425
1426
1427

  @type lu:  L{LogicalUnit}
  @param lu: the logical unit on whose behalf we execute
  @type nics: list of L{objects.NIC}
  @param nics: list of nics to convert to hooks tuples

  """
  hooks_nics = []
1428
  cluster = lu.cfg.GetClusterInfo()
1429
1430
1431
  for nic in nics:
    ip = nic.ip
    mac = nic.mac
1432
    filled_params = cluster.SimpleFillNIC(nic.nicparams)
1433
1434
1435
1436
    mode = filled_params[constants.NIC_MODE]
    link = filled_params[constants.NIC_LINK]
    hooks_nics.append((ip, mac, mode, link))
  return hooks_nics
1437

1438

Iustin Pop's avatar
Iustin Pop committed
1439
def _BuildInstanceHookEnvByObject(lu, instance, override=None):
1440
1441
  """Builds instance related env variables for hooks from an object.

1442
1443
1444
1445
1446
1447
1448
1449
1450
1451
1452
  @type lu: L{LogicalUnit}
  @param lu: the logical unit on whose behalf we execute
  @type instance: L{objects.Instance}
  @param instance: the instance for which we should build the
      environment
  @type override: dict
  @param override: dictionary with key/values that will override
      our values
  @rtype: dict
  @return: the hook environment dictionary

1453
  """
1454
1455
1456
  cluster = lu.cfg.GetClusterInfo()
  bep = cluster.FillBE(instance)
  hvp = cluster.FillHV(instance)
1457
  args = {
Iustin Pop's avatar
Iustin Pop committed
1458
1459
1460
1461
    "name": instance.name,
    "primary_node": instance.primary_node,
    "secondary_nodes": instance.secondary_nodes,
    "os_type": instance.os,
1462
    "status": instance.admin_state,
1463
1464
    "maxmem": bep[constants.BE_MAXMEM],
    "minmem": bep[constants.BE_MINMEM],
Iustin Pop's avatar
Iustin Pop committed
1465
1466
1467
1468
1469
1470
1471
1472
    "vcpus": bep[constants.BE_VCPUS],
    "nics": _NICListToTuple(lu, instance.nics),
    "disk_template": instance.disk_template,
    "disks": [(disk.size, disk.mode) for disk in instance.disks],
    "bep": bep,
    "hvp": hvp,
    "hypervisor_name": instance.hypervisor,
    "tags": instance.tags,
1473
1474
1475
  }
  if override:
    args.update(override)
1476
  return _BuildInstanceHookEnv(**args) # pylint: disable=W0142
1477
1478


Guido Trotter's avatar
Guido Trotter committed
1479
def _AdjustCandidatePool(lu, exceptions):
1480
1481
1482
  """Adjust the candidate pool after node operations.

  """
Guido Trotter's avatar
Guido Trotter committed
1483
  mod_list = lu.cfg.MaintainCandidatePool(exceptions)
1484
1485
  if mod_list:
    lu.LogInfo("Promoted nodes to master candidate role: %s",
1486
               utils.CommaJoin(node.name for node in mod_list))
1487
1488
    for name in mod_list:
      lu.context.ReaddNode(name)
Guido Trotter's avatar
Guido Trotter committed
1489
  mc_now, mc_max, _ = lu.cfg.GetMasterCandidateStats(exceptions)
1490
1491
1492
1493
1494
  if mc_now > mc_max:
    lu.LogInfo("Note: more nodes are candidates (%d) than desired (%d)" %
               (mc_now, mc_max))


1495
1496
1497
1498
1499
1500
1501
1502
1503
1504
1505
def _DecideSelfPromotion(lu, exceptions=None):
  """Decide whether I should promote myself as a master candidate.

  """
  cp_size = lu.cfg.GetClusterInfo().candidate_pool_size
  mc_now, mc_should, _ = lu.cfg.GetMasterCandidateStats(exceptions)
  # the new node will increase mc_max with one, so:
  mc_should = min(mc_should + 1, cp_size)
  return mc_now < mc_should


1506
def _CalculateGroupIPolicy(cluster, group):
1507
1508
1509
1510
1511
1512
  """Calculate instance policy for group.

  """
  return cluster.SimpleFillIPolicy(group.ipolicy)


1513
1514
1515
1516
1517
1518
1519
1520
1521
1522
1523
1524
1525
def _ComputeViolatingInstances(ipolicy, instances):
  """Computes a set of instances who violates given ipolicy.

  @param ipolicy: The ipolicy to verify
  @type instances: object.Instance
  @param instances: List of instances to verify
  @return: A frozenset of instance names violating the ipolicy

  """
  return frozenset([inst.name for inst in instances
                    if _ComputeIPolicyInstanceViolation(ipolicy, inst)])


1526
def _CheckNicsBridgesExist(lu, target_nics, target_node):
1527
1528
1529
  """Check that the brigdes needed by a list of nics exist.

  """
1530
1531
  cluster = lu.cfg.GetClusterInfo()
  paramslist = [cluster.SimpleFillNIC(nic.nicparams) for nic in target_nics]
1532
1533
1534
1535
  brlist = [params[constants.NIC_LINK] for params in paramslist
            if params[constants.NIC_MODE] == constants.NIC_MODE_BRIDGED]
  if brlist:
    result = lu.rpc.call_bridges_exist(target_node, brlist)
1536
    result.Raise("Error checking bridges on destination node '%s'" %
1537
                 target_node, prereq=True, ecode=errors.ECODE_ENVIRON)
1538
1539
1540


def _CheckInstanceBridgesExist(lu, instance, node=None):