transaction.py
348 lines
| 11.2 KiB
| text/x-python
|
PythonLexer
/ mercurial / transaction.py
Mads Kiilerich
|
r17424 | # transaction.py - simple journaling scheme for mercurial | ||
mpm@selenic.com
|
r0 | # | ||
# This transaction scheme is intended to gracefully handle program | ||||
# errors and interruptions. More serious failures like system crashes | ||||
# can be recovered with an fsck-like tool. As the whole repository is | ||||
# effectively log-structured, this should amount to simply truncating | ||||
# anything that isn't referenced in the changelog. | ||||
# | ||||
Vadim Gelfer
|
r2859 | # Copyright 2005, 2006 Matt Mackall <mpm@selenic.com> | ||
mpm@selenic.com
|
r0 | # | ||
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
|
r0 | |||
Matt Mackall
|
r3891 | from i18n import _ | ||
Matt Mackall
|
r20886 | import errno | ||
Durham Goode
|
r20882 | import error, util | ||
Henrik Stuart
|
r8289 | |||
def active(func): | ||||
def _active(self, *args, **kwds): | ||||
if self.count == 0: | ||||
raise error.Abort(_( | ||||
'cannot use transaction when it is already committed/aborted')) | ||||
return func(self, *args, **kwds) | ||||
return _active | ||||
mpm@selenic.com
|
r0 | |||
Durham Goode
|
r20882 | def _playback(journal, report, opener, entries, backupentries, unlink=True): | ||
Mads Kiilerich
|
r22204 | for f, o, _ignore in entries: | ||
Henrik Stuart
|
r8294 | if o or not unlink: | ||
try: | ||||
Dan Villiom Podlaski Christiansen
|
r13400 | fp = opener(f, 'a') | ||
fp.truncate(o) | ||||
fp.close() | ||||
Benoit Boissinot
|
r9686 | except IOError: | ||
Henrik Stuart
|
r8294 | report(_("failed to truncate %s\n") % f) | ||
raise | ||||
else: | ||||
try: | ||||
FUJIWARA Katsunori
|
r20084 | opener.unlink(f) | ||
Benoit Boissinot
|
r9686 | except (IOError, OSError), inst: | ||
Henrik Stuart
|
r8294 | if inst.errno != errno.ENOENT: | ||
raise | ||||
Durham Goode
|
r20882 | |||
backupfiles = [] | ||||
Mads Kiilerich
|
r22204 | for f, b, _ignore in backupentries: | ||
Durham Goode
|
r20882 | filepath = opener.join(f) | ||
backuppath = opener.join(b) | ||||
try: | ||||
util.copyfile(backuppath, filepath) | ||||
backupfiles.append(b) | ||||
except IOError: | ||||
report(_("failed to recover %s\n") % f) | ||||
raise | ||||
FUJIWARA Katsunori
|
r20087 | opener.unlink(journal) | ||
Durham Goode
|
r20882 | backuppath = "%s.backupfiles" % journal | ||
if opener.exists(backuppath): | ||||
opener.unlink(backuppath) | ||||
for f in backupfiles: | ||||
opener.unlink(f) | ||||
Henrik Stuart
|
r8294 | |||
Eric Hopper
|
r1559 | class transaction(object): | ||
Durham Goode
|
r20881 | def __init__(self, report, opener, journal, after=None, createmode=None, | ||
onclose=None, onabort=None): | ||||
"""Begin a new transaction | ||||
Begins a new transaction that allows rolling back writes in the event of | ||||
an exception. | ||||
* `after`: called after the transaction has been committed | ||||
* `createmode`: the mode of the journal file that will be created | ||||
* `onclose`: called as the transaction is closing, but before it is | ||||
closed | ||||
* `onabort`: called as the transaction is aborting, but before any files | ||||
have been truncated | ||||
""" | ||||
mason@suse.com
|
r1806 | self.count = 1 | ||
Ronny Pfannschmidt
|
r11230 | self.usages = 1 | ||
mpm@selenic.com
|
r582 | self.report = report | ||
mpm@selenic.com
|
r0 | self.opener = opener | ||
mpm@selenic.com
|
r95 | self.after = after | ||
Durham Goode
|
r20881 | self.onclose = onclose | ||
self.onabort = onabort | ||||
mpm@selenic.com
|
r0 | self.entries = [] | ||
Durham Goode
|
r20882 | self.backupentries = [] | ||
mpm@selenic.com
|
r42 | self.map = {} | ||
Durham Goode
|
r20882 | self.backupmap = {} | ||
mpm@selenic.com
|
r0 | self.journal = journal | ||
Henrik Stuart
|
r8363 | self._queue = [] | ||
Pierre-Yves David
|
r21150 | # a dict of arguments to be passed to hooks | ||
self.hookargs = {} | ||||
mpm@selenic.com
|
r0 | |||
Durham Goode
|
r20882 | self.backupjournal = "%s.backupfiles" % journal | ||
FUJIWARA Katsunori
|
r20087 | self.file = opener.open(self.journal, "w") | ||
Durham Goode
|
r20882 | self.backupsfile = opener.open(self.backupjournal, 'w') | ||
Alexis S. L. Carvalho
|
r6065 | if createmode is not None: | ||
FUJIWARA Katsunori
|
r20087 | opener.chmod(self.journal, createmode & 0666) | ||
Durham Goode
|
r20882 | opener.chmod(self.backupjournal, createmode & 0666) | ||
mpm@selenic.com
|
r0 | |||
Pierre-Yves David
|
r22078 | # hold file generations to be performed on commit | ||
self._filegenerators = {} | ||||
mpm@selenic.com
|
r0 | def __del__(self): | ||
mpm@selenic.com
|
r558 | if self.journal: | ||
Sune Foldager
|
r9693 | self._abort() | ||
mpm@selenic.com
|
r0 | |||
Henrik Stuart
|
r8289 | @active | ||
Henrik Stuart
|
r8363 | def startgroup(self): | ||
Durham Goode
|
r20882 | self._queue.append(([], [])) | ||
Henrik Stuart
|
r8363 | |||
@active | ||||
def endgroup(self): | ||||
q = self._queue.pop() | ||||
Durham Goode
|
r20882 | self.entries.extend(q[0]) | ||
self.backupentries.extend(q[1]) | ||||
offsets = [] | ||||
backups = [] | ||||
Mads Kiilerich
|
r22199 | for f, o, _data in q[0]: | ||
Durham Goode
|
r20882 | offsets.append((f, o)) | ||
Mads Kiilerich
|
r22199 | for f, b, _data in q[1]: | ||
Durham Goode
|
r20882 | backups.append((f, b)) | ||
d = ''.join(['%s\0%d\n' % (f, o) for f, o in offsets]) | ||||
Henrik Stuart
|
r8363 | self.file.write(d) | ||
self.file.flush() | ||||
Durham Goode
|
r20882 | d = ''.join(['%s\0%s\0' % (f, b) for f, b in backups]) | ||
self.backupsfile.write(d) | ||||
self.backupsfile.flush() | ||||
Henrik Stuart
|
r8363 | @active | ||
Chris Mason
|
r2084 | def add(self, file, offset, data=None): | ||
Durham Goode
|
r20882 | if file in self.map or file in self.backupmap: | ||
Matt Mackall
|
r10282 | return | ||
Henrik Stuart
|
r8363 | if self._queue: | ||
Durham Goode
|
r20882 | self._queue[-1][0].append((file, offset, data)) | ||
Henrik Stuart
|
r8363 | return | ||
Chris Mason
|
r2084 | self.entries.append((file, offset, data)) | ||
self.map[file] = len(self.entries) - 1 | ||||
mpm@selenic.com
|
r0 | # add enough data to the journal to do the truncate | ||
self.file.write("%s\0%d\n" % (file, offset)) | ||||
self.file.flush() | ||||
Henrik Stuart
|
r8289 | @active | ||
Durham Goode
|
r20882 | def addbackup(self, file, hardlink=True): | ||
"""Adds a backup of the file to the transaction | ||||
Calling addbackup() creates a hardlink backup of the specified file | ||||
that is used to recover the file in the event of the transaction | ||||
aborting. | ||||
* `file`: the file path, relative to .hg/store | ||||
* `hardlink`: use a hardlink to quickly create the backup | ||||
""" | ||||
if file in self.map or file in self.backupmap: | ||||
return | ||||
Pierre-Yves David
|
r22077 | backupfile = "%s.backup.%s" % (self.journal, file) | ||
Durham Goode
|
r20882 | if self.opener.exists(file): | ||
filepath = self.opener.join(file) | ||||
backuppath = self.opener.join(backupfile) | ||||
util.copyfiles(filepath, backuppath, hardlink=hardlink) | ||||
else: | ||||
self.add(file, 0) | ||||
return | ||||
if self._queue: | ||||
self._queue[-1][1].append((file, backupfile)) | ||||
return | ||||
self.backupentries.append((file, backupfile, None)) | ||||
self.backupmap[file] = len(self.backupentries) - 1 | ||||
self.backupsfile.write("%s\0%s\0" % (file, backupfile)) | ||||
self.backupsfile.flush() | ||||
@active | ||||
Pierre-Yves David
|
r22078 | def addfilegenerator(self, genid, filenames, genfunc, order=0): | ||
"""add a function to generates some files at transaction commit | ||||
The `genfunc` argument is a function capable of generating proper | ||||
content of each entry in the `filename` tuple. | ||||
At transaction close time, `genfunc` will be called with one file | ||||
object argument per entries in `filenames`. | ||||
The transaction itself is responsible for the backup, creation and | ||||
final write of such file. | ||||
The `genid` argument is used to ensure the same set of file is only | ||||
generated once. Call to `addfilegenerator` for a `genid` already | ||||
present will overwrite the old entry. | ||||
The `order` argument may be used to control the order in which multiple | ||||
generator will be executed. | ||||
""" | ||||
self._filegenerators[genid] = (order, filenames, genfunc) | ||||
@active | ||||
Chris Mason
|
r2084 | def find(self, file): | ||
if file in self.map: | ||||
return self.entries[self.map[file]] | ||||
Durham Goode
|
r20882 | if file in self.backupmap: | ||
return self.backupentries[self.backupmap[file]] | ||||
Chris Mason
|
r2084 | return None | ||
Henrik Stuart
|
r8289 | @active | ||
Chris Mason
|
r2084 | def replace(self, file, offset, data=None): | ||
Henrik Stuart
|
r8363 | ''' | ||
replace can only replace already committed entries | ||||
that are not pending in the queue | ||||
''' | ||||
Chris Mason
|
r2084 | if file not in self.map: | ||
raise KeyError(file) | ||||
index = self.map[file] | ||||
self.entries[index] = (file, offset, data) | ||||
self.file.write("%s\0%d\n" % (file, offset)) | ||||
self.file.flush() | ||||
Henrik Stuart
|
r8289 | @active | ||
mason@suse.com
|
r1806 | def nest(self): | ||
self.count += 1 | ||||
Ronny Pfannschmidt
|
r11230 | self.usages += 1 | ||
mason@suse.com
|
r1806 | return self | ||
Ronny Pfannschmidt
|
r11230 | def release(self): | ||
if self.count > 0: | ||||
self.usages -= 1 | ||||
Patrick Mezard
|
r11685 | # if the transaction scopes are left without being closed, fail | ||
Ronny Pfannschmidt
|
r11230 | if self.count > 0 and self.usages == 0: | ||
self._abort() | ||||
mason@suse.com
|
r1806 | def running(self): | ||
return self.count > 0 | ||||
Henrik Stuart
|
r8289 | @active | ||
mpm@selenic.com
|
r0 | def close(self): | ||
Greg Ward
|
r9220 | '''commit the transaction''' | ||
Pierre-Yves David
|
r22078 | # write files registered for generation | ||
for order, filenames, genfunc in sorted(self._filegenerators.values()): | ||||
files = [] | ||||
try: | ||||
for name in filenames: | ||||
Pierre-Yves David
|
r22662 | # Some files are already backed up when creating the | ||
# localrepo. Until this is properly fixed we disable the | ||||
# backup for them. | ||||
if name not in ('phaseroots',): | ||||
self.addbackup(name) | ||||
Pierre-Yves David
|
r22078 | files.append(self.opener(name, 'w', atomictemp=True)) | ||
genfunc(*files) | ||||
finally: | ||||
for f in files: | ||||
f.close() | ||||
Durham Goode
|
r20881 | if self.count == 1 and self.onclose is not None: | ||
self.onclose() | ||||
mason@suse.com
|
r1806 | self.count -= 1 | ||
if self.count != 0: | ||||
return | ||||
mpm@selenic.com
|
r0 | self.file.close() | ||
Durham Goode
|
r21206 | self.backupsfile.close() | ||
mpm@selenic.com
|
r0 | self.entries = [] | ||
mpm@selenic.com
|
r95 | if self.after: | ||
mpm@selenic.com
|
r785 | self.after() | ||
FUJIWARA Katsunori
|
r20087 | if self.opener.isfile(self.journal): | ||
self.opener.unlink(self.journal) | ||||
Durham Goode
|
r20882 | if self.opener.isfile(self.backupjournal): | ||
self.opener.unlink(self.backupjournal) | ||||
Mads Kiilerich
|
r22204 | for _f, b, _ignore in self.backupentries: | ||
Durham Goode
|
r20882 | self.opener.unlink(b) | ||
self.backupentries = [] | ||||
mpm@selenic.com
|
r573 | self.journal = None | ||
mpm@selenic.com
|
r0 | |||
Henrik Stuart
|
r8289 | @active | ||
mpm@selenic.com
|
r0 | def abort(self): | ||
Greg Ward
|
r9220 | '''abort the transaction (generally called on error, or when the | ||
transaction is not explicitly committed before going out of | ||||
scope)''' | ||||
Henrik Stuart
|
r8289 | self._abort() | ||
def _abort(self): | ||||
Henrik Stuart
|
r8290 | self.count = 0 | ||
Ronny Pfannschmidt
|
r11230 | self.usages = 0 | ||
Henrik Stuart
|
r8290 | self.file.close() | ||
Durham Goode
|
r21206 | self.backupsfile.close() | ||
Henrik Stuart
|
r8290 | |||
Durham Goode
|
r20881 | if self.onabort is not None: | ||
self.onabort() | ||||
Benoit Boissinot
|
r10228 | try: | ||
Durham Goode
|
r20882 | if not self.entries and not self.backupentries: | ||
Benoit Boissinot
|
r10228 | if self.journal: | ||
FUJIWARA Katsunori
|
r20087 | self.opener.unlink(self.journal) | ||
Durham Goode
|
r20882 | if self.backupjournal: | ||
self.opener.unlink(self.backupjournal) | ||||
Benoit Boissinot
|
r10228 | return | ||
mpm@selenic.com
|
r0 | |||
Benoit Boissinot
|
r10228 | self.report(_("transaction abort!\n")) | ||
mpm@selenic.com
|
r0 | |||
mpm@selenic.com
|
r108 | try: | ||
Matt Mackall
|
r10282 | _playback(self.journal, self.report, self.opener, | ||
Durham Goode
|
r20882 | self.entries, self.backupentries, False) | ||
Henrik Stuart
|
r8294 | self.report(_("rollback completed\n")) | ||
Brodie Rao
|
r16689 | except Exception: | ||
Henrik Stuart
|
r8294 | self.report(_("rollback failed - please run hg recover\n")) | ||
finally: | ||||
self.journal = None | ||||
Henrik Stuart
|
r8290 | |||
Henrik Stuart
|
r8294 | def rollback(opener, file, report): | ||
Durham Goode
|
r20882 | """Rolls back the transaction contained in the given file | ||
Reads the entries in the specified file, and the corresponding | ||||
'*.backupfiles' file, to recover from an incomplete transaction. | ||||
* `file`: a file containing a list of entries, specifying where | ||||
to truncate each file. The file should contain a list of | ||||
file\0offset pairs, delimited by newlines. The corresponding | ||||
'*.backupfiles' file should contain a list of file\0backupfile | ||||
pairs, delimited by \0. | ||||
""" | ||||
Henrik Stuart
|
r8294 | entries = [] | ||
Durham Goode
|
r20882 | backupentries = [] | ||
Henrik Stuart
|
r8294 | |||
FUJIWARA Katsunori
|
r20087 | fp = opener.open(file) | ||
Dan Villiom Podlaski Christiansen
|
r13400 | lines = fp.readlines() | ||
fp.close() | ||||
for l in lines: | ||||
Matt Mackall
|
r20524 | try: | ||
f, o = l.split('\0') | ||||
entries.append((f, int(o), None)) | ||||
except ValueError: | ||||
report(_("couldn't read journal entry %r!\n") % l) | ||||
mpm@selenic.com
|
r0 | |||
Durham Goode
|
r20882 | backupjournal = "%s.backupfiles" % file | ||
if opener.exists(backupjournal): | ||||
fp = opener.open(backupjournal) | ||||
data = fp.read() | ||||
if len(data) > 0: | ||||
parts = data.split('\0') | ||||
for i in xrange(0, len(parts), 2): | ||||
f, b = parts[i:i + 1] | ||||
backupentries.append((f, b, None)) | ||||
_playback(file, report, opener, entries, backupentries) | ||||