Statistics
| Branch: | Tag: | Revision:

root / lib / locking.py @ 4b5e40a5

History | View | Annotate | Download (40.2 kB)

1 162c1c1f Guido Trotter
#
2 162c1c1f Guido Trotter
#
3 162c1c1f Guido Trotter
4 162c1c1f Guido Trotter
# Copyright (C) 2006, 2007 Google Inc.
5 162c1c1f Guido Trotter
#
6 162c1c1f Guido Trotter
# This program is free software; you can redistribute it and/or modify
7 162c1c1f Guido Trotter
# it under the terms of the GNU General Public License as published by
8 162c1c1f Guido Trotter
# the Free Software Foundation; either version 2 of the License, or
9 162c1c1f Guido Trotter
# (at your option) any later version.
10 162c1c1f Guido Trotter
#
11 162c1c1f Guido Trotter
# This program is distributed in the hope that it will be useful, but
12 162c1c1f Guido Trotter
# WITHOUT ANY WARRANTY; without even the implied warranty of
13 162c1c1f Guido Trotter
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14 162c1c1f Guido Trotter
# General Public License for more details.
15 162c1c1f Guido Trotter
#
16 162c1c1f Guido Trotter
# You should have received a copy of the GNU General Public License
17 162c1c1f Guido Trotter
# along with this program; if not, write to the Free Software
18 162c1c1f Guido Trotter
# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
19 162c1c1f Guido Trotter
# 02110-1301, USA.
20 162c1c1f Guido Trotter
21 162c1c1f Guido Trotter
"""Module implementing the Ganeti locking code."""
22 162c1c1f Guido Trotter
23 c70d2d9b Iustin Pop
# pylint: disable-msg=W0212
24 c70d2d9b Iustin Pop
25 c70d2d9b Iustin Pop
# W0212 since e.g. LockSet methods use (a lot) the internals of
26 c70d2d9b Iustin Pop
# SharedLock
27 162c1c1f Guido Trotter
28 d76167a5 Michael Hanselmann
import os
29 d76167a5 Michael Hanselmann
import select
30 162c1c1f Guido Trotter
import threading
31 d76167a5 Michael Hanselmann
import time
32 d76167a5 Michael Hanselmann
import errno
33 84e344d4 Michael Hanselmann
34 a95fd5d7 Guido Trotter
from ganeti import errors
35 7ee7c0c7 Guido Trotter
from ganeti import utils
36 cea881e5 Michael Hanselmann
from ganeti import compat
37 162c1c1f Guido Trotter
38 162c1c1f Guido Trotter
39 dbb11e8b Guido Trotter
def ssynchronized(mylock, shared=0):
40 42a999d1 Guido Trotter
  """Shared Synchronization decorator.
41 42a999d1 Guido Trotter

42 42a999d1 Guido Trotter
  Calls the function holding the given lock, either in exclusive or shared
43 42a999d1 Guido Trotter
  mode. It requires the passed lock to be a SharedLock (or support its
44 42a999d1 Guido Trotter
  semantics).
45 42a999d1 Guido Trotter

46 dbb11e8b Guido Trotter
  @type mylock: lockable object or string
47 dbb11e8b Guido Trotter
  @param mylock: lock to acquire or class member name of the lock to acquire
48 dbb11e8b Guido Trotter

49 42a999d1 Guido Trotter
  """
50 42a999d1 Guido Trotter
  def wrap(fn):
51 42a999d1 Guido Trotter
    def sync_function(*args, **kwargs):
52 dbb11e8b Guido Trotter
      if isinstance(mylock, basestring):
53 dbb11e8b Guido Trotter
        assert args, "cannot ssynchronize on non-class method: self not found"
54 dbb11e8b Guido Trotter
        # args[0] is "self"
55 dbb11e8b Guido Trotter
        lock = getattr(args[0], mylock)
56 dbb11e8b Guido Trotter
      else:
57 dbb11e8b Guido Trotter
        lock = mylock
58 42a999d1 Guido Trotter
      lock.acquire(shared=shared)
59 42a999d1 Guido Trotter
      try:
60 42a999d1 Guido Trotter
        return fn(*args, **kwargs)
61 42a999d1 Guido Trotter
      finally:
62 42a999d1 Guido Trotter
        lock.release()
63 42a999d1 Guido Trotter
    return sync_function
64 42a999d1 Guido Trotter
  return wrap
65 42a999d1 Guido Trotter
66 42a999d1 Guido Trotter
67 7e8841bd Michael Hanselmann
class RunningTimeout(object):
68 7e8841bd Michael Hanselmann
  """Class to calculate remaining timeout when doing several operations.
69 7e8841bd Michael Hanselmann

70 7e8841bd Michael Hanselmann
  """
71 7e8841bd Michael Hanselmann
  __slots__ = [
72 7e8841bd Michael Hanselmann
    "_allow_negative",
73 7e8841bd Michael Hanselmann
    "_start_time",
74 7e8841bd Michael Hanselmann
    "_time_fn",
75 7e8841bd Michael Hanselmann
    "_timeout",
76 7e8841bd Michael Hanselmann
    ]
77 7e8841bd Michael Hanselmann
78 7e8841bd Michael Hanselmann
  def __init__(self, timeout, allow_negative, _time_fn=time.time):
79 7e8841bd Michael Hanselmann
    """Initializes this class.
80 7e8841bd Michael Hanselmann

81 7e8841bd Michael Hanselmann
    @type timeout: float
82 7e8841bd Michael Hanselmann
    @param timeout: Timeout duration
83 7e8841bd Michael Hanselmann
    @type allow_negative: bool
84 7e8841bd Michael Hanselmann
    @param allow_negative: Whether to return values below zero
85 7e8841bd Michael Hanselmann
    @param _time_fn: Time function for unittests
86 7e8841bd Michael Hanselmann

87 7e8841bd Michael Hanselmann
    """
88 7e8841bd Michael Hanselmann
    object.__init__(self)
89 7e8841bd Michael Hanselmann
90 7e8841bd Michael Hanselmann
    if timeout is not None and timeout < 0.0:
91 7e8841bd Michael Hanselmann
      raise ValueError("Timeout must not be negative")
92 7e8841bd Michael Hanselmann
93 7e8841bd Michael Hanselmann
    self._timeout = timeout
94 7e8841bd Michael Hanselmann
    self._allow_negative = allow_negative
95 7e8841bd Michael Hanselmann
    self._time_fn = _time_fn
96 7e8841bd Michael Hanselmann
97 7e8841bd Michael Hanselmann
    self._start_time = None
98 7e8841bd Michael Hanselmann
99 7e8841bd Michael Hanselmann
  def Remaining(self):
100 7e8841bd Michael Hanselmann
    """Returns the remaining timeout.
101 7e8841bd Michael Hanselmann

102 7e8841bd Michael Hanselmann
    """
103 7e8841bd Michael Hanselmann
    if self._timeout is None:
104 7e8841bd Michael Hanselmann
      return None
105 7e8841bd Michael Hanselmann
106 7e8841bd Michael Hanselmann
    # Get start time on first calculation
107 7e8841bd Michael Hanselmann
    if self._start_time is None:
108 7e8841bd Michael Hanselmann
      self._start_time = self._time_fn()
109 7e8841bd Michael Hanselmann
110 7e8841bd Michael Hanselmann
    # Calculate remaining time
111 7e8841bd Michael Hanselmann
    remaining_timeout = self._start_time + self._timeout - self._time_fn()
112 7e8841bd Michael Hanselmann
113 7e8841bd Michael Hanselmann
    if not self._allow_negative:
114 7e8841bd Michael Hanselmann
      # Ensure timeout is always >= 0
115 7e8841bd Michael Hanselmann
      return max(0.0, remaining_timeout)
116 7e8841bd Michael Hanselmann
117 7e8841bd Michael Hanselmann
    return remaining_timeout
118 7e8841bd Michael Hanselmann
119 7e8841bd Michael Hanselmann
120 34cb5617 Guido Trotter
class _SingleNotifyPipeConditionWaiter(object):
121 34cb5617 Guido Trotter
  """Helper class for SingleNotifyPipeCondition
122 d76167a5 Michael Hanselmann

123 d76167a5 Michael Hanselmann
  """
124 d76167a5 Michael Hanselmann
  __slots__ = [
125 d76167a5 Michael Hanselmann
    "_fd",
126 d76167a5 Michael Hanselmann
    "_poller",
127 d76167a5 Michael Hanselmann
    ]
128 d76167a5 Michael Hanselmann
129 34cb5617 Guido Trotter
  def __init__(self, poller, fd):
130 34cb5617 Guido Trotter
    """Constructor for _SingleNotifyPipeConditionWaiter
131 d76167a5 Michael Hanselmann

132 d76167a5 Michael Hanselmann
    @type poller: select.poll
133 d76167a5 Michael Hanselmann
    @param poller: Poller object
134 d76167a5 Michael Hanselmann
    @type fd: int
135 d76167a5 Michael Hanselmann
    @param fd: File descriptor to wait for
136 d76167a5 Michael Hanselmann

137 d76167a5 Michael Hanselmann
    """
138 d76167a5 Michael Hanselmann
    object.__init__(self)
139 d76167a5 Michael Hanselmann
    self._poller = poller
140 d76167a5 Michael Hanselmann
    self._fd = fd
141 d76167a5 Michael Hanselmann
142 d76167a5 Michael Hanselmann
  def __call__(self, timeout):
143 d76167a5 Michael Hanselmann
    """Wait for something to happen on the pipe.
144 d76167a5 Michael Hanselmann

145 d76167a5 Michael Hanselmann
    @type timeout: float or None
146 d76167a5 Michael Hanselmann
    @param timeout: Timeout for waiting (can be None)
147 d76167a5 Michael Hanselmann

148 d76167a5 Michael Hanselmann
    """
149 f4e673fb Michael Hanselmann
    running_timeout = RunningTimeout(timeout, True)
150 f4e673fb Michael Hanselmann
151 f4e673fb Michael Hanselmann
    while True:
152 f4e673fb Michael Hanselmann
      remaining_time = running_timeout.Remaining()
153 f4e673fb Michael Hanselmann
154 b44b0141 Michael Hanselmann
      if remaining_time is not None:
155 b44b0141 Michael Hanselmann
        if remaining_time < 0.0:
156 b44b0141 Michael Hanselmann
          break
157 d76167a5 Michael Hanselmann
158 413b7472 Michael Hanselmann
        # Our calculation uses seconds, poll() wants milliseconds
159 b44b0141 Michael Hanselmann
        remaining_time *= 1000
160 d76167a5 Michael Hanselmann
161 d76167a5 Michael Hanselmann
      try:
162 d76167a5 Michael Hanselmann
        result = self._poller.poll(remaining_time)
163 d76167a5 Michael Hanselmann
      except EnvironmentError, err:
164 d76167a5 Michael Hanselmann
        if err.errno != errno.EINTR:
165 d76167a5 Michael Hanselmann
          raise
166 d76167a5 Michael Hanselmann
        result = None
167 d76167a5 Michael Hanselmann
168 d76167a5 Michael Hanselmann
      # Check whether we were notified
169 d76167a5 Michael Hanselmann
      if result and result[0][0] == self._fd:
170 d76167a5 Michael Hanselmann
        break
171 d76167a5 Michael Hanselmann
172 d76167a5 Michael Hanselmann
173 2419060d Guido Trotter
class _BaseCondition(object):
174 2419060d Guido Trotter
  """Base class containing common code for conditions.
175 2419060d Guido Trotter

176 2419060d Guido Trotter
  Some of this code is taken from python's threading module.
177 2419060d Guido Trotter

178 2419060d Guido Trotter
  """
