1 /* $Id: rsbool.c,v 1.28 2004-06-02 12:31:23 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);
260 if (p->more_l && p->more_r)
261 cmp = (*info->cmp)(p->buf_l, p->buf_r);
266 if ( (cmp<0) && (p->more_l) )
268 memcpy (buf, p->buf_l, info->key_size);
269 *term_index = p->term_index_l;
271 logf (LOG_DEBUG, "rsbool_forward returning L (cmp=%d)",cmp);
274 } else if ( (cmp>0) && (p->more_r) )
276 memcpy (buf, p->buf_r, info->key_size);
277 *term_index = p->term_index_r + info->term_index_s;
279 logf (LOG_DEBUG, "rsbool_forward returning R (cmp=%d)",cmp);
283 /* return ( p->more_l || p->more_r); */
287 static int r_count (RSET ct)
308 static int r_read_and (RSFD rfd, void *buf, int *term_index)
310 struct rset_bool_rfd *p = (struct rset_bool_rfd *) rfd;
311 struct rset_bool_info *info = p->info;
313 while (p->more_l || p->more_r)
317 if (p->more_l && p->more_r)
318 cmp = (*info->cmp)(p->buf_l, p->buf_r);
324 logf (LOG_DEBUG, "r_read_and [%p] looping: m=%d/%d c=%d t=%d",
325 rfd, p->more_l, p->more_r, cmp, p->tail);
326 (*info->log_item)(LOG_DEBUG, p->buf_l, "left ");
327 (*info->log_item)(LOG_DEBUG, p->buf_r, "right ");
331 memcpy (buf, p->buf_l, info->key_size);
332 *term_index = p->term_index_l;
333 p->more_l = rset_read (info->rset_l, p->rfd_l, p->buf_l,
339 memcpy (buf, p->buf_r, info->key_size);
340 *term_index = p->term_index_r + info->term_index_s;
341 p->more_r = rset_read (info->rset_r, p->rfd_r, p->buf_r,
345 logf (LOG_DEBUG, "r_read_and [%p] returning R m=%d/%d c=%d",
346 rfd, p->more_l, p->more_r, cmp);
347 key_logdump(LOG_DEBUG,buf);
348 (*info->log_item)(LOG_DEBUG, buf, "");
354 memcpy (buf, p->buf_l, info->key_size);
355 *term_index = p->term_index_l;
356 p->more_l = rset_read (info->rset_l, p->rfd_l, p->buf_l,
360 logf (LOG_DEBUG, "r_read_and [%p] returning L m=%d/%d c=%d",
361 rfd, p->more_l, p->more_r, cmp);
362 (*info->log_item)(LOG_DEBUG, buf, "");
366 else if (cmp > 1) /* cmp == 2 */
370 memcpy (buf, p->buf_r, info->key_size);
371 *term_index = p->term_index_r + info->term_index_s;
373 p->more_r = rset_read (info->rset_r, p->rfd_r, p->buf_r,
377 if (!p->more_r || (*info->cmp)(p->buf_r, buf) > 1)
380 logf (LOG_DEBUG, "r_read_and returning C m=%d/%d c=%d",
381 p->more_l, p->more_r, cmp);
382 (*info->log_item)(LOG_DEBUG, buf, "");
390 memcpy (buf, p->buf_r, info->key_size);
391 *term_index = p->term_index_r + info->term_index_s;
392 p->more_r = rset_read (info->rset_r, p->rfd_r, p->buf_r,
394 if (!p->more_r || (*info->cmp)(p->buf_r, buf) > 1)
397 logf (LOG_DEBUG, "r_read_and [%p] returning R tail m=%d/%d c=%d",
398 rfd, p->more_l, p->more_r, cmp);
399 (*info->log_item)(LOG_DEBUG, buf, "");
405 logf (LOG_DEBUG, "r_read_and [%p] about to forward R m=%d/%d c=%d",
406 rfd, p->more_l, p->more_r, cmp);
408 if (p->more_r && p->more_l)
409 p->more_r = rset_forward(
410 info->rset_r, p->rfd_r,
411 p->buf_r, &p->term_index_r,
412 (info->cmp), p->buf_l);
414 return 0; /* no point in reading further */
421 memcpy (buf, p->buf_l, info->key_size);
422 *term_index = p->term_index_l;
423 p->more_l = rset_read (info->rset_l, p->rfd_l, p->buf_l,
427 if (!p->more_l || (*info->cmp)(p->buf_l, buf) > 1)
430 logf (LOG_DEBUG, "r_read_and [%p] returning R tail m=%d/%d c=%d",
431 rfd, p->more_l, p->more_r, cmp);
432 (*info->log_item)(LOG_DEBUG, buf, "");
439 memcpy (buf, p->buf_l, info->key_size);
440 *term_index = p->term_index_l;
441 p->more_l = rset_read (info->rset_l, p->rfd_l, p->buf_l,
443 if (!p->more_l || (*info->cmp)(p->buf_l, buf) > 1)
446 logf (LOG_DEBUG, "r_read_and [%p] returning L tail m=%d/%d c=%d",
447 rfd, p->more_l, p->more_r, cmp);
448 (*info->log_item)(LOG_DEBUG, buf, "");
455 logf (LOG_DEBUG, "r_read_and [%p] about to forward L m=%d/%d c=%d",
456 rfd, p->more_l, p->more_r, cmp);
458 if (p->more_r && p->more_l)
459 p->more_l = rset_forward(
460 /* p->more_l = rset_default_forward( */
461 info->rset_l, p->rfd_l,
462 p->buf_l, &p->term_index_l,
463 (info->cmp), p->buf_r);
465 return 0; /* no point in reading further */
471 logf (LOG_DEBUG, "r_read_and [%p] reached its end",rfd);
476 static int r_read_or (RSFD rfd, void *buf, int *term_index)
478 struct rset_bool_rfd *p = (struct rset_bool_rfd *) rfd;
479 struct rset_bool_info *info = p->info;
481 while (p->more_l || p->more_r)
485 if (p->more_l && p->more_r)
486 cmp = (*info->cmp)(p->buf_l, p->buf_r);
493 memcpy (buf, p->buf_l, info->key_size);
494 *term_index = p->term_index_l;
495 p->more_l = rset_read (info->rset_l, p->rfd_l, p->buf_l,
497 p->more_r = rset_read (info->rset_r, p->rfd_r, p->buf_r,
500 logf (LOG_DEBUG, "r_read_or returning A m=%d/%d c=%d",
501 p->more_l, p->more_r, cmp);
502 (*info->log_item)(LOG_DEBUG, buf, "");
508 memcpy (buf, p->buf_r, info->key_size);
509 *term_index = p->term_index_r + info->term_index_s;
510 p->more_r = rset_read (info->rset_r, p->rfd_r, p->buf_r,
513 logf (LOG_DEBUG, "r_read_or returning B m=%d/%d c=%d",
514 p->more_l, p->more_r, cmp);
515 (*info->log_item)(LOG_DEBUG, buf, "");
521 memcpy (buf, p->buf_l, info->key_size);
522 *term_index = p->term_index_l;
523 p->more_l = rset_read (info->rset_l, p->rfd_l, p->buf_l,
526 logf (LOG_DEBUG, "r_read_or returning C m=%d/%d c=%d",
527 p->more_l, p->more_r, cmp);
528 (*info->log_item)(LOG_DEBUG, buf, "");
536 static int r_read_not (RSFD rfd, void *buf, int *term_index)
538 struct rset_bool_rfd *p = (struct rset_bool_rfd *) rfd;
539 struct rset_bool_info *info = p->info;
541 while (p->more_l || p->more_r)
545 if (p->more_l && p->more_r)
546 cmp = (*info->cmp)(p->buf_l, p->buf_r);
553 memcpy (buf, p->buf_l, info->key_size);
554 *term_index = p->term_index_l;
555 p->more_l = rset_read (info->rset_l, p->rfd_l, p->buf_l,
561 p->more_r = rset_read (info->rset_r, p->rfd_r, p->buf_r,
564 p->more_r = rset_forward(
565 info->rset_r, p->rfd_r,
566 p->buf_r, &p->term_index_r,
567 (info->cmp), p->buf_l);
571 memcpy (buf, p->buf_l, info->key_size);
574 p->more_l = rset_read (info->rset_l, p->rfd_l, p->buf_l,
578 cmp = (*info->cmp)(p->buf_l, buf);
579 } while (cmp >= -1 && cmp <= 1);
582 p->more_r = rset_read (info->rset_r, p->rfd_r, p->buf_r,
586 cmp = (*info->cmp)(p->buf_r, buf);
587 } while (cmp >= -1 && cmp <= 1);
594 static int r_write (RSFD rfd, const void *buf)
596 logf (LOG_FATAL, "bool set type is read-only");