##// END OF EJS Templates
parsers: ensure that nullid is always present in the radix tree
Bryan O'Sullivan -
r16664:5bc6edf7 default
parent child Browse files
Show More
@@ -1,1218 +1,1220 b''
1 1 /*
2 2 parsers.c - efficient content parsing
3 3
4 4 Copyright 2008 Matt Mackall <mpm@selenic.com> and others
5 5
6 6 This software may be used and distributed according to the terms of
7 7 the GNU General Public License, incorporated herein by reference.
8 8 */
9 9
10 10 #include <Python.h>
11 11 #include <ctype.h>
12 12 #include <string.h>
13 13
14 14 #include "util.h"
15 15
16 16 static inline int hexdigit(const char *p, Py_ssize_t off)
17 17 {
18 18 char c = p[off];
19 19
20 20 if (c >= '0' && c <= '9')
21 21 return c - '0';
22 22 if (c >= 'a' && c <= 'f')
23 23 return c - 'a' + 10;
24 24 if (c >= 'A' && c <= 'F')
25 25 return c - 'A' + 10;
26 26
27 27 PyErr_SetString(PyExc_ValueError, "input contains non-hex character");
28 28 return 0;
29 29 }
30 30
31 31 /*
32 32 * Turn a hex-encoded string into binary.
33 33 */
34 34 static PyObject *unhexlify(const char *str, int len)
35 35 {
36 36 PyObject *ret;
37 37 char *d;
38 38 int i;
39 39
40 40 ret = PyBytes_FromStringAndSize(NULL, len / 2);
41 41
42 42 if (!ret)
43 43 return NULL;
44 44
45 45 d = PyBytes_AsString(ret);
46 46
47 47 for (i = 0; i < len;) {
48 48 int hi = hexdigit(str, i++);
49 49 int lo = hexdigit(str, i++);
50 50 *d++ = (hi << 4) | lo;
51 51 }
52 52
53 53 return ret;
54 54 }
55 55
56 56 /*
57 57 * This code assumes that a manifest is stitched together with newline
58 58 * ('\n') characters.
59 59 */
60 60 static PyObject *parse_manifest(PyObject *self, PyObject *args)
61 61 {
62 62 PyObject *mfdict, *fdict;
63 63 char *str, *cur, *start, *zero;
64 64 int len;
65 65
66 66 if (!PyArg_ParseTuple(args, "O!O!s#:parse_manifest",
67 67 &PyDict_Type, &mfdict,
68 68 &PyDict_Type, &fdict,
69 69 &str, &len))
70 70 goto quit;
71 71
72 72 for (start = cur = str, zero = NULL; cur < str + len; cur++) {
73 73 PyObject *file = NULL, *node = NULL;
74 74 PyObject *flags = NULL;
75 75 int nlen;
76 76
77 77 if (!*cur) {
78 78 zero = cur;
79 79 continue;
80 80 }
81 81 else if (*cur != '\n')
82 82 continue;
83 83
84 84 if (!zero) {
85 85 PyErr_SetString(PyExc_ValueError,
86 86 "manifest entry has no separator");
87 87 goto quit;
88 88 }
89 89
90 90 file = PyBytes_FromStringAndSize(start, zero - start);
91 91
92 92 if (!file)
93 93 goto bail;
94 94
95 95 nlen = cur - zero - 1;
96 96
97 97 node = unhexlify(zero + 1, nlen > 40 ? 40 : nlen);
98 98 if (!node)
99 99 goto bail;
100 100
101 101 if (nlen > 40) {
102 102 flags = PyBytes_FromStringAndSize(zero + 41,
103 103 nlen - 40);
104 104 if (!flags)
105 105 goto bail;
106 106
107 107 if (PyDict_SetItem(fdict, file, flags) == -1)
108 108 goto bail;
109 109 }
110 110
111 111 if (PyDict_SetItem(mfdict, file, node) == -1)
112 112 goto bail;
113 113
114 114 start = cur + 1;
115 115 zero = NULL;
116 116
117 117 Py_XDECREF(flags);
118 118 Py_XDECREF(node);
119 119 Py_XDECREF(file);
120 120 continue;
121 121 bail:
122 122 Py_XDECREF(flags);
123 123 Py_XDECREF(node);
124 124 Py_XDECREF(file);
125 125 goto quit;
126 126 }
127 127
128 128 if (len > 0 && *(cur - 1) != '\n') {
129 129 PyErr_SetString(PyExc_ValueError,
130 130 "manifest contains trailing garbage");
131 131 goto quit;
132 132 }
133 133
134 134 Py_INCREF(Py_None);
135 135 return Py_None;
136 136 quit:
137 137 return NULL;
138 138 }
139 139
140 140 static PyObject *parse_dirstate(PyObject *self, PyObject *args)
141 141 {
142 142 PyObject *dmap, *cmap, *parents = NULL, *ret = NULL;
143 143 PyObject *fname = NULL, *cname = NULL, *entry = NULL;
144 144 char *str, *cur, *end, *cpos;
145 145 int state, mode, size, mtime;
146 146 unsigned int flen;
147 147 int len;
148 148
149 149 if (!PyArg_ParseTuple(args, "O!O!s#:parse_dirstate",
150 150 &PyDict_Type, &dmap,
151 151 &PyDict_Type, &cmap,
152 152 &str, &len))
153 153 goto quit;
154 154
155 155 /* read parents */
156 156 if (len < 40)
157 157 goto quit;
158 158
159 159 parents = Py_BuildValue("s#s#", str, 20, str + 20, 20);
160 160 if (!parents)
161 161 goto quit;
162 162
163 163 /* read filenames */
164 164 cur = str + 40;
165 165 end = str + len;
166 166
167 167 while (cur < end - 17) {
168 168 /* unpack header */
169 169 state = *cur;
170 170 mode = getbe32(cur + 1);
171 171 size = getbe32(cur + 5);
172 172 mtime = getbe32(cur + 9);
173 173 flen = getbe32(cur + 13);
174 174 cur += 17;
175 175 if (cur + flen > end || cur + flen < cur) {
176 176 PyErr_SetString(PyExc_ValueError, "overflow in dirstate");
177 177 goto quit;
178 178 }
179 179
180 180 entry = Py_BuildValue("ciii", state, mode, size, mtime);
181 181 if (!entry)
182 182 goto quit;
183 183 PyObject_GC_UnTrack(entry); /* don't waste time with this */
184 184
185 185 cpos = memchr(cur, 0, flen);
186 186 if (cpos) {
187 187 fname = PyBytes_FromStringAndSize(cur, cpos - cur);
188 188 cname = PyBytes_FromStringAndSize(cpos + 1,
189 189 flen - (cpos - cur) - 1);
190 190 if (!fname || !cname ||
191 191 PyDict_SetItem(cmap, fname, cname) == -1 ||
192 192 PyDict_SetItem(dmap, fname, entry) == -1)
193 193 goto quit;
194 194 Py_DECREF(cname);
195 195 } else {
196 196 fname = PyBytes_FromStringAndSize(cur, flen);
197 197 if (!fname ||
198 198 PyDict_SetItem(dmap, fname, entry) == -1)
199 199 goto quit;
200 200 }
201 201 cur += flen;
202 202 Py_DECREF(fname);
203 203 Py_DECREF(entry);
204 204 fname = cname = entry = NULL;
205 205 }
206 206
207 207 ret = parents;
208 208 Py_INCREF(ret);
209 209 quit:
210 210 Py_XDECREF(fname);
211 211 Py_XDECREF(cname);
212 212 Py_XDECREF(entry);
213 213 Py_XDECREF(parents);
214 214 return ret;
215 215 }
216 216
217 217 /*
218 218 * A base-16 trie for fast node->rev mapping.
219 219 *
220 220 * Positive value is index of the next node in the trie
221 221 * Negative value is a leaf: -(rev + 1)
222 222 * Zero is empty
223 223 */
224 224 typedef struct {
225 225 int children[16];
226 226 } nodetree;
227 227
228 228 /*
229 229 * This class has two behaviours.
230 230 *
231 231 * When used in a list-like way (with integer keys), we decode an
232 232 * entry in a RevlogNG index file on demand. Our last entry is a
233 233 * sentinel, always a nullid. We have limited support for
234 234 * integer-keyed insert and delete, only at elements right before the
235 235 * sentinel.
236 236 *
237 237 * With string keys, we lazily perform a reverse mapping from node to
238 238 * rev, using a base-16 trie.
239 239 */
240 240 typedef struct {
241 241 PyObject_HEAD
242 242 /* Type-specific fields go here. */
243 243 PyObject *data; /* raw bytes of index */
244 244 PyObject **cache; /* cached tuples */
245 245 const char **offsets; /* populated on demand */
246 246 Py_ssize_t raw_length; /* original number of elements */
247 247 Py_ssize_t length; /* current number of elements */
248 248 PyObject *added; /* populated on demand */
249 249 nodetree *nt; /* base-16 trie */
250 250 int ntlength; /* # nodes in use */
251 251 int ntcapacity; /* # nodes allocated */
252 252 int ntdepth; /* maximum depth of tree */
253 253 int ntsplits; /* # splits performed */
254 254 int ntrev; /* last rev scanned */
255 255 int ntlookups; /* # lookups */
256 256 int ntmisses; /* # lookups that miss the cache */
257 257 int inlined;
258 258 } indexObject;
259 259
260 260 static Py_ssize_t index_length(const indexObject *self)
261 261 {
262 262 if (self->added == NULL)
263 263 return self->length;
264 264 return self->length + PyList_GET_SIZE(self->added);
265 265 }
266 266
267 267 static PyObject *nullentry;
268 268 static const char nullid[20];
269 269
270 270 static long inline_scan(indexObject *self, const char **offsets);
271 271
272 272 #if LONG_MAX == 0x7fffffffL
273 273 static char *tuple_format = "Kiiiiiis#";
274 274 #else
275 275 static char *tuple_format = "kiiiiiis#";
276 276 #endif
277 277
278 278 /*
279 279 * Return a pointer to the beginning of a RevlogNG record.
280 280 */
281 281 static const char *index_deref(indexObject *self, Py_ssize_t pos)
282 282 {
283 283 if (self->inlined && pos > 0) {
284 284 if (self->offsets == NULL) {
285 285 self->offsets = malloc(self->raw_length *
286 286 sizeof(*self->offsets));
287 287 if (self->offsets == NULL)
288 288 return (const char *)PyErr_NoMemory();
289 289 inline_scan(self, self->offsets);
290 290 }
291 291 return self->offsets[pos];
292 292 }
293 293
294 294 return PyString_AS_STRING(self->data) + pos * 64;
295 295 }
296 296
297 297 /*
298 298 * RevlogNG format (all in big endian, data may be inlined):
299 299 * 6 bytes: offset
300 300 * 2 bytes: flags
301 301 * 4 bytes: compressed length
302 302 * 4 bytes: uncompressed length
303 303 * 4 bytes: base revision
304 304 * 4 bytes: link revision
305 305 * 4 bytes: parent 1 revision
306 306 * 4 bytes: parent 2 revision
307 307 * 32 bytes: nodeid (only 20 bytes used)
308 308 */
309 309 static PyObject *index_get(indexObject *self, Py_ssize_t pos)
310 310 {
311 311 uint64_t offset_flags;
312 312 int comp_len, uncomp_len, base_rev, link_rev, parent_1, parent_2;
313 313 const char *c_node_id;
314 314 const char *data;
315 315 Py_ssize_t length = index_length(self);
316 316 PyObject *entry;
317 317
318 318 if (pos < 0)
319 319 pos += length;
320 320
321 321 if (pos < 0 || pos >= length) {
322 322 PyErr_SetString(PyExc_IndexError, "revlog index out of range");
323 323 return NULL;
324 324 }
325 325
326 326 if (pos == length - 1) {
327 327 Py_INCREF(nullentry);
328 328 return nullentry;
329 329 }
330 330
331 331 if (pos >= self->length - 1) {
332 332 PyObject *obj;
333 333 obj = PyList_GET_ITEM(self->added, pos - self->length + 1);
334 334 Py_INCREF(obj);
335 335 return obj;
336 336 }
337 337
338 338 if (self->cache) {
339 339 if (self->cache[pos]) {
340 340 Py_INCREF(self->cache[pos]);
341 341 return self->cache[pos];
342 342 }
343 343 } else {
344 344 self->cache = calloc(self->raw_length, sizeof(PyObject *));
345 345 if (self->cache == NULL)
346 346 return PyErr_NoMemory();
347 347 }
348 348
349 349 data = index_deref(self, pos);
350 350 if (data == NULL)
351 351 return NULL;
352 352
353 353 offset_flags = getbe32(data + 4);
354 354 if (pos == 0) /* mask out version number for the first entry */
355 355 offset_flags &= 0xFFFF;
356 356 else {
357 357 uint32_t offset_high = getbe32(data);
358 358 offset_flags |= ((uint64_t)offset_high) << 32;
359 359 }
360 360
361 361 comp_len = getbe32(data + 8);
362 362 uncomp_len = getbe32(data + 12);
363 363 base_rev = getbe32(data + 16);
364 364 link_rev = getbe32(data + 20);
365 365 parent_1 = getbe32(data + 24);
366 366 parent_2 = getbe32(data + 28);
367 367 c_node_id = data + 32;
368 368
369 369 entry = Py_BuildValue(tuple_format, offset_flags, comp_len,
370 370 uncomp_len, base_rev, link_rev,
371 371 parent_1, parent_2, c_node_id, 20);
372 372
373 373 if (entry)
374 374 PyObject_GC_UnTrack(entry);
375 375
376 376 self->cache[pos] = entry;
377 377 Py_INCREF(entry);
378 378
379 379 return entry;
380 380 }
381 381
382 382 /*
383 383 * Return the 20-byte SHA of the node corresponding to the given rev.
384 384 */
385 385 static const char *index_node(indexObject *self, Py_ssize_t pos)
386 386 {
387 387 Py_ssize_t length = index_length(self);
388 388 const char *data;
389 389
390 if (pos == length - 1)
390 if (pos == length - 1 || pos == INT_MAX)
391 391 return nullid;
392 392
393 393 if (pos >= length)
394 394 return NULL;
395 395
396 396 if (pos >= self->length - 1) {
397 397 PyObject *tuple, *str;
398 398 tuple = PyList_GET_ITEM(self->added, pos - self->length + 1);
399 399 str = PyTuple_GetItem(tuple, 7);
400 400 return str ? PyString_AS_STRING(str) : NULL;
401 401 }
402 402
403 403 data = index_deref(self, pos);
404 404 return data ? data + 32 : NULL;
405 405 }
406 406
407 407 static int nt_insert(indexObject *self, const char *node, int rev);
408 408
409 409 static int node_check(PyObject *obj, char **node, Py_ssize_t *nodelen)
410 410 {
411 411 if (PyString_AsStringAndSize(obj, node, nodelen) == -1)
412 412 return -1;
413 413 if (*nodelen == 20)
414 414 return 0;
415 415 PyErr_SetString(PyExc_ValueError, "20-byte hash required");
416 416 return -1;
417 417 }
418 418
419 419 static PyObject *index_insert(indexObject *self, PyObject *args)
420 420 {
421 421 PyObject *obj;
422 422 char *node;
423 423 long offset;
424 424 Py_ssize_t len, nodelen;
425 425
426 426 if (!PyArg_ParseTuple(args, "lO", &offset, &obj))
427 427 return NULL;
428 428
429 429 if (!PyTuple_Check(obj) || PyTuple_GET_SIZE(obj) != 8) {
430 430 PyErr_SetString(PyExc_TypeError, "8-tuple required");
431 431 return NULL;
432 432 }
433 433
434 434 if (node_check(PyTuple_GET_ITEM(obj, 7), &node, &nodelen) == -1)
435 435 return NULL;
436 436
437 437 len = index_length(self);
438 438
439 439 if (offset < 0)
440 440 offset += len;
441 441
442 442 if (offset != len - 1) {
443 443 PyErr_SetString(PyExc_IndexError,
444 444 "insert only supported at index -1");
445 445 return NULL;
446 446 }
447 447
448 448 if (offset > INT_MAX) {
449 449 PyErr_SetString(PyExc_ValueError,
450 450 "currently only 2**31 revs supported");
451 451 return NULL;
452 452 }
453 453
454 454 if (self->added == NULL) {
455 455 self->added = PyList_New(0);
456 456 if (self->added == NULL)
457 457 return NULL;
458 458 }
459 459
460 460 if (PyList_Append(self->added, obj) == -1)
461 461 return NULL;
462 462
463 463 if (self->nt)
464 464 nt_insert(self, node, (int)offset);
465 465
466 466 Py_RETURN_NONE;
467 467 }
468 468
469 469 static void _index_clearcaches(indexObject *self)
470 470 {
471 471 if (self->cache) {
472 472 Py_ssize_t i;
473 473
474 474 for (i = 0; i < self->raw_length; i++) {
475 475 if (self->cache[i]) {
476 476 Py_DECREF(self->cache[i]);
477 477 self->cache[i] = NULL;
478 478 }
479 479 }
480 480 free(self->cache);
481 481 self->cache = NULL;
482 482 }
483 483 if (self->offsets) {
484 484 free(self->offsets);
485 485 self->offsets = NULL;
486 486 }
487 487 if (self->nt) {
488 488 free(self->nt);
489 489 self->nt = NULL;
490 490 }
491 491 }
492 492
493 493 static PyObject *index_clearcaches(indexObject *self)
494 494 {
495 495 _index_clearcaches(self);
496 496 self->ntlength = self->ntcapacity = 0;
497 497 self->ntdepth = self->ntsplits = 0;
498 498 self->ntrev = -1;
499 499 self->ntlookups = self->ntmisses = 0;
500 500 Py_RETURN_NONE;
501 501 }
502 502
503 503 static PyObject *index_stats(indexObject *self)
504 504 {
505 505 PyObject *obj = PyDict_New();
506 506
507 507 if (obj == NULL)
508 508 return NULL;
509 509
510 510 #define istat(__n, __d) \
511 511 if (PyDict_SetItemString(obj, __d, PyInt_FromSsize_t(self->__n)) == -1) \
512 512 goto bail;
513 513
514 514 if (self->added) {
515 515 Py_ssize_t len = PyList_GET_SIZE(self->added);
516 516 if (PyDict_SetItemString(obj, "index entries added",
517 517 PyInt_FromSsize_t(len)) == -1)
518 518 goto bail;
519 519 }
520 520
521 521 if (self->raw_length != self->length - 1)
522 522 istat(raw_length, "revs on disk");
523 523 istat(length, "revs in memory");
524 524 istat(ntcapacity, "node trie capacity");
525 525 istat(ntdepth, "node trie depth");
526 526 istat(ntlength, "node trie count");
527 527 istat(ntlookups, "node trie lookups");
528 528 istat(ntmisses, "node trie misses");
529 529 istat(ntrev, "node trie last rev scanned");
530 530 istat(ntsplits, "node trie splits");
531 531
532 532 #undef istat
533 533
534 534 return obj;
535 535
536 536 bail:
537 537 Py_XDECREF(obj);
538 538 return NULL;
539 539 }
540 540
541 541 static inline int nt_level(const char *node, Py_ssize_t level)
542 542 {
543 543 int v = node[level>>1];
544 544 if (!(level & 1))
545 545 v >>= 4;
546 546 return v & 0xf;
547 547 }
548 548
549 549 /*
550 550 * Return values:
551 551 *
552 552 * -4: match is ambiguous (multiple candidates)
553 553 * -2: not found
554 554 * rest: valid rev
555 555 */
556 556 static int nt_find(indexObject *self, const char *node, Py_ssize_t nodelen,
557 557 int hex)
558 558 {
559 559 int (*getnybble)(const char *, Py_ssize_t) = hex ? hexdigit : nt_level;
560 560 int level, maxlevel, off;
561 561
562 562 if (nodelen == 20 && node[0] == '\0' && memcmp(node, nullid, 20) == 0)
563 563 return -1;
564 564
565 565 if (self->nt == NULL)
566 566 return -2;
567 567
568 568 if (hex)
569 569 maxlevel = nodelen > 40 ? 40 : nodelen;
570 570 else
571 571 maxlevel = nodelen > 20 ? 40 : ((int)nodelen * 2);
572 572
573 573 for (level = off = 0; level < maxlevel; level++) {
574 574 int k = getnybble(node, level);
575 575 nodetree *n = &self->nt[off];
576 576 int v = n->children[k];
577 577
578 578 if (v < 0) {
579 579 const char *n;
580 580 Py_ssize_t i;
581 581
582 582 v = -v - 1;
583 583 n = index_node(self, v);
584 584 if (n == NULL)
585 585 return -2;
586 586 for (i = level; i < maxlevel; i++)
587 587 if (getnybble(node, i) != nt_level(n, i))
588 588 return -2;
589 589 return v;
590 590 }
591 591 if (v == 0)
592 592 return -2;
593 593 off = v;
594 594 }
595 595 /* multiple matches against an ambiguous prefix */
596 596 return -4;
597 597 }
598 598
599 599 static int nt_new(indexObject *self)
600 600 {
601 601 if (self->ntlength == self->ntcapacity) {
602 602 self->ntcapacity *= 2;
603 603 self->nt = realloc(self->nt,
604 604 self->ntcapacity * sizeof(nodetree));
605 605 if (self->nt == NULL) {
606 606 PyErr_SetString(PyExc_MemoryError, "out of memory");
607 607 return -1;
608 608 }
609 609 memset(&self->nt[self->ntlength], 0,
610 610 sizeof(nodetree) * (self->ntcapacity - self->ntlength));
611 611 }
612 612 return self->ntlength++;
613 613 }
614 614
615 615 static int nt_insert(indexObject *self, const char *node, int rev)
616 616 {
617 617 int level = 0;
618 618 int off = 0;
619 619
620 620 while (level < 40) {
621 621 int k = nt_level(node, level);
622 622 nodetree *n;
623 623 int v;
624 624
625 625 n = &self->nt[off];
626 626 v = n->children[k];
627 627
628 628 if (v == 0) {
629 629 n->children[k] = -rev - 1;
630 630 return 0;
631 631 }
632 632 if (v < 0) {
633 633 const char *oldnode = index_node(self, -v - 1);
634 634 int noff;
635 635
636 636 if (!oldnode || !memcmp(oldnode, node, 20)) {
637 637 n->children[k] = -rev - 1;
638 638 return 0;
639 639 }
640 640 noff = nt_new(self);
641 641 if (noff == -1)
642 642 return -1;
643 643 /* self->nt may have been changed by realloc */
644 644 self->nt[off].children[k] = noff;
645 645 off = noff;
646 646 n = &self->nt[off];
647 647 n->children[nt_level(oldnode, ++level)] = v;
648 648 if (level > self->ntdepth)
649 649 self->ntdepth = level;
650 650 self->ntsplits += 1;
651 651 } else {
652 652 level += 1;
653 653 off = v;
654 654 }
655 655 }
656 656
657 657 return -1;
658 658 }
659 659
660 660 static int nt_init(indexObject *self)
661 661 {
662 662 if (self->nt == NULL) {
663 663 self->ntcapacity = self->raw_length < 4
664 664 ? 4 : self->raw_length / 2;
665 665 self->nt = calloc(self->ntcapacity, sizeof(nodetree));
666 666 if (self->nt == NULL) {
667 667 PyErr_NoMemory();
668 668 return -1;
669 669 }
670 670 self->ntlength = 1;
671 671 self->ntrev = (int)index_length(self) - 1;
672 672 self->ntlookups = 1;
673 673 self->ntmisses = 0;
674 if (nt_insert(self, nullid, INT_MAX) == -1)
675 return -1;
674 676 }
675 677 return 0;
676 678 }
677 679
678 680 /*
679 681 * Return values:
680 682 *
681 683 * -3: error (exception set)
682 684 * -2: not found (no exception set)
683 685 * rest: valid rev
684 686 */
685 687 static int index_find_node(indexObject *self,
686 688 const char *node, Py_ssize_t nodelen)
687 689 {
688 690 int rev;
689 691
690 692 self->ntlookups++;
691 693 rev = nt_find(self, node, nodelen, 0);
692 694 if (rev >= -1)
693 695 return rev;
694 696
695 697 if (nt_init(self) == -1)
696 698 return -3;
697 699
698 700 /*
699 701 * For the first handful of lookups, we scan the entire index,
700 702 * and cache only the matching nodes. This optimizes for cases
701 703 * like "hg tip", where only a few nodes are accessed.
702 704 *
703 705 * After that, we cache every node we visit, using a single
704 706 * scan amortized over multiple lookups. This gives the best
705 707 * bulk performance, e.g. for "hg log".
706 708 */
707 709 if (self->ntmisses++ < 4) {
708 710 for (rev = self->ntrev - 1; rev >= 0; rev--) {
709 711 const char *n = index_node(self, rev);
710 712 if (n == NULL)
711 713 return -2;
712 714 if (memcmp(node, n, nodelen > 20 ? 20 : nodelen) == 0) {
713 715 if (nt_insert(self, n, rev) == -1)
714 716 return -3;
715 717 break;
716 718 }
717 719 }
718 720 } else {
719 721 for (rev = self->ntrev - 1; rev >= 0; rev--) {
720 722 const char *n = index_node(self, rev);
721 723 if (n == NULL) {
722 724 self->ntrev = rev + 1;
723 725 return -2;
724 726 }
725 727 if (nt_insert(self, n, rev) == -1) {
726 728 self->ntrev = rev + 1;
727 729 return -3;
728 730 }
729 731 if (memcmp(node, n, nodelen > 20 ? 20 : nodelen) == 0) {
730 732 break;
731 733 }
732 734 }
733 735 self->ntrev = rev;
734 736 }
735 737
736 738 if (rev >= 0)
737 739 return rev;
738 740 return -2;
739 741 }
740 742
741 743 static PyObject *raise_revlog_error(void)
742 744 {
743 745 static PyObject *errclass;
744 746 PyObject *mod = NULL, *errobj;
745 747
746 748 if (errclass == NULL) {
747 749 PyObject *dict;
748 750
749 751 mod = PyImport_ImportModule("mercurial.error");
750 752 if (mod == NULL)
751 753 goto classfail;
752 754
753 755 dict = PyModule_GetDict(mod);
754 756 if (dict == NULL)
755 757 goto classfail;
756 758
757 759 errclass = PyDict_GetItemString(dict, "RevlogError");
758 760 if (errclass == NULL) {
759 761 PyErr_SetString(PyExc_SystemError,
760 762 "could not find RevlogError");
761 763 goto classfail;
762 764 }
763 765 Py_INCREF(errclass);
764 766 }
765 767
766 768 errobj = PyObject_CallFunction(errclass, NULL);
767 769 if (errobj == NULL)
768 770 return NULL;
769 771 PyErr_SetObject(errclass, errobj);
770 772 return errobj;
771 773
772 774 classfail:
773 775 Py_XDECREF(mod);
774 776 return NULL;
775 777 }
776 778
777 779 static PyObject *index_getitem(indexObject *self, PyObject *value)
778 780 {
779 781 char *node;
780 782 Py_ssize_t nodelen;
781 783 int rev;
782 784
783 785 if (PyInt_Check(value))
784 786 return index_get(self, PyInt_AS_LONG(value));
785 787
786 788 if (PyString_AsStringAndSize(value, &node, &nodelen) == -1)
787 789 return NULL;
788 790 rev = index_find_node(self, node, nodelen);
789 791 if (rev >= -1)
790 792 return PyInt_FromLong(rev);
791 793 if (rev == -2)
792 794 raise_revlog_error();
793 795 return NULL;
794 796 }
795 797
796 798 static PyObject *index_m_get(indexObject *self, PyObject *args)
797 799 {
798 800 char *node;
799 801 int nodelen, rev;
800 802
801 803 if (!PyArg_ParseTuple(args, "s#", &node, &nodelen))
802 804 return NULL;
803 805
804 806 rev = index_find_node(self, node, nodelen);
805 807 if (rev == -3)
806 808 return NULL;
807 809 if (rev == -2)
808 810 Py_RETURN_NONE;
809 811 return PyInt_FromLong(rev);
810 812 }
811 813
812 814 static int index_contains(indexObject *self, PyObject *value)
813 815 {
814 816 char *node;
815 817 Py_ssize_t nodelen;
816 818
817 819 if (PyInt_Check(value)) {
818 820 long rev = PyInt_AS_LONG(value);
819 821 return rev >= -1 && rev < index_length(self);
820 822 }
821 823
822 824 if (!PyString_Check(value))
823 825 return 0;
824 826
825 827 node = PyString_AS_STRING(value);
826 828 nodelen = PyString_GET_SIZE(value);
827 829
828 830 switch (index_find_node(self, node, nodelen)) {
829 831 case -3:
830 832 return -1;
831 833 case -2:
832 834 return 0;
833 835 default:
834 836 return 1;
835 837 }
836 838 }
837 839
838 840 /*
839 841 * Invalidate any trie entries introduced by added revs.
840 842 */
841 843 static void nt_invalidate_added(indexObject *self, Py_ssize_t start)
842 844 {
843 845 Py_ssize_t i, len = PyList_GET_SIZE(self->added);
844 846
845 847 for (i = start; i < len; i++) {
846 848 PyObject *tuple = PyList_GET_ITEM(self->added, i);
847 849 PyObject *node = PyTuple_GET_ITEM(tuple, 7);
848 850
849 851 nt_insert(self, PyString_AS_STRING(node), -1);
850 852 }
851 853
852 854 if (start == 0) {
853 855 Py_DECREF(self->added);
854 856 self->added = NULL;
855 857 }
856 858 }
857 859
858 860 /*
859 861 * Delete a numeric range of revs, which must be at the end of the
860 862 * range, but exclude the sentinel nullid entry.
861 863 */
862 864 static int index_slice_del(indexObject *self, PyObject *item)
863 865 {
864 866 Py_ssize_t start, stop, step, slicelength;
865 867 Py_ssize_t length = index_length(self);
866 868
867 869 if (PySlice_GetIndicesEx((PySliceObject*)item, length,
868 870 &start, &stop, &step, &slicelength) < 0)
869 871 return -1;
870 872
871 873 if (slicelength <= 0)
872 874 return 0;
873 875
874 876 if ((step < 0 && start < stop) || (step > 0 && start > stop))
875 877 stop = start;
876 878
877 879 if (step < 0) {
878 880 stop = start + 1;
879 881 start = stop + step*(slicelength - 1) - 1;
880 882 step = -step;
881 883 }
882 884
883 885 if (step != 1) {
884 886 PyErr_SetString(PyExc_ValueError,
885 887 "revlog index delete requires step size of 1");
886 888 return -1;
887 889 }
888 890
889 891 if (stop != length - 1) {
890 892 PyErr_SetString(PyExc_IndexError,
891 893 "revlog index deletion indices are invalid");
892 894 return -1;
893 895 }
894 896
895 897 if (start < self->length - 1) {
896 898 if (self->nt) {
897 899 Py_ssize_t i;
898 900
899 901 for (i = start + 1; i < self->length - 1; i++) {
900 902 const char *node = index_node(self, i);
901 903
902 904 if (node)
903 905 nt_insert(self, node, -1);
904 906 }
905 907 if (self->added)
906 908 nt_invalidate_added(self, 0);
907 909 if (self->ntrev > start)
908 910 self->ntrev = (int)start;
909 911 }
910 912 self->length = start + 1;
911 913 return 0;
912 914 }
913 915
914 916 if (self->nt) {
915 917 nt_invalidate_added(self, start - self->length + 1);
916 918 if (self->ntrev > start)
917 919 self->ntrev = (int)start;
918 920 }
919 921 return self->added
920 922 ? PyList_SetSlice(self->added, start - self->length + 1,
921 923 PyList_GET_SIZE(self->added), NULL)
922 924 : 0;
923 925 }
924 926
925 927 /*
926 928 * Supported ops:
927 929 *
928 930 * slice deletion
929 931 * string assignment (extend node->rev mapping)
930 932 * string deletion (shrink node->rev mapping)
931 933 */
932 934 static int index_assign_subscript(indexObject *self, PyObject *item,
933 935 PyObject *value)
934 936 {
935 937 char *node;
936 938 Py_ssize_t nodelen;
937 939 long rev;
938 940
939 941 if (PySlice_Check(item) && value == NULL)
940 942 return index_slice_del(self, item);
941 943
942 944 if (node_check(item, &node, &nodelen) == -1)
943 945 return -1;
944 946
945 947 if (value == NULL)
946 948 return self->nt ? nt_insert(self, node, -1) : 0;
947 949 rev = PyInt_AsLong(value);
948 950 if (rev > INT_MAX || rev < 0) {
949 951 if (!PyErr_Occurred())
950 952 PyErr_SetString(PyExc_ValueError, "rev out of range");
951 953 return -1;
952 954 }
953 955 return nt_insert(self, node, (int)rev);
954 956 }
955 957
956 958 /*
957 959 * Find all RevlogNG entries in an index that has inline data. Update
958 960 * the optional "offsets" table with those entries.
959 961 */
960 962 static long inline_scan(indexObject *self, const char **offsets)
961 963 {
962 964 const char *data = PyString_AS_STRING(self->data);
963 965 const char *end = data + PyString_GET_SIZE(self->data);
964 966 const long hdrsize = 64;
965 967 long incr = hdrsize;
966 968 Py_ssize_t len = 0;
967 969
968 970 while (data + hdrsize <= end) {
969 971 uint32_t comp_len;
970 972 const char *old_data;
971 973 /* 3rd element of header is length of compressed inline data */
972 974 comp_len = getbe32(data + 8);
973 975 incr = hdrsize + comp_len;
974 976 if (incr < hdrsize)
975 977 break;
976 978 if (offsets)
977 979 offsets[len] = data;
978 980 len++;
979 981 old_data = data;
980 982 data += incr;
981 983 if (data <= old_data)
982 984 break;
983 985 }
984 986
985 987 if (data != end && data + hdrsize != end) {
986 988 if (!PyErr_Occurred())
987 989 PyErr_SetString(PyExc_ValueError, "corrupt index file");
988 990 return -1;
989 991 }
990 992
991 993 return len;
992 994 }
993 995
994 996 static int index_init(indexObject *self, PyObject *args)
995 997 {
996 998 PyObject *data_obj, *inlined_obj;
997 999 Py_ssize_t size;
998 1000
999 1001 if (!PyArg_ParseTuple(args, "OO", &data_obj, &inlined_obj))
1000 1002 return -1;
1001 1003 if (!PyString_Check(data_obj)) {
1002 1004 PyErr_SetString(PyExc_TypeError, "data is not a string");
1003 1005 return -1;
1004 1006 }
1005 1007 size = PyString_GET_SIZE(data_obj);
1006 1008
1007 1009 self->inlined = inlined_obj && PyObject_IsTrue(inlined_obj);
1008 1010 self->data = data_obj;
1009 1011 self->cache = NULL;
1010 1012
1011 1013 self->added = NULL;
1012 1014 self->offsets = NULL;
1013 1015 self->nt = NULL;
1014 1016 self->ntlength = self->ntcapacity = 0;
1015 1017 self->ntdepth = self->ntsplits = 0;
1016 1018 self->ntlookups = self->ntmisses = 0;
1017 1019 self->ntrev = -1;
1018 1020 Py_INCREF(self->data);
1019 1021
1020 1022 if (self->inlined) {
1021 1023 long len = inline_scan(self, NULL);
1022 1024 if (len == -1)
1023 1025 goto bail;
1024 1026 self->raw_length = len;
1025 1027 self->length = len + 1;
1026 1028 } else {
1027 1029 if (size % 64) {
1028 1030 PyErr_SetString(PyExc_ValueError, "corrupt index file");
1029 1031 goto bail;
1030 1032 }
1031 1033 self->raw_length = size / 64;
1032 1034 self->length = self->raw_length + 1;
1033 1035 }
1034 1036
1035 1037 return 0;
1036 1038 bail:
1037 1039 return -1;
1038 1040 }
1039 1041
1040 1042 static PyObject *index_nodemap(indexObject *self)
1041 1043 {
1042 1044 Py_INCREF(self);
1043 1045 return (PyObject *)self;
1044 1046 }
1045 1047
1046 1048 static void index_dealloc(indexObject *self)
1047 1049 {
1048 1050 _index_clearcaches(self);
1049 1051 Py_DECREF(self->data);
1050 1052 Py_XDECREF(self->added);
1051 1053 PyObject_Del(self);
1052 1054 }
1053 1055
1054 1056 static PySequenceMethods index_sequence_methods = {
1055 1057 (lenfunc)index_length, /* sq_length */
1056 1058 0, /* sq_concat */
1057 1059 0, /* sq_repeat */
1058 1060 (ssizeargfunc)index_get, /* sq_item */
1059 1061 0, /* sq_slice */
1060 1062 0, /* sq_ass_item */
1061 1063 0, /* sq_ass_slice */
1062 1064 (objobjproc)index_contains, /* sq_contains */
1063 1065 };
1064 1066
1065 1067 static PyMappingMethods index_mapping_methods = {
1066 1068 (lenfunc)index_length, /* mp_length */
1067 1069 (binaryfunc)index_getitem, /* mp_subscript */
1068 1070 (objobjargproc)index_assign_subscript, /* mp_ass_subscript */
1069 1071 };
1070 1072
1071 1073 static PyMethodDef index_methods[] = {
1072 1074 {"clearcaches", (PyCFunction)index_clearcaches, METH_NOARGS,
1073 1075 "clear the index caches"},
1074 1076 {"get", (PyCFunction)index_m_get, METH_VARARGS,
1075 1077 "get an index entry"},
1076 1078 {"insert", (PyCFunction)index_insert, METH_VARARGS,
1077 1079 "insert an index entry"},
1078 1080 {"stats", (PyCFunction)index_stats, METH_NOARGS,
1079 1081 "stats for the index"},
1080 1082 {NULL} /* Sentinel */
1081 1083 };
1082 1084
1083 1085 static PyGetSetDef index_getset[] = {
1084 1086 {"nodemap", (getter)index_nodemap, NULL, "nodemap", NULL},
1085 1087 {NULL} /* Sentinel */
1086 1088 };
1087 1089
1088 1090 static PyTypeObject indexType = {
1089 1091 PyObject_HEAD_INIT(NULL)
1090 1092 0, /* ob_size */
1091 1093 "parsers.index", /* tp_name */
1092 1094 sizeof(indexObject), /* tp_basicsize */
1093 1095 0, /* tp_itemsize */
1094 1096 (destructor)index_dealloc, /* tp_dealloc */
1095 1097 0, /* tp_print */
1096 1098 0, /* tp_getattr */
1097 1099 0, /* tp_setattr */
1098 1100 0, /* tp_compare */
1099 1101 0, /* tp_repr */
1100 1102 0, /* tp_as_number */
1101 1103 &index_sequence_methods, /* tp_as_sequence */
1102 1104 &index_mapping_methods, /* tp_as_mapping */
1103 1105 0, /* tp_hash */
1104 1106 0, /* tp_call */
1105 1107 0, /* tp_str */
1106 1108 0, /* tp_getattro */
1107 1109 0, /* tp_setattro */
1108 1110 0, /* tp_as_buffer */
1109 1111 Py_TPFLAGS_DEFAULT, /* tp_flags */
1110 1112 "revlog index", /* tp_doc */
1111 1113 0, /* tp_traverse */
1112 1114 0, /* tp_clear */
1113 1115 0, /* tp_richcompare */
1114 1116 0, /* tp_weaklistoffset */
1115 1117 0, /* tp_iter */
1116 1118 0, /* tp_iternext */
1117 1119 index_methods, /* tp_methods */
1118 1120 0, /* tp_members */
1119 1121 index_getset, /* tp_getset */
1120 1122 0, /* tp_base */
1121 1123 0, /* tp_dict */
1122 1124 0, /* tp_descr_get */
1123 1125 0, /* tp_descr_set */
1124 1126 0, /* tp_dictoffset */
1125 1127 (initproc)index_init, /* tp_init */
1126 1128 0, /* tp_alloc */
1127 1129 };
1128 1130
1129 1131 /*
1130 1132 * returns a tuple of the form (index, index, cache) with elements as
1131 1133 * follows:
1132 1134 *
1133 1135 * index: an index object that lazily parses RevlogNG records
1134 1136 * cache: if data is inlined, a tuple (index_file_content, 0), else None
1135 1137 *
1136 1138 * added complications are for backwards compatibility
1137 1139 */
1138 1140 static PyObject *parse_index2(PyObject *self, PyObject *args)
1139 1141 {
1140 1142 PyObject *tuple = NULL, *cache = NULL;
1141 1143 indexObject *idx;
1142 1144 int ret;
1143 1145
1144 1146 idx = PyObject_New(indexObject, &indexType);
1145 1147 if (idx == NULL)
1146 1148 goto bail;
1147 1149
1148 1150 ret = index_init(idx, args);
1149 1151 if (ret == -1)
1150 1152 goto bail;
1151 1153
1152 1154 if (idx->inlined) {
1153 1155 cache = Py_BuildValue("iO", 0, idx->data);
1154 1156 if (cache == NULL)
1155 1157 goto bail;
1156 1158 } else {
1157 1159 cache = Py_None;
1158 1160 Py_INCREF(cache);
1159 1161 }
1160 1162
1161 1163 tuple = Py_BuildValue("NN", idx, cache);
1162 1164 if (!tuple)
1163 1165 goto bail;
1164 1166 return tuple;
1165 1167
1166 1168 bail:
1167 1169 Py_XDECREF(idx);
1168 1170 Py_XDECREF(cache);
1169 1171 Py_XDECREF(tuple);
1170 1172 return NULL;
1171 1173 }
1172 1174
1173 1175 static char parsers_doc[] = "Efficient content parsing.";
1174 1176
1175 1177 static PyMethodDef methods[] = {
1176 1178 {"parse_manifest", parse_manifest, METH_VARARGS, "parse a manifest\n"},
1177 1179 {"parse_dirstate", parse_dirstate, METH_VARARGS, "parse a dirstate\n"},
1178 1180 {"parse_index2", parse_index2, METH_VARARGS, "parse a revlog index\n"},
1179 1181 {NULL, NULL}
1180 1182 };
1181 1183
1182 1184 static void module_init(PyObject *mod)
1183 1185 {
1184 1186 indexType.tp_new = PyType_GenericNew;
1185 1187 if (PyType_Ready(&indexType) < 0)
1186 1188 return;
1187 1189 Py_INCREF(&indexType);
1188 1190
1189 1191 PyModule_AddObject(mod, "index", (PyObject *)&indexType);
1190 1192
1191 1193 nullentry = Py_BuildValue("iiiiiiis#", 0, 0, 0,
1192 1194 -1, -1, -1, -1, nullid, 20);
1193 1195 if (nullentry)
1194 1196 PyObject_GC_UnTrack(nullentry);
1195 1197 }
1196 1198
1197 1199 #ifdef IS_PY3K
1198 1200 static struct PyModuleDef parsers_module = {
1199 1201 PyModuleDef_HEAD_INIT,
1200 1202 "parsers",
1201 1203 parsers_doc,
1202 1204 -1,
1203 1205 methods
1204 1206 };
1205 1207
1206 1208 PyMODINIT_FUNC PyInit_parsers(void)
1207 1209 {
1208 1210 PyObject *mod = PyModule_Create(&parsers_module);
1209 1211 module_init(mod);
1210 1212 return mod;
1211 1213 }
1212 1214 #else
1213 1215 PyMODINIT_FUNC initparsers(void)
1214 1216 {
1215 1217 PyObject *mod = Py_InitModule3("parsers", methods, parsers_doc);
1216 1218 module_init(mod);
1217 1219 }
1218 1220 #endif
General Comments 0
You need to be logged in to leave comments. Login now