179 2419060d Guido Trotter
  __slots__ = [
180 2419060d Guido Trotter
    "_lock",
181 2419060d Guido Trotter
    "acquire",
182 2419060d Guido Trotter
    "release",
183 7f890059 Guido Trotter
    "_is_owned",
184 7f890059 Guido Trotter
    "_acquire_restore",
185 7f890059 Guido Trotter
    "_release_save",
186 2419060d Guido Trotter
    ]
187 2419060d Guido Trotter
188 2419060d Guido Trotter
  def __init__(self, lock):
189 2419060d Guido Trotter
    """Constructor for _BaseCondition.
190 2419060d Guido Trotter

191 69b99987 Michael Hanselmann
    @type lock: threading.Lock
192 2419060d Guido Trotter
    @param lock: condition base lock
193 2419060d Guido Trotter

194 2419060d Guido Trotter
    """
195 2419060d Guido Trotter
    object.__init__(self)
196 2419060d Guido Trotter
197 7f890059 Guido Trotter
    try:
198 7f890059 Guido Trotter
      self._release_save = lock._release_save
199 7f890059 Guido Trotter
    except AttributeError:
200 7f890059 Guido Trotter
      self._release_save = self._base_release_save
201 7f890059 Guido Trotter
    try:
202 7f890059 Guido Trotter
      self._acquire_restore = lock._acquire_restore
203 7f890059 Guido Trotter
    except AttributeError:
204 7f890059 Guido Trotter
      self._acquire_restore = self._base_acquire_restore
205 7f890059 Guido Trotter
    try:
206 7f890059 Guido Trotter
      self._is_owned = lock._is_owned
207 7f890059 Guido Trotter
    except AttributeError:
208 7f890059 Guido Trotter
      self._is_owned = self._base_is_owned
209 2419060d Guido Trotter
210 2419060d Guido Trotter
    self._lock = lock
211 2419060d Guido Trotter
212 2419060d Guido Trotter
    # Export the lock's acquire() and release() methods
213 2419060d Guido Trotter
    self.acquire = lock.acquire
214 2419060d Guido Trotter
    self.release = lock.release
215 2419060d Guido Trotter
216 7f890059 Guido Trotter
  def _base_is_owned(self):
217 2419060d Guido Trotter
    """Check whether lock is owned by current thread.
218 2419060d Guido Trotter

219 2419060d Guido Trotter
    """
220 2419060d Guido Trotter
    if self._lock.acquire(0):
221 2419060d Guido Trotter
      self._lock.release()
222 2419060d Guido Trotter
      return False
223 2419060d Guido Trotter
    return True
224 2419060d Guido Trotter
225 7f890059 Guido Trotter
  def _base_release_save(self):
226 7f890059 Guido Trotter
    self._lock.release()
227 7f890059 Guido Trotter
228 7f890059 Guido Trotter
  def _base_acquire_restore(self, _):
229 7f890059 Guido Trotter
    self._lock.acquire()
230 7f890059 Guido Trotter
231 2419060d Guido Trotter
  def _check_owned(self):
232 2419060d Guido Trotter
    """Raise an exception if the current thread doesn't own the lock.
233 2419060d Guido Trotter

234 2419060d Guido Trotter
    """
235 2419060d Guido Trotter
    if not self._is_owned():
236 2419060d Guido Trotter
      raise RuntimeError("cannot work with un-aquired lock")
237 2419060d Guido Trotter
238 2419060d Guido Trotter
239 34cb5617 Guido Trotter
class SingleNotifyPipeCondition(_BaseCondition):
240 34cb5617 Guido Trotter
  """Condition which can only be notified once.
241 d76167a5 Michael Hanselmann

242 34cb5617 Guido Trotter
  This condition class uses pipes and poll, internally, to be able to wait for
243 34cb5617 Guido Trotter
  notification with a timeout, without resorting to polling. It is almost
244 34cb5617 Guido Trotter
  compatible with Python's threading.Condition, with the following differences:
245 34cb5617 Guido Trotter
    - notifyAll can only be called once, and no wait can happen after that
246 34cb5617 Guido Trotter
    - notify is not supported, only notifyAll
247 d76167a5 Michael Hanselmann

248 d76167a5 Michael Hanselmann
  """
249 34cb5617 Guido Trotter
250 154b9580 Balazs Lecz
  __slots__ = [
251 d76167a5 Michael Hanselmann
    "_poller",
252 d76167a5 Michael Hanselmann
    "_read_fd",
253 d76167a5 Michael Hanselmann
    "_write_fd",
254 d76167a5 Michael Hanselmann
    "_nwaiters",
255 34cb5617 Guido Trotter
    "_notified",
256 d76167a5 Michael Hanselmann
    ]
257 d76167a5 Michael Hanselmann
258 34cb5617 Guido Trotter
  _waiter_class = _SingleNotifyPipeConditionWaiter
259 d76167a5 Michael Hanselmann
260 34cb5617 Guido Trotter
  def __init__(self, lock):
261 34cb5617 Guido Trotter
    """Constructor for SingleNotifyPipeCondition
262 d76167a5 Michael Hanselmann

263 d76167a5 Michael Hanselmann
    """
264 34cb5617 Guido Trotter
    _BaseCondition.__init__(self, lock)
265 d76167a5 Michael Hanselmann
    self._nwaiters = 0
266 34cb5617 Guido Trotter
    self._notified = False
267 34cb5617 Guido Trotter
    self._read_fd = None
268 34cb5617 Guido Trotter
    self._write_fd = None
269 34cb5617 Guido Trotter
    self._poller = None
270 d76167a5 Michael Hanselmann
271 34cb5617 Guido Trotter
  def _check_unnotified(self):
272 69b99987 Michael Hanselmann
    """Throws an exception if already notified.
273 69b99987 Michael Hanselmann

274 69b99987 Michael Hanselmann
    """
275 34cb5617 Guido Trotter
    if self._notified:
276 34cb5617 Guido Trotter
      raise RuntimeError("cannot use already notified condition")
277 d76167a5 Michael Hanselmann
278 34cb5617 Guido Trotter
  def _Cleanup(self):
279 34cb5617 Guido Trotter
    """Cleanup open file descriptors, if any.
280 d76167a5 Michael Hanselmann

281 d76167a5 Michael Hanselmann
    """
282 34cb5617 Guido Trotter
    if self._read_fd is not None:
283 34cb5617 Guido Trotter
      os.close(self._read_fd)
284 34cb5617 Guido Trotter
      self._read_fd = None
285 d76167a5 Michael Hanselmann
286 34cb5617 Guido Trotter
    if self._write_fd is not None:
287 34cb5617 Guido Trotter
      os.close(self._write_fd)
288 34cb5617 Guido Trotter
      self._write_fd = None
289 34cb5617 Guido Trotter
    self._poller = None
290 d76167a5 Michael Hanselmann
291 34cb5617 Guido Trotter
  def wait(self, timeout=None):
292 34cb5617 Guido Trotter
    """Wait for a notification.
293 d76167a5 Michael Hanselmann

294 34cb5617 Guido Trotter
    @type timeout: float or None
295 34cb5617 Guido Trotter
    @param timeout: Waiting timeout (can be None)
296 d76167a5 Michael Hanselmann

297 d76167a5 Michael Hanselmann
    """
298 34cb5617 Guido Trotter
    self._check_owned()
299 34cb5617 Guido Trotter
    self._check_unnotified()
300 d76167a5 Michael Hanselmann
301 34cb5617 Guido Trotter
    self._nwaiters += 1
302 34cb5617 Guido Trotter
    try:
303 34cb5617 Guido Trotter
      if self._poller is None:
304 34cb5617 Guido Trotter
        (self._read_fd, self._write_fd) = os.pipe()
305 34cb5617 Guido Trotter
        self._poller = select.poll()
306 34cb5617 Guido Trotter
        self._poller.register(self._read_fd, select.POLLHUP)
307 d76167a5 Michael Hanselmann
308 34cb5617 Guido Trotter
      wait_fn = self._waiter_class(self._poller, self._read_fd)
309 7f890059 Guido Trotter
      state = self._release_save()
310 34cb5617 Guido Trotter
      try:
311 34cb5617 Guido Trotter
        # Wait for notification
312 34cb5617 Guido Trotter
        wait_fn(timeout)
313 34cb5617 Guido Trotter
      finally:
314 34cb5617 Guido Trotter
        # Re-acquire lock
315 7f890059 Guido Trotter
        self._acquire_restore(state)
316 34cb5617 Guido Trotter
    finally:
317 34cb5617 Guido Trotter
      self._nwaiters -= 1
318 34cb5617 Guido Trotter
      if self._nwaiters == 0:
319 34cb5617 Guido Trotter
        self._Cleanup()
320 d76167a5 Michael Hanselmann
321 7260cfbe Iustin Pop
  def notifyAll(self): # pylint: disable-msg=C0103
322 d76167a5 Michael Hanselmann
    """Close the writing side of the pipe to notify all waiters.
323 d76167a5 Michael Hanselmann

324 d76167a5 Michael Hanselmann
    """
325 34cb5617 Guido Trotter
    self._check_owned()
326 34cb5617 Guido Trotter
    self._check_unnotified()
327 34cb5617 Guido Trotter
    self._notified = True
328 d76167a5 Michael Hanselmann
    if self._write_fd is not None:
329 d76167a5 Michael Hanselmann
      os.close(self._write_fd)
330 d76167a5 Michael Hanselmann
      self._write_fd = None
331 d76167a5 Michael Hanselmann
332 d76167a5 Michael Hanselmann
333 34cb5617 Guido Trotter
class PipeCondition(_BaseCondition):
334 48dabc6a Michael Hanselmann
  """Group-only non-polling condition with counters.
335 48dabc6a Michael Hanselmann

336 48dabc6a Michael Hanselmann
  This condition class uses pipes and poll, internally, to be able to wait for
337 48dabc6a Michael Hanselmann
  notification with a timeout, without resorting to polling. It is almost
338 48dabc6a Michael Hanselmann
  compatible with Python's threading.Condition, but only supports notifyAll and
339 48dabc6a Michael Hanselmann
  non-recursive locks. As an additional features it's able to report whether
340 48dabc6a Michael Hanselmann
  there are any waiting threads.
341 48dabc6a Michael Hanselmann

342 48dabc6a Michael Hanselmann
  """
343 154b9580 Balazs Lecz
  __slots__ = [
344 48dabc6a Michael Hanselmann
    "_nwaiters",
345 34cb5617 Guido Trotter
    "_single_condition",
346 48dabc6a Michael Hanselmann
    ]
347 48dabc6a Michael Hanselmann
348 34cb5617 Guido Trotter
  _single_condition_class = SingleNotifyPipeCondition
349 48dabc6a Michael Hanselmann
350 48dabc6a Michael Hanselmann
  def __init__(self, lock):
351 48dabc6a Michael Hanselmann
    """Initializes this class.
352 48dabc6a Michael Hanselmann

353 48dabc6a Michael Hanselmann
    """
354 2419060d Guido Trotter
    _BaseCondition.__init__(self, lock)
355 48dabc6a Michael Hanselmann
    self._nwaiters = 0
356 34cb5617 Guido Trotter
    self._single_condition = self._single_condition_class(self._lock)
357 48dabc6a Michael Hanselmann
358 48dabc6a Michael Hanselmann
  def wait(self, timeout=None):
359 48dabc6a Michael Hanselmann
    """Wait for a notification.
360 48dabc6a Michael Hanselmann

361 48dabc6a Michael Hanselmann
    @type timeout: float or None
362 48dabc6a Michael Hanselmann
    @param timeout: Waiting timeout (can be None)
363 48dabc6a Michael Hanselmann

364 48dabc6a Michael Hanselmann
    """
