1 /* xf86drmSL.c -- Skip list support
2 * Created: Mon May 10 09:28:13 1999 by faith@precisioninsight.com
4 * Copyright 1999 Precision Insight, Inc., Cedar Park, Texas.
7 * Permission is hereby granted, free of charge, to any person obtaining a
8 * copy of this software and associated documentation files (the "Software"),
9 * to deal in the Software without restriction, including without limitation
10 * the rights to use, copy, modify, merge, publish, distribute, sublicense,
11 * and/or sell copies of the Software, and to permit persons to whom the
12 * Software is furnished to do so, subject to the following conditions:
14 * The above copyright notice and this permission notice (including the next
15 * paragraph) shall be included in all copies or substantial portions of the
18 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
19 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
20 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
21 * PRECISION INSIGHT AND/OR ITS SUPPLIERS BE LIABLE FOR ANY CLAIM, DAMAGES OR
22 * OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE,
23 * ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
24 * DEALINGS IN THE SOFTWARE.
26 * Authors: Rickard E. (Rik) Faith <faith@valinux.com>
30 * This file contains a straightforward skip list implementation.n
36 * [Pugh90] William Pugh. Skip Lists: A Probabilistic Alternative to
37 * Balanced Trees. CACM 33(6), June 1990, pp. 668-676.
44 #include "libdrm_macros.h"
47 #define SL_LIST_MAGIC 0xfacade00LU
48 #define SL_ENTRY_MAGIC 0x00fab1edLU
49 #define SL_FREED_MAGIC 0xdecea5edLU
50 #define SL_MAX_LEVEL 16
51 #define SL_RANDOM_SEED 0xc01055a1LU
53 #define SL_RANDOM_DECL static void *state = NULL
54 #define SL_RANDOM_INIT(seed) if (!state) state = drmRandomCreate(seed)
55 #define SL_RANDOM drmRandom(state)
57 typedef struct SLEntry
{
58 unsigned long magic
; /* SL_ENTRY_MAGIC */
62 struct SLEntry
*forward
[1]; /* variable sized array */
63 } SLEntry
, *SLEntryPtr
;
65 typedef struct SkipList
{
66 unsigned long magic
; /* SL_LIST_MAGIC */
70 SLEntryPtr p0
; /* Position for iteration */
71 } SkipList
, *SkipListPtr
;
73 static SLEntryPtr
SLCreateEntry(int max_level
, unsigned long key
, void *value
)
77 if (max_level
< 0 || max_level
> SL_MAX_LEVEL
) max_level
= SL_MAX_LEVEL
;
79 entry
= drmMalloc(sizeof(*entry
)
80 + (max_level
+ 1) * sizeof(entry
->forward
[0]));
81 if (!entry
) return NULL
;
82 entry
->magic
= SL_ENTRY_MAGIC
;
85 entry
->levels
= max_level
+ 1;
90 static int SLRandomLevel(void)
95 SL_RANDOM_INIT(SL_RANDOM_SEED
);
97 while ((SL_RANDOM
& 0x01) && level
< SL_MAX_LEVEL
) ++level
;
101 drm_public
void *drmSLCreate(void)
106 list
= drmMalloc(sizeof(*list
));
107 if (!list
) return NULL
;
108 list
->magic
= SL_LIST_MAGIC
;
110 list
->head
= SLCreateEntry(SL_MAX_LEVEL
, 0, NULL
);
113 for (i
= 0; i
<= SL_MAX_LEVEL
; i
++) list
->head
->forward
[i
] = NULL
;
118 drm_public
int drmSLDestroy(void *l
)
120 SkipListPtr list
= (SkipListPtr
)l
;
124 if (list
->magic
!= SL_LIST_MAGIC
) return -1; /* Bad magic */
126 for (entry
= list
->head
; entry
; entry
= next
) {
127 if (entry
->magic
!= SL_ENTRY_MAGIC
) return -1; /* Bad magic */
128 next
= entry
->forward
[0];
129 entry
->magic
= SL_FREED_MAGIC
;
133 list
->magic
= SL_FREED_MAGIC
;
138 static SLEntryPtr
SLLocate(void *l
, unsigned long key
, SLEntryPtr
*update
)
140 SkipListPtr list
= (SkipListPtr
)l
;
144 if (list
->magic
!= SL_LIST_MAGIC
) return NULL
;
146 for (i
= list
->level
, entry
= list
->head
; i
>= 0; i
--) {
147 while (entry
->forward
[i
] && entry
->forward
[i
]->key
< key
)
148 entry
= entry
->forward
[i
];
152 return entry
->forward
[0];
155 drm_public
int drmSLInsert(void *l
, unsigned long key
, void *value
)
157 SkipListPtr list
= (SkipListPtr
)l
;
159 SLEntryPtr update
[SL_MAX_LEVEL
+ 1];
163 if (list
->magic
!= SL_LIST_MAGIC
) return -1; /* Bad magic */
165 entry
= SLLocate(list
, key
, update
);
167 if (entry
&& entry
->key
== key
) return 1; /* Already in list */
170 level
= SLRandomLevel();
171 if (level
> list
->level
) {
172 level
= ++list
->level
;
173 update
[level
] = list
->head
;
176 entry
= SLCreateEntry(level
, key
, value
);
178 /* Fix up forward pointers */
179 for (i
= 0; i
<= level
; i
++) {
180 entry
->forward
[i
] = update
[i
]->forward
[i
];
181 update
[i
]->forward
[i
] = entry
;
185 return 0; /* Added to table */
188 drm_public
int drmSLDelete(void *l
, unsigned long key
)
190 SkipListPtr list
= (SkipListPtr
)l
;
191 SLEntryPtr update
[SL_MAX_LEVEL
+ 1];
195 if (list
->magic
!= SL_LIST_MAGIC
) return -1; /* Bad magic */
197 entry
= SLLocate(list
, key
, update
);
199 if (!entry
|| entry
->key
!= key
) return 1; /* Not found */
201 /* Fix up forward pointers */
202 for (i
= 0; i
<= list
->level
; i
++) {
203 if (update
[i
]->forward
[i
] == entry
)
204 update
[i
]->forward
[i
] = entry
->forward
[i
];
207 entry
->magic
= SL_FREED_MAGIC
;
210 while (list
->level
&& !list
->head
->forward
[list
->level
]) --list
->level
;
215 drm_public
int drmSLLookup(void *l
, unsigned long key
, void **value
)
217 SkipListPtr list
= (SkipListPtr
)l
;
218 SLEntryPtr update
[SL_MAX_LEVEL
+ 1];
221 entry
= SLLocate(list
, key
, update
);
223 if (entry
&& entry
->key
== key
) {
231 drm_public
int drmSLLookupNeighbors(void *l
, unsigned long key
,
232 unsigned long *prev_key
, void **prev_value
,
233 unsigned long *next_key
, void **next_value
)
235 SkipListPtr list
= (SkipListPtr
)l
;
236 SLEntryPtr update
[SL_MAX_LEVEL
+ 1] = {0};
239 SLLocate(list
, key
, update
);
241 *prev_key
= *next_key
= key
;
242 *prev_value
= *next_value
= NULL
;
245 *prev_key
= update
[0]->key
;
246 *prev_value
= update
[0]->value
;
248 if (update
[0]->forward
[0]) {
249 *next_key
= update
[0]->forward
[0]->key
;
250 *next_value
= update
[0]->forward
[0]->value
;
257 drm_public
int drmSLNext(void *l
, unsigned long *key
, void **value
)
259 SkipListPtr list
= (SkipListPtr
)l
;
262 if (list
->magic
!= SL_LIST_MAGIC
) return -1; /* Bad magic */
267 list
->p0
= entry
->forward
[0];
269 *value
= entry
->value
;
276 drm_public
int drmSLFirst(void *l
, unsigned long *key
, void **value
)
278 SkipListPtr list
= (SkipListPtr
)l
;
280 if (list
->magic
!= SL_LIST_MAGIC
) return -1; /* Bad magic */
282 list
->p0
= list
->head
->forward
[0];
283 return drmSLNext(list
, key
, value
);
286 /* Dump internal data structures for debugging. */
287 drm_public
void drmSLDump(void *l
)
289 SkipListPtr list
= (SkipListPtr
)l
;
293 if (list
->magic
!= SL_LIST_MAGIC
) {
294 printf("Bad magic: 0x%08lx (expected 0x%08lx)\n",
295 list
->magic
, SL_LIST_MAGIC
);
299 printf("Level = %d, count = %d\n", list
->level
, list
->count
);
300 for (entry
= list
->head
; entry
; entry
= entry
->forward
[0]) {
301 if (entry
->magic
!= SL_ENTRY_MAGIC
) {
302 printf("Bad magic: 0x%08lx (expected 0x%08lx)\n",
303 list
->magic
, SL_ENTRY_MAGIC
);
305 printf("\nEntry %p <0x%08lx, %p> has %2d levels\n",
306 entry
, entry
->key
, entry
->value
, entry
->levels
);
307 for (i
= 0; i
< entry
->levels
; i
++) {
308 if (entry
->forward
[i
]) {
309 printf(" %2d: %p <0x%08lx, %p>\n",
312 entry
->forward
[i
]->key
,
313 entry
->forward
[i
]->value
);
315 printf(" %2d: %p\n", i
, entry
->forward
[i
]);