lock.py
445 lines
| 13.8 KiB
| text/x-python
|
PythonLexer
/ mercurial / lock.py
Greg Ward
|
r9309 | # lock.py - simple advisory locking scheme for mercurial | ||
mpm@selenic.com
|
r161 | # | ||
Vadim Gelfer
|
r2859 | # Copyright 2005, 2006 Matt Mackall <mpm@selenic.com> | ||
mpm@selenic.com
|
r161 | # | ||
Martin Geisler
|
r8225 | # This software may be used and distributed according to the terms of the | ||
Matt Mackall
|
r10263 | # GNU General Public License version 2 or any later version. | ||
mpm@selenic.com
|
r161 | |||
Gregory Szorc
|
r25956 | from __future__ import absolute_import | ||
Siddharth Agarwal
|
r26473 | import contextlib | ||
Gregory Szorc
|
r25956 | import errno | ||
Jun Wu
|
r30921 | import os | ||
Yuya Nishihara
|
r36717 | import signal | ||
Gregory Szorc
|
r25956 | import socket | ||
import time | ||||
Ronny Pfannschmidt
|
r8113 | import warnings | ||
mpm@selenic.com
|
r161 | |||
Boris Feld
|
r35209 | from .i18n import _ | ||
Gregory Szorc
|
r43359 | from .pycompat import getattr | ||
Boris Feld
|
r35209 | |||
Gregory Szorc
|
r25956 | from . import ( | ||
Augie Fackler
|
r31375 | encoding, | ||
Gregory Szorc
|
r25956 | error, | ||
Jun Wu
|
r30921 | pycompat, | ||
Yuya Nishihara
|
r38157 | util, | ||
Yuya Nishihara
|
r37138 | ) | ||
Augie Fackler
|
r43346 | from .utils import procutil | ||
Gregory Szorc
|
r25956 | |||
Jun Wu
|
r30920 | def _getlockprefix(): | ||
"""Return a string which is used to differentiate pid namespaces | ||||
It's useful to detect "dead" processes and remove stale locks with | ||||
Jun Wu
|
r30921 | confidence. Typically it's just hostname. On modern linux, we include an | ||
extra Linux-specific pid namespace identifier. | ||||
Jun Wu
|
r30920 | """ | ||
Yuya Nishihara
|
r35915 | result = encoding.strtolocal(socket.gethostname()) | ||
Augie Fackler
|
r43347 | if pycompat.sysplatform.startswith(b'linux'): | ||
Jun Wu
|
r30921 | try: | ||
Augie Fackler
|
r43347 | result += b'/%x' % os.stat(b'/proc/self/ns/pid').st_ino | ||
Jun Wu
|
r30921 | except OSError as ex: | ||
if ex.errno not in (errno.ENOENT, errno.EACCES, errno.ENOTDIR): | ||||
raise | ||||
return result | ||||
Jun Wu
|
r30920 | |||
Augie Fackler
|
r43346 | |||
Yuya Nishihara
|
r36717 | @contextlib.contextmanager | ||
def _delayedinterrupt(): | ||||
"""Block signal interrupt while doing something critical | ||||
This makes sure that the code block wrapped by this context manager won't | ||||
be interrupted. | ||||
For Windows developers: It appears not possible to guard time.sleep() | ||||
from CTRL_C_EVENT, so please don't use time.sleep() to test if this is | ||||
working. | ||||
""" | ||||
assertedsigs = [] | ||||
blocked = False | ||||
orighandlers = {} | ||||
def raiseinterrupt(num): | ||||
Augie Fackler
|
r43346 | if num == getattr(signal, 'SIGINT', None) or num == getattr( | ||
signal, 'CTRL_C_EVENT', None | ||||
): | ||||
Yuya Nishihara
|
r36717 | raise KeyboardInterrupt | ||
else: | ||||
raise error.SignalInterrupt | ||||
Augie Fackler
|
r43346 | |||
Yuya Nishihara
|
r36717 | def catchterm(num, frame): | ||
if blocked: | ||||
assertedsigs.append(num) | ||||
else: | ||||
raiseinterrupt(num) | ||||
try: | ||||
# save handlers first so they can be restored even if a setup is | ||||
# interrupted between signal.signal() and orighandlers[] =. | ||||
Augie Fackler
|
r43347 | for name in [ | ||
b'CTRL_C_EVENT', | ||||
b'SIGINT', | ||||
b'SIGBREAK', | ||||
b'SIGHUP', | ||||
b'SIGTERM', | ||||
]: | ||||
Yuya Nishihara
|
r36717 | num = getattr(signal, name, None) | ||
if num and num not in orighandlers: | ||||
orighandlers[num] = signal.getsignal(num) | ||||
try: | ||||
for num in orighandlers: | ||||
signal.signal(num, catchterm) | ||||
except ValueError: | ||||
Augie Fackler
|
r43346 | pass # in a thread? no luck | ||
Yuya Nishihara
|
r36717 | |||
blocked = True | ||||
yield | ||||
finally: | ||||
# no simple way to reliably restore all signal handlers because | ||||
# any loops, recursive function calls, except blocks, etc. can be | ||||
# interrupted. so instead, make catchterm() raise interrupt. | ||||
blocked = False | ||||
try: | ||||
for num, handler in orighandlers.items(): | ||||
signal.signal(num, handler) | ||||
except ValueError: | ||||
Augie Fackler
|
r43346 | pass # in a thread? | ||
Yuya Nishihara
|
r36717 | |||
# re-raise interrupt exception if any, which may be shadowed by a new | ||||
# interrupt occurred while re-raising the first one | ||||
if assertedsigs: | ||||
raiseinterrupt(assertedsigs[0]) | ||||
Augie Fackler
|
r43346 | |||
Boris Feld
|
r35210 | def trylock(ui, vfs, lockname, timeout, warntimeout, *args, **kwargs): | ||
Boris Feld
|
r35209 | """return an acquired lock or raise an a LockHeld exception | ||
Boris Feld
|
r35210 | This function is responsible to issue warnings and or debug messages about | ||
the held lock while trying to acquires it.""" | ||||
Boris Feld
|
r35209 | |||
def printwarning(printer, locker): | ||||
"""issue the usual "waiting on lock" message through any channel""" | ||||
# show more details for new-style locks | ||||
Augie Fackler
|
r43347 | if b':' in locker: | ||
host, pid = locker.split(b":", 1) | ||||
Augie Fackler
|
r43346 | msg = _( | ||
Augie Fackler
|
r43347 | b"waiting for lock on %s held by process %r on host %r\n" | ||
Augie Fackler
|
r43346 | ) % ( | ||
pycompat.bytestr(l.desc), | ||||
pycompat.bytestr(pid), | ||||
pycompat.bytestr(host), | ||||
) | ||||
Boris Feld
|
r35209 | else: | ||
Augie Fackler
|
r43347 | msg = _(b"waiting for lock on %s held by %r\n") % ( | ||
Augie Fackler
|
r43346 | l.desc, | ||
pycompat.bytestr(locker), | ||||
) | ||||
Boris Feld
|
r35209 | printer(msg) | ||
l = lock(vfs, lockname, 0, *args, dolock=False, **kwargs) | ||||
Boris Feld
|
r35210 | debugidx = 0 if (warntimeout and timeout) else -1 | ||
Boris Feld
|
r35209 | warningidx = 0 | ||
if not timeout: | ||||
warningidx = -1 | ||||
Boris Feld
|
r35210 | elif warntimeout: | ||
warningidx = warntimeout | ||||
Boris Feld
|
r35209 | |||
delay = 0 | ||||
while True: | ||||
try: | ||||
l._trylock() | ||||
break | ||||
except error.LockHeld as inst: | ||||
Boris Feld
|
r35210 | if delay == debugidx: | ||
printwarning(ui.debug, inst.locker) | ||||
Boris Feld
|
r35209 | if delay == warningidx: | ||
printwarning(ui.warn, inst.locker) | ||||
if timeout <= delay: | ||||
Augie Fackler
|
r43346 | raise error.LockHeld( | ||
errno.ETIMEDOUT, inst.filename, l.desc, inst.locker | ||||
) | ||||
Boris Feld
|
r35209 | time.sleep(1) | ||
delay += 1 | ||||
l.delay = delay | ||||
if l.delay: | ||||
Boris Feld
|
r35210 | if 0 <= warningidx <= l.delay: | ||
Augie Fackler
|
r43347 | ui.warn(_(b"got lock after %d seconds\n") % l.delay) | ||
Boris Feld
|
r35210 | else: | ||
Augie Fackler
|
r43347 | ui.debug(b"got lock after %d seconds\n" % l.delay) | ||
Boris Feld
|
r35209 | if l.acquirefn: | ||
l.acquirefn() | ||||
return l | ||||
Augie Fackler
|
r43346 | |||
Eric Hopper
|
r1559 | class lock(object): | ||
Greg Ward
|
r9309 | '''An advisory lock held by one process to control access to a set | ||
of files. Non-cooperating processes or incorrectly written scripts | ||||
can ignore Mercurial's locking scheme and stomp all over the | ||||
repository, so don't do that. | ||||
Typically used via localrepository.lock() to lock the repository | ||||
store (.hg/store/) or localrepository.wlock() to lock everything | ||||
else under .hg/.''' | ||||
Vadim Gelfer
|
r1877 | # lock is symlink on platforms that support it, file on others. | ||
# symlink is used because create of directory entry and contents | ||||
# are atomic even over nfs. | ||||
# old-style lock: symlink to pid | ||||
# new-style lock: symlink to hostname:pid | ||||
Bryan O'Sullivan
|
r4947 | _host = None | ||
Augie Fackler
|
r43346 | def __init__( | ||
self, | ||||
vfs, | ||||
fname, | ||||
timeout=-1, | ||||
releasefn=None, | ||||
acquirefn=None, | ||||
desc=None, | ||||
inheritchecker=None, | ||||
parentlock=None, | ||||
signalsafe=True, | ||||
dolock=True, | ||||
): | ||||
FUJIWARA Katsunori
|
r20091 | self.vfs = vfs | ||
Pulkit Goyal
|
r37677 | self.f = fname | ||
mpm@selenic.com
|
r161 | self.held = 0 | ||
Benoit Boissinot
|
r1787 | self.timeout = timeout | ||
Benoit Boissinot
|
r1530 | self.releasefn = releasefn | ||
Siddharth Agarwal
|
r26321 | self.acquirefn = acquirefn | ||
Vadim Gelfer
|
r2016 | self.desc = desc | ||
Siddharth Agarwal
|
r26498 | self._inheritchecker = inheritchecker | ||
Siddharth Agarwal
|
r26356 | self.parentlock = parentlock | ||
self._parentheld = False | ||||
self._inherited = False | ||||
Yuya Nishihara
|
r38157 | if signalsafe: | ||
self._maybedelayedinterrupt = _delayedinterrupt | ||||
else: | ||||
self._maybedelayedinterrupt = util.nullcontextmanager | ||||
Augie Fackler
|
r43346 | self.postrelease = [] | ||
Siddharth Agarwal
|
r26383 | self.pid = self._getpid() | ||
Boris Feld
|
r35209 | if dolock: | ||
self.delay = self.lock() | ||||
if self.acquirefn: | ||||
self.acquirefn() | ||||
mpm@selenic.com
|
r161 | |||
Bryan O'Sullivan
|
r27797 | def __enter__(self): | ||
return self | ||||
def __exit__(self, exc_type, exc_value, exc_tb): | ||||
Kyle Lippincott
|
r44217 | success = all(a is None for a in (exc_type, exc_value, exc_tb)) | ||
self.release(success=success) | ||||
Bryan O'Sullivan
|
r27797 | |||
mpm@selenic.com
|
r161 | def __del__(self): | ||
Ronny Pfannschmidt
|
r8108 | if self.held: | ||
Augie Fackler
|
r43346 | warnings.warn( | ||
Augie Fackler
|
r43809 | "use lock.release instead of del lock", | ||
Augie Fackler
|
r43346 | category=DeprecationWarning, | ||
stacklevel=2, | ||||
) | ||||
Ronny Pfannschmidt
|
r8113 | |||
Ronny Pfannschmidt
|
r8108 | # ensure the lock will be removed | ||
# even if recursive locking did occur | ||||
self.held = 1 | ||||
mpm@selenic.com
|
r161 | self.release() | ||
Siddharth Agarwal
|
r26383 | def _getpid(self): | ||
Yuya Nishihara
|
r37138 | # wrapper around procutil.getpid() to make testing easier | ||
return procutil.getpid() | ||||
Siddharth Agarwal
|
r26383 | |||
mpm@selenic.com
|
r161 | def lock(self): | ||
Benoit Boissinot
|
r1787 | timeout = self.timeout | ||
Martin Geisler
|
r14494 | while True: | ||
mpm@selenic.com
|
r161 | try: | ||
Matt Mackall
|
r26082 | self._trylock() | ||
Mads Kiilerich
|
r20380 | return self.timeout - timeout | ||
Gregory Szorc
|
r25660 | except error.LockHeld as inst: | ||
Benoit Boissinot
|
r1787 | if timeout != 0: | ||
mpm@selenic.com
|
r161 | time.sleep(1) | ||
Benoit Boissinot
|
r1787 | if timeout > 0: | ||
timeout -= 1 | ||||
mpm@selenic.com
|
r161 | continue | ||
Augie Fackler
|
r43346 | raise error.LockHeld( | ||
errno.ETIMEDOUT, inst.filename, self.desc, inst.locker | ||||
) | ||||
mpm@selenic.com
|
r515 | |||
Matt Mackall
|
r26082 | def _trylock(self): | ||
Ronny Pfannschmidt
|
r8108 | if self.held: | ||
self.held += 1 | ||||
return | ||||
Bryan O'Sullivan
|
r4947 | if lock._host is None: | ||
Jun Wu
|
r30920 | lock._host = _getlockprefix() | ||
Augie Fackler
|
r43347 | lockname = b'%s:%d' % (lock._host, self.pid) | ||
Matt Mackall
|
r26081 | retry = 5 | ||
while not self.held and retry: | ||||
retry -= 1 | ||||
Vadim Gelfer
|
r1877 | try: | ||
Yuya Nishihara
|
r38157 | with self._maybedelayedinterrupt(): | ||
Yuya Nishihara
|
r36717 | self.vfs.makelock(lockname, self.f) | ||
self.held = 1 | ||||
Gregory Szorc
|
r25660 | except (OSError, IOError) as why: | ||
Vadim Gelfer
|
r1877 | if why.errno == errno.EEXIST: | ||
Siddharth Agarwal
|
r26387 | locker = self._readlock() | ||
FUJIWARA Katsunori
|
r32088 | if locker is None: | ||
continue | ||||
Siddharth Agarwal
|
r26387 | # special case where a parent process holds the lock -- this | ||
# is different from the pid being different because we do | ||||
# want the unlock and postrelease functions to be called, | ||||
# but the lockfile to not be removed. | ||||
if locker == self.parentlock: | ||||
self._parentheld = True | ||||
self.held = 1 | ||||
return | ||||
locker = self._testlock(locker) | ||||
Thomas Arendsen Hein
|
r3686 | if locker is not None: | ||
Augie Fackler
|
r43346 | raise error.LockHeld( | ||
errno.EAGAIN, | ||||
self.vfs.join(self.f), | ||||
self.desc, | ||||
locker, | ||||
) | ||||
Vadim Gelfer
|
r1877 | else: | ||
Augie Fackler
|
r43346 | raise error.LockUnavailable( | ||
why.errno, why.strerror, why.filename, self.desc | ||||
) | ||||
Vadim Gelfer
|
r1877 | |||
FUJIWARA Katsunori
|
r32089 | if not self.held: | ||
# use empty locker to mean "busy for frequent lock/unlock | ||||
# by many processes" | ||||
Augie Fackler
|
r43346 | raise error.LockHeld( | ||
Augie Fackler
|
r43347 | errno.EAGAIN, self.vfs.join(self.f), self.desc, b"" | ||
Augie Fackler
|
r43346 | ) | ||
FUJIWARA Katsunori
|
r32089 | |||
Siddharth Agarwal
|
r26290 | def _readlock(self): | ||
"""read lock and return its value | ||||
Returns None if no lock exists, pid for old-style locks, and host:pid | ||||
for new-style locks. | ||||
""" | ||||
try: | ||||
return self.vfs.readlock(self.f) | ||||
except (OSError, IOError) as why: | ||||
if why.errno == errno.ENOENT: | ||||
return None | ||||
raise | ||||
Valentin Gatien-Baron
|
r44107 | def _lockshouldbebroken(self, locker): | ||
Siddharth Agarwal
|
r26290 | if locker is None: | ||
Valentin Gatien-Baron
|
r44107 | return False | ||
Benoit Boissinot
|
r2579 | try: | ||
Augie Fackler
|
r43347 | host, pid = locker.split(b":", 1) | ||
Benoit Boissinot
|
r2579 | except ValueError: | ||
Valentin Gatien-Baron
|
r44107 | return False | ||
Bryan O'Sullivan
|
r4947 | if host != lock._host: | ||
Valentin Gatien-Baron
|
r44107 | return False | ||
mpm@selenic.com
|
r161 | try: | ||
Benoit Boissinot
|
r2579 | pid = int(pid) | ||
Benoit Boissinot
|
r9685 | except ValueError: | ||
Valentin Gatien-Baron
|
r44107 | return False | ||
Yuya Nishihara
|
r37138 | if procutil.testpid(pid): | ||
Valentin Gatien-Baron
|
r44107 | return False | ||
return True | ||||
def _testlock(self, locker): | ||||
if not self._lockshouldbebroken(locker): | ||||
Vadim Gelfer
|
r1877 | return locker | ||
Valentin Gatien-Baron
|
r44107 | |||
Vadim Gelfer
|
r1877 | # if locker dead, break lock. must do this with another lock | ||
# held, or can race and break valid lock. | ||||
try: | ||||
Valentin Gatien-Baron
|
r44107 | with lock(self.vfs, self.f + b'.break', timeout=0): | ||
Valentin Gatien-Baron
|
r44108 | locker = self._readlock() | ||
if not self._lockshouldbebroken(locker): | ||||
return locker | ||||
Valentin Gatien-Baron
|
r44107 | self.vfs.unlink(self.f) | ||
Matt Mackall
|
r7640 | except error.LockError: | ||
Vadim Gelfer
|
r1877 | return locker | ||
mpm@selenic.com
|
r161 | |||
Siddharth Agarwal
|
r26291 | def testlock(self): | ||
"""return id of locker if lock is valid, else None. | ||||
If old-style lock, we cannot tell what machine locker is on. | ||||
with new-style lock, if locker is on this machine, we can | ||||
see if locker is alive. If locker is on this machine but | ||||
not alive, we can safely break lock. | ||||
The lock file is only deleted when None is returned. | ||||
""" | ||||
locker = self._readlock() | ||||
return self._testlock(locker) | ||||
Siddharth Agarwal
|
r26473 | @contextlib.contextmanager | ||
def inherit(self): | ||||
"""context for the lock to be inherited by a Mercurial subprocess. | ||||
Siddharth Agarwal
|
r26357 | |||
Siddharth Agarwal
|
r26473 | Yields a string that will be recognized by the lock in the subprocess. | ||
Communicating this string to the subprocess needs to be done separately | ||||
-- typically by an environment variable. | ||||
Siddharth Agarwal
|
r26357 | """ | ||
if not self.held: | ||||
raise error.LockInheritanceContractViolation( | ||||
Augie Fackler
|
r43347 | b'inherit can only be called while lock is held' | ||
Augie Fackler
|
r43346 | ) | ||
Siddharth Agarwal
|
r26357 | if self._inherited: | ||
raise error.LockInheritanceContractViolation( | ||||
Augie Fackler
|
r43347 | b'inherit cannot be called while lock is already inherited' | ||
Augie Fackler
|
r43346 | ) | ||
Siddharth Agarwal
|
r26498 | if self._inheritchecker is not None: | ||
self._inheritchecker() | ||||
Siddharth Agarwal
|
r26357 | if self.releasefn: | ||
self.releasefn() | ||||
if self._parentheld: | ||||
lockname = self.parentlock | ||||
else: | ||||
Pulkit Goyal
|
r37676 | lockname = b'%s:%d' % (lock._host, self.pid) | ||
Siddharth Agarwal
|
r26357 | self._inherited = True | ||
Siddharth Agarwal
|
r26473 | try: | ||
yield lockname | ||||
finally: | ||||
if self.acquirefn: | ||||
self.acquirefn() | ||||
self._inherited = False | ||||
Siddharth Agarwal
|
r26358 | |||
Kyle Lippincott
|
r44217 | def release(self, success=True): | ||
Pierre-Yves David
|
r15583 | """release the lock and execute callback function if any | ||
Bryan O'Sullivan
|
r17537 | If the lock has been acquired multiple times, the actual release is | ||
timeless@mozdev.org
|
r17510 | delayed to the last release call.""" | ||
Ronny Pfannschmidt
|
r8108 | if self.held > 1: | ||
self.held -= 1 | ||||
Benoit Boissinot
|
r9680 | elif self.held == 1: | ||
mpm@selenic.com
|
r161 | self.held = 0 | ||
Siddharth Agarwal
|
r26383 | if self._getpid() != self.pid: | ||
Bryan O'Sullivan
|
r18907 | # we forked, and are not the parent | ||
return | ||||
mpm@selenic.com
|
r503 | try: | ||
Siddharth Agarwal
|
r23032 | if self.releasefn: | ||
self.releasefn() | ||||
finally: | ||||
Siddharth Agarwal
|
r26359 | if not self._parentheld: | ||
try: | ||||
self.vfs.unlink(self.f) | ||||
except OSError: | ||||
pass | ||||
Siddharth Agarwal
|
r26474 | # The postrelease functions typically assume the lock is not held | ||
# at all. | ||||
if not self._parentheld: | ||||
for callback in self.postrelease: | ||||
Kyle Lippincott
|
r44217 | callback(success) | ||
Gregory Szorc
|
r28959 | # Prevent double usage and help clear cycles. | ||
self.postrelease = None | ||||
mpm@selenic.com
|
r161 | |||
Augie Fackler
|
r43346 | |||
Ronny Pfannschmidt
|
r8108 | def release(*locks): | ||
for lock in locks: | ||||
if lock is not None: | ||||
lock.release() | ||||