365 48dabc6a Michael Hanselmann
    self._check_owned()
366 48dabc6a Michael Hanselmann
367 48dabc6a Michael Hanselmann
    # Keep local reference to the pipe. It could be replaced by another thread
368 48dabc6a Michael Hanselmann
    # notifying while we're waiting.
369 34cb5617 Guido Trotter
    my_condition = self._single_condition
370 48dabc6a Michael Hanselmann
371 48dabc6a Michael Hanselmann
    assert self._nwaiters >= 0
372 48dabc6a Michael Hanselmann
    self._nwaiters += 1
373 48dabc6a Michael Hanselmann
    try:
374 34cb5617 Guido Trotter
      my_condition.wait(timeout)
375 48dabc6a Michael Hanselmann
    finally:
376 48dabc6a Michael Hanselmann
      assert self._nwaiters > 0
377 48dabc6a Michael Hanselmann
      self._nwaiters -= 1
378 48dabc6a Michael Hanselmann
379 7260cfbe Iustin Pop
  def notifyAll(self): # pylint: disable-msg=C0103
380 48dabc6a Michael Hanselmann
    """Notify all currently waiting threads.
381 48dabc6a Michael Hanselmann

382 48dabc6a Michael Hanselmann
    """
383 48dabc6a Michael Hanselmann
    self._check_owned()
384 34cb5617 Guido Trotter
    self._single_condition.notifyAll()
385 34cb5617 Guido Trotter
    self._single_condition = self._single_condition_class(self._lock)
386 48dabc6a Michael Hanselmann
387 48dabc6a Michael Hanselmann
  def has_waiting(self):
388 48dabc6a Michael Hanselmann
    """Returns whether there are active waiters.
389 48dabc6a Michael Hanselmann

390 48dabc6a Michael Hanselmann
    """
391 48dabc6a Michael Hanselmann
    self._check_owned()
392 48dabc6a Michael Hanselmann
393 48dabc6a Michael Hanselmann
    return bool(self._nwaiters)
394 48dabc6a Michael Hanselmann
395 48dabc6a Michael Hanselmann
396 84e344d4 Michael Hanselmann
class SharedLock(object):
397 162c1c1f Guido Trotter
  """Implements a shared lock.
398 162c1c1f Guido Trotter

399 162c1c1f Guido Trotter
  Multiple threads can acquire the lock in a shared way, calling
400 162c1c1f Guido Trotter
  acquire_shared().  In order to acquire the lock in an exclusive way threads
401 162c1c1f Guido Trotter
  can call acquire_exclusive().
402 162c1c1f Guido Trotter

403 162c1c1f Guido Trotter
  The lock prevents starvation but does not guarantee that threads will acquire
404 162c1c1f Guido Trotter
  the shared lock in the order they queued for it, just that they will
405 162c1c1f Guido Trotter
  eventually do so.
406 162c1c1f Guido Trotter

407 162c1c1f Guido Trotter
  """
408 84e344d4 Michael Hanselmann
  __slots__ = [
409 84e344d4 Michael Hanselmann
    "__active_shr_c",
410 84e344d4 Michael Hanselmann
    "__inactive_shr_c",
411 84e344d4 Michael Hanselmann
    "__deleted",
412 84e344d4 Michael Hanselmann
    "__exc",
413 84e344d4 Michael Hanselmann
    "__lock",
414 84e344d4 Michael Hanselmann
    "__pending",
415 84e344d4 Michael Hanselmann
    "__shr",
416 84e344d4 Michael Hanselmann
    ]
417 84e344d4 Michael Hanselmann
418 34cb5617 Guido Trotter
  __condition_class = PipeCondition
419 84e344d4 Michael Hanselmann
420 162c1c1f Guido Trotter
  def __init__(self):
421 84e344d4 Michael Hanselmann
    """Construct a new SharedLock.
422 84e344d4 Michael Hanselmann

423 84e344d4 Michael Hanselmann
    """
424 84e344d4 Michael Hanselmann
    object.__init__(self)
425 84e344d4 Michael Hanselmann
426 84e344d4 Michael Hanselmann
    # Internal lock
427 162c1c1f Guido Trotter
    self.__lock = threading.Lock()
428 162c1c1f Guido Trotter
429 84e344d4 Michael Hanselmann
    # Queue containing waiting acquires
430 84e344d4 Michael Hanselmann
    self.__pending = []
431 84e344d4 Michael Hanselmann
432 84e344d4 Michael Hanselmann
    # Active and inactive conditions for shared locks
433 84e344d4 Michael Hanselmann
    self.__active_shr_c = self.__condition_class(self.__lock)
434 84e344d4 Michael Hanselmann
    self.__inactive_shr_c = self.__condition_class(self.__lock)
435 84e344d4 Michael Hanselmann
436 84e344d4 Michael Hanselmann
    # Current lock holders
437 162c1c1f Guido Trotter
    self.__shr = set()
438 162c1c1f Guido Trotter
    self.__exc = None
439 162c1c1f Guido Trotter
440 a95fd5d7 Guido Trotter
    # is this lock in the deleted state?
441 a95fd5d7 Guido Trotter
    self.__deleted = False
442 a95fd5d7 Guido Trotter
443 84e344d4 Michael Hanselmann
  def __check_deleted(self):
444 84e344d4 Michael Hanselmann
    """Raises an exception if the lock has been deleted.
445 84e344d4 Michael Hanselmann

446 84e344d4 Michael Hanselmann
    """
447 84e344d4 Michael Hanselmann
    if self.__deleted:
448 84e344d4 Michael Hanselmann
      raise errors.LockError("Deleted lock")
449 84e344d4 Michael Hanselmann
450 162c1c1f Guido Trotter
  def __is_sharer(self):
451 84e344d4 Michael Hanselmann
    """Is the current thread sharing the lock at this time?
452 84e344d4 Michael Hanselmann

453 84e344d4 Michael Hanselmann
    """
454 162c1c1f Guido Trotter
    return threading.currentThread() in self.__shr
455 162c1c1f Guido Trotter
456 162c1c1f Guido Trotter
  def __is_exclusive(self):
457 84e344d4 Michael Hanselmann
    """Is the current thread holding the lock exclusively at this time?
458 84e344d4 Michael Hanselmann

459 84e344d4 Michael Hanselmann
    """
460 162c1c1f Guido Trotter
    return threading.currentThread() == self.__exc
461 162c1c1f Guido Trotter
462 162c1c1f Guido Trotter
  def __is_owned(self, shared=-1):
463 162c1c1f Guido Trotter
    """Is the current thread somehow owning the lock at this time?
464 162c1c1f Guido Trotter

465 162c1c1f Guido Trotter
    This is a private version of the function, which presumes you're holding
466 162c1c1f Guido Trotter
    the internal lock.
467 162c1c1f Guido Trotter

468 162c1c1f Guido Trotter
    """
469 162c1c1f Guido Trotter
    if shared < 0:
470 162c1c1f Guido Trotter
      return self.__is_sharer() or self.__is_exclusive()
471 162c1c1f Guido Trotter
    elif shared:
472 162c1c1f Guido Trotter
      return self.__is_sharer()
473 162c1c1f Guido Trotter
    else:
474 162c1c1f Guido Trotter
      return self.__is_exclusive()
475 162c1c1f Guido Trotter
476 162c1c1f Guido Trotter
  def _is_owned(self, shared=-1):
477 162c1c1f Guido Trotter
    """Is the current thread somehow owning the lock at this time?
478 162c1c1f Guido Trotter

479 c41eea6e Iustin Pop
    @param shared:
480 c41eea6e Iustin Pop
        - < 0: check for any type of ownership (default)
481 c41eea6e Iustin Pop
        - 0: check for exclusive ownership
482 c41eea6e Iustin Pop
        - > 0: check for shared ownership
483 162c1c1f Guido Trotter

484 162c1c1f Guido Trotter
    """
485 162c1c1f Guido Trotter
    self.__lock.acquire()
486 162c1c1f Guido Trotter
    try:
487 84e344d4 Michael Hanselmann
      return self.__is_owned(shared=shared)
488 162c1c1f Guido Trotter
    finally:
489 162c1c1f Guido Trotter
      self.__lock.release()
490 162c1c1f Guido Trotter
491 84e344d4 Michael Hanselmann
  def _count_pending(self):
492 84e344d4 Michael Hanselmann
    """Returns the number of pending acquires.
493 a95fd5d7 Guido Trotter

494 84e344d4 Michael Hanselmann
    @rtype: int
495 a95fd5d7 Guido Trotter

496 a95fd5d7 Guido Trotter
    """
497 84e344d4 Michael Hanselmann
    self.__lock.acquire()
498 84e344d4 Michael Hanselmann
    try:
499 84e344d4 Michael Hanselmann
      return len(self.__pending)
500 84e344d4 Michael Hanselmann
    finally:
501 84e344d4 Michael Hanselmann
      self.__lock.release()
502 a95fd5d7 Guido Trotter
503 84e344d4 Michael Hanselmann
  def __do_acquire(self, shared):
504 84e344d4 Michael Hanselmann
    """Actually acquire the lock.
505 84e344d4 Michael Hanselmann

506 84e344d4 Michael Hanselmann
    """
507 84e344d4 Michael Hanselmann
    if shared:
508 84e344d4 Michael Hanselmann
      self.__shr.add(threading.currentThread())
509 84e344d4 Michael Hanselmann
    else:
510 84e344d4 Michael Hanselmann
      self.__exc = threading.currentThread()
511 a95fd5d7 Guido Trotter
512 84e344d4 Michael Hanselmann
  def __can_acquire(self, shared):
513 84e344d4 Michael Hanselmann
    """Determine whether lock can be acquired.
514 a95fd5d7 Guido Trotter

515 a95fd5d7 Guido Trotter
    """
516 84e344d4 Michael Hanselmann
    if shared:
517 84e344d4 Michael Hanselmann
      return self.__exc is None
518 84e344d4 Michael Hanselmann
    else:
519 84e344d4 Michael Hanselmann
      return len(self.__shr) == 0 and self.__exc is None
520 a95fd5d7 Guido Trotter
521 84e344d4 Michael Hanselmann
  def __is_on_top(self, cond):
522 84e344d4 Michael Hanselmann
    """Checks whether the passed condition is on top of the queue.
523 a95fd5d7 Guido Trotter

524 84e344d4 Michael Hanselmann
    The caller must make sure the queue isn't empty.
525 a95fd5d7 Guido Trotter

526 84e344d4 Michael Hanselmann
    """
527 84e344d4 Michael Hanselmann
    return self.__pending[0] == cond
528 4d686df8 Guido Trotter
529 a66bd91b Michael Hanselmann
  def __acquire_unlocked(self, shared, timeout):
530 84e344d4 Michael Hanselmann
    """Acquire a shared lock.
531 9216a9f7 Michael Hanselmann

532 84e344d4 Michael Hanselmann
    @param shared: whether to acquire in shared mode; by default an
533 84e344d4 Michael Hanselmann
        exclusive lock will be acquired
534 84e344d4 Michael Hanselmann
    @param timeout: maximum waiting time before giving up
535 9216a9f7 Michael Hanselmann

536 9216a9f7 Michael Hanselmann
    """
537 84e344d4 Michael Hanselmann
    self.__check_deleted()
538 9216a9f7 Michael Hanselmann
539 84e344d4 Michael Hanselmann
    # We cannot acquire the lock if we already have it
540 84e344d4 Michael Hanselmann
    assert not self.__is_owned(), "double acquire() on a non-recursive lock"
541 84e344d4 Michael Hanselmann
542 84e344d4 Michael Hanselmann
    # Check whether someone else holds the lock or there are pending acquires.
