##// END OF EJS Templates
parsers: don't leak a tuple in pack_dirstate...
Augie Fackler -
r23946:f3e94aa6 stable
parent child Browse files
Show More
@@ -1,2327 +1,2328
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 PyObject *k, *v, *pn;
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 Py_XDECREF(v);
530 531 return NULL;
531 532 }
532 533
533 534 /*
534 535 * A base-16 trie for fast node->rev mapping.
535 536 *
536 537 * Positive value is index of the next node in the trie
537 538 * Negative value is a leaf: -(rev + 1)
538 539 * Zero is empty
539 540 */
540 541 typedef struct {
541 542 int children[16];
542 543 } nodetree;
543 544
544 545 /*
545 546 * This class has two behaviours.
546 547 *
547 548 * When used in a list-like way (with integer keys), we decode an
548 549 * entry in a RevlogNG index file on demand. Our last entry is a
549 550 * sentinel, always a nullid. We have limited support for
550 551 * integer-keyed insert and delete, only at elements right before the
551 552 * sentinel.
552 553 *
553 554 * With string keys, we lazily perform a reverse mapping from node to
554 555 * rev, using a base-16 trie.
555 556 */
556 557 typedef struct {
557 558 PyObject_HEAD
558 559 /* Type-specific fields go here. */
559 560 PyObject *data; /* raw bytes of index */
560 561 PyObject **cache; /* cached tuples */
561 562 const char **offsets; /* populated on demand */
562 563 Py_ssize_t raw_length; /* original number of elements */
563 564 Py_ssize_t length; /* current number of elements */
564 565 PyObject *added; /* populated on demand */
565 566 PyObject *headrevs; /* cache, invalidated on changes */
566 567 PyObject *filteredrevs;/* filtered revs set */
567 568 nodetree *nt; /* base-16 trie */
568 569 int ntlength; /* # nodes in use */
569 570 int ntcapacity; /* # nodes allocated */
570 571 int ntdepth; /* maximum depth of tree */
571 572 int ntsplits; /* # splits performed */
572 573 int ntrev; /* last rev scanned */
573 574 int ntlookups; /* # lookups */
574 575 int ntmisses; /* # lookups that miss the cache */
575 576 int inlined;
576 577 } indexObject;
577 578
578 579 static Py_ssize_t index_length(const indexObject *self)
579 580 {
580 581 if (self->added == NULL)
581 582 return self->length;
582 583 return self->length + PyList_GET_SIZE(self->added);
583 584 }
584 585
585 586 static PyObject *nullentry;
586 587 static const char nullid[20];
587 588
588 589 static Py_ssize_t inline_scan(indexObject *self, const char **offsets);
589 590
590 591 #if LONG_MAX == 0x7fffffffL
591 592 static char *tuple_format = "Kiiiiiis#";
592 593 #else
593 594 static char *tuple_format = "kiiiiiis#";
594 595 #endif
595 596
596 597 /* A RevlogNG v1 index entry is 64 bytes long. */
597 598 static const long v1_hdrsize = 64;
598 599
599 600 /*
600 601 * Return a pointer to the beginning of a RevlogNG record.
601 602 */
602 603 static const char *index_deref(indexObject *self, Py_ssize_t pos)
603 604 {
604 605 if (self->inlined && pos > 0) {
605 606 if (self->offsets == NULL) {
606 607 self->offsets = malloc(self->raw_length *
607 608 sizeof(*self->offsets));
608 609 if (self->offsets == NULL)
609 610 return (const char *)PyErr_NoMemory();
610 611 inline_scan(self, self->offsets);
611 612 }
612 613 return self->offsets[pos];
613 614 }
614 615
615 616 return PyString_AS_STRING(self->data) + pos * v1_hdrsize;
616 617 }
617 618
618 619 /*
619 620 * RevlogNG format (all in big endian, data may be inlined):
620 621 * 6 bytes: offset
621 622 * 2 bytes: flags
622 623 * 4 bytes: compressed length
623 624 * 4 bytes: uncompressed length
624 625 * 4 bytes: base revision
625 626 * 4 bytes: link revision
626 627 * 4 bytes: parent 1 revision
627 628 * 4 bytes: parent 2 revision
628 629 * 32 bytes: nodeid (only 20 bytes used)
629 630 */
630 631 static PyObject *index_get(indexObject *self, Py_ssize_t pos)
631 632 {
632 633 uint64_t offset_flags;
633 634 int comp_len, uncomp_len, base_rev, link_rev, parent_1, parent_2;
634 635 const char *c_node_id;
635 636 const char *data;
636 637 Py_ssize_t length = index_length(self);
637 638 PyObject *entry;
638 639
639 640 if (pos < 0)
640 641 pos += length;
641 642
642 643 if (pos < 0 || pos >= length) {
643 644 PyErr_SetString(PyExc_IndexError, "revlog index out of range");
644 645 return NULL;
645 646 }
646 647
647 648 if (pos == length - 1) {
648 649 Py_INCREF(nullentry);
649 650 return nullentry;
650 651 }
651 652
652 653 if (pos >= self->length - 1) {
653 654 PyObject *obj;
654 655 obj = PyList_GET_ITEM(self->added, pos - self->length + 1);
655 656 Py_INCREF(obj);
656 657 return obj;
657 658 }
658 659
659 660 if (self->cache) {
660 661 if (self->cache[pos]) {
661 662 Py_INCREF(self->cache[pos]);
662 663 return self->cache[pos];
663 664 }
664 665 } else {
665 666 self->cache = calloc(self->raw_length, sizeof(PyObject *));
666 667 if (self->cache == NULL)
667 668 return PyErr_NoMemory();
668 669 }
669 670
670 671 data = index_deref(self, pos);
671 672 if (data == NULL)
672 673 return NULL;
673 674
674 675 offset_flags = getbe32(data + 4);
675 676 if (pos == 0) /* mask out version number for the first entry */
676 677 offset_flags &= 0xFFFF;
677 678 else {
678 679 uint32_t offset_high = getbe32(data);
679 680 offset_flags |= ((uint64_t)offset_high) << 32;
680 681 }
681 682
682 683 comp_len = getbe32(data + 8);
683 684 uncomp_len = getbe32(data + 12);
684 685 base_rev = getbe32(data + 16);
685 686 link_rev = getbe32(data + 20);
686 687 parent_1 = getbe32(data + 24);
687 688 parent_2 = getbe32(data + 28);
688 689 c_node_id = data + 32;
689 690
690 691 entry = Py_BuildValue(tuple_format, offset_flags, comp_len,
691 692 uncomp_len, base_rev, link_rev,
692 693 parent_1, parent_2, c_node_id, 20);
693 694
694 695 if (entry) {
695 696 PyObject_GC_UnTrack(entry);
696 697 Py_INCREF(entry);
697 698 }
698 699
699 700 self->cache[pos] = entry;
700 701
701 702 return entry;
702 703 }
703 704
704 705 /*
705 706 * Return the 20-byte SHA of the node corresponding to the given rev.
706 707 */
707 708 static const char *index_node(indexObject *self, Py_ssize_t pos)
708 709 {
709 710 Py_ssize_t length = index_length(self);
710 711 const char *data;
711 712
712 713 if (pos == length - 1 || pos == INT_MAX)
713 714 return nullid;
714 715
715 716 if (pos >= length)
716 717 return NULL;
717 718
718 719 if (pos >= self->length - 1) {
719 720 PyObject *tuple, *str;
720 721 tuple = PyList_GET_ITEM(self->added, pos - self->length + 1);
721 722 str = PyTuple_GetItem(tuple, 7);
722 723 return str ? PyString_AS_STRING(str) : NULL;
723 724 }
724 725
725 726 data = index_deref(self, pos);
726 727 return data ? data + 32 : NULL;
727 728 }
728 729
729 730 static int nt_insert(indexObject *self, const char *node, int rev);
730 731
731 732 static int node_check(PyObject *obj, char **node, Py_ssize_t *nodelen)
732 733 {
733 734 if (PyString_AsStringAndSize(obj, node, nodelen) == -1)
734 735 return -1;
735 736 if (*nodelen == 20)
736 737 return 0;
737 738 PyErr_SetString(PyExc_ValueError, "20-byte hash required");
738 739 return -1;
739 740 }
740 741
741 742 static PyObject *index_insert(indexObject *self, PyObject *args)
742 743 {
743 744 PyObject *obj;
744 745 char *node;
745 746 int index;
746 747 Py_ssize_t len, nodelen;
747 748
748 749 if (!PyArg_ParseTuple(args, "iO", &index, &obj))
749 750 return NULL;
750 751
751 752 if (!PyTuple_Check(obj) || PyTuple_GET_SIZE(obj) != 8) {
752 753 PyErr_SetString(PyExc_TypeError, "8-tuple required");
753 754 return NULL;
754 755 }
755 756
756 757 if (node_check(PyTuple_GET_ITEM(obj, 7), &node, &nodelen) == -1)
757 758 return NULL;
758 759
759 760 len = index_length(self);
760 761
761 762 if (index < 0)
762 763 index += len;
763 764
764 765 if (index != len - 1) {
765 766 PyErr_SetString(PyExc_IndexError,
766 767 "insert only supported at index -1");
767 768 return NULL;
768 769 }
769 770
770 771 if (self->added == NULL) {
771 772 self->added = PyList_New(0);
772 773 if (self->added == NULL)
773 774 return NULL;
774 775 }
775 776
776 777 if (PyList_Append(self->added, obj) == -1)
777 778 return NULL;
778 779
779 780 if (self->nt)
780 781 nt_insert(self, node, index);
781 782
782 783 Py_CLEAR(self->headrevs);
783 784 Py_RETURN_NONE;
784 785 }
785 786
786 787 static void _index_clearcaches(indexObject *self)
787 788 {
788 789 if (self->cache) {
789 790 Py_ssize_t i;
790 791
791 792 for (i = 0; i < self->raw_length; i++)
792 793 Py_CLEAR(self->cache[i]);
793 794 free(self->cache);
794 795 self->cache = NULL;
795 796 }
796 797 if (self->offsets) {
797 798 free(self->offsets);
798 799 self->offsets = NULL;
799 800 }
800 801 if (self->nt) {
801 802 free(self->nt);
802 803 self->nt = NULL;
803 804 }
804 805 Py_CLEAR(self->headrevs);
805 806 }
806 807
807 808 static PyObject *index_clearcaches(indexObject *self)
808 809 {
809 810 _index_clearcaches(self);
810 811 self->ntlength = self->ntcapacity = 0;
811 812 self->ntdepth = self->ntsplits = 0;
812 813 self->ntrev = -1;
813 814 self->ntlookups = self->ntmisses = 0;
814 815 Py_RETURN_NONE;
815 816 }
816 817
817 818 static PyObject *index_stats(indexObject *self)
818 819 {
819 820 PyObject *obj = PyDict_New();
820 821
821 822 if (obj == NULL)
822 823 return NULL;
823 824
824 825 #define istat(__n, __d) \
825 826 if (PyDict_SetItemString(obj, __d, PyInt_FromSsize_t(self->__n)) == -1) \
826 827 goto bail;
827 828
828 829 if (self->added) {
829 830 Py_ssize_t len = PyList_GET_SIZE(self->added);
830 831 if (PyDict_SetItemString(obj, "index entries added",
831 832 PyInt_FromSsize_t(len)) == -1)
832 833 goto bail;
833 834 }
834 835
835 836 if (self->raw_length != self->length - 1)
836 837 istat(raw_length, "revs on disk");
837 838 istat(length, "revs in memory");
838 839 istat(ntcapacity, "node trie capacity");
839 840 istat(ntdepth, "node trie depth");
840 841 istat(ntlength, "node trie count");
841 842 istat(ntlookups, "node trie lookups");
842 843 istat(ntmisses, "node trie misses");
843 844 istat(ntrev, "node trie last rev scanned");
844 845 istat(ntsplits, "node trie splits");
845 846
846 847 #undef istat
847 848
848 849 return obj;
849 850
850 851 bail:
851 852 Py_XDECREF(obj);
852 853 return NULL;
853 854 }
854 855
855 856 /*
856 857 * When we cache a list, we want to be sure the caller can't mutate
857 858 * the cached copy.
858 859 */
859 860 static PyObject *list_copy(PyObject *list)
860 861 {
861 862 Py_ssize_t len = PyList_GET_SIZE(list);
862 863 PyObject *newlist = PyList_New(len);
863 864 Py_ssize_t i;
864 865
865 866 if (newlist == NULL)
866 867 return NULL;
867 868
868 869 for (i = 0; i < len; i++) {
869 870 PyObject *obj = PyList_GET_ITEM(list, i);
870 871 Py_INCREF(obj);
871 872 PyList_SET_ITEM(newlist, i, obj);
872 873 }
873 874
874 875 return newlist;
875 876 }
876 877
877 878 /* arg should be Py_ssize_t but Python 2.4 do not support the n format */
878 879 static int check_filter(PyObject *filter, unsigned long arg) {
879 880 if (filter) {
880 881 PyObject *arglist, *result;
881 882 int isfiltered;
882 883
883 884 arglist = Py_BuildValue("(k)", arg);
884 885 if (!arglist) {
885 886 return -1;
886 887 }
887 888
888 889 result = PyEval_CallObject(filter, arglist);
889 890 Py_DECREF(arglist);
890 891 if (!result) {
891 892 return -1;
892 893 }
893 894
894 895 /* PyObject_IsTrue returns 1 if true, 0 if false, -1 if error,
895 896 * same as this function, so we can just return it directly.*/
896 897 isfiltered = PyObject_IsTrue(result);
897 898 Py_DECREF(result);
898 899 return isfiltered;
899 900 } else {
900 901 return 0;
901 902 }
902 903 }
903 904
904 905 static PyObject *index_headrevs(indexObject *self, PyObject *args)
905 906 {
906 907 Py_ssize_t i, len, addlen;
907 908 char *nothead = NULL;
908 909 PyObject *heads = NULL;
909 910 PyObject *filter = NULL;
910 911 PyObject *filteredrevs = Py_None;
911 912
912 913 if (!PyArg_ParseTuple(args, "|O", &filteredrevs)) {
913 914 return NULL;
914 915 }
915 916
916 917 if (self->headrevs && filteredrevs == self->filteredrevs)
917 918 return list_copy(self->headrevs);
918 919
919 920 Py_DECREF(self->filteredrevs);
920 921 self->filteredrevs = filteredrevs;
921 922 Py_INCREF(filteredrevs);
922 923
923 924 if (filteredrevs != Py_None) {
924 925 filter = PyObject_GetAttrString(filteredrevs, "__contains__");
925 926 if (!filter) {
926 927 PyErr_SetString(PyExc_TypeError,
927 928 "filteredrevs has no attribute __contains__");
928 929 goto bail;
929 930 }
930 931 }
931 932
932 933 len = index_length(self) - 1;
933 934 heads = PyList_New(0);
934 935 if (heads == NULL)
935 936 goto bail;
936 937 if (len == 0) {
937 938 PyObject *nullid = PyInt_FromLong(-1);
938 939 if (nullid == NULL || PyList_Append(heads, nullid) == -1) {
939 940 Py_XDECREF(nullid);
940 941 goto bail;
941 942 }
942 943 goto done;
943 944 }
944 945
945 946 nothead = calloc(len, 1);
946 947 if (nothead == NULL)
947 948 goto bail;
948 949
949 950 for (i = 0; i < self->raw_length; i++) {
950 951 const char *data;
951 952 int parent_1, parent_2, isfiltered;
952 953
953 954 isfiltered = check_filter(filter, i);
954 955 if (isfiltered == -1) {
955 956 PyErr_SetString(PyExc_TypeError,
956 957 "unable to check filter");
957 958 goto bail;
958 959 }
959 960
960 961 if (isfiltered) {
961 962 nothead[i] = 1;
962 963 continue;
963 964 }
964 965
965 966 data = index_deref(self, i);
966 967 parent_1 = getbe32(data + 24);
967 968 parent_2 = getbe32(data + 28);
968 969
969 970 if (parent_1 >= 0)
970 971 nothead[parent_1] = 1;
971 972 if (parent_2 >= 0)
972 973 nothead[parent_2] = 1;
973 974 }
974 975
975 976 addlen = self->added ? PyList_GET_SIZE(self->added) : 0;
976 977
977 978 for (i = 0; i < addlen; i++) {
978 979 PyObject *rev = PyList_GET_ITEM(self->added, i);
979 980 PyObject *p1 = PyTuple_GET_ITEM(rev, 5);
980 981 PyObject *p2 = PyTuple_GET_ITEM(rev, 6);
981 982 long parent_1, parent_2;
982 983 int isfiltered;
983 984
984 985 if (!PyInt_Check(p1) || !PyInt_Check(p2)) {
985 986 PyErr_SetString(PyExc_TypeError,
986 987 "revlog parents are invalid");
987 988 goto bail;
988 989 }
989 990
990 991 isfiltered = check_filter(filter, i);
991 992 if (isfiltered == -1) {
992 993 PyErr_SetString(PyExc_TypeError,
993 994 "unable to check filter");
994 995 goto bail;
995 996 }
996 997
997 998 if (isfiltered) {
998 999 nothead[i] = 1;
999 1000 continue;
1000 1001 }
1001 1002
1002 1003 parent_1 = PyInt_AS_LONG(p1);
1003 1004 parent_2 = PyInt_AS_LONG(p2);
1004 1005 if (parent_1 >= 0)
1005 1006 nothead[parent_1] = 1;
1006 1007 if (parent_2 >= 0)
1007 1008 nothead[parent_2] = 1;
1008 1009 }
1009 1010
1010 1011 for (i = 0; i < len; i++) {
1011 1012 PyObject *head;
1012 1013
1013 1014 if (nothead[i])
1014 1015 continue;
1015 1016 head = PyInt_FromSsize_t(i);
1016 1017 if (head == NULL || PyList_Append(heads, head) == -1) {
1017 1018 Py_XDECREF(head);
1018 1019 goto bail;
1019 1020 }
1020 1021 }
1021 1022
1022 1023 done:
1023 1024 self->headrevs = heads;
1024 1025 Py_XDECREF(filter);
1025 1026 free(nothead);
1026 1027 return list_copy(self->headrevs);
1027 1028 bail:
1028 1029 Py_XDECREF(filter);
1029 1030 Py_XDECREF(heads);
1030 1031 free(nothead);
1031 1032 return NULL;
1032 1033 }
1033 1034
1034 1035 static inline int nt_level(const char *node, Py_ssize_t level)
1035 1036 {
1036 1037 int v = node[level>>1];
1037 1038 if (!(level & 1))
1038 1039 v >>= 4;
1039 1040 return v & 0xf;
1040 1041 }
1041 1042
1042 1043 /*
1043 1044 * Return values:
1044 1045 *
1045 1046 * -4: match is ambiguous (multiple candidates)
1046 1047 * -2: not found
1047 1048 * rest: valid rev
1048 1049 */
1049 1050 static int nt_find(indexObject *self, const char *node, Py_ssize_t nodelen,
1050 1051 int hex)
1051 1052 {
1052 1053 int (*getnybble)(const char *, Py_ssize_t) = hex ? hexdigit : nt_level;
1053 1054 int level, maxlevel, off;
1054 1055
1055 1056 if (nodelen == 20 && node[0] == '\0' && memcmp(node, nullid, 20) == 0)
1056 1057 return -1;
1057 1058
1058 1059 if (self->nt == NULL)
1059 1060 return -2;
1060 1061
1061 1062 if (hex)
1062 1063 maxlevel = nodelen > 40 ? 40 : (int)nodelen;
1063 1064 else
1064 1065 maxlevel = nodelen > 20 ? 40 : ((int)nodelen * 2);
1065 1066
1066 1067 for (level = off = 0; level < maxlevel; level++) {
1067 1068 int k = getnybble(node, level);
1068 1069 nodetree *n = &self->nt[off];
1069 1070 int v = n->children[k];
1070 1071
1071 1072 if (v < 0) {
1072 1073 const char *n;
1073 1074 Py_ssize_t i;
1074 1075
1075 1076 v = -v - 1;
1076 1077 n = index_node(self, v);
1077 1078 if (n == NULL)
1078 1079 return -2;
1079 1080 for (i = level; i < maxlevel; i++)
1080 1081 if (getnybble(node, i) != nt_level(n, i))
1081 1082 return -2;
1082 1083 return v;
1083 1084 }
1084 1085 if (v == 0)
1085 1086 return -2;
1086 1087 off = v;
1087 1088 }
1088 1089 /* multiple matches against an ambiguous prefix */
1089 1090 return -4;
1090 1091 }
1091 1092
1092 1093 static int nt_new(indexObject *self)
1093 1094 {
1094 1095 if (self->ntlength == self->ntcapacity) {
1095 1096 self->ntcapacity *= 2;
1096 1097 self->nt = realloc(self->nt,
1097 1098 self->ntcapacity * sizeof(nodetree));
1098 1099 if (self->nt == NULL) {
1099 1100 PyErr_SetString(PyExc_MemoryError, "out of memory");
1100 1101 return -1;
1101 1102 }
1102 1103 memset(&self->nt[self->ntlength], 0,
1103 1104 sizeof(nodetree) * (self->ntcapacity - self->ntlength));
1104 1105 }
1105 1106 return self->ntlength++;
1106 1107 }
1107 1108
1108 1109 static int nt_insert(indexObject *self, const char *node, int rev)
1109 1110 {
1110 1111 int level = 0;
1111 1112 int off = 0;
1112 1113
1113 1114 while (level < 40) {
1114 1115 int k = nt_level(node, level);
1115 1116 nodetree *n;
1116 1117 int v;
1117 1118
1118 1119 n = &self->nt[off];
1119 1120 v = n->children[k];
1120 1121
1121 1122 if (v == 0) {
1122 1123 n->children[k] = -rev - 1;
1123 1124 return 0;
1124 1125 }
1125 1126 if (v < 0) {
1126 1127 const char *oldnode = index_node(self, -v - 1);
1127 1128 int noff;
1128 1129
1129 1130 if (!oldnode || !memcmp(oldnode, node, 20)) {
1130 1131 n->children[k] = -rev - 1;
1131 1132 return 0;
1132 1133 }
1133 1134 noff = nt_new(self);
1134 1135 if (noff == -1)
1135 1136 return -1;
1136 1137 /* self->nt may have been changed by realloc */
1137 1138 self->nt[off].children[k] = noff;
1138 1139 off = noff;
1139 1140 n = &self->nt[off];
1140 1141 n->children[nt_level(oldnode, ++level)] = v;
1141 1142 if (level > self->ntdepth)
1142 1143 self->ntdepth = level;
1143 1144 self->ntsplits += 1;
1144 1145 } else {
1145 1146 level += 1;
1146 1147 off = v;
1147 1148 }
1148 1149 }
1149 1150
1150 1151 return -1;
1151 1152 }
1152 1153
1153 1154 static int nt_init(indexObject *self)
1154 1155 {
1155 1156 if (self->nt == NULL) {
1156 1157 if (self->raw_length > INT_MAX) {
1157 1158 PyErr_SetString(PyExc_ValueError, "overflow in nt_init");
1158 1159 return -1;
1159 1160 }
1160 1161 self->ntcapacity = self->raw_length < 4
1161 1162 ? 4 : (int)self->raw_length / 2;
1162 1163
1163 1164 self->nt = calloc(self->ntcapacity, sizeof(nodetree));
1164 1165 if (self->nt == NULL) {
1165 1166 PyErr_NoMemory();
1166 1167 return -1;
1167 1168 }
1168 1169 self->ntlength = 1;
1169 1170 self->ntrev = (int)index_length(self) - 1;
1170 1171 self->ntlookups = 1;
1171 1172 self->ntmisses = 0;
1172 1173 if (nt_insert(self, nullid, INT_MAX) == -1)
1173 1174 return -1;
1174 1175 }
1175 1176 return 0;
1176 1177 }
1177 1178
1178 1179 /*
1179 1180 * Return values:
1180 1181 *
1181 1182 * -3: error (exception set)
1182 1183 * -2: not found (no exception set)
1183 1184 * rest: valid rev
1184 1185 */
1185 1186 static int index_find_node(indexObject *self,
1186 1187 const char *node, Py_ssize_t nodelen)
1187 1188 {
1188 1189 int rev;
1189 1190
1190 1191 self->ntlookups++;
1191 1192 rev = nt_find(self, node, nodelen, 0);
1192 1193 if (rev >= -1)
1193 1194 return rev;
1194 1195
1195 1196 if (nt_init(self) == -1)
1196 1197 return -3;
1197 1198
1198 1199 /*
1199 1200 * For the first handful of lookups, we scan the entire index,
1200 1201 * and cache only the matching nodes. This optimizes for cases
1201 1202 * like "hg tip", where only a few nodes are accessed.
1202 1203 *
1203 1204 * After that, we cache every node we visit, using a single
1204 1205 * scan amortized over multiple lookups. This gives the best
1205 1206 * bulk performance, e.g. for "hg log".
1206 1207 */
1207 1208 if (self->ntmisses++ < 4) {
1208 1209 for (rev = self->ntrev - 1; rev >= 0; rev--) {
1209 1210 const char *n = index_node(self, rev);
1210 1211 if (n == NULL)
1211 1212 return -2;
1212 1213 if (memcmp(node, n, nodelen > 20 ? 20 : nodelen) == 0) {
1213 1214 if (nt_insert(self, n, rev) == -1)
1214 1215 return -3;
1215 1216 break;
1216 1217 }
1217 1218 }
1218 1219 } else {
1219 1220 for (rev = self->ntrev - 1; rev >= 0; rev--) {
1220 1221 const char *n = index_node(self, rev);
1221 1222 if (n == NULL) {
1222 1223 self->ntrev = rev + 1;
1223 1224 return -2;
1224 1225 }
1225 1226 if (nt_insert(self, n, rev) == -1) {
1226 1227 self->ntrev = rev + 1;
1227 1228 return -3;
1228 1229 }
1229 1230 if (memcmp(node, n, nodelen > 20 ? 20 : nodelen) == 0) {
1230 1231 break;
1231 1232 }
1232 1233 }
1233 1234 self->ntrev = rev;
1234 1235 }
1235 1236
1236 1237 if (rev >= 0)
1237 1238 return rev;
1238 1239 return -2;
1239 1240 }
1240 1241
1241 1242 static PyObject *raise_revlog_error(void)
1242 1243 {
1243 1244 static PyObject *errclass;
1244 1245 PyObject *mod = NULL, *errobj;
1245 1246
1246 1247 if (errclass == NULL) {
1247 1248 PyObject *dict;
1248 1249
1249 1250 mod = PyImport_ImportModule("mercurial.error");
1250 1251 if (mod == NULL)
1251 1252 goto classfail;
1252 1253
1253 1254 dict = PyModule_GetDict(mod);
1254 1255 if (dict == NULL)
1255 1256 goto classfail;
1256 1257
1257 1258 errclass = PyDict_GetItemString(dict, "RevlogError");
1258 1259 if (errclass == NULL) {
1259 1260 PyErr_SetString(PyExc_SystemError,
1260 1261 "could not find RevlogError");
1261 1262 goto classfail;
1262 1263 }
1263 1264 Py_INCREF(errclass);
1264 1265 }
1265 1266
1266 1267 errobj = PyObject_CallFunction(errclass, NULL);
1267 1268 if (errobj == NULL)
1268 1269 return NULL;
1269 1270 PyErr_SetObject(errclass, errobj);
1270 1271 return errobj;
1271 1272
1272 1273 classfail:
1273 1274 Py_XDECREF(mod);
1274 1275 return NULL;
1275 1276 }
1276 1277
1277 1278 static PyObject *index_getitem(indexObject *self, PyObject *value)
1278 1279 {
1279 1280 char *node;
1280 1281 Py_ssize_t nodelen;
1281 1282 int rev;
1282 1283
1283 1284 if (PyInt_Check(value))
1284 1285 return index_get(self, PyInt_AS_LONG(value));
1285 1286
1286 1287 if (node_check(value, &node, &nodelen) == -1)
1287 1288 return NULL;
1288 1289 rev = index_find_node(self, node, nodelen);
1289 1290 if (rev >= -1)
1290 1291 return PyInt_FromLong(rev);
1291 1292 if (rev == -2)
1292 1293 raise_revlog_error();
1293 1294 return NULL;
1294 1295 }
1295 1296
1296 1297 static int nt_partialmatch(indexObject *self, const char *node,
1297 1298 Py_ssize_t nodelen)
1298 1299 {
1299 1300 int rev;
1300 1301
1301 1302 if (nt_init(self) == -1)
1302 1303 return -3;
1303 1304
1304 1305 if (self->ntrev > 0) {
1305 1306 /* ensure that the radix tree is fully populated */
1306 1307 for (rev = self->ntrev - 1; rev >= 0; rev--) {
1307 1308 const char *n = index_node(self, rev);
1308 1309 if (n == NULL)
1309 1310 return -2;
1310 1311 if (nt_insert(self, n, rev) == -1)
1311 1312 return -3;
1312 1313 }
1313 1314 self->ntrev = rev;
1314 1315 }
1315 1316
1316 1317 return nt_find(self, node, nodelen, 1);
1317 1318 }
1318 1319
1319 1320 static PyObject *index_partialmatch(indexObject *self, PyObject *args)
1320 1321 {
1321 1322 const char *fullnode;
1322 1323 int nodelen;
1323 1324 char *node;
1324 1325 int rev, i;
1325 1326
1326 1327 if (!PyArg_ParseTuple(args, "s#", &node, &nodelen))
1327 1328 return NULL;
1328 1329
1329 1330 if (nodelen < 4) {
1330 1331 PyErr_SetString(PyExc_ValueError, "key too short");
1331 1332 return NULL;
1332 1333 }
1333 1334
1334 1335 if (nodelen > 40) {
1335 1336 PyErr_SetString(PyExc_ValueError, "key too long");
1336 1337 return NULL;
1337 1338 }
1338 1339
1339 1340 for (i = 0; i < nodelen; i++)
1340 1341 hexdigit(node, i);
1341 1342 if (PyErr_Occurred()) {
1342 1343 /* input contains non-hex characters */
1343 1344 PyErr_Clear();
1344 1345 Py_RETURN_NONE;
1345 1346 }
1346 1347
1347 1348 rev = nt_partialmatch(self, node, nodelen);
1348 1349
1349 1350 switch (rev) {
1350 1351 case -4:
1351 1352 raise_revlog_error();
1352 1353 case -3:
1353 1354 return NULL;
1354 1355 case -2:
1355 1356 Py_RETURN_NONE;
1356 1357 case -1:
1357 1358 return PyString_FromStringAndSize(nullid, 20);
1358 1359 }
1359 1360
1360 1361 fullnode = index_node(self, rev);
1361 1362 if (fullnode == NULL) {
1362 1363 PyErr_Format(PyExc_IndexError,
1363 1364 "could not access rev %d", rev);
1364 1365 return NULL;
1365 1366 }
1366 1367 return PyString_FromStringAndSize(fullnode, 20);
1367 1368 }
1368 1369
1369 1370 static PyObject *index_m_get(indexObject *self, PyObject *args)
1370 1371 {
1371 1372 Py_ssize_t nodelen;
1372 1373 PyObject *val;
1373 1374 char *node;
1374 1375 int rev;
1375 1376
1376 1377 if (!PyArg_ParseTuple(args, "O", &val))
1377 1378 return NULL;
1378 1379 if (node_check(val, &node, &nodelen) == -1)
1379 1380 return NULL;
1380 1381 rev = index_find_node(self, node, nodelen);
1381 1382 if (rev == -3)
1382 1383 return NULL;
1383 1384 if (rev == -2)
1384 1385 Py_RETURN_NONE;
1385 1386 return PyInt_FromLong(rev);
1386 1387 }
1387 1388
1388 1389 static int index_contains(indexObject *self, PyObject *value)
1389 1390 {
1390 1391 char *node;
1391 1392 Py_ssize_t nodelen;
1392 1393
1393 1394 if (PyInt_Check(value)) {
1394 1395 long rev = PyInt_AS_LONG(value);
1395 1396 return rev >= -1 && rev < index_length(self);
1396 1397 }
1397 1398
1398 1399 if (node_check(value, &node, &nodelen) == -1)
1399 1400 return -1;
1400 1401
1401 1402 switch (index_find_node(self, node, nodelen)) {
1402 1403 case -3:
1403 1404 return -1;
1404 1405 case -2:
1405 1406 return 0;
1406 1407 default:
1407 1408 return 1;
1408 1409 }
1409 1410 }
1410 1411
1411 1412 static inline void index_get_parents(indexObject *self, int rev, int *ps)
1412 1413 {
1413 1414 if (rev >= self->length - 1) {
1414 1415 PyObject *tuple = PyList_GET_ITEM(self->added,
1415 1416 rev - self->length + 1);
1416 1417 ps[0] = (int)PyInt_AS_LONG(PyTuple_GET_ITEM(tuple, 5));
1417 1418 ps[1] = (int)PyInt_AS_LONG(PyTuple_GET_ITEM(tuple, 6));
1418 1419 } else {
1419 1420 const char *data = index_deref(self, rev);
1420 1421 ps[0] = getbe32(data + 24);
1421 1422 ps[1] = getbe32(data + 28);
1422 1423 }
1423 1424 }
1424 1425
1425 1426 typedef uint64_t bitmask;
1426 1427
1427 1428 /*
1428 1429 * Given a disjoint set of revs, return all candidates for the
1429 1430 * greatest common ancestor. In revset notation, this is the set
1430 1431 * "heads(::a and ::b and ...)"
1431 1432 */
1432 1433 static PyObject *find_gca_candidates(indexObject *self, const int *revs,
1433 1434 int revcount)
1434 1435 {
1435 1436 const bitmask allseen = (1ull << revcount) - 1;
1436 1437 const bitmask poison = 1ull << revcount;
1437 1438 PyObject *gca = PyList_New(0);
1438 1439 int i, v, interesting;
1439 1440 int maxrev = -1;
1440 1441 bitmask sp;
1441 1442 bitmask *seen;
1442 1443
1443 1444 if (gca == NULL)
1444 1445 return PyErr_NoMemory();
1445 1446
1446 1447 for (i = 0; i < revcount; i++) {
1447 1448 if (revs[i] > maxrev)
1448 1449 maxrev = revs[i];
1449 1450 }
1450 1451
1451 1452 seen = calloc(sizeof(*seen), maxrev + 1);
1452 1453 if (seen == NULL) {
1453 1454 Py_DECREF(gca);
1454 1455 return PyErr_NoMemory();
1455 1456 }
1456 1457
1457 1458 for (i = 0; i < revcount; i++)
1458 1459 seen[revs[i]] = 1ull << i;
1459 1460
1460 1461 interesting = revcount;
1461 1462
1462 1463 for (v = maxrev; v >= 0 && interesting; v--) {
1463 1464 bitmask sv = seen[v];
1464 1465 int parents[2];
1465 1466
1466 1467 if (!sv)
1467 1468 continue;
1468 1469
1469 1470 if (sv < poison) {
1470 1471 interesting -= 1;
1471 1472 if (sv == allseen) {
1472 1473 PyObject *obj = PyInt_FromLong(v);
1473 1474 if (obj == NULL)
1474 1475 goto bail;
1475 1476 if (PyList_Append(gca, obj) == -1) {
1476 1477 Py_DECREF(obj);
1477 1478 goto bail;
1478 1479 }
1479 1480 sv |= poison;
1480 1481 for (i = 0; i < revcount; i++) {
1481 1482 if (revs[i] == v)
1482 1483 goto done;
1483 1484 }
1484 1485 }
1485 1486 }
1486 1487 index_get_parents(self, v, parents);
1487 1488
1488 1489 for (i = 0; i < 2; i++) {
1489 1490 int p = parents[i];
1490 1491 if (p == -1)
1491 1492 continue;
1492 1493 sp = seen[p];
1493 1494 if (sv < poison) {
1494 1495 if (sp == 0) {
1495 1496 seen[p] = sv;
1496 1497 interesting++;
1497 1498 }
1498 1499 else if (sp != sv)
1499 1500 seen[p] |= sv;
1500 1501 } else {
1501 1502 if (sp && sp < poison)
1502 1503 interesting--;
1503 1504 seen[p] = sv;
1504 1505 }
1505 1506 }
1506 1507 }
1507 1508
1508 1509 done:
1509 1510 free(seen);
1510 1511 return gca;
1511 1512 bail:
1512 1513 free(seen);
1513 1514 Py_XDECREF(gca);
1514 1515 return NULL;
1515 1516 }
1516 1517
1517 1518 /*
1518 1519 * Given a disjoint set of revs, return the subset with the longest
1519 1520 * path to the root.
1520 1521 */
1521 1522 static PyObject *find_deepest(indexObject *self, PyObject *revs)
1522 1523 {
1523 1524 const Py_ssize_t revcount = PyList_GET_SIZE(revs);
1524 1525 static const Py_ssize_t capacity = 24;
1525 1526 int *depth, *interesting = NULL;
1526 1527 int i, j, v, ninteresting;
1527 1528 PyObject *dict = NULL, *keys = NULL;
1528 1529 long *seen = NULL;
1529 1530 int maxrev = -1;
1530 1531 long final;
1531 1532
1532 1533 if (revcount > capacity) {
1533 1534 PyErr_Format(PyExc_OverflowError,
1534 1535 "bitset size (%ld) > capacity (%ld)",
1535 1536 (long)revcount, (long)capacity);
1536 1537 return NULL;
1537 1538 }
1538 1539
1539 1540 for (i = 0; i < revcount; i++) {
1540 1541 int n = (int)PyInt_AsLong(PyList_GET_ITEM(revs, i));
1541 1542 if (n > maxrev)
1542 1543 maxrev = n;
1543 1544 }
1544 1545
1545 1546 depth = calloc(sizeof(*depth), maxrev + 1);
1546 1547 if (depth == NULL)
1547 1548 return PyErr_NoMemory();
1548 1549
1549 1550 seen = calloc(sizeof(*seen), maxrev + 1);
1550 1551 if (seen == NULL) {
1551 1552 PyErr_NoMemory();
1552 1553 goto bail;
1553 1554 }
1554 1555
1555 1556 interesting = calloc(sizeof(*interesting), 2 << revcount);
1556 1557 if (interesting == NULL) {
1557 1558 PyErr_NoMemory();
1558 1559 goto bail;
1559 1560 }
1560 1561
1561 1562 if (PyList_Sort(revs) == -1)
1562 1563 goto bail;
1563 1564
1564 1565 for (i = 0; i < revcount; i++) {
1565 1566 int n = (int)PyInt_AsLong(PyList_GET_ITEM(revs, i));
1566 1567 long b = 1l << i;
1567 1568 depth[n] = 1;
1568 1569 seen[n] = b;
1569 1570 interesting[b] = 1;
1570 1571 }
1571 1572
1572 1573 ninteresting = (int)revcount;
1573 1574
1574 1575 for (v = maxrev; v >= 0 && ninteresting > 1; v--) {
1575 1576 int dv = depth[v];
1576 1577 int parents[2];
1577 1578 long sv;
1578 1579
1579 1580 if (dv == 0)
1580 1581 continue;
1581 1582
1582 1583 sv = seen[v];
1583 1584 index_get_parents(self, v, parents);
1584 1585
1585 1586 for (i = 0; i < 2; i++) {
1586 1587 int p = parents[i];
1587 1588 long nsp, sp;
1588 1589 int dp;
1589 1590
1590 1591 if (p == -1)
1591 1592 continue;
1592 1593
1593 1594 dp = depth[p];
1594 1595 nsp = sp = seen[p];
1595 1596 if (dp <= dv) {
1596 1597 depth[p] = dv + 1;
1597 1598 if (sp != sv) {
1598 1599 interesting[sv] += 1;
1599 1600 nsp = seen[p] = sv;
1600 1601 if (sp) {
1601 1602 interesting[sp] -= 1;
1602 1603 if (interesting[sp] == 0)
1603 1604 ninteresting -= 1;
1604 1605 }
1605 1606 }
1606 1607 }
1607 1608 else if (dv == dp - 1) {
1608 1609 nsp = sp | sv;
1609 1610 if (nsp == sp)
1610 1611 continue;
1611 1612 seen[p] = nsp;
1612 1613 interesting[sp] -= 1;
1613 1614 if (interesting[sp] == 0 && interesting[nsp] > 0)
1614 1615 ninteresting -= 1;
1615 1616 interesting[nsp] += 1;
1616 1617 }
1617 1618 }
1618 1619 interesting[sv] -= 1;
1619 1620 if (interesting[sv] == 0)
1620 1621 ninteresting -= 1;
1621 1622 }
1622 1623
1623 1624 final = 0;
1624 1625 j = ninteresting;
1625 1626 for (i = 0; i < (int)(2 << revcount) && j > 0; i++) {
1626 1627 if (interesting[i] == 0)
1627 1628 continue;
1628 1629 final |= i;
1629 1630 j -= 1;
1630 1631 }
1631 1632 if (final == 0) {
1632 1633 keys = PyList_New(0);
1633 1634 goto bail;
1634 1635 }
1635 1636
1636 1637 dict = PyDict_New();
1637 1638 if (dict == NULL)
1638 1639 goto bail;
1639 1640
1640 1641 for (i = 0; i < revcount; i++) {
1641 1642 PyObject *key;
1642 1643
1643 1644 if ((final & (1 << i)) == 0)
1644 1645 continue;
1645 1646
1646 1647 key = PyList_GET_ITEM(revs, i);
1647 1648 Py_INCREF(key);
1648 1649 Py_INCREF(Py_None);
1649 1650 if (PyDict_SetItem(dict, key, Py_None) == -1) {
1650 1651 Py_DECREF(key);
1651 1652 Py_DECREF(Py_None);
1652 1653 goto bail;
1653 1654 }
1654 1655 }
1655 1656
1656 1657 keys = PyDict_Keys(dict);
1657 1658
1658 1659 bail:
1659 1660 free(depth);
1660 1661 free(seen);
1661 1662 free(interesting);
1662 1663 Py_XDECREF(dict);
1663 1664
1664 1665 return keys;
1665 1666 }
1666 1667
1667 1668 /*
1668 1669 * Given a (possibly overlapping) set of revs, return the greatest
1669 1670 * common ancestors: those with the longest path to the root.
1670 1671 */
1671 1672 static PyObject *index_ancestors(indexObject *self, PyObject *args)
1672 1673 {
1673 1674 PyObject *ret = NULL, *gca = NULL;
1674 1675 Py_ssize_t argcount, i, len;
1675 1676 bitmask repeat = 0;
1676 1677 int revcount = 0;
1677 1678 int *revs;
1678 1679
1679 1680 argcount = PySequence_Length(args);
1680 1681 revs = malloc(argcount * sizeof(*revs));
1681 1682 if (argcount > 0 && revs == NULL)
1682 1683 return PyErr_NoMemory();
1683 1684 len = index_length(self) - 1;
1684 1685
1685 1686 for (i = 0; i < argcount; i++) {
1686 1687 static const int capacity = 24;
1687 1688 PyObject *obj = PySequence_GetItem(args, i);
1688 1689 bitmask x;
1689 1690 long val;
1690 1691
1691 1692 if (!PyInt_Check(obj)) {
1692 1693 PyErr_SetString(PyExc_TypeError,
1693 1694 "arguments must all be ints");
1694 1695 Py_DECREF(obj);
1695 1696 goto bail;
1696 1697 }
1697 1698 val = PyInt_AsLong(obj);
1698 1699 Py_DECREF(obj);
1699 1700 if (val == -1) {
1700 1701 ret = PyList_New(0);
1701 1702 goto done;
1702 1703 }
1703 1704 if (val < 0 || val >= len) {
1704 1705 PyErr_SetString(PyExc_IndexError,
1705 1706 "index out of range");
1706 1707 goto bail;
1707 1708 }
1708 1709 /* this cheesy bloom filter lets us avoid some more
1709 1710 * expensive duplicate checks in the common set-is-disjoint
1710 1711 * case */
1711 1712 x = 1ull << (val & 0x3f);
1712 1713 if (repeat & x) {
1713 1714 int k;
1714 1715 for (k = 0; k < revcount; k++) {
1715 1716 if (val == revs[k])
1716 1717 goto duplicate;
1717 1718 }
1718 1719 }
1719 1720 else repeat |= x;
1720 1721 if (revcount >= capacity) {
1721 1722 PyErr_Format(PyExc_OverflowError,
1722 1723 "bitset size (%d) > capacity (%d)",
1723 1724 revcount, capacity);
1724 1725 goto bail;
1725 1726 }
1726 1727 revs[revcount++] = (int)val;
1727 1728 duplicate:;
1728 1729 }
1729 1730
1730 1731 if (revcount == 0) {
1731 1732 ret = PyList_New(0);
1732 1733 goto done;
1733 1734 }
1734 1735 if (revcount == 1) {
1735 1736 PyObject *obj;
1736 1737 ret = PyList_New(1);
1737 1738 if (ret == NULL)
1738 1739 goto bail;
1739 1740 obj = PyInt_FromLong(revs[0]);
1740 1741 if (obj == NULL)
1741 1742 goto bail;
1742 1743 PyList_SET_ITEM(ret, 0, obj);
1743 1744 goto done;
1744 1745 }
1745 1746
1746 1747 gca = find_gca_candidates(self, revs, revcount);
1747 1748 if (gca == NULL)
1748 1749 goto bail;
1749 1750
1750 1751 if (PyList_GET_SIZE(gca) <= 1) {
1751 1752 ret = gca;
1752 1753 Py_INCREF(gca);
1753 1754 }
1754 1755 else ret = find_deepest(self, gca);
1755 1756
1756 1757 done:
1757 1758 free(revs);
1758 1759 Py_XDECREF(gca);
1759 1760
1760 1761 return ret;
1761 1762
1762 1763 bail:
1763 1764 free(revs);
1764 1765 Py_XDECREF(gca);
1765 1766 Py_XDECREF(ret);
1766 1767 return NULL;
1767 1768 }
1768 1769
1769 1770 /*
1770 1771 * Given a (possibly overlapping) set of revs, return all the
1771 1772 * common ancestors heads: heads(::args[0] and ::a[1] and ...)
1772 1773 */
1773 1774 static PyObject *index_commonancestorsheads(indexObject *self, PyObject *args)
1774 1775 {
1775 1776 PyObject *ret = NULL;
1776 1777 Py_ssize_t argcount, i, len;
1777 1778 bitmask repeat = 0;
1778 1779 int revcount = 0;
1779 1780 int *revs;
1780 1781
1781 1782 argcount = PySequence_Length(args);
1782 1783 revs = malloc(argcount * sizeof(*revs));
1783 1784 if (argcount > 0 && revs == NULL)
1784 1785 return PyErr_NoMemory();
1785 1786 len = index_length(self) - 1;
1786 1787
1787 1788 for (i = 0; i < argcount; i++) {
1788 1789 static const int capacity = 24;
1789 1790 PyObject *obj = PySequence_GetItem(args, i);
1790 1791 bitmask x;
1791 1792 long val;
1792 1793
1793 1794 if (!PyInt_Check(obj)) {
1794 1795 PyErr_SetString(PyExc_TypeError,
1795 1796 "arguments must all be ints");
1796 1797 Py_DECREF(obj);
1797 1798 goto bail;
1798 1799 }
1799 1800 val = PyInt_AsLong(obj);
1800 1801 Py_DECREF(obj);
1801 1802 if (val == -1) {
1802 1803 ret = PyList_New(0);
1803 1804 goto done;
1804 1805 }
1805 1806 if (val < 0 || val >= len) {
1806 1807 PyErr_SetString(PyExc_IndexError,
1807 1808 "index out of range");
1808 1809 goto bail;
1809 1810 }
1810 1811 /* this cheesy bloom filter lets us avoid some more
1811 1812 * expensive duplicate checks in the common set-is-disjoint
1812 1813 * case */
1813 1814 x = 1ull << (val & 0x3f);
1814 1815 if (repeat & x) {
1815 1816 int k;
1816 1817 for (k = 0; k < revcount; k++) {
1817 1818 if (val == revs[k])
1818 1819 goto duplicate;
1819 1820 }
1820 1821 }
1821 1822 else repeat |= x;
1822 1823 if (revcount >= capacity) {
1823 1824 PyErr_Format(PyExc_OverflowError,
1824 1825 "bitset size (%d) > capacity (%d)",
1825 1826 revcount, capacity);
1826 1827 goto bail;
1827 1828 }
1828 1829 revs[revcount++] = (int)val;
1829 1830 duplicate:;
1830 1831 }
1831 1832
1832 1833 if (revcount == 0) {
1833 1834 ret = PyList_New(0);
1834 1835 goto done;
1835 1836 }
1836 1837 if (revcount == 1) {
1837 1838 PyObject *obj;
1838 1839 ret = PyList_New(1);
1839 1840 if (ret == NULL)
1840 1841 goto bail;
1841 1842 obj = PyInt_FromLong(revs[0]);
1842 1843 if (obj == NULL)
1843 1844 goto bail;
1844 1845 PyList_SET_ITEM(ret, 0, obj);
1845 1846 goto done;
1846 1847 }
1847 1848
1848 1849 ret = find_gca_candidates(self, revs, revcount);
1849 1850 if (ret == NULL)
1850 1851 goto bail;
1851 1852
1852 1853 done:
1853 1854 free(revs);
1854 1855 return ret;
1855 1856
1856 1857 bail:
1857 1858 free(revs);
1858 1859 Py_XDECREF(ret);
1859 1860 return NULL;
1860 1861 }
1861 1862
1862 1863 /*
1863 1864 * Invalidate any trie entries introduced by added revs.
1864 1865 */
1865 1866 static void nt_invalidate_added(indexObject *self, Py_ssize_t start)
1866 1867 {
1867 1868 Py_ssize_t i, len = PyList_GET_SIZE(self->added);
1868 1869
1869 1870 for (i = start; i < len; i++) {
1870 1871 PyObject *tuple = PyList_GET_ITEM(self->added, i);
1871 1872 PyObject *node = PyTuple_GET_ITEM(tuple, 7);
1872 1873
1873 1874 nt_insert(self, PyString_AS_STRING(node), -1);
1874 1875 }
1875 1876
1876 1877 if (start == 0)
1877 1878 Py_CLEAR(self->added);
1878 1879 }
1879 1880
1880 1881 /*
1881 1882 * Delete a numeric range of revs, which must be at the end of the
1882 1883 * range, but exclude the sentinel nullid entry.
1883 1884 */
1884 1885 static int index_slice_del(indexObject *self, PyObject *item)
1885 1886 {
1886 1887 Py_ssize_t start, stop, step, slicelength;
1887 1888 Py_ssize_t length = index_length(self);
1888 1889 int ret = 0;
1889 1890
1890 1891 if (PySlice_GetIndicesEx((PySliceObject*)item, length,
1891 1892 &start, &stop, &step, &slicelength) < 0)
1892 1893 return -1;
1893 1894
1894 1895 if (slicelength <= 0)
1895 1896 return 0;
1896 1897
1897 1898 if ((step < 0 && start < stop) || (step > 0 && start > stop))
1898 1899 stop = start;
1899 1900
1900 1901 if (step < 0) {
1901 1902 stop = start + 1;
1902 1903 start = stop + step*(slicelength - 1) - 1;
1903 1904 step = -step;
1904 1905 }
1905 1906
1906 1907 if (step != 1) {
1907 1908 PyErr_SetString(PyExc_ValueError,
1908 1909 "revlog index delete requires step size of 1");
1909 1910 return -1;
1910 1911 }
1911 1912
1912 1913 if (stop != length - 1) {
1913 1914 PyErr_SetString(PyExc_IndexError,
1914 1915 "revlog index deletion indices are invalid");
1915 1916 return -1;
1916 1917 }
1917 1918
1918 1919 if (start < self->length - 1) {
1919 1920 if (self->nt) {
1920 1921 Py_ssize_t i;
1921 1922
1922 1923 for (i = start + 1; i < self->length - 1; i++) {
1923 1924 const char *node = index_node(self, i);
1924 1925
1925 1926 if (node)
1926 1927 nt_insert(self, node, -1);
1927 1928 }
1928 1929 if (self->added)
1929 1930 nt_invalidate_added(self, 0);
1930 1931 if (self->ntrev > start)
1931 1932 self->ntrev = (int)start;
1932 1933 }
1933 1934 self->length = start + 1;
1934 1935 if (start < self->raw_length) {
1935 1936 if (self->cache) {
1936 1937 Py_ssize_t i;
1937 1938 for (i = start; i < self->raw_length; i++)
1938 1939 Py_CLEAR(self->cache[i]);
1939 1940 }
1940 1941 self->raw_length = start;
1941 1942 }
1942 1943 goto done;
1943 1944 }
1944 1945
1945 1946 if (self->nt) {
1946 1947 nt_invalidate_added(self, start - self->length + 1);
1947 1948 if (self->ntrev > start)
1948 1949 self->ntrev = (int)start;
1949 1950 }
1950 1951 if (self->added)
1951 1952 ret = PyList_SetSlice(self->added, start - self->length + 1,
1952 1953 PyList_GET_SIZE(self->added), NULL);
1953 1954 done:
1954 1955 Py_CLEAR(self->headrevs);
1955 1956 return ret;
1956 1957 }
1957 1958
1958 1959 /*
1959 1960 * Supported ops:
1960 1961 *
1961 1962 * slice deletion
1962 1963 * string assignment (extend node->rev mapping)
1963 1964 * string deletion (shrink node->rev mapping)
1964 1965 */
1965 1966 static int index_assign_subscript(indexObject *self, PyObject *item,
1966 1967 PyObject *value)
1967 1968 {
1968 1969 char *node;
1969 1970 Py_ssize_t nodelen;
1970 1971 long rev;
1971 1972
1972 1973 if (PySlice_Check(item) && value == NULL)
1973 1974 return index_slice_del(self, item);
1974 1975
1975 1976 if (node_check(item, &node, &nodelen) == -1)
1976 1977 return -1;
1977 1978
1978 1979 if (value == NULL)
1979 1980 return self->nt ? nt_insert(self, node, -1) : 0;
1980 1981 rev = PyInt_AsLong(value);
1981 1982 if (rev > INT_MAX || rev < 0) {
1982 1983 if (!PyErr_Occurred())
1983 1984 PyErr_SetString(PyExc_ValueError, "rev out of range");
1984 1985 return -1;
1985 1986 }
1986 1987
1987 1988 if (nt_init(self) == -1)
1988 1989 return -1;
1989 1990 return nt_insert(self, node, (int)rev);
1990 1991 }
1991 1992
1992 1993 /*
1993 1994 * Find all RevlogNG entries in an index that has inline data. Update
1994 1995 * the optional "offsets" table with those entries.
1995 1996 */
1996 1997 static Py_ssize_t inline_scan(indexObject *self, const char **offsets)
1997 1998 {
1998 1999 const char *data = PyString_AS_STRING(self->data);
1999 2000 Py_ssize_t pos = 0;
2000 2001 Py_ssize_t end = PyString_GET_SIZE(self->data);
2001 2002 long incr = v1_hdrsize;
2002 2003 Py_ssize_t len = 0;
2003 2004
2004 2005 while (pos + v1_hdrsize <= end && pos >= 0) {
2005 2006 uint32_t comp_len;
2006 2007 /* 3rd element of header is length of compressed inline data */
2007 2008 comp_len = getbe32(data + pos + 8);
2008 2009 incr = v1_hdrsize + comp_len;
2009 2010 if (offsets)
2010 2011 offsets[len] = data + pos;
2011 2012 len++;
2012 2013 pos += incr;
2013 2014 }
2014 2015
2015 2016 if (pos != end) {
2016 2017 if (!PyErr_Occurred())
2017 2018 PyErr_SetString(PyExc_ValueError, "corrupt index file");
2018 2019 return -1;
2019 2020 }
2020 2021
2021 2022 return len;
2022 2023 }
2023 2024
2024 2025 static int index_init(indexObject *self, PyObject *args)
2025 2026 {
2026 2027 PyObject *data_obj, *inlined_obj;
2027 2028 Py_ssize_t size;
2028 2029
2029 2030 /* Initialize before argument-checking to avoid index_dealloc() crash. */
2030 2031 self->raw_length = 0;
2031 2032 self->added = NULL;
2032 2033 self->cache = NULL;
2033 2034 self->data = NULL;
2034 2035 self->headrevs = NULL;
2035 2036 self->filteredrevs = Py_None;
2036 2037 Py_INCREF(Py_None);
2037 2038 self->nt = NULL;
2038 2039 self->offsets = NULL;
2039 2040
2040 2041 if (!PyArg_ParseTuple(args, "OO", &data_obj, &inlined_obj))
2041 2042 return -1;
2042 2043 if (!PyString_Check(data_obj)) {
2043 2044 PyErr_SetString(PyExc_TypeError, "data is not a string");
2044 2045 return -1;
2045 2046 }
2046 2047 size = PyString_GET_SIZE(data_obj);
2047 2048
2048 2049 self->inlined = inlined_obj && PyObject_IsTrue(inlined_obj);
2049 2050 self->data = data_obj;
2050 2051
2051 2052 self->ntlength = self->ntcapacity = 0;
2052 2053 self->ntdepth = self->ntsplits = 0;
2053 2054 self->ntlookups = self->ntmisses = 0;
2054 2055 self->ntrev = -1;
2055 2056 Py_INCREF(self->data);
2056 2057
2057 2058 if (self->inlined) {
2058 2059 Py_ssize_t len = inline_scan(self, NULL);
2059 2060 if (len == -1)
2060 2061 goto bail;
2061 2062 self->raw_length = len;
2062 2063 self->length = len + 1;
2063 2064 } else {
2064 2065 if (size % v1_hdrsize) {
2065 2066 PyErr_SetString(PyExc_ValueError, "corrupt index file");
2066 2067 goto bail;
2067 2068 }
2068 2069 self->raw_length = size / v1_hdrsize;
2069 2070 self->length = self->raw_length + 1;
2070 2071 }
2071 2072
2072 2073 return 0;
2073 2074 bail:
2074 2075 return -1;
2075 2076 }
2076 2077
2077 2078 static PyObject *index_nodemap(indexObject *self)
2078 2079 {
2079 2080 Py_INCREF(self);
2080 2081 return (PyObject *)self;
2081 2082 }
2082 2083
2083 2084 static void index_dealloc(indexObject *self)
2084 2085 {
2085 2086 _index_clearcaches(self);
2086 2087 Py_XDECREF(self->filteredrevs);
2087 2088 Py_XDECREF(self->data);
2088 2089 Py_XDECREF(self->added);
2089 2090 PyObject_Del(self);
2090 2091 }
2091 2092
2092 2093 static PySequenceMethods index_sequence_methods = {
2093 2094 (lenfunc)index_length, /* sq_length */
2094 2095 0, /* sq_concat */
2095 2096 0, /* sq_repeat */
2096 2097 (ssizeargfunc)index_get, /* sq_item */
2097 2098 0, /* sq_slice */
2098 2099 0, /* sq_ass_item */
2099 2100 0, /* sq_ass_slice */
2100 2101 (objobjproc)index_contains, /* sq_contains */
2101 2102 };
2102 2103
2103 2104 static PyMappingMethods index_mapping_methods = {
2104 2105 (lenfunc)index_length, /* mp_length */
2105 2106 (binaryfunc)index_getitem, /* mp_subscript */
2106 2107 (objobjargproc)index_assign_subscript, /* mp_ass_subscript */
2107 2108 };
2108 2109
2109 2110 static PyMethodDef index_methods[] = {
2110 2111 {"ancestors", (PyCFunction)index_ancestors, METH_VARARGS,
2111 2112 "return the gca set of the given revs"},
2112 2113 {"commonancestorsheads", (PyCFunction)index_commonancestorsheads,
2113 2114 METH_VARARGS,
2114 2115 "return the heads of the common ancestors of the given revs"},
2115 2116 {"clearcaches", (PyCFunction)index_clearcaches, METH_NOARGS,
2116 2117 "clear the index caches"},
2117 2118 {"get", (PyCFunction)index_m_get, METH_VARARGS,
2118 2119 "get an index entry"},
2119 2120 {"headrevs", (PyCFunction)index_headrevs, METH_VARARGS,
2120 2121 "get head revisions"}, /* Can do filtering since 3.2 */
2121 2122 {"headrevsfiltered", (PyCFunction)index_headrevs, METH_VARARGS,
2122 2123 "get filtered head revisions"}, /* Can always do filtering */
2123 2124 {"insert", (PyCFunction)index_insert, METH_VARARGS,
2124 2125 "insert an index entry"},
2125 2126 {"partialmatch", (PyCFunction)index_partialmatch, METH_VARARGS,
2126 2127 "match a potentially ambiguous node ID"},
2127 2128 {"stats", (PyCFunction)index_stats, METH_NOARGS,
2128 2129 "stats for the index"},
2129 2130 {NULL} /* Sentinel */
2130 2131 };
2131 2132
2132 2133 static PyGetSetDef index_getset[] = {
2133 2134 {"nodemap", (getter)index_nodemap, NULL, "nodemap", NULL},
2134 2135 {NULL} /* Sentinel */
2135 2136 };
2136 2137
2137 2138 static PyTypeObject indexType = {
2138 2139 PyObject_HEAD_INIT(NULL)
2139 2140 0, /* ob_size */
2140 2141 "parsers.index", /* tp_name */
2141 2142 sizeof(indexObject), /* tp_basicsize */
2142 2143 0, /* tp_itemsize */
2143 2144 (destructor)index_dealloc, /* tp_dealloc */
2144 2145 0, /* tp_print */
2145 2146 0, /* tp_getattr */
2146 2147 0, /* tp_setattr */
2147 2148 0, /* tp_compare */
2148 2149 0, /* tp_repr */
2149 2150 0, /* tp_as_number */
2150 2151 &index_sequence_methods, /* tp_as_sequence */
2151 2152 &index_mapping_methods, /* tp_as_mapping */
2152 2153 0, /* tp_hash */
2153 2154 0, /* tp_call */
2154 2155 0, /* tp_str */
2155 2156 0, /* tp_getattro */
2156 2157 0, /* tp_setattro */
2157 2158 0, /* tp_as_buffer */
2158 2159 Py_TPFLAGS_DEFAULT, /* tp_flags */
2159 2160 "revlog index", /* tp_doc */
2160 2161 0, /* tp_traverse */
2161 2162 0, /* tp_clear */
2162 2163 0, /* tp_richcompare */
2163 2164 0, /* tp_weaklistoffset */
2164 2165 0, /* tp_iter */
2165 2166 0, /* tp_iternext */
2166 2167 index_methods, /* tp_methods */
2167 2168 0, /* tp_members */
2168 2169 index_getset, /* tp_getset */
2169 2170 0, /* tp_base */
2170 2171 0, /* tp_dict */
2171 2172 0, /* tp_descr_get */
2172 2173 0, /* tp_descr_set */
2173 2174 0, /* tp_dictoffset */
2174 2175 (initproc)index_init, /* tp_init */
2175 2176 0, /* tp_alloc */
2176 2177 };
2177 2178
2178 2179 /*
2179 2180 * returns a tuple of the form (index, index, cache) with elements as
2180 2181 * follows:
2181 2182 *
2182 2183 * index: an index object that lazily parses RevlogNG records
2183 2184 * cache: if data is inlined, a tuple (index_file_content, 0), else None
2184 2185 *
2185 2186 * added complications are for backwards compatibility
2186 2187 */
2187 2188 static PyObject *parse_index2(PyObject *self, PyObject *args)
2188 2189 {
2189 2190 PyObject *tuple = NULL, *cache = NULL;
2190 2191 indexObject *idx;
2191 2192 int ret;
2192 2193
2193 2194 idx = PyObject_New(indexObject, &indexType);
2194 2195 if (idx == NULL)
2195 2196 goto bail;
2196 2197
2197 2198 ret = index_init(idx, args);
2198 2199 if (ret == -1)
2199 2200 goto bail;
2200 2201
2201 2202 if (idx->inlined) {
2202 2203 cache = Py_BuildValue("iO", 0, idx->data);
2203 2204 if (cache == NULL)
2204 2205 goto bail;
2205 2206 } else {
2206 2207 cache = Py_None;
2207 2208 Py_INCREF(cache);
2208 2209 }
2209 2210
2210 2211 tuple = Py_BuildValue("NN", idx, cache);
2211 2212 if (!tuple)
2212 2213 goto bail;
2213 2214 return tuple;
2214 2215
2215 2216 bail:
2216 2217 Py_XDECREF(idx);
2217 2218 Py_XDECREF(cache);
2218 2219 Py_XDECREF(tuple);
2219 2220 return NULL;
2220 2221 }
2221 2222
2222 2223 static char parsers_doc[] = "Efficient content parsing.";
2223 2224
2224 2225 PyObject *encodedir(PyObject *self, PyObject *args);
2225 2226 PyObject *pathencode(PyObject *self, PyObject *args);
2226 2227 PyObject *lowerencode(PyObject *self, PyObject *args);
2227 2228
2228 2229 static PyMethodDef methods[] = {
2229 2230 {"pack_dirstate", pack_dirstate, METH_VARARGS, "pack a dirstate\n"},
2230 2231 {"parse_manifest", parse_manifest, METH_VARARGS, "parse a manifest\n"},
2231 2232 {"parse_dirstate", parse_dirstate, METH_VARARGS, "parse a dirstate\n"},
2232 2233 {"parse_index2", parse_index2, METH_VARARGS, "parse a revlog index\n"},
2233 2234 {"asciilower", asciilower, METH_VARARGS, "lowercase an ASCII string\n"},
2234 2235 {"encodedir", encodedir, METH_VARARGS, "encodedir a path\n"},
2235 2236 {"pathencode", pathencode, METH_VARARGS, "fncache-encode a path\n"},
2236 2237 {"lowerencode", lowerencode, METH_VARARGS, "lower-encode a path\n"},
2237 2238 {NULL, NULL}
2238 2239 };
2239 2240
2240 2241 void dirs_module_init(PyObject *mod);
2241 2242
2242 2243 static void module_init(PyObject *mod)
2243 2244 {
2244 2245 /* This module constant has two purposes. First, it lets us unit test
2245 2246 * the ImportError raised without hard-coding any error text. This
2246 2247 * means we can change the text in the future without breaking tests,
2247 2248 * even across changesets without a recompile. Second, its presence
2248 2249 * can be used to determine whether the version-checking logic is
2249 2250 * present, which also helps in testing across changesets without a
2250 2251 * recompile. Note that this means the pure-Python version of parsers
2251 2252 * should not have this module constant. */
2252 2253 PyModule_AddStringConstant(mod, "versionerrortext", versionerrortext);
2253 2254
2254 2255 dirs_module_init(mod);
2255 2256
2256 2257 indexType.tp_new = PyType_GenericNew;
2257 2258 if (PyType_Ready(&indexType) < 0 ||
2258 2259 PyType_Ready(&dirstateTupleType) < 0)
2259 2260 return;
2260 2261 Py_INCREF(&indexType);
2261 2262 PyModule_AddObject(mod, "index", (PyObject *)&indexType);
2262 2263 Py_INCREF(&dirstateTupleType);
2263 2264 PyModule_AddObject(mod, "dirstatetuple",
2264 2265 (PyObject *)&dirstateTupleType);
2265 2266
2266 2267 nullentry = Py_BuildValue("iiiiiiis#", 0, 0, 0,
2267 2268 -1, -1, -1, -1, nullid, 20);
2268 2269 if (nullentry)
2269 2270 PyObject_GC_UnTrack(nullentry);
2270 2271 }
2271 2272
2272 2273 static int check_python_version(void)
2273 2274 {
2274 2275 PyObject *sys = PyImport_ImportModule("sys"), *ver;
2275 2276 long hexversion;
2276 2277 if (!sys)
2277 2278 return -1;
2278 2279 ver = PyObject_GetAttrString(sys, "hexversion");
2279 2280 Py_DECREF(sys);
2280 2281 if (!ver)
2281 2282 return -1;
2282 2283 hexversion = PyInt_AsLong(ver);
2283 2284 Py_DECREF(ver);
2284 2285 /* sys.hexversion is a 32-bit number by default, so the -1 case
2285 2286 * should only occur in unusual circumstances (e.g. if sys.hexversion
2286 2287 * is manually set to an invalid value). */
2287 2288 if ((hexversion == -1) || (hexversion >> 16 != PY_VERSION_HEX >> 16)) {
2288 2289 PyErr_Format(PyExc_ImportError, "%s: The Mercurial extension "
2289 2290 "modules were compiled with Python " PY_VERSION ", but "
2290 2291 "Mercurial is currently using Python with sys.hexversion=%ld: "
2291 2292 "Python %s\n at: %s", versionerrortext, hexversion,
2292 2293 Py_GetVersion(), Py_GetProgramFullPath());
2293 2294 return -1;
2294 2295 }
2295 2296 return 0;
2296 2297 }
2297 2298
2298 2299 #ifdef IS_PY3K
2299 2300 static struct PyModuleDef parsers_module = {
2300 2301 PyModuleDef_HEAD_INIT,
2301 2302 "parsers",
2302 2303 parsers_doc,
2303 2304 -1,
2304 2305 methods
2305 2306 };
2306 2307
2307 2308 PyMODINIT_FUNC PyInit_parsers(void)
2308 2309 {
2309 2310 PyObject *mod;
2310 2311
2311 2312 if (check_python_version() == -1)
2312 2313 return;
2313 2314 mod = PyModule_Create(&parsers_module);
2314 2315 module_init(mod);
2315 2316 return mod;
2316 2317 }
2317 2318 #else
2318 2319 PyMODINIT_FUNC initparsers(void)
2319 2320 {
2320 2321 PyObject *mod;
2321 2322
2322 2323 if (check_python_version() == -1)
2323 2324 return;
2324 2325 mod = Py_InitModule3("parsers", methods, parsers_doc);
2325 2326 module_init(mod);
2326 2327 }
2327 2328 #endif
General Comments 0
You need to be logged in to leave comments. Login now