~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/lockdir.py

  • Committer: Martin Pool
  • Date: 2011-06-28 22:25:28 UTC
  • mto: This revision was merged to the branch mainline in revision 6004.
  • Revision ID: mbp@canonical.com-20110628222528-gwf27vdagmxatljc
More explicit laziness

Show diffs side-by-side

added added

removed removed

Lines of Context:
92
92
>>> # do something here
93
93
>>> l.unlock()
94
94
 
95
 
Some classes of stale locks can be predicted by checking: the host name is the
96
 
same as the local host name; the user name is the same as the local user; the
97
 
process id no longer exists.  The check on user name is not strictly necessary
98
 
but helps protect against colliding host names.
99
95
"""
100
96
 
101
97
 
107
103
# the existing locking code and needs a new format of the containing object.
108
104
# -- robertc, mbp 20070628
109
105
 
110
 
import errno
111
106
import os
112
107
import time
113
108
 
114
109
from bzrlib import (
115
 
    config,
116
110
    debug,
117
111
    errors,
118
112
    lock,
119
113
    osutils,
120
 
    ui,
121
 
    urlutils,
122
114
    )
 
115
import bzrlib.config
123
116
from bzrlib.decorators import only_raises
124
117
from bzrlib.errors import (
125
118
        DirectoryNotEmpty,
137
130
        )
138
131
from bzrlib.trace import mutter, note
139
132
from bzrlib.osutils import format_delta, rand_chars, get_host_name
 
133
import bzrlib.ui
140
134
 
141
135
from bzrlib.lazy_import import lazy_import
142
136
lazy_import(globals(), """
168
162
 
169
163
    __INFO_NAME = '/info'
170
164
 
171
 
    def __init__(self, transport, path, file_modebits=0644, dir_modebits=0755,
172
 
        extra_holder_info=None):
 
165
    def __init__(self, transport, path, file_modebits=0644, dir_modebits=0755):
173
166
        """Create a new LockDir object.
174
167
 
175
168
        The LockDir is initially unlocked - this just creates the object.
178
171
 
179
172
        :param path: Path to the lock within the base directory of the
180
173
            transport.
181
 
 
182
 
        :param extra_holder_info: If passed, {str:str} dict of extra or
183
 
            updated information to insert into the info file when the lock is
184
 
            taken.
185
174
        """
186
175
        self.transport = transport
187
176
        self.path = path
192
181
        self._held_info_path = self._held_dir + self.__INFO_NAME
193
182
        self._file_modebits = file_modebits
194
183
        self._dir_modebits = dir_modebits
 
184
 
195
185
        self._report_function = note
196
 
        self.extra_holder_info = extra_holder_info
197
 
        self._warned_about_lock_holder = None
198
186
 
199
187
    def __repr__(self):
200
188
        return '%s(%s%s)' % (self.__class__.__name__,
215
203
        except (TransportError, PathError), e:
216
204
            raise LockFailed(self, e)
217
205
 
 
206
 
218
207
    def _attempt_lock(self):
219
208
        """Make the pending directory and attempt to rename into place.
220
209
 
227
216
 
228
217
        :returns: The nonce of the lock, if it was successfully acquired.
229
218
 
230
 
        :raises LockContention: If the lock is held by someone else.  The
231
 
            exception contains the info of the current holder of the lock.
 
219
        :raises LockContention: If the lock is held by someone else.  The exception
 
220
            contains the info of the current holder of the lock.
232
221
        """
233
222
        self._trace("lock_write...")
234
223
        start_time = time.time()
237
226
        except (errors.TransportError, PathError), e:
238
227
            self._trace("... failed to create pending dir, %s", e)
239
228
            raise LockFailed(self, e)
240
 
        while True:
241
 
            try:
242
 
                self.transport.rename(tmpname, self._held_dir)
243
 
                break
244
 
            except (errors.TransportError, PathError, DirectoryNotEmpty,
245
 
                    FileExists, ResourceBusy), e:
246
 
                self._trace("... contention, %s", e)
247
 
                other_holder = self.peek()
248
 
                self._trace("other holder is %r" % other_holder)
249
 
                try:
250
 
                    self._handle_lock_contention(other_holder)
251
 
                except:
252
 
                    self._remove_pending_dir(tmpname)
253
 
                    raise
254
 
            except Exception, e:
255
 
                self._trace("... lock failed, %s", e)
256
 
                self._remove_pending_dir(tmpname)
257
 
                raise
 
229
        try:
 
230
            self.transport.rename(tmpname, self._held_dir)
 
231
        except (errors.TransportError, PathError, DirectoryNotEmpty,
 
232
                FileExists, ResourceBusy), e:
 
233
            self._trace("... contention, %s", e)
 
234
            self._remove_pending_dir(tmpname)
 
235
            raise LockContention(self)
 
236
        except Exception, e:
 
237
            self._trace("... lock failed, %s", e)
 
238
            self._remove_pending_dir(tmpname)
 
239
            raise
258
240
        # We must check we really got the lock, because Launchpad's sftp
259
241
        # server at one time had a bug were the rename would successfully
260
242
        # move the new directory into the existing directory, which was
280
262
                (time.time() - start_time) * 1000)