543 84e344d4 Michael Hanselmann
    if not self.__pending and self.__can_acquire(shared):
544 84e344d4 Michael Hanselmann
      # Apparently not, can acquire lock directly.
545 84e344d4 Michael Hanselmann
      self.__do_acquire(shared)
546 84e344d4 Michael Hanselmann
      return True
547 9216a9f7 Michael Hanselmann
548 84e344d4 Michael Hanselmann
    if shared:
549 84e344d4 Michael Hanselmann
      wait_condition = self.__active_shr_c
550 9216a9f7 Michael Hanselmann
551 84e344d4 Michael Hanselmann
      # Check if we're not yet in the queue
552 84e344d4 Michael Hanselmann
      if wait_condition not in self.__pending:
553 84e344d4 Michael Hanselmann
        self.__pending.append(wait_condition)
554 84e344d4 Michael Hanselmann
    else:
555 84e344d4 Michael Hanselmann
      wait_condition = self.__condition_class(self.__lock)
556 84e344d4 Michael Hanselmann
      # Always add to queue
557 84e344d4 Michael Hanselmann
      self.__pending.append(wait_condition)
558 84e344d4 Michael Hanselmann
559 84e344d4 Michael Hanselmann
    try:
560 84e344d4 Michael Hanselmann
      # Wait until we become the topmost acquire in the queue or the timeout
561 84e344d4 Michael Hanselmann
      # expires.
562 84e344d4 Michael Hanselmann
      while not (self.__is_on_top(wait_condition) and
563 84e344d4 Michael Hanselmann
                 self.__can_acquire(shared)):
564 84e344d4 Michael Hanselmann
        # Wait for notification
565 84e344d4 Michael Hanselmann
        wait_condition.wait(timeout)
566 84e344d4 Michael Hanselmann
        self.__check_deleted()
567 84e344d4 Michael Hanselmann
568 84e344d4 Michael Hanselmann
        # A lot of code assumes blocking acquires always succeed. Loop
569 84e344d4 Michael Hanselmann
        # internally for that case.
570 84e344d4 Michael Hanselmann
        if timeout is not None:
571 84e344d4 Michael Hanselmann
          break
572 84e344d4 Michael Hanselmann
573 84e344d4 Michael Hanselmann
      if self.__is_on_top(wait_condition) and self.__can_acquire(shared):
574 84e344d4 Michael Hanselmann
        self.__do_acquire(shared)
575 84e344d4 Michael Hanselmann
        return True
576 9216a9f7 Michael Hanselmann
    finally:
577 84e344d4 Michael Hanselmann
      # Remove condition from queue if there are no more waiters
578 84e344d4 Michael Hanselmann
      if not wait_condition.has_waiting() and not self.__deleted:
579 84e344d4 Michael Hanselmann
        self.__pending.remove(wait_condition)
580 9216a9f7 Michael Hanselmann
581 84e344d4 Michael Hanselmann
    return False
582 9216a9f7 Michael Hanselmann
583 008b92fa Michael Hanselmann
  def acquire(self, shared=0, timeout=None, test_notify=None):
584 162c1c1f Guido Trotter
    """Acquire a shared lock.
585 162c1c1f Guido Trotter

586 ec44d893 Guido Trotter
    @type shared: integer (0/1) used as a boolean
587 c41eea6e Iustin Pop
    @param shared: whether to acquire in shared mode; by default an
588 c41eea6e Iustin Pop
        exclusive lock will be acquired
589 84e344d4 Michael Hanselmann
    @type timeout: float
590 84e344d4 Michael Hanselmann
    @param timeout: maximum waiting time before giving up
591 008b92fa Michael Hanselmann
    @type test_notify: callable or None
592 008b92fa Michael Hanselmann
    @param test_notify: Special callback function for unittesting
593 162c1c1f Guido Trotter

594 162c1c1f Guido Trotter
    """
595 162c1c1f Guido Trotter
    self.__lock.acquire()
596 162c1c1f Guido Trotter
    try:
597 008b92fa Michael Hanselmann
      # We already got the lock, notify now
598 008b92fa Michael Hanselmann
      if __debug__ and callable(test_notify):
599 008b92fa Michael Hanselmann
        test_notify()
600 008b92fa Michael Hanselmann
601 84e344d4 Michael Hanselmann
      return self.__acquire_unlocked(shared, timeout)
602 162c1c1f Guido Trotter
    finally:
603 162c1c1f Guido Trotter
      self.__lock.release()
604 162c1c1f Guido Trotter
605 162c1c1f Guido Trotter
  def release(self):
606 162c1c1f Guido Trotter
    """Release a Shared Lock.
607 162c1c1f Guido Trotter

608 162c1c1f Guido Trotter
    You must have acquired the lock, either in shared or in exclusive mode,
609 162c1c1f Guido Trotter
    before calling this function.
610 162c1c1f Guido Trotter

611 162c1c1f Guido Trotter
    """
612 162c1c1f Guido Trotter
    self.__lock.acquire()
613 162c1c1f Guido Trotter
    try:
614 84e344d4 Michael Hanselmann
      assert self.__is_exclusive() or self.__is_sharer(), \
615 84e344d4 Michael Hanselmann
        "Cannot release non-owned lock"
616 84e344d4 Michael Hanselmann
617 162c1c1f Guido Trotter
      # Autodetect release type
618 162c1c1f Guido Trotter
      if self.__is_exclusive():
619 162c1c1f Guido Trotter
        self.__exc = None
620 84e344d4 Michael Hanselmann
      else:
621 162c1c1f Guido Trotter
        self.__shr.remove(threading.currentThread())
622 162c1c1f Guido Trotter
623 84e344d4 Michael Hanselmann
      # Notify topmost condition in queue
624 84e344d4 Michael Hanselmann
      if self.__pending:
625 84e344d4 Michael Hanselmann
        first_condition = self.__pending[0]
626 84e344d4 Michael Hanselmann
        first_condition.notifyAll()
627 4d686df8 Guido Trotter
628 84e344d4 Michael Hanselmann
        if first_condition == self.__active_shr_c:
629 84e344d4 Michael Hanselmann
          self.__active_shr_c = self.__inactive_shr_c
630 84e344d4 Michael Hanselmann
          self.__inactive_shr_c = first_condition
631 162c1c1f Guido Trotter
632 162c1c1f Guido Trotter
    finally:
633 162c1c1f Guido Trotter
      self.__lock.release()
634 162c1c1f Guido Trotter
635 84e344d4 Michael Hanselmann
  def delete(self, timeout=None):
636 a95fd5d7 Guido Trotter
    """Delete a Shared Lock.
637 a95fd5d7 Guido Trotter

638 a95fd5d7 Guido Trotter
    This operation will declare the lock for removal. First the lock will be
639 a95fd5d7 Guido Trotter
    acquired in exclusive mode if you don't already own it, then the lock
640 a95fd5d7 Guido Trotter
    will be put in a state where any future and pending acquire() fail.
641 a95fd5d7 Guido Trotter

642 84e344d4 Michael Hanselmann
    @type timeout: float
643 84e344d4 Michael Hanselmann
    @param timeout: maximum waiting time before giving up
644 a95fd5d7 Guido Trotter

645 a95fd5d7 Guido Trotter
    """
646 a95fd5d7 Guido Trotter
    self.__lock.acquire()
647 a95fd5d7 Guido Trotter
    try:
648 84e344d4 Michael Hanselmann
      assert not self.__is_sharer(), "Cannot delete() a lock while sharing it"
649 84e344d4 Michael Hanselmann
650 84e344d4 Michael Hanselmann
      self.__check_deleted()
651 a95fd5d7 Guido Trotter
652 84e344d4 Michael Hanselmann
      # The caller is allowed to hold the lock exclusively already.
653 84e344d4 Michael Hanselmann
      acquired = self.__is_exclusive()
654 a95fd5d7 Guido Trotter
655 84e344d4 Michael Hanselmann
      if not acquired:
656 a66bd91b Michael Hanselmann
        acquired = self.__acquire_unlocked(0, timeout)
657 a66bd91b Michael Hanselmann
658 a66bd91b Michael Hanselmann
        assert self.__is_exclusive() and not self.__is_sharer(), \
659 a66bd91b Michael Hanselmann
          "Lock wasn't acquired in exclusive mode"
660 84e344d4 Michael Hanselmann
661 84e344d4 Michael Hanselmann
      if acquired:
662 84e344d4 Michael Hanselmann
        self.__deleted = True
663 84e344d4 Michael Hanselmann
        self.__exc = None
664 a95fd5d7 Guido Trotter
665 84e344d4 Michael Hanselmann
        # Notify all acquires. They'll throw an error.
666 84e344d4 Michael Hanselmann
        while self.__pending:
667 84e344d4 Michael Hanselmann
          self.__pending.pop().notifyAll()
668 a95fd5d7 Guido Trotter
669 84e344d4 Michael Hanselmann
      return acquired
670 a95fd5d7 Guido Trotter
    finally:
671 a95fd5d7 Guido Trotter
      self.__lock.release()
672 a95fd5d7 Guido Trotter
673 1a4e32d0 Guido Trotter
  def _release_save(self):
674 1a4e32d0 Guido Trotter
    shared = self.__is_sharer()
675 1a4e32d0 Guido Trotter
    self.release()
676 1a4e32d0 Guido Trotter
    return shared
677 1a4e32d0 Guido Trotter
678 1a4e32d0 Guido Trotter
  def _acquire_restore(self, shared):
679 1a4e32d0 Guido Trotter
    self.acquire(shared=shared)
680 1a4e32d0 Guido Trotter
681 aaae9bc0 Guido Trotter
682 f12eadb3 Iustin Pop
# Whenever we want to acquire a full LockSet we pass None as the value
683 5bbd3f7f Michael Hanselmann
# to acquire.  Hide this behind this nicely named constant.
684 e310b019 Guido Trotter
ALL_SET = None
685 e310b019 Guido Trotter
686 e310b019 Guido Trotter
687 5aab242c Michael Hanselmann
class _AcquireTimeout(Exception):
688 5aab242c Michael Hanselmann
  """Internal exception to abort an acquire on a timeout.
689 5aab242c Michael Hanselmann

690 5aab242c Michael Hanselmann
  """
691 5aab242c Michael Hanselmann
692 5aab242c Michael Hanselmann
693 aaae9bc0 Guido Trotter
class LockSet:
694 aaae9bc0 Guido Trotter
  """Implements a set of locks.
695 aaae9bc0 Guido Trotter

696 aaae9bc0 Guido Trotter
  This abstraction implements a set of shared locks for the same resource type,
697 aaae9bc0 Guido Trotter
  distinguished by name. The user can lock a subset of the resources and the
698 aaae9bc0 Guido Trotter
  LockSet will take care of acquiring the locks always in the same order, thus
699 aaae9bc0 Guido Trotter
  preventing deadlock.
700 aaae9bc0 Guido Trotter

701 aaae9bc0 Guido Trotter
  All the locks needed in the same set must be acquired together, though.
702 aaae9bc0 Guido Trotter

703 aaae9bc0 Guido Trotter
  """
704 aaae9bc0 Guido Trotter
  def __init__(self, members=None):
705 aaae9bc0 Guido Trotter
    """Constructs a new LockSet.
706 aaae9bc0 Guido Trotter

707 ec44d893 Guido Trotter
    @type members: list of strings
708 c41eea6e Iustin Pop
    @param members: initial members of the set
709 aaae9bc0 Guido Trotter

710 aaae9bc0 Guido Trotter
    """
711 aaae9bc0 Guido Trotter
    # Used internally to guarantee coherency.
712 aaae9bc0 Guido Trotter
    self.__lock = SharedLock()
