git.py

   1 import os, errno, zlib, time, sha, subprocess, struct, stat, re, tempfile
   2 import heapq
   3 from 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] != '0')
 394             assert(name)
 395             assert(len(bin) == 20)
 396             l.append('%s %s\0%s' % (mode,name,bin))
 397         return self.maybe_write('tree', ''.join(l))
 398
 399     def _new_commit(self, tree, parent, author, adate, committer, cdate, msg):
 400         l = []
 401         if tree: l.append('tree %s' % tree.encode('hex'))
 402         if parent: l.append('parent %s' % parent.encode('hex'))
 403         if author: l.append('author %s %s' % (author, _git_date(adate)))
 404         if committer: l.append('committer %s %s' % (committer, _git_date(cdate)))
 405         l.append('')
 406         l.append(msg)
 407         return self.maybe_write('commit', '\n'.join(l))
 408
 409     def new_commit(self, parent, tree, msg):
 410         now = time.time()
 411         userline = '%s <%s@%s>' % (userfullname(), username(), hostname())
 412         commit = self._new_commit(tree, parent,
 413                                   userline, now, userline, now,
 414                                   msg)
 415         return commit
 416
 417     def abort(self):
 418         f = self.file
 419         if f:
 420             self.file = None
 421             f.close()
 422             os.unlink(self.filename + '.pack')
 423
 424     def _end(self):
 425         f = self.file
 426         if not f: return None
 427         self.file = None
 428         self.objcache = None
 429
 430         # update object count
 431         f.seek(8)
 432         cp = struct.pack('!i', self.count)
 433         assert(len(cp) == 4)
 434         f.write(cp)
 435
 436         # calculate the pack sha1sum
 437         f.seek(0)
 438         sum = sha.sha()
 439         while 1:
 440             b = f.read(65536)
 441             sum.update(b)
 442             if not b: break
 443         f.write(sum.digest())
 444
 445         f.close()
 446
 447         p = subprocess.Popen(['git', 'index-pack', '-v',
 448                               '--index-version=2',
 449                               self.filename + '.pack'],
 450                              preexec_fn = _gitenv,
 451                              stdout = subprocess.PIPE)
 452         out = p.stdout.read().strip()
 453         _git_wait('git index-pack', p)
 454         if not out:
 455             raise GitError('git index-pack produced no output')
 456         nameprefix = repo('objects/pack/%s' % out)
 457         if os.path.exists(self.filename + '.map'):
 458             os.unlink(self.filename + '.map')
 459         os.rename(self.filename + '.pack', nameprefix + '.pack')
 460         os.rename(self.filename + '.idx', nameprefix + '.idx')
 461         return nameprefix
 462
 463     def close(self):
 464         return self._end()
 465
 466
 467 def _git_date(date):
 468     return time.strftime('%s %z', time.localtime(date))
 469
 470
 471 def _gitenv():
 472     os.environ['GIT_DIR'] = os.path.abspath(repo())
 473
 474
 475 def list_refs(refname = None):
 476     argv = ['git', 'show-ref', '--']
 477     if refname:
 478         argv += [refname]
 479     p = subprocess.Popen(argv, preexec_fn = _gitenv, stdout = subprocess.PIPE)
 480     out = p.stdout.read().strip()
 481     rv = p.wait()  # not fatal
 482     if rv:
 483         assert(not out)
 484     if out:
 485         for d in out.split('\n'):
 486             (sha, name) = d.split(' ', 1)
 487             yield (name, sha.decode('hex'))
 488
 489
 490 def read_ref(refname):
 491     l = list(list_refs(refname))
 492     if l:
 493         assert(len(l) == 1)
 494         return l[0][1]
 495     else:
 496         return None
 497
 498
 499 def rev_list(ref):
 500     assert(not ref.startswith('-'))
 501     argv = ['git', 'rev-list', '--pretty=format:%ct', ref, '--']
 502     p = subprocess.Popen(argv, preexec_fn = _gitenv, stdout = subprocess.PIPE)
 503     commit = None
 504     for row in p.stdout:
 505         s = row.strip()
 506         if s.startswith('commit '):
 507             commit = s[7:].decode('hex')
 508         else:
 509             date = int(s)
 510             yield (date, commit)
 511     rv = p.wait()  # not fatal
 512     if rv:
 513         raise GitError, 'git rev-list returned error %d' % rv
 514
 515
 516 def update_ref(refname, newval, oldval):
 517     if not oldval:
 518         oldval = ''
 519     assert(refname.startswith('refs/heads/'))
 520     p = subprocess.Popen(['git', 'update-ref', refname,
 521                           newval.encode('hex'), oldval.encode('hex')],
 522                          preexec_fn = _gitenv)
 523     _git_wait('git update-ref', p)
 524
 525
 526 def guess_repo(path=None):
 527     global repodir
 528     if path:
 529         repodir = path
 530     if not repodir:
 531         repodir = os.environ.get('BUP_DIR')
 532         if not repodir:
 533             repodir = os.path.expanduser('~/.bup')
 534
 535
 536 def init_repo(path=None):
 537     guess_repo(path)
 538     d = repo()
 539     if os.path.exists(d) and not os.path.isdir(os.path.join(d, '.')):
 540         raise GitError('"%d" exists but is not a directory\n' % d)
 541     p = subprocess.Popen(['git', '--bare', 'init'], stdout=sys.stderr,
 542                          preexec_fn = _gitenv)
 543     _git_wait('git init', p)
 544     p = subprocess.Popen(['git', 'config', 'pack.indexVersion', '2'],
 545                          stdout=sys.stderr, preexec_fn = _gitenv)
 546     _git_wait('git config', p)
 547
 548
 549 def check_repo_or_die(path=None):
 550     guess_repo(path)
 551     if not os.path.isdir(repo('objects/pack/.')):
 552         if repodir == home_repodir:
 553             init_repo()
 554         else:
 555             log('error: %r is not a bup/git repository\n' % repo())
 556             sys.exit(15)
 557
 558
 559 def _treeparse(buf):
 560     ofs = 0
 561     while ofs < len(buf):
 562         z = buf[ofs:].find('\0')
 563         assert(z > 0)
 564         spl = buf[ofs:ofs+z].split(' ', 1)
 565         assert(len(spl) == 2)
 566         sha = buf[ofs+z+1:ofs+z+1+20]
 567         ofs += z+1+20
 568         yield (spl[0], spl[1], sha)
 569
 570
 571 _ver = None
 572 def ver():
 573     global _ver
 574     if not _ver:
 575         p = subprocess.Popen(['git', '--version'],
 576                              stdout=subprocess.PIPE)
 577         gvs = p.stdout.read()
 578         _git_wait('git --version', p)
 579         m = re.match(r'git version (\S+.\S+)', gvs)
 580         if not m:
 581             raise GitError('git --version weird output: %r' % gvs)
 582         _ver = tuple(m.group(1).split('.'))
 583     needed = ('1','5', '3', '1')
 584     if _ver < needed:
 585         raise GitError('git version %s or higher is required; you have %s'
 586                        % ('.'.join(needed), '.'.join(_ver)))
 587     return _ver
 588
 589
 590 def _git_wait(cmd, p):
 591     rv = p.wait()
 592     if rv != 0:
 593         raise GitError('%s returned %d' % (cmd, rv))
 594
 595
 596 def _git_capture(argv):
 597     p = subprocess.Popen(argv, stdout=subprocess.PIPE, preexec_fn = _gitenv)
 598     r = p.stdout.read()
 599     _git_wait(repr(argv), p)
 600     return r
 601
 602
 603 _ver_warned = 0
 604 class CatPipe:
 605     def __init__(self):
 606         global _ver_warned
 607         wanted = ('1','5','6')
 608         if ver() < wanted:
 609             if not _ver_warned:
 610                 log('warning: git version < %s; bup will be slow.\n'
 611                     % '.'.join(wanted))
 612                 _ver_warned = 1
 613             self.get = self._slow_get
 614         else:
 615             self.p = subprocess.Popen(['git', 'cat-file', '--batch'],
 616                                       stdin=subprocess.PIPE,
 617                                       stdout=subprocess.PIPE,
 618                                       preexec_fn = _gitenv)
 619             self.get = self._fast_get
 620
 621     def _fast_get(self, id):
 622         assert(id.find('\n') < 0)
 623         assert(id.find('\r') < 0)
 624         assert(id[0] != '-')
 625         self.p.stdin.write('%s\n' % id)
 626         hdr = self.p.stdout.readline()
 627         if hdr.endswith(' missing\n'):
 628             raise KeyError('blob %r is missing' % id)
 629         spl = hdr.split(' ')
 630         if len(spl) != 3 or len(spl[0]) != 40:
 631             raise GitError('expected blob, got %r' % spl)
 632         (hex, type, size) = spl
 633         it = iter(chunkyreader(self.p.stdout, int(spl[2])))
 634         try:
 635             yield type
 636             for blob in it:
 637                 yield blob
 638         except StopIteration:
 639             while 1:
 640                 it.next()
 641         assert(self.p.stdout.readline() == '\n')
 642
 643     def _slow_get(self, id):
 644         assert(id.find('\n') < 0)
 645         assert(id.find('\r') < 0)
 646         assert(id[0] != '-')
 647         type = _git_capture(['git', 'cat-file', '-t', id]).strip()
 648         yield type
 649
 650         p = subprocess.Popen(['git', 'cat-file', type, id],
 651                              stdout=subprocess.PIPE,
 652                              preexec_fn = _gitenv)
 653         for blob in chunkyreader(p.stdout):
 654             yield blob
 655         _git_wait('git cat-file', p)
 656
 657     def _join(self, it):
 658         type = it.next()
 659         if type == 'blob':
 660             for blob in it:
 661                 yield blob
 662         elif type == 'tree':
 663             treefile = ''.join(it)
 664             for (mode, name, sha) in _treeparse(treefile):
 665                 for blob in self.join(sha.encode('hex')):
 666                     yield blob
 667         elif type == 'commit':
 668             treeline = ''.join(it).split('\n')[0]
 669             assert(treeline.startswith('tree '))
 670             for blob in self.join(treeline[5:]):
 671                 yield blob
 672         else:
 673             raise GitError('invalid object type %r: expected blob/tree/commit'
 674                            % type)
 675
 676     def join(self, id):
 677         for d in self._join(self.get(id)):
 678             yield d
 679
 680
 681 def cat(id):
 682     c = CatPipe()
 683     for d in c.join(id):
 684         yield d