281
263
        return self.nonce
282
264
 
283
 
    def _handle_lock_contention(self, other_holder):
284
 
        """A lock we want to take is held by someone else.
285
 
 
286
 
        This function can: tell the user about it; possibly detect that it's
287
 
        safe or appropriate to steal the lock, or just raise an exception.
288
 
 
289
 
        If this function returns (without raising an exception) the lock will
290
 
        be attempted again.
291
 
 
292
 
        :param other_holder: A LockHeldInfo for the current holder; note that
293
 
            it might be None if the lock can be seen to be held but the info
294
 
            can't be read.
295
 
        """
296
 
        if (other_holder is not None):
297
 
            if other_holder.is_lock_holder_known_dead():
298
 
                if self.get_config().get('locks.steal_dead'):
299
 
                    ui.ui_factory.show_user_warning(
300
 
                        'locks_steal_dead',
301
 
                        lock_url=urlutils.join(self.transport.base, self.path),
302
 
                        other_holder_info=unicode(other_holder))
303
 
                    self.force_break(other_holder)
304
 
                    self._trace("stole lock from dead holder")
305
 
                    return
306
 
        raise LockContention(self)
307
 
 
308
265
    def _remove_pending_dir(self, tmpname):
309
266
        """Remove the pending directory
310
267
 
330
287
            self.create(mode=self._dir_modebits)
331
288
            # After creating the lock directory, try again
332
289
            self.transport.mkdir(tmpname)
333
 
        info = LockHeldInfo.for_this_process(self.extra_holder_info)
334
 
        self.nonce = info.get('nonce')
 
290
        self.nonce = rand_chars(20)
 
291
        info_bytes = self._prepare_info()
335
292
        # We use put_file_non_atomic because we just created a new unique
336
293
        # directory so we don't have to worry about files existing there.
337
294
        # We'll rename the whole directory into place to get atomic
338
295
        # properties
339
296
        self.transport.put_bytes_non_atomic(tmpname + self.__INFO_NAME,
340
 
            info.to_bytes())
 
297
                                            info_bytes)
341
298
        return tmpname
342
299
 
343
300
    @only_raises(LockNotHeld, LockBroken)
387
344
    def break_lock(self):
388
345
        """Break a lock not held by this instance of LockDir.
389
346
 
390
 
        This is a UI centric function: it uses the ui.ui_factory to
 
347
        This is a UI centric function: it uses the bzrlib.ui.ui_factory to
391
348
        prompt for input if a lock is detected and there is any doubt about
392
 
        it possibly being still active.  force_break is the non-interactive
393
 
        version.
 
349
        it possibly being still active.
394
350
 
395
351
        :returns: LockResult for the broken lock.