713 aaae9bc0 Guido Trotter
714 aaae9bc0 Guido Trotter
    # The lockdict indexes the relationship name -> lock
715 aaae9bc0 Guido Trotter
    # The order-of-locking is implied by the alphabetical order of names
716 aaae9bc0 Guido Trotter
    self.__lockdict = {}
717 aaae9bc0 Guido Trotter
718 aaae9bc0 Guido Trotter
    if members is not None:
719 aaae9bc0 Guido Trotter
      for name in members:
720 aaae9bc0 Guido Trotter
        self.__lockdict[name] = SharedLock()
721 aaae9bc0 Guido Trotter
722 aaae9bc0 Guido Trotter
    # The owner dict contains the set of locks each thread owns. For
723 aaae9bc0 Guido Trotter
    # performance each thread can access its own key without a global lock on
724 aaae9bc0 Guido Trotter
    # this structure. It is paramount though that *no* other type of access is
725 aaae9bc0 Guido Trotter
    # done to this structure (eg. no looping over its keys). *_owner helper
726 aaae9bc0 Guido Trotter
    # function are defined to guarantee access is correct, but in general never
727 aaae9bc0 Guido Trotter
    # do anything different than __owners[threading.currentThread()], or there
728 aaae9bc0 Guido Trotter
    # will be trouble.
729 aaae9bc0 Guido Trotter
    self.__owners = {}
730 aaae9bc0 Guido Trotter
731 aaae9bc0 Guido Trotter
  def _is_owned(self):
732 aaae9bc0 Guido Trotter
    """Is the current thread a current level owner?"""
733 aaae9bc0 Guido Trotter
    return threading.currentThread() in self.__owners
734 aaae9bc0 Guido Trotter
735 b2dabfd6 Guido Trotter
  def _add_owned(self, name=None):
736 aaae9bc0 Guido Trotter
    """Note the current thread owns the given lock"""
737 b2dabfd6 Guido Trotter
    if name is None:
738 b2dabfd6 Guido Trotter
      if not self._is_owned():
739 b2dabfd6 Guido Trotter
        self.__owners[threading.currentThread()] = set()
740 aaae9bc0 Guido Trotter
    else:
741 b2dabfd6 Guido Trotter
      if self._is_owned():
742 b2dabfd6 Guido Trotter
        self.__owners[threading.currentThread()].add(name)
743 b2dabfd6 Guido Trotter
      else:
744 b2dabfd6 Guido Trotter
        self.__owners[threading.currentThread()] = set([name])
745 b2dabfd6 Guido Trotter
746 b2dabfd6 Guido Trotter
  def _del_owned(self, name=None):
747 aaae9bc0 Guido Trotter
    """Note the current thread owns the given lock"""
748 aaae9bc0 Guido Trotter
749 e4335b5b Michael Hanselmann
    assert not (name is None and self.__lock._is_owned()), \
750 e4335b5b Michael Hanselmann
           "Cannot hold internal lock when deleting owner status"
751 e4335b5b Michael Hanselmann
752 b2dabfd6 Guido Trotter
    if name is not None:
753 b2dabfd6 Guido Trotter
      self.__owners[threading.currentThread()].remove(name)
754 b2dabfd6 Guido Trotter
755 b2dabfd6 Guido Trotter
    # Only remove the key if we don't hold the set-lock as well
756 b2dabfd6 Guido Trotter
    if (not self.__lock._is_owned() and
757 b2dabfd6 Guido Trotter
        not self.__owners[threading.currentThread()]):
758 aaae9bc0 Guido Trotter
      del self.__owners[threading.currentThread()]
759 aaae9bc0 Guido Trotter
760 aaae9bc0 Guido Trotter
  def _list_owned(self):
761 aaae9bc0 Guido Trotter
    """Get the set of resource names owned by the current thread"""
762 aaae9bc0 Guido Trotter
    if self._is_owned():
763 aaae9bc0 Guido Trotter
      return self.__owners[threading.currentThread()].copy()
764 aaae9bc0 Guido Trotter
    else:
765 aaae9bc0 Guido Trotter
      return set()
766 aaae9bc0 Guido Trotter
767 5aab242c Michael Hanselmann
  def _release_and_delete_owned(self):
768 5aab242c Michael Hanselmann
    """Release and delete all resources owned by the current thread"""
769 5aab242c Michael Hanselmann
    for lname in self._list_owned():
770 56452af7 Michael Hanselmann
      lock = self.__lockdict[lname]
771 56452af7 Michael Hanselmann
      if lock._is_owned():
772 56452af7 Michael Hanselmann
        lock.release()
773 5aab242c Michael Hanselmann
      self._del_owned(name=lname)
774 5aab242c Michael Hanselmann
775 aaae9bc0 Guido Trotter
  def __names(self):
776 aaae9bc0 Guido Trotter
    """Return the current set of names.
777 aaae9bc0 Guido Trotter

778 aaae9bc0 Guido Trotter
    Only call this function while holding __lock and don't iterate on the
779 aaae9bc0 Guido Trotter
    result after releasing the lock.
780 aaae9bc0 Guido Trotter

781 aaae9bc0 Guido Trotter
    """
782 0cf257c5 Guido Trotter
    return self.__lockdict.keys()
783 aaae9bc0 Guido Trotter
784 aaae9bc0 Guido Trotter
  def _names(self):
785 aaae9bc0 Guido Trotter
    """Return a copy of the current set of elements.
786 aaae9bc0 Guido Trotter

787 aaae9bc0 Guido Trotter
    Used only for debugging purposes.
788 cdb08f44 Michael Hanselmann

789 aaae9bc0 Guido Trotter
    """
790 d4803c24 Guido Trotter
    # If we don't already own the set-level lock acquired
791 d4803c24 Guido Trotter
    # we'll get it and note we need to release it later.
792 d4803c24 Guido Trotter
    release_lock = False
793 d4803c24 Guido Trotter
    if not self.__lock._is_owned():
794 d4803c24 Guido Trotter
      release_lock = True
795 d4803c24 Guido Trotter
      self.__lock.acquire(shared=1)
796 aaae9bc0 Guido Trotter
    try:
797 aaae9bc0 Guido Trotter
      result = self.__names()
798 aaae9bc0 Guido Trotter
    finally:
799 d4803c24 Guido Trotter
      if release_lock:
800 d4803c24 Guido Trotter
        self.__lock.release()
801 0cf257c5 Guido Trotter
    return set(result)
802 aaae9bc0 Guido Trotter
803 5aab242c Michael Hanselmann
  def acquire(self, names, timeout=None, shared=0, test_notify=None):
804 aaae9bc0 Guido Trotter
    """Acquire a set of resource locks.
805 aaae9bc0 Guido Trotter

806 ec44d893 Guido Trotter
    @type names: list of strings (or string)
807 c41eea6e Iustin Pop
    @param names: the names of the locks which shall be acquired
808 c41eea6e Iustin Pop
        (special lock names, or instance/node names)
809 ec44d893 Guido Trotter
    @type shared: integer (0/1) used as a boolean
810 c41eea6e Iustin Pop
    @param shared: whether to acquire in shared mode; by default an
811 c41eea6e Iustin Pop
        exclusive lock will be acquired
812 5aab242c Michael Hanselmann
    @type timeout: float or None
813 5e0a6daf Michael Hanselmann
    @param timeout: Maximum time to acquire all locks
814 5aab242c Michael Hanselmann
    @type test_notify: callable or None
815 5aab242c Michael Hanselmann
    @param test_notify: Special callback function for unittesting
816 aaae9bc0 Guido Trotter

817 5aab242c Michael Hanselmann
    @return: Set of all locks successfully acquired or None in case of timeout
818 aaae9bc0 Guido Trotter

819 c41eea6e Iustin Pop
    @raise errors.LockError: when any lock we try to acquire has
820 c41eea6e Iustin Pop
        been deleted before we succeed. In this case none of the
821 c41eea6e Iustin Pop
        locks requested will be acquired.
822 aaae9bc0 Guido Trotter

823 aaae9bc0 Guido Trotter
    """
824 5aab242c Michael Hanselmann
    assert timeout is None or timeout >= 0.0
825 aaae9bc0 Guido Trotter
826 aaae9bc0 Guido Trotter
    # Check we don't already own locks at this level
827 aaae9bc0 Guido Trotter
    assert not self._is_owned(), "Cannot acquire locks in the same set twice"
828 aaae9bc0 Guido Trotter
829 5aab242c Michael Hanselmann
    # We need to keep track of how long we spent waiting for a lock. The
830 5aab242c Michael Hanselmann
    # timeout passed to this function is over all lock acquires.
831 7e8841bd Michael Hanselmann
    running_timeout = RunningTimeout(timeout, False)
832 5aab242c Michael Hanselmann
833 806e20fd Guido Trotter
    try:
834 76e2f08a Michael Hanselmann
      if names is not None:
835 5aab242c Michael Hanselmann
        # Support passing in a single resource to acquire rather than many
836 5aab242c Michael Hanselmann
        if isinstance(names, basestring):
837 5aab242c Michael Hanselmann
          names = [names]
838 5aab242c Michael Hanselmann
839 76e2f08a Michael Hanselmann
        return self.__acquire_inner(names, False, shared,
840 7e8841bd Michael Hanselmann
                                    running_timeout.Remaining, test_notify)
841 76e2f08a Michael Hanselmann
842 76e2f08a Michael Hanselmann
      else:
843 76e2f08a Michael Hanselmann
        # If no names are given acquire the whole set by not letting new names
844 76e2f08a Michael Hanselmann
        # being added before we release, and getting the current list of names.
845 76e2f08a Michael Hanselmann
        # Some of them may then be deleted later, but we'll cope with this.
846 76e2f08a Michael Hanselmann
        #
847 76e2f08a Michael Hanselmann
        # We'd like to acquire this lock in a shared way, as it's nice if
848 76e2f08a Michael Hanselmann
        # everybody else can use the instances at the same time. If are
849 76e2f08a Michael Hanselmann
        # acquiring them exclusively though they won't be able to do this
850 76e2f08a Michael Hanselmann
        # anyway, though, so we'll get the list lock exclusively as well in
851 76e2f08a Michael Hanselmann
        # order to be able to do add() on the set while owning it.
852 76e2f08a Michael Hanselmann
        if not self.__lock.acquire(shared=shared,
853 7e8841bd Michael Hanselmann
                                   timeout=running_timeout.Remaining()):
854 76e2f08a Michael Hanselmann
          raise _AcquireTimeout()
855 76e2f08a Michael Hanselmann
        try:
856 76e2f08a Michael Hanselmann
          # note we own the set-lock
857 76e2f08a Michael Hanselmann
          self._add_owned()
858 76e2f08a Michael Hanselmann
859 76e2f08a Michael Hanselmann
          return self.__acquire_inner(self.__names(), True, shared,
860 7e8841bd Michael Hanselmann
                                      running_timeout.Remaining, test_notify)
861 76e2f08a Michael Hanselmann
        except:
862 76e2f08a Michael Hanselmann
          # We shouldn't have problems adding the lock to the owners list, but
863 76e2f08a Michael Hanselmann
          # if we did we'll try to release this lock and re-raise exception.
864 76e2f08a Michael Hanselmann
          # Of course something is going to be really wrong, after this.
865 5aab242c Michael Hanselmann
          self.__lock.release()
866 76e2f08a Michael Hanselmann
          self._del_owned()
867 76e2f08a Michael Hanselmann
          raise
868 5aab242c Michael Hanselmann
869 5aab242c Michael Hanselmann
    except _AcquireTimeout:
870 5aab242c Michael Hanselmann
      return None
871 aaae9bc0 Guido Trotter
872 76e2f08a Michael Hanselmann
  def __acquire_inner(self, names, want_all, shared, timeout_fn, test_notify):
