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