##// END OF EJS Templates
parsers: avoid leaking several PyObjects in index_stats...
Augie Fackler -
r23948:bd307b46 stable
parent child Browse files
Show More
@@ -1,2329 +1,2338
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 <stddef.h>
13 13 #include <string.h>
14 14
15 15 #include "util.h"
16 16
17 17 static char *versionerrortext = "Python minor version mismatch";
18 18
19 19 static int8_t hextable[256] = {
20 20 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
21 21 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
22 22 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
23 23 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, -1, -1, -1, -1, -1, -1, /* 0-9 */
24 24 -1, 10, 11, 12, 13, 14, 15, -1, -1, -1, -1, -1, -1, -1, -1, -1, /* A-F */
25 25 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
26 26 -1, 10, 11, 12, 13, 14, 15, -1, -1, -1, -1, -1, -1, -1, -1, -1, /* a-f */
27 27 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
28 28 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
29 29 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
30 30 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
31 31 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
32 32 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
33 33 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
34 34 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
35 35 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1
36 36 };
37 37
38 38 static char lowertable[128] = {
39 39 '\x00', '\x01', '\x02', '\x03', '\x04', '\x05', '\x06', '\x07',
40 40 '\x08', '\x09', '\x0a', '\x0b', '\x0c', '\x0d', '\x0e', '\x0f',
41 41 '\x10', '\x11', '\x12', '\x13', '\x14', '\x15', '\x16', '\x17',
42 42 '\x18', '\x19', '\x1a', '\x1b', '\x1c', '\x1d', '\x1e', '\x1f',
43 43 '\x20', '\x21', '\x22', '\x23', '\x24', '\x25', '\x26', '\x27',
44 44 '\x28', '\x29', '\x2a', '\x2b', '\x2c', '\x2d', '\x2e', '\x2f',
45 45 '\x30', '\x31', '\x32', '\x33', '\x34', '\x35', '\x36', '\x37',
46 46 '\x38', '\x39', '\x3a', '\x3b', '\x3c', '\x3d', '\x3e', '\x3f',
47 47 '\x40',
48 48 '\x61', '\x62', '\x63', '\x64', '\x65', '\x66', '\x67', /* A-G */
49 49 '\x68', '\x69', '\x6a', '\x6b', '\x6c', '\x6d', '\x6e', '\x6f', /* H-O */
50 50 '\x70', '\x71', '\x72', '\x73', '\x74', '\x75', '\x76', '\x77', /* P-W */
51 51 '\x78', '\x79', '\x7a', /* X-Z */
52 52 '\x5b', '\x5c', '\x5d', '\x5e', '\x5f',
53 53 '\x60', '\x61', '\x62', '\x63', '\x64', '\x65', '\x66', '\x67',
54 54 '\x68', '\x69', '\x6a', '\x6b', '\x6c', '\x6d', '\x6e', '\x6f',
55 55 '\x70', '\x71', '\x72', '\x73', '\x74', '\x75', '\x76', '\x77',
56 56 '\x78', '\x79', '\x7a', '\x7b', '\x7c', '\x7d', '\x7e', '\x7f'
57 57 };
58 58
59 59 static inline int hexdigit(const char *p, Py_ssize_t off)
60 60 {
61 61 int8_t val = hextable[(unsigned char)p[off]];
62 62
63 63 if (val >= 0) {
64 64 return val;
65 65 }
66 66
67 67 PyErr_SetString(PyExc_ValueError, "input contains non-hex character");
68 68 return 0;
69 69 }
70 70
71 71 /*
72 72 * Turn a hex-encoded string into binary.
73 73 */
74 74 static PyObject *unhexlify(const char *str, int len)
75 75 {
76 76 PyObject *ret;
77 77 char *d;
78 78 int i;
79 79
80 80 ret = PyBytes_FromStringAndSize(NULL, len / 2);
81 81
82 82 if (!ret)
83 83 return NULL;
84 84
85 85 d = PyBytes_AsString(ret);
86 86
87 87 for (i = 0; i < len;) {
88 88 int hi = hexdigit(str, i++);
89 89 int lo = hexdigit(str, i++);
90 90 *d++ = (hi << 4) | lo;
91 91 }
92 92
93 93 return ret;
94 94 }
95 95
96 96 static PyObject *asciilower(PyObject *self, PyObject *args)
97 97 {
98 98 char *str, *newstr;
99 99 int i, len;
100 100 PyObject *newobj = NULL;
101 101
102 102 if (!PyArg_ParseTuple(args, "s#", &str, &len))
103 103 goto quit;
104 104
105 105 newobj = PyBytes_FromStringAndSize(NULL, len);
106 106 if (!newobj)
107 107 goto quit;
108 108
109 109 newstr = PyBytes_AS_STRING(newobj);
110 110
111 111 for (i = 0; i < len; i++) {
112 112 char c = str[i];
113 113 if (c & 0x80) {
114 114 PyObject *err = PyUnicodeDecodeError_Create(
115 115 "ascii", str, len, i, (i + 1),
116 116 "unexpected code byte");
117 117 PyErr_SetObject(PyExc_UnicodeDecodeError, err);
118 118 Py_XDECREF(err);
119 119 goto quit;
120 120 }
121 121 newstr[i] = lowertable[(unsigned char)c];
122 122 }
123 123
124 124 return newobj;
125 125 quit:
126 126 Py_XDECREF(newobj);
127 127 return NULL;
128 128 }
129 129
130 130 /*
131 131 * This code assumes that a manifest is stitched together with newline
132 132 * ('\n') characters.
133 133 */
134 134 static PyObject *parse_manifest(PyObject *self, PyObject *args)
135 135 {
136 136 PyObject *mfdict, *fdict;
137 137 char *str, *start, *end;
138 138 int len;
139 139
140 140 if (!PyArg_ParseTuple(args, "O!O!s#:parse_manifest",
141 141 &PyDict_Type, &mfdict,
142 142 &PyDict_Type, &fdict,
143 143 &str, &len))
144 144 goto quit;
145 145
146 146 start = str;
147 147 end = str + len;
148 148 while (start < end) {
149 149 PyObject *file = NULL, *node = NULL;
150 150 PyObject *flags = NULL;
151 151 char *zero = NULL, *newline = NULL;
152 152 ptrdiff_t nlen;
153 153
154 154 zero = memchr(start, '\0', end - start);
155 155 if (!zero) {
156 156 PyErr_SetString(PyExc_ValueError,
157 157 "manifest entry has no separator");
158 158 goto quit;
159 159 }
160 160
161 161 newline = memchr(zero + 1, '\n', end - (zero + 1));
162 162 if (!newline) {
163 163 PyErr_SetString(PyExc_ValueError,
164 164 "manifest contains trailing garbage");
165 165 goto quit;
166 166 }
167 167
168 168 file = PyBytes_FromStringAndSize(start, zero - start);
169 169
170 170 if (!file)
171 171 goto bail;
172 172
173 173 nlen = newline - zero - 1;
174 174
175 175 node = unhexlify(zero + 1, nlen > 40 ? 40 : (int)nlen);
176 176 if (!node)
177 177 goto bail;
178 178
179 179 if (nlen > 40) {
180 180 flags = PyBytes_FromStringAndSize(zero + 41,
181 181 nlen - 40);
182 182 if (!flags)
183 183 goto bail;
184 184
185 185 if (PyDict_SetItem(fdict, file, flags) == -1)
186 186 goto bail;
187 187 }
188 188
189 189 if (PyDict_SetItem(mfdict, file, node) == -1)
190 190 goto bail;
191 191
192 192 start = newline + 1;
193 193
194 194 Py_XDECREF(flags);
195 195 Py_XDECREF(node);
196 196 Py_XDECREF(file);
197 197 continue;
198 198 bail:
199 199 Py_XDECREF(flags);
200 200 Py_XDECREF(node);
201 201 Py_XDECREF(file);
202 202 goto quit;
203 203 }
204 204
205 205 Py_INCREF(Py_None);
206 206 return Py_None;
207 207 quit:
208 208 return NULL;
209 209 }
210 210
211 211 static inline dirstateTupleObject *make_dirstate_tuple(char state, int mode,
212 212 int size, int mtime)
213 213 {
214 214 dirstateTupleObject *t = PyObject_New(dirstateTupleObject,
215 215 &dirstateTupleType);
216 216 if (!t)
217 217 return NULL;
218 218 t->state = state;
219 219 t->mode = mode;
220 220 t->size = size;
221 221 t->mtime = mtime;
222 222 return t;
223 223 }
224 224
225 225 static PyObject *dirstate_tuple_new(PyTypeObject *subtype, PyObject *args,
226 226 PyObject *kwds)
227 227 {
228 228 /* We do all the initialization here and not a tp_init function because
229 229 * dirstate_tuple is immutable. */
230 230 dirstateTupleObject *t;
231 231 char state;
232 232 int size, mode, mtime;
233 233 if (!PyArg_ParseTuple(args, "ciii", &state, &mode, &size, &mtime))
234 234 return NULL;
235 235
236 236 t = (dirstateTupleObject *)subtype->tp_alloc(subtype, 1);
237 237 if (!t)
238 238 return NULL;
239 239 t->state = state;
240 240 t->mode = mode;
241 241 t->size = size;
242 242 t->mtime = mtime;
243 243
244 244 return (PyObject *)t;
245 245 }
246 246
247 247 static void dirstate_tuple_dealloc(PyObject *o)
248 248 {
249 249 PyObject_Del(o);
250 250 }
251 251
252 252 static Py_ssize_t dirstate_tuple_length(PyObject *o)
253 253 {
254 254 return 4;
255 255 }
256 256
257 257 static PyObject *dirstate_tuple_item(PyObject *o, Py_ssize_t i)
258 258 {
259 259 dirstateTupleObject *t = (dirstateTupleObject *)o;
260 260 switch (i) {
261 261 case 0:
262 262 return PyBytes_FromStringAndSize(&t->state, 1);
263 263 case 1:
264 264 return PyInt_FromLong(t->mode);
265 265 case 2:
266 266 return PyInt_FromLong(t->size);
267 267 case 3:
268 268 return PyInt_FromLong(t->mtime);
269 269 default:
270 270 PyErr_SetString(PyExc_IndexError, "index out of range");
271 271 return NULL;
272 272 }
273 273 }
274 274
275 275 static PySequenceMethods dirstate_tuple_sq = {
276 276 dirstate_tuple_length, /* sq_length */
277 277 0, /* sq_concat */
278 278 0, /* sq_repeat */
279 279 dirstate_tuple_item, /* sq_item */
280 280 0, /* sq_ass_item */
281 281 0, /* sq_contains */
282 282 0, /* sq_inplace_concat */
283 283 0 /* sq_inplace_repeat */
284 284 };
285 285
286 286 PyTypeObject dirstateTupleType = {
287 287 PyVarObject_HEAD_INIT(NULL, 0)
288 288 "dirstate_tuple", /* tp_name */
289 289 sizeof(dirstateTupleObject),/* tp_basicsize */
290 290 0, /* tp_itemsize */
291 291 (destructor)dirstate_tuple_dealloc, /* tp_dealloc */
292 292 0, /* tp_print */
293 293 0, /* tp_getattr */
294 294 0, /* tp_setattr */
295 295 0, /* tp_compare */
296 296 0, /* tp_repr */
297 297 0, /* tp_as_number */
298 298 &dirstate_tuple_sq, /* tp_as_sequence */
299 299 0, /* tp_as_mapping */
300 300 0, /* tp_hash */
301 301 0, /* tp_call */
302 302 0, /* tp_str */
303 303 0, /* tp_getattro */
304 304 0, /* tp_setattro */
305 305 0, /* tp_as_buffer */
306 306 Py_TPFLAGS_DEFAULT, /* tp_flags */
307 307 "dirstate tuple", /* tp_doc */
308 308 0, /* tp_traverse */
309 309 0, /* tp_clear */
310 310 0, /* tp_richcompare */
311 311 0, /* tp_weaklistoffset */
312 312 0, /* tp_iter */
313 313 0, /* tp_iternext */
314 314 0, /* tp_methods */
315 315 0, /* tp_members */
316 316 0, /* tp_getset */
317 317 0, /* tp_base */
318 318 0, /* tp_dict */
319 319 0, /* tp_descr_get */
320 320 0, /* tp_descr_set */
321 321 0, /* tp_dictoffset */
322 322 0, /* tp_init */
323 323 0, /* tp_alloc */
324 324 dirstate_tuple_new, /* tp_new */
325 325 };
326 326
327 327 static PyObject *parse_dirstate(PyObject *self, PyObject *args)
328 328 {
329 329 PyObject *dmap, *cmap, *parents = NULL, *ret = NULL;
330 330 PyObject *fname = NULL, *cname = NULL, *entry = NULL;
331 331 char state, *cur, *str, *cpos;
332 332 int mode, size, mtime;
333 333 unsigned int flen, len, pos = 40;
334 334 int readlen;
335 335
336 336 if (!PyArg_ParseTuple(args, "O!O!s#:parse_dirstate",
337 337 &PyDict_Type, &dmap,
338 338 &PyDict_Type, &cmap,
339 339 &str, &readlen))
340 340 goto quit;
341 341
342 342 if (readlen < 0)
343 343 goto quit;
344 344
345 345 len = readlen;
346 346
347 347 /* read parents */
348 348 if (len < 40)
349 349 goto quit;
350 350
351 351 parents = Py_BuildValue("s#s#", str, 20, str + 20, 20);
352 352 if (!parents)
353 353 goto quit;
354 354
355 355 /* read filenames */
356 356 while (pos >= 40 && pos < len) {
357 357 cur = str + pos;
358 358 /* unpack header */
359 359 state = *cur;
360 360 mode = getbe32(cur + 1);
361 361 size = getbe32(cur + 5);
362 362 mtime = getbe32(cur + 9);
363 363 flen = getbe32(cur + 13);
364 364 pos += 17;
365 365 cur += 17;
366 366 if (flen > len - pos) {
367 367 PyErr_SetString(PyExc_ValueError, "overflow in dirstate");
368 368 goto quit;
369 369 }
370 370
371 371 entry = (PyObject *)make_dirstate_tuple(state, mode, size,
372 372 mtime);
373 373 cpos = memchr(cur, 0, flen);
374 374 if (cpos) {
375 375 fname = PyBytes_FromStringAndSize(cur, cpos - cur);
376 376 cname = PyBytes_FromStringAndSize(cpos + 1,
377 377 flen - (cpos - cur) - 1);
378 378 if (!fname || !cname ||
379 379 PyDict_SetItem(cmap, fname, cname) == -1 ||
380 380 PyDict_SetItem(dmap, fname, entry) == -1)
381 381 goto quit;
382 382 Py_DECREF(cname);
383 383 } else {
384 384 fname = PyBytes_FromStringAndSize(cur, flen);
385 385 if (!fname ||
386 386 PyDict_SetItem(dmap, fname, entry) == -1)
387 387 goto quit;
388 388 }
389 389 Py_DECREF(fname);
390 390 Py_DECREF(entry);
391 391 fname = cname = entry = NULL;
392 392 pos += flen;
393 393 }
394 394
395 395 ret = parents;
396 396 Py_INCREF(ret);
397 397 quit:
398 398 Py_XDECREF(fname);
399 399 Py_XDECREF(cname);
400 400 Py_XDECREF(entry);
401 401 Py_XDECREF(parents);
402 402 return ret;
403 403 }
404 404
405 405 /*
406 406 * Efficiently pack a dirstate object into its on-disk format.
407 407 */
408 408 static PyObject *pack_dirstate(PyObject *self, PyObject *args)
409 409 {
410 410 PyObject *packobj = NULL;
411 411 PyObject *map, *copymap, *pl, *mtime_unset = NULL;
412 412 Py_ssize_t nbytes, pos, l;
413 413 PyObject *k, *v = NULL, *pn;
414 414 char *p, *s;
415 415 double now;
416 416
417 417 if (!PyArg_ParseTuple(args, "O!O!Od:pack_dirstate",
418 418 &PyDict_Type, &map, &PyDict_Type, &copymap,
419 419 &pl, &now))
420 420 return NULL;
421 421
422 422 if (!PySequence_Check(pl) || PySequence_Size(pl) != 2) {
423 423 PyErr_SetString(PyExc_TypeError, "expected 2-element sequence");
424 424 return NULL;
425 425 }
426 426
427 427 /* Figure out how much we need to allocate. */
428 428 for (nbytes = 40, pos = 0; PyDict_Next(map, &pos, &k, &v);) {
429 429 PyObject *c;
430 430 if (!PyString_Check(k)) {
431 431 PyErr_SetString(PyExc_TypeError, "expected string key");
432 432 goto bail;
433 433 }
434 434 nbytes += PyString_GET_SIZE(k) + 17;
435 435 c = PyDict_GetItem(copymap, k);
436 436 if (c) {
437 437 if (!PyString_Check(c)) {
438 438 PyErr_SetString(PyExc_TypeError,
439 439 "expected string key");
440 440 goto bail;
441 441 }
442 442 nbytes += PyString_GET_SIZE(c) + 1;
443 443 }
444 444 }
445 445
446 446 packobj = PyString_FromStringAndSize(NULL, nbytes);
447 447 if (packobj == NULL)
448 448 goto bail;
449 449
450 450 p = PyString_AS_STRING(packobj);
451 451
452 452 pn = PySequence_ITEM(pl, 0);
453 453 if (PyString_AsStringAndSize(pn, &s, &l) == -1 || l != 20) {
454 454 PyErr_SetString(PyExc_TypeError, "expected a 20-byte hash");
455 455 goto bail;
456 456 }
457 457 memcpy(p, s, l);
458 458 p += 20;
459 459 pn = PySequence_ITEM(pl, 1);
460 460 if (PyString_AsStringAndSize(pn, &s, &l) == -1 || l != 20) {
461 461 PyErr_SetString(PyExc_TypeError, "expected a 20-byte hash");
462 462 goto bail;
463 463 }
464 464 memcpy(p, s, l);
465 465 p += 20;
466 466
467 467 for (pos = 0; PyDict_Next(map, &pos, &k, &v); ) {
468 468 dirstateTupleObject *tuple;
469 469 char state;
470 470 uint32_t mode, size, mtime;
471 471 Py_ssize_t len, l;
472 472 PyObject *o;
473 473 char *t;
474 474
475 475 if (!dirstate_tuple_check(v)) {
476 476 PyErr_SetString(PyExc_TypeError,
477 477 "expected a dirstate tuple");
478 478 goto bail;
479 479 }
480 480 tuple = (dirstateTupleObject *)v;
481 481
482 482 state = tuple->state;
483 483 mode = tuple->mode;
484 484 size = tuple->size;
485 485 mtime = tuple->mtime;
486 486 if (state == 'n' && mtime == (uint32_t)now) {
487 487 /* See pure/parsers.py:pack_dirstate for why we do
488 488 * this. */
489 489 mtime = -1;
490 490 mtime_unset = (PyObject *)make_dirstate_tuple(
491 491 state, mode, size, mtime);
492 492 if (!mtime_unset)
493 493 goto bail;
494 494 if (PyDict_SetItem(map, k, mtime_unset) == -1)
495 495 goto bail;
496 496 Py_DECREF(mtime_unset);
497 497 mtime_unset = NULL;
498 498 }
499 499 *p++ = state;
500 500 putbe32(mode, p);
501 501 putbe32(size, p + 4);
502 502 putbe32(mtime, p + 8);
503 503 t = p + 12;
504 504 p += 16;
505 505 len = PyString_GET_SIZE(k);
506 506 memcpy(p, PyString_AS_STRING(k), len);
507 507 p += len;
508 508 o = PyDict_GetItem(copymap, k);
509 509 if (o) {
510 510 *p++ = '\0';
511 511 l = PyString_GET_SIZE(o);
512 512 memcpy(p, PyString_AS_STRING(o), l);
513 513 p += l;
514 514 len += l + 1;
515 515 }
516 516 putbe32((uint32_t)len, t);
517 517 }
518 518
519 519 pos = p - PyString_AS_STRING(packobj);
520 520 if (pos != nbytes) {
521 521 PyErr_Format(PyExc_SystemError, "bad dirstate size: %ld != %ld",
522 522 (long)pos, (long)nbytes);
523 523 goto bail;
524 524 }
525 525
526 526 return packobj;
527 527 bail:
528 528 Py_XDECREF(mtime_unset);
529 529 Py_XDECREF(packobj);
530 530 Py_XDECREF(v);
531 531 return NULL;
532 532 }
533 533
534 534 /*
535 535 * A base-16 trie for fast node->rev mapping.
536 536 *
537 537 * Positive value is index of the next node in the trie
538 538 * Negative value is a leaf: -(rev + 1)
539 539 * Zero is empty
540 540 */
541 541 typedef struct {
542 542 int children[16];
543 543 } nodetree;
544 544
545 545 /*
546 546 * This class has two behaviours.
547 547 *
548 548 * When used in a list-like way (with integer keys), we decode an
549 549 * entry in a RevlogNG index file on demand. Our last entry is a
550 550 * sentinel, always a nullid. We have limited support for
551 551 * integer-keyed insert and delete, only at elements right before the
552 552 * sentinel.
553 553 *
554 554 * With string keys, we lazily perform a reverse mapping from node to
555 555 * rev, using a base-16 trie.
556 556 */
557 557 typedef struct {
558 558 PyObject_HEAD
559 559 /* Type-specific fields go here. */
560 560 PyObject *data; /* raw bytes of index */
561 561 PyObject **cache; /* cached tuples */
562 562 const char **offsets; /* populated on demand */
563 563 Py_ssize_t raw_length; /* original number of elements */
564 564 Py_ssize_t length; /* current number of elements */
565 565 PyObject *added; /* populated on demand */
566 566 PyObject *headrevs; /* cache, invalidated on changes */
567 567 PyObject *filteredrevs;/* filtered revs set */
568 568 nodetree *nt; /* base-16 trie */
569 569 int ntlength; /* # nodes in use */
570 570 int ntcapacity; /* # nodes allocated */
571 571 int ntdepth; /* maximum depth of tree */
572 572 int ntsplits; /* # splits performed */
573 573 int ntrev; /* last rev scanned */
574 574 int ntlookups; /* # lookups */
575 575 int ntmisses; /* # lookups that miss the cache */
576 576 int inlined;
577 577 } indexObject;
578 578
579 579 static Py_ssize_t index_length(const indexObject *self)
580 580 {
581 581 if (self->added == NULL)
582 582 return self->length;
583 583 return self->length + PyList_GET_SIZE(self->added);
584 584 }
585 585
586 586 static PyObject *nullentry;
587 587 static const char nullid[20];
588 588
589 589 static Py_ssize_t inline_scan(indexObject *self, const char **offsets);
590 590
591 591 #if LONG_MAX == 0x7fffffffL
592 592 static char *tuple_format = "Kiiiiiis#";
593 593 #else
594 594 static char *tuple_format = "kiiiiiis#";
595 595 #endif
596 596
597 597 /* A RevlogNG v1 index entry is 64 bytes long. */
598 598 static const long v1_hdrsize = 64;
599 599
600 600 /*
601 601 * Return a pointer to the beginning of a RevlogNG record.
602 602 */
603 603 static const char *index_deref(indexObject *self, Py_ssize_t pos)
604 604 {
605 605 if (self->inlined && pos > 0) {
606 606 if (self->offsets == NULL) {
607 607 self->offsets = malloc(self->raw_length *
608 608 sizeof(*self->offsets));
609 609 if (self->offsets == NULL)
610 610 return (const char *)PyErr_NoMemory();
611 611 inline_scan(self, self->offsets);
612 612 }
613 613 return self->offsets[pos];
614 614 }
615 615
616 616 return PyString_AS_STRING(self->data) + pos * v1_hdrsize;
617 617 }
618 618
619 619 /*
620 620 * RevlogNG format (all in big endian, data may be inlined):
621 621 * 6 bytes: offset
622 622 * 2 bytes: flags
623 623 * 4 bytes: compressed length
624 624 * 4 bytes: uncompressed length
625 625 * 4 bytes: base revision
626 626 * 4 bytes: link revision
627 627 * 4 bytes: parent 1 revision
628 628 * 4 bytes: parent 2 revision
629 629 * 32 bytes: nodeid (only 20 bytes used)
630 630 */
631 631 static PyObject *index_get(indexObject *self, Py_ssize_t pos)
632 632 {
633 633 uint64_t offset_flags;
634 634 int comp_len, uncomp_len, base_rev, link_rev, parent_1, parent_2;
635 635 const char *c_node_id;
636 636 const char *data;
637 637 Py_ssize_t length = index_length(self);
638 638 PyObject *entry;
639 639
640 640 if (pos < 0)
641 641 pos += length;
642 642
643 643 if (pos < 0 || pos >= length) {
644 644 PyErr_SetString(PyExc_IndexError, "revlog index out of range");
645 645 return NULL;
646 646 }
647 647
648 648 if (pos == length - 1) {
649 649 Py_INCREF(nullentry);
650 650 return nullentry;
651 651 }
652 652
653 653 if (pos >= self->length - 1) {
654 654 PyObject *obj;
655 655 obj = PyList_GET_ITEM(self->added, pos - self->length + 1);
656 656 Py_INCREF(obj);
657 657 return obj;
658 658 }
659 659
660 660 if (self->cache) {
661 661 if (self->cache[pos]) {
662 662 Py_INCREF(self->cache[pos]);
663 663 return self->cache[pos];
664 664 }
665 665 } else {
666 666 self->cache = calloc(self->raw_length, sizeof(PyObject *));
667 667 if (self->cache == NULL)
668 668 return PyErr_NoMemory();
669 669 }
670 670
671 671 data = index_deref(self, pos);
672 672 if (data == NULL)
673 673 return NULL;
674 674
675 675 offset_flags = getbe32(data + 4);
676 676 if (pos == 0) /* mask out version number for the first entry */
677 677 offset_flags &= 0xFFFF;
678 678 else {
679 679 uint32_t offset_high = getbe32(data);
680 680 offset_flags |= ((uint64_t)offset_high) << 32;
681 681 }
682 682
683 683 comp_len = getbe32(data + 8);
684 684 uncomp_len = getbe32(data + 12);
685 685 base_rev = getbe32(data + 16);
686 686 link_rev = getbe32(data + 20);
687 687 parent_1 = getbe32(data + 24);
688 688 parent_2 = getbe32(data + 28);
689 689 c_node_id = data + 32;
690 690
691 691 entry = Py_BuildValue(tuple_format, offset_flags, comp_len,
692 692 uncomp_len, base_rev, link_rev,
693 693 parent_1, parent_2, c_node_id, 20);
694 694
695 695 if (entry) {
696 696 PyObject_GC_UnTrack(entry);
697 697 Py_INCREF(entry);
698 698 }
699 699
700 700 self->cache[pos] = entry;
701 701
702 702 return entry;
703 703 }
704 704
705 705 /*
706 706 * Return the 20-byte SHA of the node corresponding to the given rev.
707 707 */
708 708 static const char *index_node(indexObject *self, Py_ssize_t pos)
709 709 {
710 710 Py_ssize_t length = index_length(self);
711 711 const char *data;
712 712
713 713 if (pos == length - 1 || pos == INT_MAX)
714 714 return nullid;
715 715
716 716 if (pos >= length)
717 717 return NULL;
718 718
719 719 if (pos >= self->length - 1) {
720 720 PyObject *tuple, *str;
721 721 tuple = PyList_GET_ITEM(self->added, pos - self->length + 1);
722 722 str = PyTuple_GetItem(tuple, 7);
723 723 return str ? PyString_AS_STRING(str) : NULL;
724 724 }
725 725
726 726 data = index_deref(self, pos);
727 727 return data ? data + 32 : NULL;
728 728 }
729 729
730 730 static int nt_insert(indexObject *self, const char *node, int rev);
731 731
732 732 static int node_check(PyObject *obj, char **node, Py_ssize_t *nodelen)
733 733 {
734 734 if (PyString_AsStringAndSize(obj, node, nodelen) == -1)
735 735 return -1;
736 736 if (*nodelen == 20)
737 737 return 0;
738 738 PyErr_SetString(PyExc_ValueError, "20-byte hash required");
739 739 return -1;
740 740 }
741 741
742 742 static PyObject *index_insert(indexObject *self, PyObject *args)
743 743 {
744 744 PyObject *obj;
745 745 char *node;
746 746 int index;
747 747 Py_ssize_t len, nodelen;
748 748
749 749 if (!PyArg_ParseTuple(args, "iO", &index, &obj))
750 750 return NULL;
751 751
752 752 if (!PyTuple_Check(obj) || PyTuple_GET_SIZE(obj) != 8) {
753 753 PyErr_SetString(PyExc_TypeError, "8-tuple required");
754 754 return NULL;
755 755 }
756 756
757 757 if (node_check(PyTuple_GET_ITEM(obj, 7), &node, &nodelen) == -1)
758 758 return NULL;
759 759
760 760 len = index_length(self);
761 761
762 762 if (index < 0)
763 763 index += len;
764 764
765 765 if (index != len - 1) {
766 766 PyErr_SetString(PyExc_IndexError,
767 767 "insert only supported at index -1");
768 768 return NULL;
769 769 }
770 770
771 771 if (self->added == NULL) {
772 772 self->added = PyList_New(0);
773 773 if (self->added == NULL)
774 774 return NULL;
775 775 }
776 776
777 777 if (PyList_Append(self->added, obj) == -1)
778 778 return NULL;
779 779
780 780 if (self->nt)
781 781 nt_insert(self, node, index);
782 782
783 783 Py_CLEAR(self->headrevs);
784 784 Py_RETURN_NONE;
785 785 }
786 786
787 787 static void _index_clearcaches(indexObject *self)
788 788 {
789 789 if (self->cache) {
790 790 Py_ssize_t i;
791 791
792 792 for (i = 0; i < self->raw_length; i++)
793 793 Py_CLEAR(self->cache[i]);
794 794 free(self->cache);
795 795 self->cache = NULL;
796 796 }
797 797 if (self->offsets) {
798 798 free(self->offsets);
799 799 self->offsets = NULL;
800 800 }
801 801 if (self->nt) {
802 802 free(self->nt);
803 803 self->nt = NULL;
804 804 }
805 805 Py_CLEAR(self->headrevs);
806 806 }
807 807
808 808 static PyObject *index_clearcaches(indexObject *self)
809 809 {
810 810 _index_clearcaches(self);
811 811 self->ntlength = self->ntcapacity = 0;
812 812 self->ntdepth = self->ntsplits = 0;
813 813 self->ntrev = -1;
814 814 self->ntlookups = self->ntmisses = 0;
815 815 Py_RETURN_NONE;
816 816 }
817 817
818 818 static PyObject *index_stats(indexObject *self)
819 819 {
820 820 PyObject *obj = PyDict_New();
821 PyObject *t = NULL;
821 822
822 823 if (obj == NULL)
823 824 return NULL;
824 825
825 826 #define istat(__n, __d) \
826 if (PyDict_SetItemString(obj, __d, PyInt_FromSsize_t(self->__n)) == -1) \
827 goto bail;
827 t = PyInt_FromSsize_t(self->__n); \
828 if (!t) \
829 goto bail; \
830 if (PyDict_SetItemString(obj, __d, t) == -1) \
831 goto bail; \
832 Py_DECREF(t);
828 833
829 834 if (self->added) {
830 835 Py_ssize_t len = PyList_GET_SIZE(self->added);
831 if (PyDict_SetItemString(obj, "index entries added",
832 PyInt_FromSsize_t(len)) == -1)
836 t = PyInt_FromSsize_t(len);
837 if (!t)
833 838 goto bail;
839 if (PyDict_SetItemString(obj, "index entries added", t) == -1)
840 goto bail;
841 Py_DECREF(t);
834 842 }
835 843
836 844 if (self->raw_length != self->length - 1)
837 845 istat(raw_length, "revs on disk");
838 846 istat(length, "revs in memory");
839 847 istat(ntcapacity, "node trie capacity");
840 848 istat(ntdepth, "node trie depth");
841 849 istat(ntlength, "node trie count");
842 850 istat(ntlookups, "node trie lookups");
843 851 istat(ntmisses, "node trie misses");
844 852 istat(ntrev, "node trie last rev scanned");
845 853 istat(ntsplits, "node trie splits");
846 854
847 855 #undef istat
848 856
849 857 return obj;
850 858
851 859 bail:
852 860 Py_XDECREF(obj);
861 Py_XDECREF(t);
853 862 return NULL;
854 863 }
855 864
856 865 /*
857 866 * When we cache a list, we want to be sure the caller can't mutate
858 867 * the cached copy.
859 868 */
860 869 static PyObject *list_copy(PyObject *list)
861 870 {
862 871 Py_ssize_t len = PyList_GET_SIZE(list);
863 872 PyObject *newlist = PyList_New(len);
864 873 Py_ssize_t i;
865 874
866 875 if (newlist == NULL)
867 876 return NULL;
868 877
869 878 for (i = 0; i < len; i++) {
870 879 PyObject *obj = PyList_GET_ITEM(list, i);
871 880 Py_INCREF(obj);
872 881 PyList_SET_ITEM(newlist, i, obj);
873 882 }
874 883
875 884 return newlist;
876 885 }
877 886
878 887 /* arg should be Py_ssize_t but Python 2.4 do not support the n format */
879 888 static int check_filter(PyObject *filter, unsigned long arg) {
880 889 if (filter) {
881 890 PyObject *arglist, *result;
882 891 int isfiltered;
883 892
884 893 arglist = Py_BuildValue("(k)", arg);
885 894 if (!arglist) {
886 895 return -1;
887 896 }
888 897
889 898 result = PyEval_CallObject(filter, arglist);
890 899 Py_DECREF(arglist);
891 900 if (!result) {
892 901 return -1;
893 902 }
894 903
895 904 /* PyObject_IsTrue returns 1 if true, 0 if false, -1 if error,
896 905 * same as this function, so we can just return it directly.*/
897 906 isfiltered = PyObject_IsTrue(result);
898 907 Py_DECREF(result);
899 908 return isfiltered;
900 909 } else {
901 910 return 0;
902 911 }
903 912 }
904 913
905 914 static PyObject *index_headrevs(indexObject *self, PyObject *args)
906 915 {
907 916 Py_ssize_t i, len, addlen;
908 917 char *nothead = NULL;
909 918 PyObject *heads = NULL;
910 919 PyObject *filter = NULL;
911 920 PyObject *filteredrevs = Py_None;
912 921
913 922 if (!PyArg_ParseTuple(args, "|O", &filteredrevs)) {
914 923 return NULL;
915 924 }
916 925
917 926 if (self->headrevs && filteredrevs == self->filteredrevs)
918 927 return list_copy(self->headrevs);
919 928
920 929 Py_DECREF(self->filteredrevs);
921 930 self->filteredrevs = filteredrevs;
922 931 Py_INCREF(filteredrevs);
923 932
924 933 if (filteredrevs != Py_None) {
925 934 filter = PyObject_GetAttrString(filteredrevs, "__contains__");
926 935 if (!filter) {
927 936 PyErr_SetString(PyExc_TypeError,
928 937 "filteredrevs has no attribute __contains__");
929 938 goto bail;
930 939 }
931 940 }
932 941
933 942 len = index_length(self) - 1;
934 943 heads = PyList_New(0);
935 944 if (heads == NULL)
936 945 goto bail;
937 946 if (len == 0) {
938 947 PyObject *nullid = PyInt_FromLong(-1);
939 948 if (nullid == NULL || PyList_Append(heads, nullid) == -1) {
940 949 Py_XDECREF(nullid);
941 950 goto bail;
942 951 }
943 952 goto done;
944 953 }
945 954
946 955 nothead = calloc(len, 1);
947 956 if (nothead == NULL)
948 957 goto bail;
949 958
950 959 for (i = 0; i < self->raw_length; i++) {
951 960 const char *data;
952 961 int parent_1, parent_2, isfiltered;
953 962
954 963 isfiltered = check_filter(filter, i);
955 964 if (isfiltered == -1) {
956 965 PyErr_SetString(PyExc_TypeError,
957 966 "unable to check filter");
958 967 goto bail;
959 968 }
960 969
961 970 if (isfiltered) {
962 971 nothead[i] = 1;
963 972 continue;
964 973 }
965 974
966 975 data = index_deref(self, i);
967 976 parent_1 = getbe32(data + 24);
968 977 parent_2 = getbe32(data + 28);
969 978
970 979 if (parent_1 >= 0)
971 980 nothead[parent_1] = 1;
972 981 if (parent_2 >= 0)
973 982 nothead[parent_2] = 1;
974 983 }
975 984
976 985 addlen = self->added ? PyList_GET_SIZE(self->added) : 0;
977 986
978 987 for (i = 0; i < addlen; i++) {
979 988 PyObject *rev = PyList_GET_ITEM(self->added, i);
980 989 PyObject *p1 = PyTuple_GET_ITEM(rev, 5);
981 990 PyObject *p2 = PyTuple_GET_ITEM(rev, 6);
982 991 long parent_1, parent_2;
983 992 int isfiltered;
984 993
985 994 if (!PyInt_Check(p1) || !PyInt_Check(p2)) {
986 995 PyErr_SetString(PyExc_TypeError,
987 996 "revlog parents are invalid");
988 997 goto bail;
989 998 }
990 999
991 1000 isfiltered = check_filter(filter, i);
992 1001 if (isfiltered == -1) {
993 1002 PyErr_SetString(PyExc_TypeError,
994 1003 "unable to check filter");
995 1004 goto bail;
996 1005 }
997 1006
998 1007 if (isfiltered) {
999 1008 nothead[i] = 1;
1000 1009 continue;
1001 1010 }
1002 1011
1003 1012 parent_1 = PyInt_AS_LONG(p1);
1004 1013 parent_2 = PyInt_AS_LONG(p2);
1005 1014 if (parent_1 >= 0)
1006 1015 nothead[parent_1] = 1;
1007 1016 if (parent_2 >= 0)
1008 1017 nothead[parent_2] = 1;
1009 1018 }
1010 1019
1011 1020 for (i = 0; i < len; i++) {
1012 1021 PyObject *head;
1013 1022
1014 1023 if (nothead[i])
1015 1024 continue;
1016 1025 head = PyInt_FromSsize_t(i);
1017 1026 if (head == NULL || PyList_Append(heads, head) == -1) {
1018 1027 Py_XDECREF(head);
1019 1028 goto bail;
1020 1029 }
1021 1030 }
1022 1031
1023 1032 done:
1024 1033 self->headrevs = heads;
1025 1034 Py_XDECREF(filter);
1026 1035 free(nothead);
1027 1036 return list_copy(self->headrevs);
1028 1037 bail:
1029 1038 Py_XDECREF(filter);
1030 1039 Py_XDECREF(heads);
1031 1040 free(nothead);
1032 1041 return NULL;
1033 1042 }
1034 1043
1035 1044 static inline int nt_level(const char *node, Py_ssize_t level)
1036 1045 {
1037 1046 int v = node[level>>1];
1038 1047 if (!(level & 1))
1039 1048 v >>= 4;
1040 1049 return v & 0xf;
1041 1050 }
1042 1051
1043 1052 /*
1044 1053 * Return values:
1045 1054 *
1046 1055 * -4: match is ambiguous (multiple candidates)
1047 1056 * -2: not found
1048 1057 * rest: valid rev
1049 1058 */
1050 1059 static int nt_find(indexObject *self, const char *node, Py_ssize_t nodelen,
1051 1060 int hex)
1052 1061 {
1053 1062 int (*getnybble)(const char *, Py_ssize_t) = hex ? hexdigit : nt_level;
1054 1063 int level, maxlevel, off;
1055 1064
1056 1065 if (nodelen == 20 && node[0] == '\0' && memcmp(node, nullid, 20) == 0)
1057 1066 return -1;
1058 1067
1059 1068 if (self->nt == NULL)
1060 1069 return -2;
1061 1070
1062 1071 if (hex)
1063 1072 maxlevel = nodelen > 40 ? 40 : (int)nodelen;
1064 1073 else
1065 1074 maxlevel = nodelen > 20 ? 40 : ((int)nodelen * 2);
1066 1075
1067 1076 for (level = off = 0; level < maxlevel; level++) {
1068 1077 int k = getnybble(node, level);
1069 1078 nodetree *n = &self->nt[off];
1070 1079 int v = n->children[k];
1071 1080
1072 1081 if (v < 0) {
1073 1082 const char *n;
1074 1083 Py_ssize_t i;
1075 1084
1076 1085 v = -v - 1;
1077 1086 n = index_node(self, v);
1078 1087 if (n == NULL)
1079 1088 return -2;
1080 1089 for (i = level; i < maxlevel; i++)
1081 1090 if (getnybble(node, i) != nt_level(n, i))
1082 1091 return -2;
1083 1092 return v;
1084 1093 }
1085 1094 if (v == 0)
1086 1095 return -2;
1087 1096 off = v;
1088 1097 }
1089 1098 /* multiple matches against an ambiguous prefix */
1090 1099 return -4;
1091 1100 }
1092 1101
1093 1102 static int nt_new(indexObject *self)
1094 1103 {
1095 1104 if (self->ntlength == self->ntcapacity) {
1096 1105 self->ntcapacity *= 2;
1097 1106 self->nt = realloc(self->nt,
1098 1107 self->ntcapacity * sizeof(nodetree));
1099 1108 if (self->nt == NULL) {
1100 1109 PyErr_SetString(PyExc_MemoryError, "out of memory");
1101 1110 return -1;
1102 1111 }
1103 1112 memset(&self->nt[self->ntlength], 0,
1104 1113 sizeof(nodetree) * (self->ntcapacity - self->ntlength));
1105 1114 }
1106 1115 return self->ntlength++;
1107 1116 }
1108 1117
1109 1118 static int nt_insert(indexObject *self, const char *node, int rev)
1110 1119 {
1111 1120 int level = 0;
1112 1121 int off = 0;
1113 1122
1114 1123 while (level < 40) {
1115 1124 int k = nt_level(node, level);
1116 1125 nodetree *n;
1117 1126 int v;
1118 1127
1119 1128 n = &self->nt[off];
1120 1129 v = n->children[k];
1121 1130
1122 1131 if (v == 0) {
1123 1132 n->children[k] = -rev - 1;
1124 1133 return 0;
1125 1134 }
1126 1135 if (v < 0) {
1127 1136 const char *oldnode = index_node(self, -v - 1);
1128 1137 int noff;
1129 1138
1130 1139 if (!oldnode || !memcmp(oldnode, node, 20)) {
1131 1140 n->children[k] = -rev - 1;
1132 1141 return 0;
1133 1142 }
1134 1143 noff = nt_new(self);
1135 1144 if (noff == -1)
1136 1145 return -1;
1137 1146 /* self->nt may have been changed by realloc */
1138 1147 self->nt[off].children[k] = noff;
1139 1148 off = noff;
1140 1149 n = &self->nt[off];
1141 1150 n->children[nt_level(oldnode, ++level)] = v;
1142 1151 if (level > self->ntdepth)
1143 1152 self->ntdepth = level;
1144 1153 self->ntsplits += 1;
1145 1154 } else {
1146 1155 level += 1;
1147 1156 off = v;
1148 1157 }
1149 1158 }
1150 1159
1151 1160 return -1;
1152 1161 }
1153 1162
1154 1163 static int nt_init(indexObject *self)
1155 1164 {
1156 1165 if (self->nt == NULL) {
1157 1166 if (self->raw_length > INT_MAX) {
1158 1167 PyErr_SetString(PyExc_ValueError, "overflow in nt_init");
1159 1168 return -1;
1160 1169 }
1161 1170 self->ntcapacity = self->raw_length < 4
1162 1171 ? 4 : (int)self->raw_length / 2;
1163 1172
1164 1173 self->nt = calloc(self->ntcapacity, sizeof(nodetree));
1165 1174 if (self->nt == NULL) {
1166 1175 PyErr_NoMemory();
1167 1176 return -1;
1168 1177 }
1169 1178 self->ntlength = 1;
1170 1179 self->ntrev = (int)index_length(self) - 1;
1171 1180 self->ntlookups = 1;
1172 1181 self->ntmisses = 0;
1173 1182 if (nt_insert(self, nullid, INT_MAX) == -1)
1174 1183 return -1;
1175 1184 }
1176 1185 return 0;
1177 1186 }
1178 1187
1179 1188 /*
1180 1189 * Return values:
1181 1190 *
1182 1191 * -3: error (exception set)
1183 1192 * -2: not found (no exception set)
1184 1193 * rest: valid rev
1185 1194 */
1186 1195 static int index_find_node(indexObject *self,
1187 1196 const char *node, Py_ssize_t nodelen)
1188 1197 {
1189 1198 int rev;
1190 1199
1191 1200 self->ntlookups++;
1192 1201 rev = nt_find(self, node, nodelen, 0);
1193 1202 if (rev >= -1)
1194 1203 return rev;
1195 1204
1196 1205 if (nt_init(self) == -1)
1197 1206 return -3;
1198 1207
1199 1208 /*
1200 1209 * For the first handful of lookups, we scan the entire index,
1201 1210 * and cache only the matching nodes. This optimizes for cases
1202 1211 * like "hg tip", where only a few nodes are accessed.
1203 1212 *
1204 1213 * After that, we cache every node we visit, using a single
1205 1214 * scan amortized over multiple lookups. This gives the best
1206 1215 * bulk performance, e.g. for "hg log".
1207 1216 */
1208 1217 if (self->ntmisses++ < 4) {
1209 1218 for (rev = self->ntrev - 1; rev >= 0; rev--) {
1210 1219 const char *n = index_node(self, rev);
1211 1220 if (n == NULL)
1212 1221 return -2;
1213 1222 if (memcmp(node, n, nodelen > 20 ? 20 : nodelen) == 0) {
1214 1223 if (nt_insert(self, n, rev) == -1)
1215 1224 return -3;
1216 1225 break;
1217 1226 }
1218 1227 }
1219 1228 } else {
1220 1229 for (rev = self->ntrev - 1; rev >= 0; rev--) {
1221 1230 const char *n = index_node(self, rev);
1222 1231 if (n == NULL) {
1223 1232 self->ntrev = rev + 1;
1224 1233 return -2;
1225 1234 }
1226 1235 if (nt_insert(self, n, rev) == -1) {
1227 1236 self->ntrev = rev + 1;
1228 1237 return -3;
1229 1238 }
1230 1239 if (memcmp(node, n, nodelen > 20 ? 20 : nodelen) == 0) {
1231 1240 break;
1232 1241 }
1233 1242 }
1234 1243 self->ntrev = rev;
1235 1244 }
1236 1245
1237 1246 if (rev >= 0)
1238 1247 return rev;
1239 1248 return -2;
1240 1249 }
1241 1250
1242 1251 static PyObject *raise_revlog_error(void)
1243 1252 {
1244 1253 static PyObject *errclass;
1245 1254 PyObject *mod = NULL, *errobj;
1246 1255
1247 1256 if (errclass == NULL) {
1248 1257 PyObject *dict;
1249 1258
1250 1259 mod = PyImport_ImportModule("mercurial.error");
1251 1260 if (mod == NULL)
1252 1261 goto classfail;
1253 1262
1254 1263 dict = PyModule_GetDict(mod);
1255 1264 if (dict == NULL)
1256 1265 goto classfail;
1257 1266
1258 1267 errclass = PyDict_GetItemString(dict, "RevlogError");
1259 1268 if (errclass == NULL) {
1260 1269 PyErr_SetString(PyExc_SystemError,
1261 1270 "could not find RevlogError");
1262 1271 goto classfail;
1263 1272 }
1264 1273 Py_INCREF(errclass);
1265 1274 Py_DECREF(mod);
1266 1275 }
1267 1276
1268 1277 errobj = PyObject_CallFunction(errclass, NULL);
1269 1278 if (errobj == NULL)
1270 1279 return NULL;
1271 1280 PyErr_SetObject(errclass, errobj);
1272 1281 return errobj;
1273 1282
1274 1283 classfail:
1275 1284 Py_XDECREF(mod);
1276 1285 return NULL;
1277 1286 }
1278 1287
1279 1288 static PyObject *index_getitem(indexObject *self, PyObject *value)
1280 1289 {
1281 1290 char *node;
1282 1291 Py_ssize_t nodelen;
1283 1292 int rev;
1284 1293
1285 1294 if (PyInt_Check(value))
1286 1295 return index_get(self, PyInt_AS_LONG(value));
1287 1296
1288 1297 if (node_check(value, &node, &nodelen) == -1)
1289 1298 return NULL;
1290 1299 rev = index_find_node(self, node, nodelen);
1291 1300 if (rev >= -1)
1292 1301 return PyInt_FromLong(rev);
1293 1302 if (rev == -2)
1294 1303 raise_revlog_error();
1295 1304 return NULL;
1296 1305 }
1297 1306
1298 1307 static int nt_partialmatch(indexObject *self, const char *node,
1299 1308 Py_ssize_t nodelen)
1300 1309 {
1301 1310 int rev;
1302 1311
1303 1312 if (nt_init(self) == -1)
1304 1313 return -3;
1305 1314
1306 1315 if (self->ntrev > 0) {
1307 1316 /* ensure that the radix tree is fully populated */
1308 1317 for (rev = self->ntrev - 1; rev >= 0; rev--) {
1309 1318 const char *n = index_node(self, rev);
1310 1319 if (n == NULL)
1311 1320 return -2;
1312 1321 if (nt_insert(self, n, rev) == -1)
1313 1322 return -3;
1314 1323 }
1315 1324 self->ntrev = rev;
1316 1325 }
1317 1326
1318 1327 return nt_find(self, node, nodelen, 1);
1319 1328 }
1320 1329
1321 1330 static PyObject *index_partialmatch(indexObject *self, PyObject *args)
1322 1331 {
1323 1332 const char *fullnode;
1324 1333 int nodelen;
1325 1334 char *node;
1326 1335 int rev, i;
1327 1336
1328 1337 if (!PyArg_ParseTuple(args, "s#", &node, &nodelen))
1329 1338 return NULL;
1330 1339
1331 1340 if (nodelen < 4) {
1332 1341 PyErr_SetString(PyExc_ValueError, "key too short");
1333 1342 return NULL;
1334 1343 }
1335 1344
1336 1345 if (nodelen > 40) {
1337 1346 PyErr_SetString(PyExc_ValueError, "key too long");
1338 1347 return NULL;
1339 1348 }
1340 1349
1341 1350 for (i = 0; i < nodelen; i++)
1342 1351 hexdigit(node, i);
1343 1352 if (PyErr_Occurred()) {
1344 1353 /* input contains non-hex characters */
1345 1354 PyErr_Clear();
1346 1355 Py_RETURN_NONE;
1347 1356 }
1348 1357
1349 1358 rev = nt_partialmatch(self, node, nodelen);
1350 1359
1351 1360 switch (rev) {
1352 1361 case -4:
1353 1362 raise_revlog_error();
1354 1363 case -3:
1355 1364 return NULL;
1356 1365 case -2:
1357 1366 Py_RETURN_NONE;
1358 1367 case -1:
1359 1368 return PyString_FromStringAndSize(nullid, 20);
1360 1369 }
1361 1370
1362 1371 fullnode = index_node(self, rev);
1363 1372 if (fullnode == NULL) {
1364 1373 PyErr_Format(PyExc_IndexError,
1365 1374 "could not access rev %d", rev);
1366 1375 return NULL;
1367 1376 }
1368 1377 return PyString_FromStringAndSize(fullnode, 20);
1369 1378 }
1370 1379
1371 1380 static PyObject *index_m_get(indexObject *self, PyObject *args)
1372 1381 {
1373 1382 Py_ssize_t nodelen;
1374 1383 PyObject *val;
1375 1384 char *node;
1376 1385 int rev;
1377 1386
1378 1387 if (!PyArg_ParseTuple(args, "O", &val))
1379 1388 return NULL;
1380 1389 if (node_check(val, &node, &nodelen) == -1)
1381 1390 return NULL;
1382 1391 rev = index_find_node(self, node, nodelen);
1383 1392 if (rev == -3)
1384 1393 return NULL;
1385 1394 if (rev == -2)
1386 1395 Py_RETURN_NONE;
1387 1396 return PyInt_FromLong(rev);
1388 1397 }
1389 1398
1390 1399 static int index_contains(indexObject *self, PyObject *value)
1391 1400 {
1392 1401 char *node;
1393 1402 Py_ssize_t nodelen;
1394 1403
1395 1404 if (PyInt_Check(value)) {
1396 1405 long rev = PyInt_AS_LONG(value);
1397 1406 return rev >= -1 && rev < index_length(self);
1398 1407 }
1399 1408
1400 1409 if (node_check(value, &node, &nodelen) == -1)
1401 1410 return -1;
1402 1411
1403 1412 switch (index_find_node(self, node, nodelen)) {
1404 1413 case -3:
1405 1414 return -1;
1406 1415 case -2:
1407 1416 return 0;
1408 1417 default:
1409 1418 return 1;
1410 1419 }
1411 1420 }
1412 1421
1413 1422 static inline void index_get_parents(indexObject *self, int rev, int *ps)
1414 1423 {
1415 1424 if (rev >= self->length - 1) {
1416 1425 PyObject *tuple = PyList_GET_ITEM(self->added,
1417 1426 rev - self->length + 1);
1418 1427 ps[0] = (int)PyInt_AS_LONG(PyTuple_GET_ITEM(tuple, 5));
1419 1428 ps[1] = (int)PyInt_AS_LONG(PyTuple_GET_ITEM(tuple, 6));
1420 1429 } else {
1421 1430 const char *data = index_deref(self, rev);
1422 1431 ps[0] = getbe32(data + 24);
1423 1432 ps[1] = getbe32(data + 28);
1424 1433 }
1425 1434 }
1426 1435
1427 1436 typedef uint64_t bitmask;
1428 1437
1429 1438 /*
1430 1439 * Given a disjoint set of revs, return all candidates for the
1431 1440 * greatest common ancestor. In revset notation, this is the set
1432 1441 * "heads(::a and ::b and ...)"
1433 1442 */
1434 1443 static PyObject *find_gca_candidates(indexObject *self, const int *revs,
1435 1444 int revcount)
1436 1445 {
1437 1446 const bitmask allseen = (1ull << revcount) - 1;
1438 1447 const bitmask poison = 1ull << revcount;
1439 1448 PyObject *gca = PyList_New(0);
1440 1449 int i, v, interesting;
1441 1450 int maxrev = -1;
1442 1451 bitmask sp;
1443 1452 bitmask *seen;
1444 1453
1445 1454 if (gca == NULL)
1446 1455 return PyErr_NoMemory();
1447 1456
1448 1457 for (i = 0; i < revcount; i++) {
1449 1458 if (revs[i] > maxrev)
1450 1459 maxrev = revs[i];
1451 1460 }
1452 1461
1453 1462 seen = calloc(sizeof(*seen), maxrev + 1);
1454 1463 if (seen == NULL) {
1455 1464 Py_DECREF(gca);
1456 1465 return PyErr_NoMemory();
1457 1466 }
1458 1467
1459 1468 for (i = 0; i < revcount; i++)
1460 1469 seen[revs[i]] = 1ull << i;
1461 1470
1462 1471 interesting = revcount;
1463 1472
1464 1473 for (v = maxrev; v >= 0 && interesting; v--) {
1465 1474 bitmask sv = seen[v];
1466 1475 int parents[2];
1467 1476
1468 1477 if (!sv)
1469 1478 continue;
1470 1479
1471 1480 if (sv < poison) {
1472 1481 interesting -= 1;
1473 1482 if (sv == allseen) {
1474 1483 PyObject *obj = PyInt_FromLong(v);
1475 1484 if (obj == NULL)
1476 1485 goto bail;
1477 1486 if (PyList_Append(gca, obj) == -1) {
1478 1487 Py_DECREF(obj);
1479 1488 goto bail;
1480 1489 }
1481 1490 sv |= poison;
1482 1491 for (i = 0; i < revcount; i++) {
1483 1492 if (revs[i] == v)
1484 1493 goto done;
1485 1494 }
1486 1495 }
1487 1496 }
1488 1497 index_get_parents(self, v, parents);
1489 1498
1490 1499 for (i = 0; i < 2; i++) {
1491 1500 int p = parents[i];
1492 1501 if (p == -1)
1493 1502 continue;
1494 1503 sp = seen[p];
1495 1504 if (sv < poison) {
1496 1505 if (sp == 0) {
1497 1506 seen[p] = sv;
1498 1507 interesting++;
1499 1508 }
1500 1509 else if (sp != sv)
1501 1510 seen[p] |= sv;
1502 1511 } else {
1503 1512 if (sp && sp < poison)
1504 1513 interesting--;
1505 1514 seen[p] = sv;
1506 1515 }
1507 1516 }
1508 1517 }
1509 1518
1510 1519 done:
1511 1520 free(seen);
1512 1521 return gca;
1513 1522 bail:
1514 1523 free(seen);
1515 1524 Py_XDECREF(gca);
1516 1525 return NULL;
1517 1526 }
1518 1527
1519 1528 /*
1520 1529 * Given a disjoint set of revs, return the subset with the longest
1521 1530 * path to the root.
1522 1531 */
1523 1532 static PyObject *find_deepest(indexObject *self, PyObject *revs)
1524 1533 {
1525 1534 const Py_ssize_t revcount = PyList_GET_SIZE(revs);
1526 1535 static const Py_ssize_t capacity = 24;
1527 1536 int *depth, *interesting = NULL;
1528 1537 int i, j, v, ninteresting;
1529 1538 PyObject *dict = NULL, *keys = NULL;
1530 1539 long *seen = NULL;
1531 1540 int maxrev = -1;
1532 1541 long final;
1533 1542
1534 1543 if (revcount > capacity) {
1535 1544 PyErr_Format(PyExc_OverflowError,
1536 1545 "bitset size (%ld) > capacity (%ld)",
1537 1546 (long)revcount, (long)capacity);
1538 1547 return NULL;
1539 1548 }
1540 1549
1541 1550 for (i = 0; i < revcount; i++) {
1542 1551 int n = (int)PyInt_AsLong(PyList_GET_ITEM(revs, i));
1543 1552 if (n > maxrev)
1544 1553 maxrev = n;
1545 1554 }
1546 1555
1547 1556 depth = calloc(sizeof(*depth), maxrev + 1);
1548 1557 if (depth == NULL)
1549 1558 return PyErr_NoMemory();
1550 1559
1551 1560 seen = calloc(sizeof(*seen), maxrev + 1);
1552 1561 if (seen == NULL) {
1553 1562 PyErr_NoMemory();
1554 1563 goto bail;
1555 1564 }
1556 1565
1557 1566 interesting = calloc(sizeof(*interesting), 2 << revcount);
1558 1567 if (interesting == NULL) {
1559 1568 PyErr_NoMemory();
1560 1569 goto bail;
1561 1570 }
1562 1571
1563 1572 if (PyList_Sort(revs) == -1)
1564 1573 goto bail;
1565 1574
1566 1575 for (i = 0; i < revcount; i++) {
1567 1576 int n = (int)PyInt_AsLong(PyList_GET_ITEM(revs, i));
1568 1577 long b = 1l << i;
1569 1578 depth[n] = 1;
1570 1579 seen[n] = b;
1571 1580 interesting[b] = 1;
1572 1581 }
1573 1582
1574 1583 ninteresting = (int)revcount;
1575 1584
1576 1585 for (v = maxrev; v >= 0 && ninteresting > 1; v--) {
1577 1586 int dv = depth[v];
1578 1587 int parents[2];
1579 1588 long sv;
1580 1589
1581 1590 if (dv == 0)
1582 1591 continue;
1583 1592
1584 1593 sv = seen[v];
1585 1594 index_get_parents(self, v, parents);
1586 1595
1587 1596 for (i = 0; i < 2; i++) {
1588 1597 int p = parents[i];
1589 1598 long nsp, sp;
1590 1599 int dp;
1591 1600
1592 1601 if (p == -1)
1593 1602 continue;
1594 1603
1595 1604 dp = depth[p];
1596 1605 nsp = sp = seen[p];
1597 1606 if (dp <= dv) {
1598 1607 depth[p] = dv + 1;
1599 1608 if (sp != sv) {
1600 1609 interesting[sv] += 1;
1601 1610 nsp = seen[p] = sv;
1602 1611 if (sp) {
1603 1612 interesting[sp] -= 1;
1604 1613 if (interesting[sp] == 0)
1605 1614 ninteresting -= 1;
1606 1615 }
1607 1616 }
1608 1617 }
1609 1618 else if (dv == dp - 1) {
1610 1619 nsp = sp | sv;
1611 1620 if (nsp == sp)
1612 1621 continue;
1613 1622 seen[p] = nsp;
1614 1623 interesting[sp] -= 1;
1615 1624 if (interesting[sp] == 0 && interesting[nsp] > 0)
1616 1625 ninteresting -= 1;
1617 1626 interesting[nsp] += 1;
1618 1627 }
1619 1628 }
1620 1629 interesting[sv] -= 1;
1621 1630 if (interesting[sv] == 0)
1622 1631 ninteresting -= 1;
1623 1632 }
1624 1633
1625 1634 final = 0;
1626 1635 j = ninteresting;
1627 1636 for (i = 0; i < (int)(2 << revcount) && j > 0; i++) {
1628 1637 if (interesting[i] == 0)
1629 1638 continue;
1630 1639 final |= i;
1631 1640 j -= 1;
1632 1641 }
1633 1642 if (final == 0) {
1634 1643 keys = PyList_New(0);
1635 1644 goto bail;
1636 1645 }
1637 1646
1638 1647 dict = PyDict_New();
1639 1648 if (dict == NULL)
1640 1649 goto bail;
1641 1650
1642 1651 for (i = 0; i < revcount; i++) {
1643 1652 PyObject *key;
1644 1653
1645 1654 if ((final & (1 << i)) == 0)
1646 1655 continue;
1647 1656
1648 1657 key = PyList_GET_ITEM(revs, i);
1649 1658 Py_INCREF(key);
1650 1659 Py_INCREF(Py_None);
1651 1660 if (PyDict_SetItem(dict, key, Py_None) == -1) {
1652 1661 Py_DECREF(key);
1653 1662 Py_DECREF(Py_None);
1654 1663 goto bail;
1655 1664 }
1656 1665 }
1657 1666
1658 1667 keys = PyDict_Keys(dict);
1659 1668
1660 1669 bail:
1661 1670 free(depth);
1662 1671 free(seen);
1663 1672 free(interesting);
1664 1673 Py_XDECREF(dict);
1665 1674
1666 1675 return keys;
1667 1676 }
1668 1677
1669 1678 /*
1670 1679 * Given a (possibly overlapping) set of revs, return the greatest
1671 1680 * common ancestors: those with the longest path to the root.
1672 1681 */
1673 1682 static PyObject *index_ancestors(indexObject *self, PyObject *args)
1674 1683 {
1675 1684 PyObject *ret = NULL, *gca = NULL;
1676 1685 Py_ssize_t argcount, i, len;
1677 1686 bitmask repeat = 0;
1678 1687 int revcount = 0;
1679 1688 int *revs;
1680 1689
1681 1690 argcount = PySequence_Length(args);
1682 1691 revs = malloc(argcount * sizeof(*revs));
1683 1692 if (argcount > 0 && revs == NULL)
1684 1693 return PyErr_NoMemory();
1685 1694 len = index_length(self) - 1;
1686 1695
1687 1696 for (i = 0; i < argcount; i++) {
1688 1697 static const int capacity = 24;
1689 1698 PyObject *obj = PySequence_GetItem(args, i);
1690 1699 bitmask x;
1691 1700 long val;
1692 1701
1693 1702 if (!PyInt_Check(obj)) {
1694 1703 PyErr_SetString(PyExc_TypeError,
1695 1704 "arguments must all be ints");
1696 1705 Py_DECREF(obj);
1697 1706 goto bail;
1698 1707 }
1699 1708 val = PyInt_AsLong(obj);
1700 1709 Py_DECREF(obj);
1701 1710 if (val == -1) {
1702 1711 ret = PyList_New(0);
1703 1712 goto done;
1704 1713 }
1705 1714 if (val < 0 || val >= len) {
1706 1715 PyErr_SetString(PyExc_IndexError,
1707 1716 "index out of range");
1708 1717 goto bail;
1709 1718 }
1710 1719 /* this cheesy bloom filter lets us avoid some more
1711 1720 * expensive duplicate checks in the common set-is-disjoint
1712 1721 * case */
1713 1722 x = 1ull << (val & 0x3f);
1714 1723 if (repeat & x) {
1715 1724 int k;
1716 1725 for (k = 0; k < revcount; k++) {
1717 1726 if (val == revs[k])
1718 1727 goto duplicate;
1719 1728 }
1720 1729 }
1721 1730 else repeat |= x;
1722 1731 if (revcount >= capacity) {
1723 1732 PyErr_Format(PyExc_OverflowError,
1724 1733 "bitset size (%d) > capacity (%d)",
1725 1734 revcount, capacity);
1726 1735 goto bail;
1727 1736 }
1728 1737 revs[revcount++] = (int)val;
1729 1738 duplicate:;
1730 1739 }
1731 1740
1732 1741 if (revcount == 0) {
1733 1742 ret = PyList_New(0);
1734 1743 goto done;
1735 1744 }
1736 1745 if (revcount == 1) {
1737 1746 PyObject *obj;
1738 1747 ret = PyList_New(1);
1739 1748 if (ret == NULL)
1740 1749 goto bail;
1741 1750 obj = PyInt_FromLong(revs[0]);
1742 1751 if (obj == NULL)
1743 1752 goto bail;
1744 1753 PyList_SET_ITEM(ret, 0, obj);
1745 1754 goto done;
1746 1755 }
1747 1756
1748 1757 gca = find_gca_candidates(self, revs, revcount);
1749 1758 if (gca == NULL)
1750 1759 goto bail;
1751 1760
1752 1761 if (PyList_GET_SIZE(gca) <= 1) {
1753 1762 ret = gca;
1754 1763 Py_INCREF(gca);
1755 1764 }
1756 1765 else ret = find_deepest(self, gca);
1757 1766
1758 1767 done:
1759 1768 free(revs);
1760 1769 Py_XDECREF(gca);
1761 1770
1762 1771 return ret;
1763 1772
1764 1773 bail:
1765 1774 free(revs);
1766 1775 Py_XDECREF(gca);
1767 1776 Py_XDECREF(ret);
1768 1777 return NULL;
1769 1778 }
1770 1779
1771 1780 /*
1772 1781 * Given a (possibly overlapping) set of revs, return all the
1773 1782 * common ancestors heads: heads(::args[0] and ::a[1] and ...)
1774 1783 */
1775 1784 static PyObject *index_commonancestorsheads(indexObject *self, PyObject *args)
1776 1785 {
1777 1786 PyObject *ret = NULL;
1778 1787 Py_ssize_t argcount, i, len;
1779 1788 bitmask repeat = 0;
1780 1789 int revcount = 0;
1781 1790 int *revs;
1782 1791
1783 1792 argcount = PySequence_Length(args);
1784 1793 revs = malloc(argcount * sizeof(*revs));
1785 1794 if (argcount > 0 && revs == NULL)
1786 1795 return PyErr_NoMemory();
1787 1796 len = index_length(self) - 1;
1788 1797
1789 1798 for (i = 0; i < argcount; i++) {
1790 1799 static const int capacity = 24;
1791 1800 PyObject *obj = PySequence_GetItem(args, i);
1792 1801 bitmask x;
1793 1802 long val;
1794 1803
1795 1804 if (!PyInt_Check(obj)) {
1796 1805 PyErr_SetString(PyExc_TypeError,
1797 1806 "arguments must all be ints");
1798 1807 Py_DECREF(obj);
1799 1808 goto bail;
1800 1809 }
1801 1810 val = PyInt_AsLong(obj);
1802 1811 Py_DECREF(obj);
1803 1812 if (val == -1) {
1804 1813 ret = PyList_New(0);
1805 1814 goto done;
1806 1815 }
1807 1816 if (val < 0 || val >= len) {
1808 1817 PyErr_SetString(PyExc_IndexError,
1809 1818 "index out of range");
1810 1819 goto bail;
1811 1820 }
1812 1821 /* this cheesy bloom filter lets us avoid some more
1813 1822 * expensive duplicate checks in the common set-is-disjoint
1814 1823 * case */
1815 1824 x = 1ull << (val & 0x3f);
1816 1825 if (repeat & x) {
1817 1826 int k;
1818 1827 for (k = 0; k < revcount; k++) {
1819 1828 if (val == revs[k])
1820 1829 goto duplicate;
1821 1830 }
1822 1831 }
1823 1832 else repeat |= x;
1824 1833 if (revcount >= capacity) {
1825 1834 PyErr_Format(PyExc_OverflowError,
1826 1835 "bitset size (%d) > capacity (%d)",
1827 1836 revcount, capacity);
1828 1837 goto bail;
1829 1838 }
1830 1839 revs[revcount++] = (int)val;
1831 1840 duplicate:;
1832 1841 }
1833 1842
1834 1843 if (revcount == 0) {
1835 1844 ret = PyList_New(0);
1836 1845 goto done;
1837 1846 }
1838 1847 if (revcount == 1) {
1839 1848 PyObject *obj;
1840 1849 ret = PyList_New(1);
1841 1850 if (ret == NULL)
1842 1851 goto bail;
1843 1852 obj = PyInt_FromLong(revs[0]);
1844 1853 if (obj == NULL)
1845 1854 goto bail;
1846 1855 PyList_SET_ITEM(ret, 0, obj);
1847 1856 goto done;
1848 1857 }
1849 1858
1850 1859 ret = find_gca_candidates(self, revs, revcount);
1851 1860 if (ret == NULL)
1852 1861 goto bail;
1853 1862
1854 1863 done:
1855 1864 free(revs);
1856 1865 return ret;
1857 1866
1858 1867 bail:
1859 1868 free(revs);
1860 1869 Py_XDECREF(ret);
1861 1870 return NULL;
1862 1871 }
1863 1872
1864 1873 /*
1865 1874 * Invalidate any trie entries introduced by added revs.
1866 1875 */
1867 1876 static void nt_invalidate_added(indexObject *self, Py_ssize_t start)
1868 1877 {
1869 1878 Py_ssize_t i, len = PyList_GET_SIZE(self->added);
1870 1879
1871 1880 for (i = start; i < len; i++) {
1872 1881 PyObject *tuple = PyList_GET_ITEM(self->added, i);
1873 1882 PyObject *node = PyTuple_GET_ITEM(tuple, 7);
1874 1883
1875 1884 nt_insert(self, PyString_AS_STRING(node), -1);
1876 1885 }
1877 1886
1878 1887 if (start == 0)
1879 1888 Py_CLEAR(self->added);
1880 1889 }
1881 1890
1882 1891 /*
1883 1892 * Delete a numeric range of revs, which must be at the end of the
1884 1893 * range, but exclude the sentinel nullid entry.
1885 1894 */
1886 1895 static int index_slice_del(indexObject *self, PyObject *item)
1887 1896 {
1888 1897 Py_ssize_t start, stop, step, slicelength;
1889 1898 Py_ssize_t length = index_length(self);
1890 1899 int ret = 0;
1891 1900
1892 1901 if (PySlice_GetIndicesEx((PySliceObject*)item, length,
1893 1902 &start, &stop, &step, &slicelength) < 0)
1894 1903 return -1;
1895 1904
1896 1905 if (slicelength <= 0)
1897 1906 return 0;
1898 1907
1899 1908 if ((step < 0 && start < stop) || (step > 0 && start > stop))
1900 1909 stop = start;
1901 1910
1902 1911 if (step < 0) {
1903 1912 stop = start + 1;
1904 1913 start = stop + step*(slicelength - 1) - 1;
1905 1914 step = -step;
1906 1915 }
1907 1916
1908 1917 if (step != 1) {
1909 1918 PyErr_SetString(PyExc_ValueError,
1910 1919 "revlog index delete requires step size of 1");
1911 1920 return -1;
1912 1921 }
1913 1922
1914 1923 if (stop != length - 1) {
1915 1924 PyErr_SetString(PyExc_IndexError,
1916 1925 "revlog index deletion indices are invalid");
1917 1926 return -1;
1918 1927 }
1919 1928
1920 1929 if (start < self->length - 1) {
1921 1930 if (self->nt) {
1922 1931 Py_ssize_t i;
1923 1932
1924 1933 for (i = start + 1; i < self->length - 1; i++) {
1925 1934 const char *node = index_node(self, i);
1926 1935
1927 1936 if (node)
1928 1937 nt_insert(self, node, -1);
1929 1938 }
1930 1939 if (self->added)
1931 1940 nt_invalidate_added(self, 0);
1932 1941 if (self->ntrev > start)
1933 1942 self->ntrev = (int)start;
1934 1943 }
1935 1944 self->length = start + 1;
1936 1945 if (start < self->raw_length) {
1937 1946 if (self->cache) {
1938 1947 Py_ssize_t i;
1939 1948 for (i = start; i < self->raw_length; i++)
1940 1949 Py_CLEAR(self->cache[i]);
1941 1950 }
1942 1951 self->raw_length = start;
1943 1952 }
1944 1953 goto done;
1945 1954 }
1946 1955
1947 1956 if (self->nt) {
1948 1957 nt_invalidate_added(self, start - self->length + 1);
1949 1958 if (self->ntrev > start)
1950 1959 self->ntrev = (int)start;
1951 1960 }
1952 1961 if (self->added)
1953 1962 ret = PyList_SetSlice(self->added, start - self->length + 1,
1954 1963 PyList_GET_SIZE(self->added), NULL);
1955 1964 done:
1956 1965 Py_CLEAR(self->headrevs);
1957 1966 return ret;
1958 1967 }
1959 1968
1960 1969 /*
1961 1970 * Supported ops:
1962 1971 *
1963 1972 * slice deletion
1964 1973 * string assignment (extend node->rev mapping)
1965 1974 * string deletion (shrink node->rev mapping)
1966 1975 */
1967 1976 static int index_assign_subscript(indexObject *self, PyObject *item,
1968 1977 PyObject *value)
1969 1978 {
1970 1979 char *node;
1971 1980 Py_ssize_t nodelen;
1972 1981 long rev;
1973 1982
1974 1983 if (PySlice_Check(item) && value == NULL)
1975 1984 return index_slice_del(self, item);
1976 1985
1977 1986 if (node_check(item, &node, &nodelen) == -1)
1978 1987 return -1;
1979 1988
1980 1989 if (value == NULL)
1981 1990 return self->nt ? nt_insert(self, node, -1) : 0;
1982 1991 rev = PyInt_AsLong(value);
1983 1992 if (rev > INT_MAX || rev < 0) {
1984 1993 if (!PyErr_Occurred())
1985 1994 PyErr_SetString(PyExc_ValueError, "rev out of range");
1986 1995 return -1;
1987 1996 }
1988 1997
1989 1998 if (nt_init(self) == -1)
1990 1999 return -1;
1991 2000 return nt_insert(self, node, (int)rev);
1992 2001 }
1993 2002
1994 2003 /*
1995 2004 * Find all RevlogNG entries in an index that has inline data. Update
1996 2005 * the optional "offsets" table with those entries.
1997 2006 */
1998 2007 static Py_ssize_t inline_scan(indexObject *self, const char **offsets)
1999 2008 {
2000 2009 const char *data = PyString_AS_STRING(self->data);
2001 2010 Py_ssize_t pos = 0;
2002 2011 Py_ssize_t end = PyString_GET_SIZE(self->data);
2003 2012 long incr = v1_hdrsize;
2004 2013 Py_ssize_t len = 0;
2005 2014
2006 2015 while (pos + v1_hdrsize <= end && pos >= 0) {
2007 2016 uint32_t comp_len;
2008 2017 /* 3rd element of header is length of compressed inline data */
2009 2018 comp_len = getbe32(data + pos + 8);
2010 2019 incr = v1_hdrsize + comp_len;
2011 2020 if (offsets)
2012 2021 offsets[len] = data + pos;
2013 2022 len++;
2014 2023 pos += incr;
2015 2024 }
2016 2025
2017 2026 if (pos != end) {
2018 2027 if (!PyErr_Occurred())
2019 2028 PyErr_SetString(PyExc_ValueError, "corrupt index file");
2020 2029 return -1;
2021 2030 }
2022 2031
2023 2032 return len;
2024 2033 }
2025 2034
2026 2035 static int index_init(indexObject *self, PyObject *args)
2027 2036 {
2028 2037 PyObject *data_obj, *inlined_obj;
2029 2038 Py_ssize_t size;
2030 2039
2031 2040 /* Initialize before argument-checking to avoid index_dealloc() crash. */
2032 2041 self->raw_length = 0;
2033 2042 self->added = NULL;
2034 2043 self->cache = NULL;
2035 2044 self->data = NULL;
2036 2045 self->headrevs = NULL;
2037 2046 self->filteredrevs = Py_None;
2038 2047 Py_INCREF(Py_None);
2039 2048 self->nt = NULL;
2040 2049 self->offsets = NULL;
2041 2050
2042 2051 if (!PyArg_ParseTuple(args, "OO", &data_obj, &inlined_obj))
2043 2052 return -1;
2044 2053 if (!PyString_Check(data_obj)) {
2045 2054 PyErr_SetString(PyExc_TypeError, "data is not a string");
2046 2055 return -1;
2047 2056 }
2048 2057 size = PyString_GET_SIZE(data_obj);
2049 2058
2050 2059 self->inlined = inlined_obj && PyObject_IsTrue(inlined_obj);
2051 2060 self->data = data_obj;
2052 2061
2053 2062 self->ntlength = self->ntcapacity = 0;
2054 2063 self->ntdepth = self->ntsplits = 0;
2055 2064 self->ntlookups = self->ntmisses = 0;
2056 2065 self->ntrev = -1;
2057 2066 Py_INCREF(self->data);
2058 2067
2059 2068 if (self->inlined) {
2060 2069 Py_ssize_t len = inline_scan(self, NULL);
2061 2070 if (len == -1)
2062 2071 goto bail;
2063 2072 self->raw_length = len;
2064 2073 self->length = len + 1;
2065 2074 } else {
2066 2075 if (size % v1_hdrsize) {
2067 2076 PyErr_SetString(PyExc_ValueError, "corrupt index file");
2068 2077 goto bail;
2069 2078 }
2070 2079 self->raw_length = size / v1_hdrsize;
2071 2080 self->length = self->raw_length + 1;
2072 2081 }
2073 2082
2074 2083 return 0;
2075 2084 bail:
2076 2085 return -1;
2077 2086 }
2078 2087
2079 2088 static PyObject *index_nodemap(indexObject *self)
2080 2089 {
2081 2090 Py_INCREF(self);
2082 2091 return (PyObject *)self;
2083 2092 }
2084 2093
2085 2094 static void index_dealloc(indexObject *self)
2086 2095 {
2087 2096 _index_clearcaches(self);
2088 2097 Py_XDECREF(self->filteredrevs);
2089 2098 Py_XDECREF(self->data);
2090 2099 Py_XDECREF(self->added);
2091 2100 PyObject_Del(self);
2092 2101 }
2093 2102
2094 2103 static PySequenceMethods index_sequence_methods = {
2095 2104 (lenfunc)index_length, /* sq_length */
2096 2105 0, /* sq_concat */
2097 2106 0, /* sq_repeat */
2098 2107 (ssizeargfunc)index_get, /* sq_item */
2099 2108 0, /* sq_slice */
2100 2109 0, /* sq_ass_item */
2101 2110 0, /* sq_ass_slice */
2102 2111 (objobjproc)index_contains, /* sq_contains */
2103 2112 };
2104 2113
2105 2114 static PyMappingMethods index_mapping_methods = {
2106 2115 (lenfunc)index_length, /* mp_length */
2107 2116 (binaryfunc)index_getitem, /* mp_subscript */
2108 2117 (objobjargproc)index_assign_subscript, /* mp_ass_subscript */
2109 2118 };
2110 2119
2111 2120 static PyMethodDef index_methods[] = {
2112 2121 {"ancestors", (PyCFunction)index_ancestors, METH_VARARGS,
2113 2122 "return the gca set of the given revs"},
2114 2123 {"commonancestorsheads", (PyCFunction)index_commonancestorsheads,
2115 2124 METH_VARARGS,
2116 2125 "return the heads of the common ancestors of the given revs"},
2117 2126 {"clearcaches", (PyCFunction)index_clearcaches, METH_NOARGS,
2118 2127 "clear the index caches"},
2119 2128 {"get", (PyCFunction)index_m_get, METH_VARARGS,
2120 2129 "get an index entry"},
2121 2130 {"headrevs", (PyCFunction)index_headrevs, METH_VARARGS,
2122 2131 "get head revisions"}, /* Can do filtering since 3.2 */
2123 2132 {"headrevsfiltered", (PyCFunction)index_headrevs, METH_VARARGS,
2124 2133 "get filtered head revisions"}, /* Can always do filtering */
2125 2134 {"insert", (PyCFunction)index_insert, METH_VARARGS,
2126 2135 "insert an index entry"},
2127 2136 {"partialmatch", (PyCFunction)index_partialmatch, METH_VARARGS,
2128 2137 "match a potentially ambiguous node ID"},
2129 2138 {"stats", (PyCFunction)index_stats, METH_NOARGS,
2130 2139 "stats for the index"},
2131 2140 {NULL} /* Sentinel */
2132 2141 };
2133 2142
2134 2143 static PyGetSetDef index_getset[] = {
2135 2144 {"nodemap", (getter)index_nodemap, NULL, "nodemap", NULL},
2136 2145 {NULL} /* Sentinel */
2137 2146 };
2138 2147
2139 2148 static PyTypeObject indexType = {
2140 2149 PyObject_HEAD_INIT(NULL)
2141 2150 0, /* ob_size */
2142 2151 "parsers.index", /* tp_name */
2143 2152 sizeof(indexObject), /* tp_basicsize */
2144 2153 0, /* tp_itemsize */
2145 2154 (destructor)index_dealloc, /* tp_dealloc */
2146 2155 0, /* tp_print */
2147 2156 0, /* tp_getattr */
2148 2157 0, /* tp_setattr */
2149 2158 0, /* tp_compare */
2150 2159 0, /* tp_repr */
2151 2160 0, /* tp_as_number */
2152 2161 &index_sequence_methods, /* tp_as_sequence */
2153 2162 &index_mapping_methods, /* tp_as_mapping */
2154 2163 0, /* tp_hash */
2155 2164 0, /* tp_call */
2156 2165 0, /* tp_str */
2157 2166 0, /* tp_getattro */
2158 2167 0, /* tp_setattro */
2159 2168 0, /* tp_as_buffer */
2160 2169 Py_TPFLAGS_DEFAULT, /* tp_flags */
2161 2170 "revlog index", /* tp_doc */
2162 2171 0, /* tp_traverse */
2163 2172 0, /* tp_clear */
2164 2173 0, /* tp_richcompare */
2165 2174 0, /* tp_weaklistoffset */
2166 2175 0, /* tp_iter */
2167 2176 0, /* tp_iternext */
2168 2177 index_methods, /* tp_methods */
2169 2178 0, /* tp_members */
2170 2179 index_getset, /* tp_getset */
2171 2180 0, /* tp_base */
2172 2181 0, /* tp_dict */
2173 2182 0, /* tp_descr_get */
2174 2183 0, /* tp_descr_set */
2175 2184 0, /* tp_dictoffset */
2176 2185 (initproc)index_init, /* tp_init */
2177 2186 0, /* tp_alloc */
2178 2187 };
2179 2188
2180 2189 /*
2181 2190 * returns a tuple of the form (index, index, cache) with elements as
2182 2191 * follows:
2183 2192 *
2184 2193 * index: an index object that lazily parses RevlogNG records
2185 2194 * cache: if data is inlined, a tuple (index_file_content, 0), else None
2186 2195 *
2187 2196 * added complications are for backwards compatibility
2188 2197 */
2189 2198 static PyObject *parse_index2(PyObject *self, PyObject *args)
2190 2199 {
2191 2200 PyObject *tuple = NULL, *cache = NULL;
2192 2201 indexObject *idx;
2193 2202 int ret;
2194 2203
2195 2204 idx = PyObject_New(indexObject, &indexType);
2196 2205 if (idx == NULL)
2197 2206 goto bail;
2198 2207
2199 2208 ret = index_init(idx, args);
2200 2209 if (ret == -1)
2201 2210 goto bail;
2202 2211
2203 2212 if (idx->inlined) {
2204 2213 cache = Py_BuildValue("iO", 0, idx->data);
2205 2214 if (cache == NULL)
2206 2215 goto bail;
2207 2216 } else {
2208 2217 cache = Py_None;
2209 2218 Py_INCREF(cache);
2210 2219 }
2211 2220
2212 2221 tuple = Py_BuildValue("NN", idx, cache);
2213 2222 if (!tuple)
2214 2223 goto bail;
2215 2224 return tuple;
2216 2225
2217 2226 bail:
2218 2227 Py_XDECREF(idx);
2219 2228 Py_XDECREF(cache);
2220 2229 Py_XDECREF(tuple);
2221 2230 return NULL;
2222 2231 }
2223 2232
2224 2233 static char parsers_doc[] = "Efficient content parsing.";
2225 2234
2226 2235 PyObject *encodedir(PyObject *self, PyObject *args);
2227 2236 PyObject *pathencode(PyObject *self, PyObject *args);
2228 2237 PyObject *lowerencode(PyObject *self, PyObject *args);
2229 2238
2230 2239 static PyMethodDef methods[] = {
2231 2240 {"pack_dirstate", pack_dirstate, METH_VARARGS, "pack a dirstate\n"},
2232 2241 {"parse_manifest", parse_manifest, METH_VARARGS, "parse a manifest\n"},
2233 2242 {"parse_dirstate", parse_dirstate, METH_VARARGS, "parse a dirstate\n"},
2234 2243 {"parse_index2", parse_index2, METH_VARARGS, "parse a revlog index\n"},
2235 2244 {"asciilower", asciilower, METH_VARARGS, "lowercase an ASCII string\n"},
2236 2245 {"encodedir", encodedir, METH_VARARGS, "encodedir a path\n"},
2237 2246 {"pathencode", pathencode, METH_VARARGS, "fncache-encode a path\n"},
2238 2247 {"lowerencode", lowerencode, METH_VARARGS, "lower-encode a path\n"},
2239 2248 {NULL, NULL}
2240 2249 };
2241 2250
2242 2251 void dirs_module_init(PyObject *mod);
2243 2252
2244 2253 static void module_init(PyObject *mod)
2245 2254 {
2246 2255 /* This module constant has two purposes. First, it lets us unit test
2247 2256 * the ImportError raised without hard-coding any error text. This
2248 2257 * means we can change the text in the future without breaking tests,
2249 2258 * even across changesets without a recompile. Second, its presence
2250 2259 * can be used to determine whether the version-checking logic is
2251 2260 * present, which also helps in testing across changesets without a
2252 2261 * recompile. Note that this means the pure-Python version of parsers
2253 2262 * should not have this module constant. */
2254 2263 PyModule_AddStringConstant(mod, "versionerrortext", versionerrortext);
2255 2264
2256 2265 dirs_module_init(mod);
2257 2266
2258 2267 indexType.tp_new = PyType_GenericNew;
2259 2268 if (PyType_Ready(&indexType) < 0 ||
2260 2269 PyType_Ready(&dirstateTupleType) < 0)
2261 2270 return;
2262 2271 Py_INCREF(&indexType);
2263 2272 PyModule_AddObject(mod, "index", (PyObject *)&indexType);
2264 2273 Py_INCREF(&dirstateTupleType);
2265 2274 PyModule_AddObject(mod, "dirstatetuple",
2266 2275 (PyObject *)&dirstateTupleType);
2267 2276
2268 2277 nullentry = Py_BuildValue("iiiiiiis#", 0, 0, 0,
2269 2278 -1, -1, -1, -1, nullid, 20);
2270 2279 if (nullentry)
2271 2280 PyObject_GC_UnTrack(nullentry);
2272 2281 }
2273 2282
2274 2283 static int check_python_version(void)
2275 2284 {
2276 2285 PyObject *sys = PyImport_ImportModule("sys"), *ver;
2277 2286 long hexversion;
2278 2287 if (!sys)
2279 2288 return -1;
2280 2289 ver = PyObject_GetAttrString(sys, "hexversion");
2281 2290 Py_DECREF(sys);
2282 2291 if (!ver)
2283 2292 return -1;
2284 2293 hexversion = PyInt_AsLong(ver);
2285 2294 Py_DECREF(ver);
2286 2295 /* sys.hexversion is a 32-bit number by default, so the -1 case
2287 2296 * should only occur in unusual circumstances (e.g. if sys.hexversion
2288 2297 * is manually set to an invalid value). */
2289 2298 if ((hexversion == -1) || (hexversion >> 16 != PY_VERSION_HEX >> 16)) {
2290 2299 PyErr_Format(PyExc_ImportError, "%s: The Mercurial extension "
2291 2300 "modules were compiled with Python " PY_VERSION ", but "
2292 2301 "Mercurial is currently using Python with sys.hexversion=%ld: "
2293 2302 "Python %s\n at: %s", versionerrortext, hexversion,
2294 2303 Py_GetVersion(), Py_GetProgramFullPath());
2295 2304 return -1;
2296 2305 }
2297 2306 return 0;
2298 2307 }
2299 2308
2300 2309 #ifdef IS_PY3K
2301 2310 static struct PyModuleDef parsers_module = {
2302 2311 PyModuleDef_HEAD_INIT,
2303 2312 "parsers",
2304 2313 parsers_doc,
2305 2314 -1,
2306 2315 methods
2307 2316 };
2308 2317
2309 2318 PyMODINIT_FUNC PyInit_parsers(void)
2310 2319 {
2311 2320 PyObject *mod;
2312 2321
2313 2322 if (check_python_version() == -1)
2314 2323 return;
2315 2324 mod = PyModule_Create(&parsers_module);
2316 2325 module_init(mod);
2317 2326 return mod;
2318 2327 }
2319 2328 #else
2320 2329 PyMODINIT_FUNC initparsers(void)
2321 2330 {
2322 2331 PyObject *mod;
2323 2332
2324 2333 if (check_python_version() == -1)
2325 2334 return;
2326 2335 mod = Py_InitModule3("parsers", methods, parsers_doc);
2327 2336 module_init(mod);
2328 2337 }
2329 2338 #endif
General Comments 0
You need to be logged in to leave comments. Login now