873 7e8841bd Michael Hanselmann
    """Inner logic for acquiring a number of locks.
874 7e8841bd Michael Hanselmann

875 7e8841bd Michael Hanselmann
    @param names: Names of the locks to be acquired
876 7e8841bd Michael Hanselmann
    @param want_all: Whether all locks in the set should be acquired
877 7e8841bd Michael Hanselmann
    @param shared: Whether to acquire in shared mode
878 7e8841bd Michael Hanselmann
    @param timeout_fn: Function returning remaining timeout
879 7e8841bd Michael Hanselmann
    @param test_notify: Special callback function for unittesting
880 76e2f08a Michael Hanselmann

881 76e2f08a Michael Hanselmann
    """
882 76e2f08a Michael Hanselmann
    acquire_list = []
883 76e2f08a Michael Hanselmann
884 76e2f08a Michael Hanselmann
    # First we look the locks up on __lockdict. We have no way of being sure
885 76e2f08a Michael Hanselmann
    # they will still be there after, but this makes it a lot faster should
886 71e1863e Michael Hanselmann
    # just one of them be the already wrong. Using a sorted sequence to prevent
887 71e1863e Michael Hanselmann
    # deadlocks.
888 71e1863e Michael Hanselmann
    for lname in sorted(utils.UniqueSequence(names)):
889 76e2f08a Michael Hanselmann
      try:
890 76e2f08a Michael Hanselmann
        lock = self.__lockdict[lname] # raises KeyError if lock is not there
891 76e2f08a Michael Hanselmann
      except KeyError:
892 76e2f08a Michael Hanselmann
        if want_all:
893 76e2f08a Michael Hanselmann
          # We are acquiring all the set, it doesn't matter if this particular
894 76e2f08a Michael Hanselmann
          # element is not there anymore.
895 76e2f08a Michael Hanselmann
          continue
896 76e2f08a Michael Hanselmann
897 76e2f08a Michael Hanselmann
        raise errors.LockError("Non-existing lock in set (%s)" % lname)
898 76e2f08a Michael Hanselmann
899 9b154270 Michael Hanselmann
      acquire_list.append((lname, lock))
900 9b154270 Michael Hanselmann
901 76e2f08a Michael Hanselmann
    # This will hold the locknames we effectively acquired.
902 76e2f08a Michael Hanselmann
    acquired = set()
903 76e2f08a Michael Hanselmann
904 76e2f08a Michael Hanselmann
    try:
905 76e2f08a Michael Hanselmann
      # Now acquire_list contains a sorted list of resources and locks we
906 76e2f08a Michael Hanselmann
      # want.  In order to get them we loop on this (private) list and
907 76e2f08a Michael Hanselmann
      # acquire() them.  We gave no real guarantee they will still exist till
908 76e2f08a Michael Hanselmann
      # this is done but .acquire() itself is safe and will alert us if the
909 76e2f08a Michael Hanselmann
      # lock gets deleted.
910 76e2f08a Michael Hanselmann
      for (lname, lock) in acquire_list:
911 76e2f08a Michael Hanselmann
        if __debug__ and callable(test_notify):
912 76e2f08a Michael Hanselmann
          test_notify_fn = lambda: test_notify(lname)
913 76e2f08a Michael Hanselmann
        else:
914 76e2f08a Michael Hanselmann
          test_notify_fn = None
915 76e2f08a Michael Hanselmann
916 76e2f08a Michael Hanselmann
        timeout = timeout_fn()
917 76e2f08a Michael Hanselmann
918 76e2f08a Michael Hanselmann
        try:
919 76e2f08a Michael Hanselmann
          # raises LockError if the lock was deleted
920 76e2f08a Michael Hanselmann
          acq_success = lock.acquire(shared=shared, timeout=timeout,
921 76e2f08a Michael Hanselmann
                                     test_notify=test_notify_fn)
922 76e2f08a Michael Hanselmann
        except errors.LockError:
923 76e2f08a Michael Hanselmann
          if want_all:
924 76e2f08a Michael Hanselmann
            # We are acquiring all the set, it doesn't matter if this
925 76e2f08a Michael Hanselmann
            # particular element is not there anymore.
926 76e2f08a Michael Hanselmann
            continue
927 76e2f08a Michael Hanselmann
928 76e2f08a Michael Hanselmann
          raise errors.LockError("Non-existing lock in set (%s)" % lname)
929 76e2f08a Michael Hanselmann
930 76e2f08a Michael Hanselmann
        if not acq_success:
931 76e2f08a Michael Hanselmann
          # Couldn't get lock or timeout occurred
932 76e2f08a Michael Hanselmann
          if timeout is None:
933 76e2f08a Michael Hanselmann
            # This shouldn't happen as SharedLock.acquire(timeout=None) is
934 76e2f08a Michael Hanselmann
            # blocking.
935 76e2f08a Michael Hanselmann
            raise errors.LockError("Failed to get lock %s" % lname)
936 76e2f08a Michael Hanselmann
937 76e2f08a Michael Hanselmann
          raise _AcquireTimeout()
938 76e2f08a Michael Hanselmann
939 76e2f08a Michael Hanselmann
        try:
940 76e2f08a Michael Hanselmann
          # now the lock cannot be deleted, we have it!
941 76e2f08a Michael Hanselmann
          self._add_owned(name=lname)
942 76e2f08a Michael Hanselmann
          acquired.add(lname)
943 76e2f08a Michael Hanselmann
944 76e2f08a Michael Hanselmann
        except:
945 76e2f08a Michael Hanselmann
          # We shouldn't have problems adding the lock to the owners list, but
946 76e2f08a Michael Hanselmann
          # if we did we'll try to release this lock and re-raise exception.
947 76e2f08a Michael Hanselmann
          # Of course something is going to be really wrong after this.
948 76e2f08a Michael Hanselmann
          if lock._is_owned():
949 76e2f08a Michael Hanselmann
            lock.release()
950 76e2f08a Michael Hanselmann
          raise
951 76e2f08a Michael Hanselmann
952 76e2f08a Michael Hanselmann
    except:
953 76e2f08a Michael Hanselmann
      # Release all owned locks
954 76e2f08a Michael Hanselmann
      self._release_and_delete_owned()
955 76e2f08a Michael Hanselmann
      raise
956 76e2f08a Michael Hanselmann
957 0cc00929 Guido Trotter
    return acquired
958 aaae9bc0 Guido Trotter
959 aaae9bc0 Guido Trotter
  def release(self, names=None):
960 aaae9bc0 Guido Trotter
    """Release a set of resource locks, at the same level.
961 aaae9bc0 Guido Trotter

962 aaae9bc0 Guido Trotter
    You must have acquired the locks, either in shared or in exclusive mode,
963 aaae9bc0 Guido Trotter
    before releasing them.
964 aaae9bc0 Guido Trotter

965 ec44d893 Guido Trotter
    @type names: list of strings, or None
966 c41eea6e Iustin Pop
    @param names: the names of the locks which shall be released
967 c41eea6e Iustin Pop
        (defaults to all the locks acquired at that level).
968 aaae9bc0 Guido Trotter

969 aaae9bc0 Guido Trotter
    """
970 aaae9bc0 Guido Trotter
    assert self._is_owned(), "release() on lock set while not owner"
971 aaae9bc0 Guido Trotter
972 aaae9bc0 Guido Trotter
    # Support passing in a single resource to release rather than many
973 aaae9bc0 Guido Trotter
    if isinstance(names, basestring):
974 aaae9bc0 Guido Trotter
      names = [names]
975 aaae9bc0 Guido Trotter
976 aaae9bc0 Guido Trotter
    if names is None:
977 aaae9bc0 Guido Trotter
      names = self._list_owned()
978 aaae9bc0 Guido Trotter
    else:
979 aaae9bc0 Guido Trotter
      names = set(names)
980 aaae9bc0 Guido Trotter
      assert self._list_owned().issuperset(names), (
981 aaae9bc0 Guido Trotter
               "release() on unheld resources %s" %
982 aaae9bc0 Guido Trotter
               names.difference(self._list_owned()))
983 aaae9bc0 Guido Trotter
984 3b7ed473 Guido Trotter
    # First of all let's release the "all elements" lock, if set.
985 3b7ed473 Guido Trotter
    # After this 'add' can work again
986 3b7ed473 Guido Trotter
    if self.__lock._is_owned():
987 3b7ed473 Guido Trotter
      self.__lock.release()
988 b2dabfd6 Guido Trotter
      self._del_owned()
989 3b7ed473 Guido Trotter
990 aaae9bc0 Guido Trotter
    for lockname in names:
991 aaae9bc0 Guido Trotter
      # If we are sure the lock doesn't leave __lockdict without being
992 aaae9bc0 Guido Trotter
      # exclusively held we can do this...
993 aaae9bc0 Guido Trotter
      self.__lockdict[lockname].release()
994 b2dabfd6 Guido Trotter
      self._del_owned(name=lockname)
995 aaae9bc0 Guido Trotter
996 aaae9bc0 Guido Trotter
  def add(self, names, acquired=0, shared=0):
997 aaae9bc0 Guido Trotter
    """Add a new set of elements to the set
998 aaae9bc0 Guido Trotter

999 ec44d893 Guido Trotter
    @type names: list of strings
1000 c41eea6e Iustin Pop
    @param names: names of the new elements to add
1001 ec44d893 Guido Trotter
    @type acquired: integer (0/1) used as a boolean
1002 c41eea6e Iustin Pop
    @param acquired: pre-acquire the new resource?
1003 ec44d893 Guido Trotter
    @type shared: integer (0/1) used as a boolean
1004 c41eea6e Iustin Pop
    @param shared: is the pre-acquisition shared?
1005 aaae9bc0 Guido Trotter

1006 aaae9bc0 Guido Trotter
    """
1007 d2aff862 Guido Trotter
    # Check we don't already own locks at this level
1008 d2aff862 Guido Trotter
    assert not self._is_owned() or self.__lock._is_owned(shared=0), \
1009 d2aff862 Guido Trotter
      "Cannot add locks if the set is only partially owned, or shared"
1010 3b7ed473 Guido Trotter
1011 aaae9bc0 Guido Trotter
    # Support passing in a single resource to add rather than many
1012 aaae9bc0 Guido Trotter
    if isinstance(names, basestring):
1013 aaae9bc0 Guido Trotter
      names = [names]
1014 aaae9bc0 Guido Trotter
1015 ab62526c Guido Trotter
    # If we don't already own the set-level lock acquired in an exclusive way
1016 3b7ed473 Guido Trotter
    # we'll get it and note we need to release it later.
1017 3b7ed473 Guido Trotter
    release_lock = False
1018 3b7ed473 Guido Trotter
    if not self.__lock._is_owned():
1019 3b7ed473 Guido Trotter
      release_lock = True
1020 3b7ed473 Guido Trotter
      self.__lock.acquire()
1021 3b7ed473 Guido Trotter
1022 aaae9bc0 Guido Trotter
    try:
1023 0cf257c5 Guido Trotter
      invalid_names = set(self.__names()).intersection(names)
1024 aaae9bc0 Guido Trotter
      if invalid_names:
1025 aaae9bc0 Guido Trotter
        # This must be an explicit raise, not an assert, because assert is
1026 aaae9bc0 Guido Trotter
        # turned off when using optimization, and this can happen because of
1027 aaae9bc0 Guido Trotter
        # concurrency even if the user doesn't want it.
1028 aaae9bc0 Guido Trotter
        raise errors.LockError("duplicate add() (%s)" % invalid_names)
1029 aaae9bc0 Guido Trotter
1030 aaae9bc0 Guido Trotter
      for lockname in names:
