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