396
352
        """
399
355
            holder_info = self.peek()
400
356
        except LockCorrupt, e:
401
357
            # The lock info is corrupt.
402
 
            if ui.ui_factory.get_boolean(u"Break (corrupt %r)" % (self,)):
 
358
            if bzrlib.ui.ui_factory.get_boolean(u"Break (corrupt %r)" % (self,)):
403
359
                self.force_break_corrupt(e.file_data)
404
360
            return
405
361
        if holder_info is not None:
406
 
            if ui.ui_factory.confirm_action(
407
 
                u"Break %(lock_info)s",
408
 
                'bzrlib.lockdir.break',
409
 
                dict(lock_info=unicode(holder_info))):
 
362
            lock_info = '\n'.join(self._format_lock_info(holder_info))
 
363
            if bzrlib.ui.ui_factory.confirm_action(
 
364
                "Break %(lock_info)s", 'bzrlib.lockdir.break', 
 
365
                dict(lock_info=lock_info)):
410
366
                result = self.force_break(holder_info)
411
 
                ui.ui_factory.show_message(
 
367
                bzrlib.ui.ui_factory.show_message(
412
368
                    "Broke lock %s" % result.lock_url)
413
369
 
414
370
    def force_break(self, dead_holder_info):
418
374
        it still thinks it has the lock there will be two concurrent writers.
419
375
        In general the user's approval should be sought for lock breaks.
420
376
 
 
377
        dead_holder_info must be the result of a previous LockDir.peek() call;
 
378
        this is used to check that it's still held by the same process that
 
379
        the user decided was dead.  If this is not the current holder,
 
380
        LockBreakMismatch is raised.
 
381
 
421
382
        After the lock is broken it will not be held by any process.
422
383
        It is possible that another process may sneak in and take the
423
384
        lock before the breaking process acquires it.
424
385
 
425
 
        :param dead_holder_info:
426
 
            Must be the result of a previous LockDir.peek() call; this is used
427
 
            to check that it's still held by the same process that the user
428
 
            decided was dead.  If this is not the current holder,
429
 
            LockBreakMismatch is raised.
430
 
 
431
386
        :returns: LockResult for the broken lock.
432
387
        """
433
 
        if not isinstance(dead_holder_info, LockHeldInfo):
 
388
        if not isinstance(dead_holder_info, dict):
434
389
            raise ValueError("dead_holder_info: %r" % dead_holder_info)
435
390
        self._check_not_locked()
436
391
        current_info = self.peek()
458
413
 
459
414
    def force_break_corrupt(self, corrupt_info_lines):
460
415
        """Release a lock that has been corrupted.
461
 
 
 
416
        
462
417
        This is very similar to force_break, it except it doesn't assume that
463
418
        self.peek() can work.
464
 
 
 
419
        
465
420
        :param corrupt_info_lines: the lines of the corrupted info file, used
466
421
            to check that the lock hasn't changed between reading the (corrupt)
467
422
            info file and calling force_break_corrupt.
515
470
 
516
471
        peek() reads the info file of the lock holder, if any.
517
472
        """
518
 
        return LockHeldInfo.from_info_file_bytes(
519
 
            self.transport.get_bytes(path))
 
473
        return self._parse_info(self.transport.get_bytes(path))
520
474
 
521
475
    def peek(self):
522
476
        """Check if the lock is held by anyone.
535
489
    def _prepare_info(self):
536
490
        """Write information about a pending lock to a temporary file.
537
491
        """
 
492
        # XXX: is creating this here inefficient?
 
493
        config = bzrlib.config.GlobalConfig()
 
494
        try:
 
495
            user = config.username()
 
496
        except errors.NoWhoami:
 
497
            user = osutils.getuser_unicode()
 
498
        s = rio.Stanza(hostname=get_host_name(),
 
499
                   pid=str(os.getpid()),
 
500
                   start_time=str(int(time.time())),
 
501
                   nonce=self.nonce,
 
502
                   user=user,
 
503
                   )
 
504
        return s.to_string()
 
505
 
 
506
    def _parse_info(self, info_bytes):
 
507
        lines = osutils.split_lines(info_bytes)
 
508
        try:
 
509
            stanza = rio.read_stanza(lines)
 
510
        except ValueError, e:
 
511
            mutter('Corrupt lock info file: %r', lines)
 
512
            raise LockCorrupt("could not parse lock info file: " + str(e),
 
513
                              lines)
 
514
        if stanza is None:
 
515
            # see bug 185013; we fairly often end up with the info file being
 
516
            # empty after an interruption; we could log a message here but
 
517
            # there may not be much we can say
 
518
            return {}
 
519
        else:
 
520
            return stanza.as_dict()
538
521
 
539
522
    def attempt_lock(self):
540
523
        """Take the lock; fail if it's already held.
615
598
                else:
616
599
                    start = 'Lock owner changed for'
617
600
                last_info = new_info
618
 
                msg = u'%s lock %s %s.' % (start, lock_url, new_info)
 
601
                formatted_info = self._format_lock_info(new_info)
619
602
                if deadline_str is None:
620
603
                    deadline_str = time.strftime('%H:%M:%S',
621
 
                                                    time.localtime(deadline))
 
604
                                                 time.localtime(deadline))
 
605
                user, hostname, pid, time_ago = formatted_info
 
606
                msg = ('%s lock %s '        # lock_url
 
607
                    'held by '              # start
 
608
                    '%s\n'                  # user
 
609
                    'at %s '                # hostname
 
610
                    '[process #%s], '       # pid
 
611
                    'acquired %s.')         # time ago
 
612
                msg_args = [start, lock_url, user, hostname, pid, time_ago]
622
613
                if timeout > 0:
623
614
                    msg += ('\nWill continue to try until %s, unless '
624
 
                        'you press Ctrl-C.'
625
 
                        % deadline_str)
 
615
                        'you press Ctrl-C.')
 
616
                    msg_args.append(deadline_str)
626
617
                msg += '\nSee "bzr help break-lock" for more.'
627
 
                self._report_function(msg)
 
618
                self._report_function(msg, *msg_args)
628
619
            if (max_attempts is not None) and (attempt_count >= max_attempts):
629
620
                self._trace("exceeded %d attempts")
630
621
                raise LockContention(self)
685
676
            raise LockContention(self)
686
677
        self._fake_read_lock = True
687
678
 
 
679
    def _format_lock_info(self, info):
 
680
        """Turn the contents of peek() into something for the user"""
 
681
        start_time = info.get('start_time')
 
682
        if start_time is None:
 
683
            time_ago = '(unknown)'
 
684
        else:
 
685
            time_ago = format_delta(time.time() - int(info['start_time']))
 
686
        user = info.get('user', '<unknown>')
 
687
        hostname = info.get('hostname', '<unknown>')
 
688
        pid = info.get('pid', '<unknown>')
 
689
        return [
 
690
            user,
 
691
            hostname,
 
692
            pid,
 
693
            time_ago,
 
694
            ]
 
695
 
688
696
    def validate_token(self, token):
689
697
        if token is not None:
690
698
            info = self.peek()
702
710
        if 'lock' not in debug.debug_flags:
703
711
            return
704
712
        mutter(str(self) + ": " + (format % args))
705
 
 
706
 
    def get_config(self):
707
 
        """Get the configuration that governs this lockdir."""
708
 
        # XXX: This really should also use the locationconfig at least, but
709
 
        # that seems a bit hard to hook up at the moment. -- mbp 20110329
710
 
        # FIXME: The above is still true ;) -- vila 20110811
711
 
        return config.GlobalStack()
712
 
 
713
 
 
714
 
class LockHeldInfo(object):
715
 
    """The information recorded about a held lock.
716
 
 
717
 
    This information is recorded into the lock when it's taken, and it can be
718
 
    read back by any process with access to the lockdir.  It can be used, for
719
 
    example, to tell the user who holds the lock, or to try to detect whether
720
 
    the lock holder is still alive.
721
 
 
722
 
    Prior to bzr 2.4 a simple dict was used instead of an object.
723
 
    """
724
 
 
725
 
    def __init__(self, info_dict):
726
 
        self.info_dict = info_dict
727
 
 
728
 
    def __repr__(self):
729
 
        """Return a debugging representation of this object."""
730
 
        return "%s(%r)" % (self.__class__.__name__, self.info_dict)
731
 
 
732
 
    def __unicode__(self):
733
 
        """Return a user-oriented description of this object."""
734
 
        d = self.to_readable_dict()
735
 
        return (
736
 
            u'held by %(user)s on %(hostname)s (process #%(pid)s), '
737
 
            u'acquired %(time_ago)s' % d)
738
 
 
739
 
    def to_readable_dict(self):
740
 
        """Turn the holder info into a dict of human-readable attributes.
741
 
 
742
 
        For example, the start time is presented relative to the current time,
743
 
        rather than as seconds since the epoch.
744
 
 
745
 
        Returns a list of [user, hostname, pid, time_ago] all as readable
746
 
        strings.
747
 
        """
748
 
        start_time = self.info_dict.get('start_time')
749
 
        if start_time is None:
750
 
            time_ago = '(unknown)'
751
 
        else:
752
 
            time_ago = format_delta(
753
 
                time.time() - int(self.info_dict['start_time']))
754
 
        user = self.info_dict.get('user', '<unknown>')
