1 /* $Id: rsbool.c,v 1.29 2004-06-09 11:11:33 adam Exp $
2 Copyright (C) 1995,1996,1997,1998,1999,2000,2001,2002,2003,2004
5 This file is part of the Zebra server.
7 Zebra is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 2, or (at your option) any later
12 Zebra is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
17 You should have received a copy of the GNU General Public License
18 along with Zebra; see the file LICENSE.zebra. If not, write to the
19 Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA
35 static void *r_create(RSET ct, const struct rset_control *sel, void *parms);
36 static RSFD r_open (RSET ct, int flag);
37 static void r_close (RSFD rfd);
38 static void r_delete (RSET ct);
39 static void r_rewind (RSFD rfd);
40 static int r_forward(RSET ct, RSFD rfd, void *buf, int *term_index,
41 int (*cmpfunc)(const void *p1, const void *p2),
42 const void *untilbuf);
43 static int r_count (RSET ct);
44 static int r_read_and (RSFD rfd, void *buf, int *term_index);
45 static int r_read_or (RSFD rfd, void *buf, int *term_index);
46 static int r_read_not (RSFD rfd, void *buf, int *term_index);
47 static int r_write (RSFD rfd, const void *buf);
49 static const struct rset_control control_and =
57 r_forward, /* rset_default_forward, */
63 static const struct rset_control control_or =
81 static const struct rset_control control_not =
96 const struct rset_control *rset_kind_and = &control_and;
97 const struct rset_control *rset_kind_or = &control_or;
98 const struct rset_control *rset_kind_not = &control_not;
100 struct rset_bool_info {
105 int (*cmp)(const void *p1, const void *p2);
106 void (*log_item)(int logmask, const void *p, const char *txt);
107 struct rset_bool_rfd *rfd_list;
110 struct rset_bool_rfd {
120 struct rset_bool_rfd *next;
121 struct rset_bool_info *info;
124 static void *r_create (RSET ct, const struct rset_control *sel, void *parms)
126 rset_bool_parms *bool_parms = (rset_bool_parms *) parms;
127 struct rset_bool_info *info;
129 info = (struct rset_bool_info *) xmalloc (sizeof(*info));
130 info->key_size = bool_parms->key_size;
131 info->rset_l = bool_parms->rset_l;
132 info->rset_r = bool_parms->rset_r;
133 if (rset_is_volatile(info->rset_l) || rset_is_volatile(info->rset_r))
134 ct->flags |= RSET_FLAG_VOLATILE;
135 info->cmp = bool_parms->cmp;
136 info->log_item = bool_parms->log_item;
137 info->rfd_list = NULL;
139 info->term_index_s = info->rset_l->no_rset_terms;
141 info->rset_l->no_rset_terms + info->rset_r->no_rset_terms;
142 ct->rset_terms = (RSET_TERM *)
143 xmalloc (sizeof (*ct->rset_terms) * ct->no_rset_terms);
145 memcpy (ct->rset_terms, info->rset_l->rset_terms,
146 info->rset_l->no_rset_terms * sizeof(*ct->rset_terms));
147 memcpy (ct->rset_terms + info->rset_l->no_rset_terms,
148 info->rset_r->rset_terms,
149 info->rset_r->no_rset_terms * sizeof(*ct->rset_terms));
153 static RSFD r_open (RSET ct, int flag)
155 struct rset_bool_info *info = (struct rset_bool_info *) ct->buf;
156 struct rset_bool_rfd *rfd;
158 if (flag & RSETF_WRITE)
160 logf (LOG_FATAL, "bool set type is read-only");
163 rfd = (struct rset_bool_rfd *) xmalloc (sizeof(*rfd));
164 logf(LOG_DEBUG,"rsbool (%s) open [%p]", ct->control->desc, rfd);
165 rfd->next = info->rfd_list;
166 info->rfd_list = rfd;
169 rfd->buf_l = xmalloc (info->key_size);
170 rfd->buf_r = xmalloc (info->key_size);
171 rfd->rfd_l = rset_open (info->rset_l, RSETF_READ);
172 rfd->rfd_r = rset_open (info->rset_r, RSETF_READ);
173 rfd->more_l = rset_read (info->rset_l, rfd->rfd_l, rfd->buf_l,
175 rfd->more_r = rset_read (info->rset_r, rfd->rfd_r, rfd->buf_r,
181 static void r_close (RSFD rfd)
183 struct rset_bool_info *info = ((struct rset_bool_rfd*)rfd)->info;
184 struct rset_bool_rfd **rfdp;
186 for (rfdp = &info->rfd_list; *rfdp; rfdp = &(*rfdp)->next)
189 xfree ((*rfdp)->buf_l);
190 xfree ((*rfdp)->buf_r);
191 rset_close (info->rset_l, (*rfdp)->rfd_l);
192 rset_close (info->rset_r, (*rfdp)->rfd_r);
193 *rfdp = (*rfdp)->next;
197 logf (LOG_FATAL, "r_close but no rfd match!");
201 static void r_delete (RSET ct)
203 struct rset_bool_info *info = (struct rset_bool_info *) ct->buf;
205 assert (info->rfd_list == NULL);
206 xfree (ct->rset_terms);
207 rset_delete (info->rset_l);
208 rset_delete (info->rset_r);
212 static void r_rewind (RSFD rfd)
214 struct rset_bool_info *info = ((struct rset_bool_rfd*)rfd)->info;
215 struct rset_bool_rfd *p = (struct rset_bool_rfd *) rfd;
217 logf (LOG_DEBUG, "rsbool_rewind");
218 rset_rewind (info->rset_l, p->rfd_l);
219 rset_rewind (info->rset_r, p->rfd_r);
220 p->more_l = rset_read (info->rset_l, p->rfd_l, p->buf_l, &p->term_index_l);
221 p->more_r = rset_read (info->rset_r, p->rfd_r, p->buf_r, &p->term_index_r);
224 static int r_forward (RSET ct, RSFD rfd, void *buf, int *term_index,
225 int (*cmpfunc)(const void *p1, const void *p2),
226 const void *untilbuf)
228 struct rset_bool_info *info = ((struct rset_bool_rfd*)rfd)->info;
229 struct rset_bool_rfd *p = (struct rset_bool_rfd *) rfd;
234 logf (LOG_DEBUG, "rsbool_forward (L) [%p] '%s' (ct=%p rfd=%p m=%d,%d)",
235 rfd, ct->control->desc, ct, rfd, p->more_l, p->more_r);
237 if ( p->more_l && ((cmpfunc)(untilbuf,p->buf_l)==2) )
238 p->more_l = rset_forward(info->rset_l, p->rfd_l, p->buf_l,
239 &p->term_index_l, info->cmp, untilbuf);
241 logf (LOG_DEBUG, "rsbool_forward (R) [%p] '%s' (ct=%p rfd=%p m=%d,%d)",
242 rfd, ct->control->desc, ct, rfd, p->more_l, p->more_r);
244 if ( p->more_r && ((cmpfunc)(untilbuf,p->buf_r)==2))
245 p->more_r = rset_forward(info->rset_r, p->rfd_r, p->buf_r,
246 &p->term_index_r, info->cmp, untilbuf);
248 logf (LOG_DEBUG, "rsbool_forward [%p] calling read, m=%d,%d t=%d",
249 rfd, p->more_l, p->more_r, p->tail);
253 rc = rset_read(ct,rfd,buf,term_index);
255 logf (LOG_DEBUG, "rsbool_forward returning [%p] %d m=%d,%d",
256 rfd, rc, p->more_l, p->more_r);
261 static int r_count (RSET ct)
282 static int r_read_and (RSFD rfd, void *buf, int *term_index)
284 struct rset_bool_rfd *p = (struct rset_bool_rfd *) rfd;
285 struct rset_bool_info *info = p->info;
287 while (p->more_l || p->more_r)
291 if (p->more_l && p->more_r)
292 cmp = (*info->cmp)(p->buf_l, p->buf_r);
298 logf (LOG_DEBUG, "r_read_and [%p] looping: m=%d/%d c=%d t=%d",
299 rfd, p->more_l, p->more_r, cmp, p->tail);
300 (*info->log_item)(LOG_DEBUG, p->buf_l, "left ");
301 (*info->log_item)(LOG_DEBUG, p->buf_r, "right ");
305 memcpy (buf, p->buf_l, info->key_size);
306 *term_index = p->term_index_l;
307 p->more_l = rset_read (info->rset_l, p->rfd_l, p->buf_l,
313 memcpy (buf, p->buf_r, info->key_size);
314 *term_index = p->term_index_r + info->term_index_s;
315 p->more_r = rset_read (info->rset_r, p->rfd_r, p->buf_r,
319 logf (LOG_DEBUG, "r_read_and [%p] returning R m=%d/%d c=%d",
320 rfd, p->more_l, p->more_r, cmp);
321 key_logdump(LOG_DEBUG,buf);
322 (*info->log_item)(LOG_DEBUG, buf, "");
328 memcpy (buf, p->buf_l, info->key_size);
329 *term_index = p->term_index_l;
330 p->more_l = rset_read (info->rset_l, p->rfd_l, p->buf_l,
334 logf (LOG_DEBUG, "r_read_and [%p] returning L m=%d/%d c=%d",
335 rfd, p->more_l, p->more_r, cmp);
336 (*info->log_item)(LOG_DEBUG, buf, "");
340 else if (cmp > 1) /* cmp == 2 */
344 memcpy (buf, p->buf_r, info->key_size);
345 *term_index = p->term_index_r + info->term_index_s;
347 p->more_r = rset_read (info->rset_r, p->rfd_r, p->buf_r,
351 if (!p->more_r || (*info->cmp)(p->buf_r, buf) > 1)
354 logf (LOG_DEBUG, "r_read_and returning C m=%d/%d c=%d",
355 p->more_l, p->more_r, cmp);
356 (*info->log_item)(LOG_DEBUG, buf, "");
364 memcpy (buf, p->buf_r, info->key_size);
365 *term_index = p->term_index_r + info->term_index_s;
366 p->more_r = rset_read (info->rset_r, p->rfd_r, p->buf_r,
368 if (!p->more_r || (*info->cmp)(p->buf_r, buf) > 1)
371 logf (LOG_DEBUG, "r_read_and [%p] returning R tail m=%d/%d c=%d",
372 rfd, p->more_l, p->more_r, cmp);
373 (*info->log_item)(LOG_DEBUG, buf, "");
380 logf (LOG_DEBUG, "r_read_and [%p] about to forward R m=%d/%d c=%d",
381 rfd, p->more_l, p->more_r, cmp);
383 if (p->more_r && p->more_l)
384 p->more_r = rset_forward(
385 info->rset_r, p->rfd_r,
386 p->buf_r, &p->term_index_r,
387 (info->cmp), p->buf_l);
389 return 0; /* no point in reading further */
396 memcpy (buf, p->buf_l, info->key_size);
397 *term_index = p->term_index_l;
398 p->more_l = rset_read (info->rset_l, p->rfd_l, p->buf_l,
402 if (!p->more_l || (*info->cmp)(p->buf_l, buf) > 1)
405 logf (LOG_DEBUG, "r_read_and [%p] returning R tail m=%d/%d c=%d",
406 rfd, p->more_l, p->more_r, cmp);
407 (*info->log_item)(LOG_DEBUG, buf, "");
414 memcpy (buf, p->buf_l, info->key_size);
415 *term_index = p->term_index_l;
416 p->more_l = rset_read (info->rset_l, p->rfd_l, p->buf_l,
418 if (!p->more_l || (*info->cmp)(p->buf_l, buf) > 1)
421 logf (LOG_DEBUG, "r_read_and [%p] returning L tail m=%d/%d c=%d",
422 rfd, p->more_l, p->more_r, cmp);
423 (*info->log_item)(LOG_DEBUG, buf, "");
430 logf (LOG_DEBUG, "r_read_and [%p] about to forward L m=%d/%d c=%d",
431 rfd, p->more_l, p->more_r, cmp);
433 if (p->more_r && p->more_l)
434 p->more_l = rset_forward(
435 /* p->more_l = rset_default_forward( */
436 info->rset_l, p->rfd_l,
437 p->buf_l, &p->term_index_l,
438 (info->cmp), p->buf_r);
440 return 0; /* no point in reading further */
446 logf (LOG_DEBUG, "r_read_and [%p] reached its end",rfd);
451 static int r_read_or (RSFD rfd, void *buf, int *term_index)
453 struct rset_bool_rfd *p = (struct rset_bool_rfd *) rfd;
454 struct rset_bool_info *info = p->info;
456 while (p->more_l || p->more_r)
460 if (p->more_l && p->more_r)
461 cmp = (*info->cmp)(p->buf_l, p->buf_r);
468 memcpy (buf, p->buf_l, info->key_size);
469 *term_index = p->term_index_l;
470 p->more_l = rset_read (info->rset_l, p->rfd_l, p->buf_l,
472 p->more_r = rset_read (info->rset_r, p->rfd_r, p->buf_r,
475 logf (LOG_DEBUG, "r_read_or returning A m=%d/%d c=%d",
476 p->more_l, p->more_r, cmp);
477 (*info->log_item)(LOG_DEBUG, buf, "");
483 memcpy (buf, p->buf_r, info->key_size);
484 *term_index = p->term_index_r + info->term_index_s;
485 p->more_r = rset_read (info->rset_r, p->rfd_r, p->buf_r,
488 logf (LOG_DEBUG, "r_read_or returning B m=%d/%d c=%d",
489 p->more_l, p->more_r, cmp);
490 (*info->log_item)(LOG_DEBUG, buf, "");
496 memcpy (buf, p->buf_l, info->key_size);
497 *term_index = p->term_index_l;
498 p->more_l = rset_read (info->rset_l, p->rfd_l, p->buf_l,
501 logf (LOG_DEBUG, "r_read_or returning C m=%d/%d c=%d",
502 p->more_l, p->more_r, cmp);
503 (*info->log_item)(LOG_DEBUG, buf, "");
511 static int r_read_not (RSFD rfd, void *buf, int *term_index)
513 struct rset_bool_rfd *p = (struct rset_bool_rfd *) rfd;
514 struct rset_bool_info *info = p->info;
516 while (p->more_l || p->more_r)
520 if (p->more_l && p->more_r)
521 cmp = (*info->cmp)(p->buf_l, p->buf_r);
528 memcpy (buf, p->buf_l, info->key_size);
529 *term_index = p->term_index_l;
530 p->more_l = rset_read (info->rset_l, p->rfd_l, p->buf_l,
537 p->more_r = rset_read (info->rset_r, p->rfd_r, p->buf_r,
540 p->more_r = rset_forward(
541 info->rset_r, p->rfd_r,
542 p->buf_r, &p->term_index_r,
543 (info->cmp), p->buf_l);
548 memcpy (buf, p->buf_l, info->key_size);
551 p->more_l = rset_read (info->rset_l, p->rfd_l, p->buf_l,
555 cmp = (*info->cmp)(p->buf_l, buf);
556 } while (cmp >= -1 && cmp <= 1);
559 p->more_r = rset_read (info->rset_r, p->rfd_r, p->buf_r,
563 cmp = (*info->cmp)(p->buf_r, buf);
564 } while (cmp >= -1 && cmp <= 1);
571 static int r_write (RSFD rfd, const void *buf)
573 logf (LOG_FATAL, "bool set type is read-only");