1031 aaae9bc0 Guido Trotter
        lock = SharedLock()
1032 aaae9bc0 Guido Trotter
1033 aaae9bc0 Guido Trotter
        if acquired:
1034 aaae9bc0 Guido Trotter
          lock.acquire(shared=shared)
1035 aaae9bc0 Guido Trotter
          # now the lock cannot be deleted, we have it!
1036 aaae9bc0 Guido Trotter
          try:
1037 b2dabfd6 Guido Trotter
            self._add_owned(name=lockname)
1038 aaae9bc0 Guido Trotter
          except:
1039 aaae9bc0 Guido Trotter
            # We shouldn't have problems adding the lock to the owners list,
1040 aaae9bc0 Guido Trotter
            # but if we did we'll try to release this lock and re-raise
1041 aaae9bc0 Guido Trotter
            # exception.  Of course something is going to be really wrong,
1042 aaae9bc0 Guido Trotter
            # after this.  On the other hand the lock hasn't been added to the
1043 aaae9bc0 Guido Trotter
            # __lockdict yet so no other threads should be pending on it. This
1044 aaae9bc0 Guido Trotter
            # release is just a safety measure.
1045 aaae9bc0 Guido Trotter
            lock.release()
1046 aaae9bc0 Guido Trotter
            raise
1047 aaae9bc0 Guido Trotter
1048 aaae9bc0 Guido Trotter
        self.__lockdict[lockname] = lock
1049 aaae9bc0 Guido Trotter
1050 aaae9bc0 Guido Trotter
    finally:
1051 3b7ed473 Guido Trotter
      # Only release __lock if we were not holding it previously.
1052 3b7ed473 Guido Trotter
      if release_lock:
1053 3b7ed473 Guido Trotter
        self.__lock.release()
1054 aaae9bc0 Guido Trotter
1055 aaae9bc0 Guido Trotter
    return True
1056 aaae9bc0 Guido Trotter
1057 5e0a6daf Michael Hanselmann
  def remove(self, names):
1058 aaae9bc0 Guido Trotter
    """Remove elements from the lock set.
1059 aaae9bc0 Guido Trotter

1060 aaae9bc0 Guido Trotter
    You can either not hold anything in the lockset or already hold a superset
1061 aaae9bc0 Guido Trotter
    of the elements you want to delete, exclusively.
1062 aaae9bc0 Guido Trotter

1063 ec44d893 Guido Trotter
    @type names: list of strings
1064 c41eea6e Iustin Pop
    @param names: names of the resource to remove.
1065 aaae9bc0 Guido Trotter

1066 5aab242c Michael Hanselmann
    @return: a list of locks which we removed; the list is always
1067 c41eea6e Iustin Pop
        equal to the names list if we were holding all the locks
1068 c41eea6e Iustin Pop
        exclusively
1069 aaae9bc0 Guido Trotter

1070 aaae9bc0 Guido Trotter
    """
1071 aaae9bc0 Guido Trotter
    # Support passing in a single resource to remove rather than many
1072 aaae9bc0 Guido Trotter
    if isinstance(names, basestring):
1073 aaae9bc0 Guido Trotter
      names = [names]
1074 aaae9bc0 Guido Trotter
1075 aaae9bc0 Guido Trotter
    # If we own any subset of this lock it must be a superset of what we want
1076 aaae9bc0 Guido Trotter
    # to delete. The ownership must also be exclusive, but that will be checked
1077 aaae9bc0 Guido Trotter
    # by the lock itself.
1078 aaae9bc0 Guido Trotter
    assert not self._is_owned() or self._list_owned().issuperset(names), (
1079 aaae9bc0 Guido Trotter
      "remove() on acquired lockset while not owning all elements")
1080 aaae9bc0 Guido Trotter
1081 3f404fc5 Guido Trotter
    removed = []
1082 aaae9bc0 Guido Trotter
1083 aaae9bc0 Guido Trotter
    for lname in names:
1084 aaae9bc0 Guido Trotter
      # Calling delete() acquires the lock exclusively if we don't already own
1085 aaae9bc0 Guido Trotter
      # it, and causes all pending and subsequent lock acquires to fail. It's
1086 aaae9bc0 Guido Trotter
      # fine to call it out of order because delete() also implies release(),
1087 aaae9bc0 Guido Trotter
      # and the assertion above guarantees that if we either already hold
1088 aaae9bc0 Guido Trotter
      # everything we want to delete, or we hold none.
1089 aaae9bc0 Guido Trotter
      try:
1090 aaae9bc0 Guido Trotter
        self.__lockdict[lname].delete()
1091 3f404fc5 Guido Trotter
        removed.append(lname)
1092 aaae9bc0 Guido Trotter
      except (KeyError, errors.LockError):
1093 aaae9bc0 Guido Trotter
        # This cannot happen if we were already holding it, verify:
1094 aaae9bc0 Guido Trotter
        assert not self._is_owned(), "remove failed while holding lockset"
1095 aaae9bc0 Guido Trotter
      else:
1096 aaae9bc0 Guido Trotter
        # If no LockError was raised we are the ones who deleted the lock.
1097 aaae9bc0 Guido Trotter
        # This means we can safely remove it from lockdict, as any further or
1098 aaae9bc0 Guido Trotter
        # pending delete() or acquire() will fail (and nobody can have the lock
1099 aaae9bc0 Guido Trotter
        # since before our call to delete()).
1100 aaae9bc0 Guido Trotter
        #
1101 aaae9bc0 Guido Trotter
        # This is done in an else clause because if the exception was thrown
1102 aaae9bc0 Guido Trotter
        # it's the job of the one who actually deleted it.
1103 aaae9bc0 Guido Trotter
        del self.__lockdict[lname]
1104 aaae9bc0 Guido Trotter
        # And let's remove it from our private list if we owned it.
1105 aaae9bc0 Guido Trotter
        if self._is_owned():
1106 b2dabfd6 Guido Trotter
          self._del_owned(name=lname)
1107 aaae9bc0 Guido Trotter
1108 3f404fc5 Guido Trotter
    return removed
1109 aaae9bc0 Guido Trotter
1110 7ee7c0c7 Guido Trotter
1111 7ee7c0c7 Guido Trotter
# Locking levels, must be acquired in increasing order.
1112 7ee7c0c7 Guido Trotter
# Current rules are:
1113 7ee7c0c7 Guido Trotter
#   - at level LEVEL_CLUSTER resides the Big Ganeti Lock (BGL) which must be
1114 7ee7c0c7 Guido Trotter
#   acquired before performing any operation, either in shared or in exclusive
1115 7ee7c0c7 Guido Trotter
#   mode. acquiring the BGL in exclusive mode is discouraged and should be
1116 7ee7c0c7 Guido Trotter
#   avoided.
1117 7ee7c0c7 Guido Trotter
#   - at levels LEVEL_NODE and LEVEL_INSTANCE reside node and instance locks.
1118 7ee7c0c7 Guido Trotter
#   If you need more than one node, or more than one instance, acquire them at
1119 7ee7c0c7 Guido Trotter
#   the same time.
1120 7ee7c0c7 Guido Trotter
LEVEL_CLUSTER = 0
1121 04e1bfaf Guido Trotter
LEVEL_INSTANCE = 1
1122 04e1bfaf Guido Trotter
LEVEL_NODE = 2
1123 7ee7c0c7 Guido Trotter
1124 7ee7c0c7 Guido Trotter
LEVELS = [LEVEL_CLUSTER,
1125 04e1bfaf Guido Trotter
          LEVEL_INSTANCE,
1126 04e1bfaf Guido Trotter
          LEVEL_NODE]
1127 7ee7c0c7 Guido Trotter
1128 7ee7c0c7 Guido Trotter
# Lock levels which are modifiable
1129 7ee7c0c7 Guido Trotter
LEVELS_MOD = [LEVEL_NODE, LEVEL_INSTANCE]
1130 7ee7c0c7 Guido Trotter
1131 ea205dbc Michael Hanselmann
LEVEL_NAMES = {
1132 ea205dbc Michael Hanselmann
  LEVEL_CLUSTER: "cluster",
1133 ea205dbc Michael Hanselmann
  LEVEL_INSTANCE: "instance",
1134 ea205dbc Michael Hanselmann
  LEVEL_NODE: "node",
1135 ea205dbc Michael Hanselmann
  }
1136 ea205dbc Michael Hanselmann
1137 08a6c581 Guido Trotter
# Constant for the big ganeti lock
1138 7ee7c0c7 Guido Trotter
BGL = 'BGL'
1139 7ee7c0c7 Guido Trotter
1140 7ee7c0c7 Guido Trotter
1141 7ee7c0c7 Guido Trotter
class GanetiLockManager:
1142 7ee7c0c7 Guido Trotter
  """The Ganeti Locking Library
1143 7ee7c0c7 Guido Trotter

1144 5bbd3f7f Michael Hanselmann
  The purpose of this small library is to manage locking for ganeti clusters
1145 7ee7c0c7 Guido Trotter
  in a central place, while at the same time doing dynamic checks against
1146 7ee7c0c7 Guido Trotter
  possible deadlocks. It will also make it easier to transition to a different
1147 7ee7c0c7 Guido Trotter
  lock type should we migrate away from python threads.
1148 7ee7c0c7 Guido Trotter

1149 7ee7c0c7 Guido Trotter
  """
1150 7ee7c0c7 Guido Trotter
  _instance = None
1151 7ee7c0c7 Guido Trotter
1152 7ee7c0c7 Guido Trotter
  def __init__(self, nodes=None, instances=None):
1153 7ee7c0c7 Guido Trotter
    """Constructs a new GanetiLockManager object.
1154 7ee7c0c7 Guido Trotter

1155 4e07ec8c Guido Trotter
    There should be only a GanetiLockManager object at any time, so this
1156 4e07ec8c Guido Trotter
    function raises an error if this is not the case.
1157 7ee7c0c7 Guido Trotter

1158 c41eea6e Iustin Pop
    @param nodes: list of node names
1159 c41eea6e Iustin Pop
    @param instances: list of instance names
1160 7ee7c0c7 Guido Trotter

1161 7ee7c0c7 Guido Trotter
    """
1162 c41eea6e Iustin Pop
    assert self.__class__._instance is None, \
1163 c41eea6e Iustin Pop
           "double GanetiLockManager instance"
1164 c41eea6e Iustin Pop
1165 7ee7c0c7 Guido Trotter
    self.__class__._instance = self
1166 7ee7c0c7 Guido Trotter
1167 7ee7c0c7 Guido Trotter
    # The keyring contains all the locks, at their level and in the correct
1168 7ee7c0c7 Guido Trotter
    # locking order.
1169 7ee7c0c7 Guido Trotter
    self.__keyring = {
1170 7ee7c0c7 Guido Trotter
      LEVEL_CLUSTER: LockSet([BGL]),
1171 7ee7c0c7 Guido Trotter
      LEVEL_NODE: LockSet(nodes),
1172 7ee7c0c7 Guido Trotter
      LEVEL_INSTANCE: LockSet(instances),
1173 7ee7c0c7 Guido Trotter
    }
1174 7ee7c0c7 Guido Trotter
1175 7ee7c0c7 Guido Trotter
  def _names(self, level):
1176 7ee7c0c7 Guido Trotter
    """List the lock names at the given level.
1177 7ee7c0c7 Guido Trotter

1178 c41eea6e Iustin Pop
    This can be used for debugging/testing purposes.
1179 c41eea6e Iustin Pop

1180 c41eea6e Iustin Pop
    @param level: the level whose list of locks to get
1181 7ee7c0c7 Guido Trotter

1182 7ee7c0c7 Guido Trotter
    """
1183 7ee7c0c7 Guido Trotter
    assert level in LEVELS, "Invalid locking level %s" % level
