lib/bup/git.py

   1 import os, errno, zlib, time, sha, subprocess, struct, stat, re, tempfile
   2 import heapq
   3 from bup.helpers import *
   4
   5 verbose = 0
   6 ignore_midx = 0
   7 home_repodir = os.path.expanduser('~/.bup')
   8 repodir = None
   9
  10 _typemap =  { 'blob':3, 'tree':2, 'commit':1, 'tag':4 }
  11 _typermap = { 3:'blob', 2:'tree', 1:'commit', 4:'tag' }
  12
  13
  14 class GitError(Exception):
  15     pass
  16
  17
  18 def repo(sub = ''):
  19     global repodir
  20     if not repodir:
  21         raise GitError('You should call check_repo_or_die()')
  22     gd = os.path.join(repodir, '.git')
  23     if os.path.exists(gd):
  24         repodir = gd
  25     return os.path.join(repodir, sub)
  26
  27
  28 def _encode_packobj(type, content):
  29     szout = ''
  30     sz = len(content)
  31     szbits = (sz & 0x0f) | (_typemap[type]<<4)
  32     sz >>= 4
  33     while 1:
  34         if sz: szbits |= 0x80
  35         szout += chr(szbits)
  36         if not sz:
  37             break
  38         szbits = sz & 0x7f
  39         sz >>= 7
  40     z = zlib.compressobj(1)
  41     yield szout
  42     yield z.compress(content)
  43     yield z.flush()
  44
  45
  46 def _encode_looseobj(type, content):
  47     z = zlib.compressobj(1)
  48     yield z.compress('%s %d\0' % (type, len(content)))
  49     yield z.compress(content)
  50     yield z.flush()
  51
  52
  53 def _decode_looseobj(buf):
  54     assert(buf);
  55     s = zlib.decompress(buf)
  56     i = s.find('\0')
  57     assert(i > 0)
  58     l = s[:i].split(' ')
  59     type = l[0]
  60     sz = int(l[1])
  61     content = s[i+1:]
  62     assert(type in _typemap)
  63     assert(sz == len(content))
  64     return (type, content)
  65
  66
  67 def _decode_packobj(buf):
  68     assert(buf)
  69     c = ord(buf[0])
  70     type = _typermap[(c & 0x70) >> 4]
  71     sz = c & 0x0f
  72     shift = 4
  73     i = 0
  74     while c & 0x80:
  75         i += 1
  76         c = ord(buf[i])
  77         sz |= (c & 0x7f) << shift
  78         shift += 7
  79         if not (c & 0x80):
  80             break
  81     return (type, zlib.decompress(buf[i+1:]))
  82
  83
  84 class PackIndex:
  85     def __init__(self, filename):
  86         self.name = filename
  87         self.map = mmap_read(open(filename))
  88         assert(str(self.map[0:8]) == '\377tOc\0\0\0\2')
  89         self.fanout = list(struct.unpack('!256I',
  90                                          str(buffer(self.map, 8, 256*4))))
  91         self.fanout.append(0)  # entry "-1"
  92         nsha = self.fanout[255]
  93         self.ofstable = buffer(self.map,
  94                                8 + 256*4 + nsha*20 + nsha*4,
  95                                nsha*4)
  96         self.ofs64table = buffer(self.map,
  97                                  8 + 256*4 + nsha*20 + nsha*4 + nsha*4)
  98
  99     def _ofs_from_idx(self, idx):
 100         ofs = struct.unpack('!I', str(buffer(self.ofstable, idx*4, 4)))[0]
 101         if ofs & 0x80000000:
 102             idx64 = ofs & 0x7fffffff
 103             ofs = struct.unpack('!I',
 104                                 str(buffer(self.ofs64table, idx64*8, 8)))[0]
 105         return ofs
 106
 107     def _idx_from_hash(self, hash):
 108         assert(len(hash) == 20)
 109         b1 = ord(hash[0])
 110         start = self.fanout[b1-1] # range -1..254
 111         end = self.fanout[b1] # range 0..255
 112         buf = buffer(self.map, 8 + 256*4, end*20)
 113         want = str(hash)
 114         while start < end:
 115             mid = start + (end-start)/2
 116             v = str(buf[mid*20:(mid+1)*20])
 117             if v < want:
 118                 start = mid+1
 119             elif v > want:
 120                 end = mid
 121             else: # got it!
 122                 return mid
 123         return None
 124
 125     def find_offset(self, hash):
 126         idx = self._idx_from_hash(hash)
 127         if idx != None:
 128             return self._ofs_from_idx(idx)
 129         return None
 130
 131     def exists(self, hash):
 132         return hash and (self._idx_from_hash(hash) != None) and True or None
 133
 134     def __iter__(self):
 135         for i in xrange(self.fanout[255]):
 136             yield buffer(self.map, 8 + 256*4 + 20*i, 20)
 137
 138     def __len__(self):
 139         return int(self.fanout[255])
 140
 141
 142 def extract_bits(buf, bits):
 143     mask = (1<<bits) - 1
 144     v = struct.unpack('!I', buf[0:4])[0]
 145     v = (v >> (32-bits)) & mask
 146     return v
 147
 148
 149 class PackMidx:
 150     def __init__(self, filename):
 151         self.name = filename
 152         assert(filename.endswith('.midx'))
 153         self.map = mmap_read(open(filename))
 154         if str(self.map[0:8]) == 'MIDX\0\0\0\1':
 155             log('Warning: ignoring old-style midx %r\n' % filename)
 156             self.bits = 0
 157             self.entries = 1
 158             self.fanout = buffer('\0\0\0\0')
 159             self.shalist = buffer('\0'*20)
 160             self.idxnames = []
 161         else:
 162             assert(str(self.map[0:8]) == 'MIDX\0\0\0\2')
 163             self.bits = struct.unpack('!I', self.map[8:12])[0]
 164             self.entries = 2**self.bits
 165             self.fanout = buffer(self.map, 12, self.entries*4)
 166             shaofs = 12 + self.entries*4
 167             nsha = self._fanget(self.entries-1)
 168             self.shalist = buffer(self.map, shaofs, nsha*20)
 169             self.idxnames = str(self.map[shaofs + 20*nsha:]).split('\0')
 170
 171     def _fanget(self, i):
 172         start = i*4
 173         s = self.fanout[start:start+4]
 174         return struct.unpack('!I', s)[0]
 175
 176     def exists(self, hash):
 177         want = str(hash)
 178         el = extract_bits(want, self.bits)
 179         if el:
 180             start = self._fanget(el-1)
 181         else:
 182             start = 0
 183         end = self._fanget(el)
 184         while start < end:
 185             mid = start + (end-start)/2
 186             v = str(self.shalist[mid*20:(mid+1)*20])
 187             if v < want:
 188                 start = mid+1
 189             elif v > want:
 190                 end = mid
 191             else: # got it!
 192                 return True
 193         return None
 194
 195     def __iter__(self):
 196         for i in xrange(self._fanget(self.entries-1)):
 197             yield buffer(self.shalist, i*20, 20)
 198
 199     def __len__(self):
 200         return int(self._fanget(self.entries-1))
 201
 202
 203 _mpi_count = 0
 204 class MultiPackIndex:
 205     def __init__(self, dir):
 206         global _mpi_count
 207         assert(_mpi_count == 0) # these things suck tons of VM; don't waste it
 208         _mpi_count += 1
 209         self.dir = dir
 210         self.also = {}
 211         self.packs = []
 212         self.refresh()
 213
 214     def __del__(self):
 215         global _mpi_count
 216         _mpi_count -= 1
 217         assert(_mpi_count == 0)
 218
 219     def __iter__(self):
 220         return iter(idxmerge(self.packs))
 221
 222     def exists(self, hash):
 223         if hash in self.also:
 224             return True
 225         for i in range(len(self.packs)):
 226             p = self.packs[i]
 227             if p.exists(hash):
 228                 # reorder so most recently used packs are searched first
 229                 self.packs = [p] + self.packs[:i] + self.packs[i+1:]
 230                 return p.name
 231         return None
 232
 233     def refresh(self, skip_midx = False, forget_packs = False):
 234         if forget_packs:
 235             self.packs = []
 236         skip_midx = skip_midx or ignore_midx
 237         d = dict((p.name, 1) for p in self.packs)
 238         if os.path.exists(self.dir):
 239             if not skip_midx:
 240                 midxl = []
 241                 for f in os.listdir(self.dir):
 242                     full = os.path.join(self.dir, f)
 243                     if f.endswith('.midx') and not d.get(full):
 244                         mx = PackMidx(full)
 245                         (mxd, mxf) = os.path.split(mx.name)
 246                         broken = 0
 247                         for n in mx.idxnames:
 248                             if not os.path.exists(os.path.join(mxd, n)):
 249                                 log(('warning: index %s missing\n' +
 250                                     '  used by %s\n') % (n, mxf))
 251                                 broken += 1
 252                         if not broken:
 253                             midxl.append(mx)
 254                 midxl.sort(lambda x,y: -cmp(len(x),len(y)))
 255                 for ix in midxl:
 256                     any = 0
 257                     for sub in ix.idxnames:
 258                         if not d.get(os.path.join(self.dir, sub)):
 259                             self.packs.append(ix)
 260                             d[ix.name] = 1
 261                             for name in ix.idxnames:
 262                                 d[os.path.join(self.dir, name)] = 1
 263                             any += 1
 264                             break
 265                     if not any:
 266                         log('midx: removing redundant: %s\n'
 267                             % os.path.basename(ix.name))
 268                         unlink(ix.name)
 269             for f in os.listdir(self.dir):
 270                 full = os.path.join(self.dir, f)
 271                 if f.endswith('.idx') and not d.get(full):
 272                     self.packs.append(PackIndex(full))
 273                     d[full] = 1
 274         log('MultiPackIndex: using %d index%s.\n'
 275             % (len(self.packs), len(self.packs)!=1 and 'es' or ''))
 276
 277     def add(self, hash):
 278         self.also[hash] = 1
 279
 280     def zap_also(self):
 281         self.also = {}
 282
 283
 284 def calc_hash(type, content):
 285     header = '%s %d\0' % (type, len(content))
 286     sum = sha.sha(header)
 287     sum.update(content)
 288     return sum.digest()
 289
 290
 291 def _shalist_sort_key(ent):
 292     (mode, name, id) = ent
 293     if stat.S_ISDIR(int(mode, 8)):
 294         return name + '/'
 295     else:
 296         return name
 297
 298
 299 def idxmerge(idxlist):
 300     total = sum(len(i) for i in idxlist)
 301     iters = (iter(i) for i in idxlist)
 302     heap = [(next(it), it) for it in iters]
 303     heapq.heapify(heap)
 304     count = 0
 305     last = None
 306     while heap:
 307         if (count % 10024) == 0:
 308             progress('Reading indexes: %.2f%% (%d/%d)\r'
 309                      % (count*100.0/total, count, total))
 310         (e, it) = heap[0]
 311         if e != last:
 312             yield e
 313             last = e
 314         count += 1
 315         e = next(it)
 316         if e:
 317             heapq.heapreplace(heap, (e, it))
 318         else:
 319             heapq.heappop(heap)
 320     log('Reading indexes: %.2f%% (%d/%d), done.\n' % (100, total, total))
 321
 322
 323 class PackWriter:
 324     def __init__(self, objcache_maker=None):
 325         self.count = 0
 326         self.outbytes = 0
 327         self.filename = None
 328         self.file = None
 329         self.objcache_maker = objcache_maker
 330         self.objcache = None
 331
 332     def __del__(self):
 333         self.close()
 334
 335     def _make_objcache(self):
 336         if not self.objcache:
 337             if self.objcache_maker:
 338                 self.objcache = self.objcache_maker()
 339             else:
 340                 self.objcache = MultiPackIndex(repo('objects/pack'))
 341
 342     def _open(self):
 343         if not self.file:
 344             self._make_objcache()
 345             (fd,name) = tempfile.mkstemp(suffix='.pack', dir=repo('objects'))
 346             self.file = os.fdopen(fd, 'w+b')
 347             assert(name.endswith('.pack'))
 348             self.filename = name[:-5]
 349             self.file.write('PACK\0\0\0\2\0\0\0\0')
 350
 351     def _raw_write(self, datalist):
 352         self._open()
 353         f = self.file
 354         for d in datalist:
 355             f.write(d)
 356             self.outbytes += len(d)
 357         self.count += 1
 358
 359     def _write(self, bin, type, content):
 360         if verbose:
 361             log('>')
 362         self._raw_write(_encode_packobj(type, content))
 363         return bin
 364
 365     def breakpoint(self):
 366         id = self._end()
 367         self.outbytes = self.count = 0
 368         return id
 369
 370     def write(self, type, content):
 371         return self._write(calc_hash(type, content), type, content)
 372
 373     def exists(self, id):
 374         if not self.objcache:
 375             self._make_objcache()
 376         return self.objcache.exists(id)
 377
 378     def maybe_write(self, type, content):
 379         bin = calc_hash(type, content)
 380         if not self.exists(bin):
 381             self._write(bin, type, content)
 382             self.objcache.add(bin)
 383         return bin
 384
 385     def new_blob(self, blob):
 386         return self.maybe_write('blob', blob)
 387
 388     def new_tree(self, shalist):
 389         shalist = sorted(shalist, key = _shalist_sort_key)
 390         l = []
 391         for (mode,name,bin) in shalist:
 392             assert(mode)
 393             assert(mode != '0')
 394             assert(mode[0] != '0')
 395             assert(name)
 396             assert(len(bin) == 20)
 397             l.append('%s %s\0%s' % (mode,name,bin))
 398         return self.maybe_write('tree', ''.join(l))
 399
 400     def _new_commit(self, tree, parent, author, adate, committer, cdate, msg):
 401         l = []
 402         if tree: l.append('tree %s' % tree.encode('hex'))
 403         if parent: l.append('parent %s' % parent.encode('hex'))
 404         if author: l.append('author %s %s' % (author, _git_date(adate)))
 405         if committer: l.append('committer %s %s' % (committer, _git_date(cdate)))
 406         l.append('')
 407         l.append(msg)
 408         return self.maybe_write('commit', '\n'.join(l))
 409
 410     def new_commit(self, parent, tree, msg):
 411         now = time.time()
 412         userline = '%s <%s@%s>' % (userfullname(), username(), hostname())
 413         commit = self._new_commit(tree, parent,
 414                                   userline, now, userline, now,
 415                                   msg)
 416         return commit
 417
 418     def abort(self):
 419         f = self.file
 420         if f:
 421             self.file = None
 422             f.close()
 423             os.unlink(self.filename + '.pack')
 424
 425     def _end(self):
 426         f = self.file
 427         if not f: return None
 428         self.file = None
 429         self.objcache = None
 430
 431         # update object count
 432         f.seek(8)
 433         cp = struct.pack('!i', self.count)
 434         assert(len(cp) == 4)
 435         f.write(cp)
 436
 437         # calculate the pack sha1sum
 438         f.seek(0)
 439         sum = sha.sha()
 440         while 1:
 441             b = f.read(65536)
 442             sum.update(b)
 443             if not b: break
 444         f.write(sum.digest())
 445
 446         f.close()
 447
 448         p = subprocess.Popen(['git', 'index-pack', '-v',
 449                               '--index-version=2',
 450                               self.filename + '.pack'],
 451                              preexec_fn = _gitenv,
 452                              stdout = subprocess.PIPE)
 453         out = p.stdout.read().strip()
 454         _git_wait('git index-pack', p)
 455         if not out:
 456             raise GitError('git index-pack produced no output')
 457         nameprefix = repo('objects/pack/%s' % out)
 458         if os.path.exists(self.filename + '.map'):
 459             os.unlink(self.filename + '.map')
 460         os.rename(self.filename + '.pack', nameprefix + '.pack')
 461         os.rename(self.filename + '.idx', nameprefix + '.idx')
 462         return nameprefix
 463
 464     def close(self):
 465         return self._end()
 466
 467
 468 def _git_date(date):
 469     return time.strftime('%s %z', time.localtime(date))
 470
 471
 472 def _gitenv():
 473     os.environ['GIT_DIR'] = os.path.abspath(repo())
 474
 475
 476 def list_refs(refname = None):
 477     argv = ['git', 'show-ref', '--']
 478     if refname:
 479         argv += [refname]
 480     p = subprocess.Popen(argv, preexec_fn = _gitenv, stdout = subprocess.PIPE)
 481     out = p.stdout.read().strip()
 482     rv = p.wait()  # not fatal
 483     if rv:
 484         assert(not out)
 485     if out:
 486         for d in out.split('\n'):
 487             (sha, name) = d.split(' ', 1)
 488             yield (name, sha.decode('hex'))
 489
 490
 491 def read_ref(refname):
 492     l = list(list_refs(refname))
 493     if l:
 494         assert(len(l) == 1)
 495         return l[0][1]
 496     else:
 497         return None
 498
 499
 500 def rev_list(ref):
 501     assert(not ref.startswith('-'))
 502     argv = ['git', 'rev-list', '--pretty=format:%ct', ref, '--']
 503     p = subprocess.Popen(argv, preexec_fn = _gitenv, stdout = subprocess.PIPE)
 504     commit = None
 505     for row in p.stdout:
 506         s = row.strip()
 507         if s.startswith('commit '):
 508             commit = s[7:].decode('hex')
 509         else:
 510             date = int(s)
 511             yield (date, commit)
 512     rv = p.wait()  # not fatal
 513     if rv:
 514         raise GitError, 'git rev-list returned error %d' % rv
 515
 516
 517 def update_ref(refname, newval, oldval):
 518     if not oldval:
 519         oldval = ''
 520     assert(refname.startswith('refs/heads/'))
 521     p = subprocess.Popen(['git', 'update-ref', refname,
 522                           newval.encode('hex'), oldval.encode('hex')],
 523                          preexec_fn = _gitenv)
 524     _git_wait('git update-ref', p)
 525
 526
 527 def guess_repo(path=None):
 528     global repodir
 529     if path:
 530         repodir = path
 531     if not repodir:
 532         repodir = os.environ.get('BUP_DIR')
 533         if not repodir:
 534             repodir = os.path.expanduser('~/.bup')
 535
 536
 537 def init_repo(path=None):
 538     guess_repo(path)
 539     d = repo()
 540     if os.path.exists(d) and not os.path.isdir(os.path.join(d, '.')):
 541         raise GitError('"%d" exists but is not a directory\n' % d)
 542     p = subprocess.Popen(['git', '--bare', 'init'], stdout=sys.stderr,
 543                          preexec_fn = _gitenv)
 544     _git_wait('git init', p)
 545     p = subprocess.Popen(['git', 'config', 'pack.indexVersion', '2'],
 546                          stdout=sys.stderr, preexec_fn = _gitenv)
 547     _git_wait('git config', p)
 548
 549
 550 def check_repo_or_die(path=None):
 551     guess_repo(path)
 552     if not os.path.isdir(repo('objects/pack/.')):
 553         if repodir == home_repodir:
 554             init_repo()
 555         else:
 556             log('error: %r is not a bup/git repository\n' % repo())
 557             sys.exit(15)
 558
 559
 560 def _treeparse(buf):
 561     ofs = 0
 562     while ofs < len(buf):
 563         z = buf[ofs:].find('\0')
 564         assert(z > 0)
 565         spl = buf[ofs:ofs+z].split(' ', 1)
 566         assert(len(spl) == 2)
 567         sha = buf[ofs+z+1:ofs+z+1+20]
 568         ofs += z+1+20
 569         yield (spl[0], spl[1], sha)
 570
 571
 572 _ver = None
 573 def ver():
 574     global _ver
 575     if not _ver:
 576         p = subprocess.Popen(['git', '--version'],
 577                              stdout=subprocess.PIPE)
 578         gvs = p.stdout.read()
 579         _git_wait('git --version', p)
 580         m = re.match(r'git version (\S+.\S+)', gvs)
 581         if not m:
 582             raise GitError('git --version weird output: %r' % gvs)
 583         _ver = tuple(m.group(1).split('.'))
 584     needed = ('1','5', '3', '1')
 585     if _ver < needed:
 586         raise GitError('git version %s or higher is required; you have %s'
 587                        % ('.'.join(needed), '.'.join(_ver)))
 588     return _ver
 589
 590
 591 def _git_wait(cmd, p):
 592     rv = p.wait()
 593     if rv != 0:
 594         raise GitError('%s returned %d' % (cmd, rv))
 595
 596
 597 def _git_capture(argv):
 598     p = subprocess.Popen(argv, stdout=subprocess.PIPE, preexec_fn = _gitenv)
 599     r = p.stdout.read()
 600     _git_wait(repr(argv), p)
 601     return r
 602
 603
 604 _ver_warned = 0
 605 class CatPipe:
 606     def __init__(self):
 607         global _ver_warned
 608         wanted = ('1','5','6')
 609         if ver() < wanted:
 610             if not _ver_warned:
 611                 log('warning: git version < %s; bup will be slow.\n'
 612                     % '.'.join(wanted))
 613                 _ver_warned = 1
 614             self.get = self._slow_get
 615         else:
 616             self.p = subprocess.Popen(['git', 'cat-file', '--batch'],
 617                                       stdin=subprocess.PIPE,
 618                                       stdout=subprocess.PIPE,
 619                                       preexec_fn = _gitenv)
 620             self.get = self._fast_get
 621             self.inprogress = None
 622
 623     def _fast_get(self, id):
 624         if self.inprogress:
 625             log('_fast_get: opening %r while %r is open'
 626                 % (id, self.inprogress))
 627         assert(not self.inprogress)
 628         assert(id.find('\n') < 0)
 629         assert(id.find('\r') < 0)
 630         assert(id[0] != '-')
 631         self.inprogress = id
 632         self.p.stdin.write('%s\n' % id)
 633         hdr = self.p.stdout.readline()
 634         if hdr.endswith(' missing\n'):
 635             raise KeyError('blob %r is missing' % id)
 636         spl = hdr.split(' ')
 637         if len(spl) != 3 or len(spl[0]) != 40:
 638             raise GitError('expected blob, got %r' % spl)
 639         (hex, type, size) = spl
 640
 641         def ondone():
 642             assert(self.p.stdout.readline() == '\n')
 643             self.inprogress = None
 644
 645         it = AutoFlushIter(chunkyreader(self.p.stdout, int(spl[2])),
 646                            ondone = ondone)
 647         yield type
 648         for blob in it:
 649             yield blob
 650         del it
 651
 652     def _slow_get(self, id):
 653         assert(id.find('\n') < 0)
 654         assert(id.find('\r') < 0)
 655         assert(id[0] != '-')
 656         type = _git_capture(['git', 'cat-file', '-t', id]).strip()
 657         yield type
 658
 659         p = subprocess.Popen(['git', 'cat-file', type, id],
 660                              stdout=subprocess.PIPE,
 661                              preexec_fn = _gitenv)
 662         for blob in chunkyreader(p.stdout):
 663             yield blob
 664         _git_wait('git cat-file', p)
 665
 666     def _join(self, it):
 667         type = it.next()
 668         if type == 'blob':
 669             for blob in it:
 670                 yield blob
 671         elif type == 'tree':
 672             treefile = ''.join(it)
 673             for (mode, name, sha) in _treeparse(treefile):
 674                 for blob in self.join(sha.encode('hex')):
 675                     yield blob
 676         elif type == 'commit':
 677             treeline = ''.join(it).split('\n')[0]
 678             assert(treeline.startswith('tree '))
 679             for blob in self.join(treeline[5:]):
 680                 yield blob
 681         else:
 682             raise GitError('invalid object type %r: expected blob/tree/commit'
 683                            % type)
 684
 685     def join(self, id):
 686         try:
 687             for d in self._join(self.get(id)):
 688                 yield d
 689         except StopIteration:
 690             log('booger!\n')
 691
 692
 693 def cat(id):
 694     c = CatPipe()
 695     for d in c.join(id):
 696         yield d