755
 
        hostname = self.info_dict.get('hostname', '<unknown>')
756
 
        pid = self.info_dict.get('pid', '<unknown>')
757
 
        return dict(
758
 
            user=user,
759
 
            hostname=hostname,
760
 
            pid=pid,
761
 
            time_ago=time_ago)
762
 
 
763
 
    def get(self, field_name):
764
 
        """Return the contents of a field from the lock info, or None."""
765
 
        return self.info_dict.get(field_name)
766
 
 
767
 
    @classmethod
768
 
    def for_this_process(cls, extra_holder_info):
769
 
        """Return a new LockHeldInfo for a lock taken by this process.
770
 
        """
771
 
        info = dict(
772
 
            hostname=get_host_name(),
773
 
            pid=str(os.getpid()),
774
 
            nonce=rand_chars(20),
775
 
            start_time=str(int(time.time())),
776
 
            user=get_username_for_lock_info(),
777
 
            )
778
 
        if extra_holder_info is not None:
779
 
            info.update(extra_holder_info)
780
 
        return cls(info)
781
 
 
782
 
    def to_bytes(self):
783
 
        s = rio.Stanza(**self.info_dict)
784
 
        return s.to_string()
785
 
 
786
 
    @classmethod
787
 
    def from_info_file_bytes(cls, info_file_bytes):
788
 
        """Construct from the contents of the held file."""
789
 
        lines = osutils.split_lines(info_file_bytes)
790
 
        try:
791
 
            stanza = rio.read_stanza(lines)
792
 
        except ValueError, e:
793
 
            mutter('Corrupt lock info file: %r', lines)
794
 
            raise LockCorrupt("could not parse lock info file: " + str(e),
795
 
                lines)
796
 
        if stanza is None:
797
 
            # see bug 185013; we fairly often end up with the info file being
798
 
            # empty after an interruption; we could log a message here but
799
 
            # there may not be much we can say
800
 
            return cls({})
801
 
        else:
802
 
            return cls(stanza.as_dict())
803
 
 
804
 
    def __cmp__(self, other):
805
 
        """Value comparison of lock holders."""
806
 
        return (
807
 
            cmp(type(self), type(other))
808
 
            or cmp(self.info_dict, other.info_dict))
809
 
 
810
 
    def is_locked_by_this_process(self):
811
 
        """True if this process seems to be the current lock holder."""
812
 
        return (
813
 
            self.get('hostname') == get_host_name()
814
 
            and self.get('pid') == str(os.getpid())
815
 
            and self.get('user') == get_username_for_lock_info())
816
 
 
817
 
    def is_lock_holder_known_dead(self):
818
 
        """True if the lock holder process is known to be dead.
819
 
 
820
 
        False if it's either known to be still alive, or if we just can't tell.
821
 
 
822
 
        We can be fairly sure the lock holder is dead if it declared the same
823
 
        hostname and there is no process with the given pid alive.  If people
824
 
        have multiple machines with the same hostname this may cause trouble.
825
 
 
826
 
        This doesn't check whether the lock holder is in fact the same process
827
 
        calling this method.  (In that case it will return true.)
828
 
        """
829
 
        if self.get('hostname') != get_host_name():
830
 
            return False
831
 
        if self.get('hostname') == 'localhost':
832
 
            # Too ambiguous.
833
 
            return False
834
 
        if self.get('user') != get_username_for_lock_info():
835
 
            # Could well be another local process by a different user, but
836
 
            # just to be safe we won't conclude about this either.
837
 
            return False
838
 
        pid_str = self.info_dict.get('pid', None)
839
 
        if not pid_str:
840
 
            mutter("no pid recorded in %r" % (self, ))
841
 
            return False
842
 
        try:
843
 
            pid = int(pid_str)
844
 
        except ValueError:
845
 
            mutter("can't parse pid %r from %r"
846
 
                % (pid_str, self))
847
 
            return False
848
 
        return osutils.is_local_pid_dead(pid)
849
 
 
850
 
 
851
 
def get_username_for_lock_info():
852
 
    """Get a username suitable for putting into a lock.
853
 
 
854
 
    It's ok if what's written here is not a proper email address as long
855
 
    as it gives some clue who the user is.
856
 
    """
857
 
    try:
858
 
        return config.GlobalConfig().username()
859
 
    except errors.NoWhoami:
860
 
        return osutils.getuser_unicode()