1184 7ee7c0c7 Guido Trotter
    return self.__keyring[level]._names()
1185 7ee7c0c7 Guido Trotter
1186 7ee7c0c7 Guido Trotter
  def _is_owned(self, level):
1187 7ee7c0c7 Guido Trotter
    """Check whether we are owning locks at the given level
1188 7ee7c0c7 Guido Trotter

1189 7ee7c0c7 Guido Trotter
    """
1190 7ee7c0c7 Guido Trotter
    return self.__keyring[level]._is_owned()
1191 7ee7c0c7 Guido Trotter
1192 d4f4b3e7 Guido Trotter
  is_owned = _is_owned
1193 d4f4b3e7 Guido Trotter
1194 7ee7c0c7 Guido Trotter
  def _list_owned(self, level):
1195 7ee7c0c7 Guido Trotter
    """Get the set of owned locks at the given level
1196 7ee7c0c7 Guido Trotter

1197 7ee7c0c7 Guido Trotter
    """
1198 7ee7c0c7 Guido Trotter
    return self.__keyring[level]._list_owned()
1199 7ee7c0c7 Guido Trotter
1200 7ee7c0c7 Guido Trotter
  def _upper_owned(self, level):
1201 7ee7c0c7 Guido Trotter
    """Check that we don't own any lock at a level greater than the given one.
1202 7ee7c0c7 Guido Trotter

1203 7ee7c0c7 Guido Trotter
    """
1204 7ee7c0c7 Guido Trotter
    # This way of checking only works if LEVELS[i] = i, which we check for in
1205 7ee7c0c7 Guido Trotter
    # the test cases.
1206 cea881e5 Michael Hanselmann
    return compat.any((self._is_owned(l) for l in LEVELS[level + 1:]))
1207 7ee7c0c7 Guido Trotter
1208 fe267188 Iustin Pop
  def _BGL_owned(self): # pylint: disable-msg=C0103
1209 7ee7c0c7 Guido Trotter
    """Check if the current thread owns the BGL.
1210 7ee7c0c7 Guido Trotter

1211 7ee7c0c7 Guido Trotter
    Both an exclusive or a shared acquisition work.
1212 7ee7c0c7 Guido Trotter

1213 7ee7c0c7 Guido Trotter
    """
1214 7ee7c0c7 Guido Trotter
    return BGL in self.__keyring[LEVEL_CLUSTER]._list_owned()
1215 7ee7c0c7 Guido Trotter
1216 c70d2d9b Iustin Pop
  @staticmethod
1217 c70d2d9b Iustin Pop
  def _contains_BGL(level, names): # pylint: disable-msg=C0103
1218 c41eea6e Iustin Pop
    """Check if the level contains the BGL.
1219 c41eea6e Iustin Pop

1220 c41eea6e Iustin Pop
    Check if acting on the given level and set of names will change
1221 c41eea6e Iustin Pop
    the status of the Big Ganeti Lock.
1222 7ee7c0c7 Guido Trotter

1223 7ee7c0c7 Guido Trotter
    """
1224 7ee7c0c7 Guido Trotter
    return level == LEVEL_CLUSTER and (names is None or BGL in names)
1225 7ee7c0c7 Guido Trotter
1226 5e0a6daf Michael Hanselmann
  def acquire(self, level, names, timeout=None, shared=0):
1227 7ee7c0c7 Guido Trotter
    """Acquire a set of resource locks, at the same level.
1228 7ee7c0c7 Guido Trotter

1229 ec44d893 Guido Trotter
    @type level: member of locking.LEVELS
1230 ec44d893 Guido Trotter
    @param level: the level at which the locks shall be acquired
1231 ec44d893 Guido Trotter
    @type names: list of strings (or string)
1232 c41eea6e Iustin Pop
    @param names: the names of the locks which shall be acquired
1233 c41eea6e Iustin Pop
        (special lock names, or instance/node names)
1234 ec44d893 Guido Trotter
    @type shared: integer (0/1) used as a boolean
1235 c41eea6e Iustin Pop
    @param shared: whether to acquire in shared mode; by default
1236 c41eea6e Iustin Pop
        an exclusive lock will be acquired
1237 5e0a6daf Michael Hanselmann
    @type timeout: float
1238 5e0a6daf Michael Hanselmann
    @param timeout: Maximum time to acquire all locks
1239 7ee7c0c7 Guido Trotter

1240 7ee7c0c7 Guido Trotter
    """
1241 7ee7c0c7 Guido Trotter
    assert level in LEVELS, "Invalid locking level %s" % level
1242 7ee7c0c7 Guido Trotter
1243 7ee7c0c7 Guido Trotter
    # Check that we are either acquiring the Big Ganeti Lock or we already own
1244 7ee7c0c7 Guido Trotter
    # it. Some "legacy" opcodes need to be sure they are run non-concurrently
1245 7ee7c0c7 Guido Trotter
    # so even if we've migrated we need to at least share the BGL to be
1246 7ee7c0c7 Guido Trotter
    # compatible with them. Of course if we own the BGL exclusively there's no
1247 7ee7c0c7 Guido Trotter
    # point in acquiring any other lock, unless perhaps we are half way through
1248 7ee7c0c7 Guido Trotter
    # the migration of the current opcode.
1249 7ee7c0c7 Guido Trotter
    assert (self._contains_BGL(level, names) or self._BGL_owned()), (
1250 7ee7c0c7 Guido Trotter
            "You must own the Big Ganeti Lock before acquiring any other")
1251 7ee7c0c7 Guido Trotter
1252 7ee7c0c7 Guido Trotter
    # Check we don't own locks at the same or upper levels.
1253 21a6c826 Guido Trotter
    assert not self._upper_owned(level), ("Cannot acquire locks at a level"
1254 7ee7c0c7 Guido Trotter
           " while owning some at a greater one")
1255 7ee7c0c7 Guido Trotter
1256 7ee7c0c7 Guido Trotter
    # Acquire the locks in the set.
1257 5e0a6daf Michael Hanselmann
    return self.__keyring[level].acquire(names, shared=shared, timeout=timeout)
1258 7ee7c0c7 Guido Trotter
1259 7ee7c0c7 Guido Trotter
  def release(self, level, names=None):
1260 7ee7c0c7 Guido Trotter
    """Release a set of resource locks, at the same level.
1261 7ee7c0c7 Guido Trotter

1262 c41eea6e Iustin Pop
    You must have acquired the locks, either in shared or in exclusive
1263 c41eea6e Iustin Pop
    mode, before releasing them.
1264 7ee7c0c7 Guido Trotter

1265 ec44d893 Guido Trotter
    @type level: member of locking.LEVELS
1266 ec44d893 Guido Trotter
    @param level: the level at which the locks shall be released
1267 ec44d893 Guido Trotter
    @type names: list of strings, or None
1268 c41eea6e Iustin Pop
    @param names: the names of the locks which shall be released
1269 c41eea6e Iustin Pop
        (defaults to all the locks acquired at that level)
1270 7ee7c0c7 Guido Trotter

1271 7ee7c0c7 Guido Trotter
    """
1272 7ee7c0c7 Guido Trotter
    assert level in LEVELS, "Invalid locking level %s" % level
1273 7ee7c0c7 Guido Trotter
    assert (not self._contains_BGL(level, names) or
1274 7ee7c0c7 Guido Trotter
            not self._upper_owned(LEVEL_CLUSTER)), (
1275 7ee7c0c7 Guido Trotter
            "Cannot release the Big Ganeti Lock while holding something"
1276 e4335b5b Michael Hanselmann
            " at upper levels (%r)" %
1277 1f864b60 Iustin Pop
            (utils.CommaJoin(["%s=%r" % (LEVEL_NAMES[i], self._list_owned(i))
1278 1f864b60 Iustin Pop
                              for i in self.__keyring.keys()]), ))
1279 7ee7c0c7 Guido Trotter
1280 7ee7c0c7 Guido Trotter
    # Release will complain if we don't own the locks already
1281 7ee7c0c7 Guido Trotter
    return self.__keyring[level].release(names)
1282 7ee7c0c7 Guido Trotter
1283 7ee7c0c7 Guido Trotter
  def add(self, level, names, acquired=0, shared=0):
1284 7ee7c0c7 Guido Trotter
    """Add locks at the specified level.
1285 7ee7c0c7 Guido Trotter

1286 ec44d893 Guido Trotter
    @type level: member of locking.LEVELS_MOD
1287 ec44d893 Guido Trotter
    @param level: the level at which the locks shall be added
1288 ec44d893 Guido Trotter
    @type names: list of strings
1289 c41eea6e Iustin Pop
    @param names: names of the locks to acquire
1290 ec44d893 Guido Trotter
    @type acquired: integer (0/1) used as a boolean
1291 c41eea6e Iustin Pop
    @param acquired: whether to acquire the newly added locks
1292 ec44d893 Guido Trotter
    @type shared: integer (0/1) used as a boolean
1293 c41eea6e Iustin Pop
    @param shared: whether the acquisition will be shared
1294 c41eea6e Iustin Pop

1295 7ee7c0c7 Guido Trotter
    """
1296 7ee7c0c7 Guido Trotter
    assert level in LEVELS_MOD, "Invalid or immutable level %s" % level
1297 7ee7c0c7 Guido Trotter
    assert self._BGL_owned(), ("You must own the BGL before performing other"
1298 7ee7c0c7 Guido Trotter
           " operations")
1299 7ee7c0c7 Guido Trotter
    assert not self._upper_owned(level), ("Cannot add locks at a level"
1300 7ee7c0c7 Guido Trotter
           " while owning some at a greater one")
1301 7ee7c0c7 Guido Trotter
    return self.__keyring[level].add(names, acquired=acquired, shared=shared)
1302 7ee7c0c7 Guido Trotter
1303 5e0a6daf Michael Hanselmann
  def remove(self, level, names):
1304 7ee7c0c7 Guido Trotter
    """Remove locks from the specified level.
1305 7ee7c0c7 Guido Trotter

1306 c41eea6e Iustin Pop
    You must either already own the locks you are trying to remove
1307 c41eea6e Iustin Pop
    exclusively or not own any lock at an upper level.
1308 7ee7c0c7 Guido Trotter

1309 ec44d893 Guido Trotter
    @type level: member of locking.LEVELS_MOD
1310 ec44d893 Guido Trotter
    @param level: the level at which the locks shall be removed
1311 ec44d893 Guido Trotter
    @type names: list of strings
1312 c41eea6e Iustin Pop
    @param names: the names of the locks which shall be removed
1313 c41eea6e Iustin Pop
        (special lock names, or instance/node names)
1314 7ee7c0c7 Guido Trotter

1315 7ee7c0c7 Guido Trotter
    """
1316 7ee7c0c7 Guido Trotter
    assert level in LEVELS_MOD, "Invalid or immutable level %s" % level
1317 7ee7c0c7 Guido Trotter
    assert self._BGL_owned(), ("You must own the BGL before performing other"
1318 7ee7c0c7 Guido Trotter
           " operations")
1319 f12eadb3 Iustin Pop
    # Check we either own the level or don't own anything from here
1320 f12eadb3 Iustin Pop
    # up. LockSet.remove() will check the case in which we don't own
1321 f12eadb3 Iustin Pop
    # all the needed resources, or we have a shared ownership.
1322 7ee7c0c7 Guido Trotter
    assert self._is_owned(level) or not self._upper_owned(level), (
1323 7ee7c0c7 Guido Trotter
           "Cannot remove locks at a level while not owning it or"
1324 7ee7c0c7 Guido Trotter
           " owning some at a greater one")
1325 5e0a6daf Michael Hanselmann
    return self.__keyring[level].remove(names)