Use optimized proximity for more cases.
[idzebra-moved-to-github.git] / rset / rsprox.c
1 /* This file is part of the Zebra server.
2    Copyright (C) 1994-2009 Index Data
3
4 Zebra is free software; you can redistribute it and/or modify it under
5 the terms of the GNU General Public License as published by the Free
6 Software Foundation; either version 2, or (at your option) any later
7 version.
8
9 Zebra is distributed in the hope that it will be useful, but WITHOUT ANY
10 WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
12 for more details.
13
14 You should have received a copy of the GNU General Public License
15 along with this program; if not, write to the Free Software
16 Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
17
18 */
19
20 #include <stdio.h>
21 #include <stdlib.h>
22 #include <string.h>
23 #include <assert.h>
24
25 #include <idzebra/util.h>
26 #include <rset.h>
27
28 #ifndef RSET_DEBUG
29 #define RSET_DEBUG 0
30 #endif
31
32 static RSFD r_open (RSET ct, int flag);
33 static void r_close (RSFD rfd);
34 static void r_delete (RSET ct);
35 static int r_forward(RSFD rfd, void *buf, TERMID *term, const void *untilbuf);
36 static int r_read (RSFD rfd, void *buf, TERMID *term);
37 static int r_write (RSFD rfd, const void *buf);
38 static void r_pos (RSFD rfd, double *current, double *total);
39 static void r_get_terms(RSET ct, TERMID *terms, int maxterms, int *curterm);
40
41 static const struct rset_control control = 
42 {
43     "prox",
44     r_delete,
45     r_get_terms,
46     r_open,
47     r_close,
48     r_forward,
49     r_pos,
50     r_read,
51     r_write,
52 };
53
54 struct rset_prox_info {
55     int ordered;
56     int exclusion;
57     int relation;
58     int distance;
59 };
60
61 struct rset_prox_rfd {
62     RSFD *rfd;
63     char **buf;  /* lookahead key buffers */
64     char *more;  /* more in each lookahead? */
65     TERMID *terms; /* lookahead terms */
66     zint hits;
67 };    
68
69
70 RSET rset_create_prox(NMEM nmem, struct rset_key_control *kcontrol,
71                       int scope,
72                       int rset_no, RSET *rset,
73                       int ordered, int exclusion,
74                       int relation, int distance)
75 {
76     RSET rnew = rset_create_base(&control, nmem, kcontrol, scope, 0,
77                                  rset_no, rset);
78     struct rset_prox_info *info;
79     info = (struct rset_prox_info *) nmem_malloc(rnew->nmem,sizeof(*info));
80     info->ordered = ordered;
81     info->exclusion = exclusion;
82     info->relation = relation;
83     info->distance = distance;
84     rnew->priv = info;
85     return rnew;
86 }
87
88 static void r_delete (RSET ct)
89 {
90 }
91
92 static RSFD r_open (RSET ct, int flag)
93 {
94     RSFD rfd;
95     struct rset_prox_rfd *p;
96     int i;
97
98     if (flag & RSETF_WRITE)
99     {
100         yaz_log(YLOG_FATAL, "prox set type is read-only");
101         return NULL;
102     }
103     rfd = rfd_create_base(ct);
104     if (rfd->priv)
105         p = (struct rset_prox_rfd *)(rfd->priv);
106     else {
107         p = (struct rset_prox_rfd *) nmem_malloc(ct->nmem,sizeof(*p));
108         rfd->priv = p;
109         p->more = nmem_malloc (ct->nmem,sizeof(*p->more) * ct->no_children);
110         p->buf = nmem_malloc(ct->nmem,sizeof(*p->buf) * ct->no_children);
111         p->terms = nmem_malloc(ct->nmem,sizeof(*p->terms) * ct->no_children);
112         for (i = 0; i < ct->no_children; i++) 
113         {
114             p->buf[i] = nmem_malloc(ct->nmem,ct->keycontrol->key_size);
115             p->terms[i] = 0;
116         }
117         p->rfd = nmem_malloc(ct->nmem,sizeof(*p->rfd) * ct->no_children);
118     }
119     yaz_log(YLOG_DEBUG,"rsprox (%s) open [%p] n=%d", 
120             ct->control->desc, rfd, ct->no_children);
121
122     for (i = 0; i < ct->no_children; i++) {
123         p->rfd[i] = rset_open (ct->children[i], RSETF_READ);
124         p->more[i] = rset_read (p->rfd[i], p->buf[i], &p->terms[i]);
125     }
126     p->hits = 0;
127     return rfd;
128 }
129
130 static void r_close (RSFD rfd)
131 {
132     RSET ct = rfd->rset;
133     struct rset_prox_rfd *p = (struct rset_prox_rfd *)(rfd->priv);
134     
135     int i;
136     for (i = 0; i<ct->no_children; i++)
137         rset_close(p->rfd[i]);
138 }
139
140 static int r_forward(RSFD rfd, void *buf, TERMID *term, const void *untilbuf)
141 {
142     RSET ct = rfd->rset;
143     struct rset_prox_info *info = (struct rset_prox_info *)(ct->priv);
144     struct rset_prox_rfd *p = (struct rset_prox_rfd *)(rfd->priv);
145     const struct rset_key_control *kctrl = ct->keycontrol;
146     int cmp = 0;
147     int i;
148
149     if (untilbuf)
150     {
151         /* it is enough to forward first one. Other will follow. */
152         if ( p->more[0] &&   /* was: cmp >=2 */
153            ((kctrl->cmp)(untilbuf, p->buf[0]) >= rfd->rset->scope) ) 
154             p->more[0] = rset_forward(p->rfd[0], p->buf[0], 
155                                       &p->terms[0], untilbuf);
156     }
157     if (info->ordered && info->relation <= 3 && info->exclusion == 0)
158     {
159         while (p->more[0]) 
160         {
161             for (i = 1; i < ct->no_children; i++)
162             {
163                 if (!p->more[i]) 
164                 {
165                     p->more[0] = 0; /* saves us a goto out of while loop. */
166                     break;
167                 }
168                 cmp = (*kctrl->cmp)(p->buf[i], p->buf[i-1]);
169                 if (cmp >= rfd->rset->scope)  /* not same record */
170                 {
171                     p->more[i-1] = rset_forward (p->rfd[i-1],
172                                                  p->buf[i-1],
173                                                  &p->terms[i-1],
174                                                  p->buf[i]);
175                     break;
176                 }
177                 else if (cmp > 0) /* within record and ordered */
178                 {
179                     zint diff = (*kctrl->getseq)(p->buf[i]) -
180                         (*kctrl->getseq)(p->buf[i-1]);
181                     if (info->relation == 3 && diff == info->distance)
182                         continue;
183                     else if (info->relation == 2 && diff <= info->distance)
184                         continue;
185                     else if (info->relation == 1 && diff < info->distance)
186                         continue;
187
188                     p->more[i-1] = rset_read(p->rfd[i-1], p->buf[i-1],
189                                              &p->terms[i-1]);
190                     break;
191                 }
192                 else  /* within record - wrong order */
193                 {
194                     p->more[i] = rset_forward(p->rfd[i], p->buf[i],
195                                               &p->terms[i], p->buf[i-1]);
196                     break;
197                 }
198             }
199             if (i == ct->no_children)
200             {
201                 i = ct->no_children-1;
202                 memcpy(buf, p->buf[i], kctrl->key_size);
203                 if (term)
204                     *term = p->terms[i];
205                 p->more[i] = rset_read(p->rfd[i], p->buf[i], &p->terms[i]);
206                 p->hits++;
207                 return 1;
208             }
209         }
210     }
211     else if (ct->no_children == 2)
212     {
213         while (p->more[0] && p->more[1]) 
214         {
215             int cmp = (*kctrl->cmp)(p->buf[0], p->buf[1]);
216             if ( cmp <= - rfd->rset->scope) /* cmp<-1*/
217                 p->more[0] = rset_forward (p->rfd[0], p->buf[0], 
218                                            &p->terms[0],p->buf[1]);
219             else if ( cmp >= rfd->rset->scope ) /* cmp>1 */
220                 p->more[1] = rset_forward (p->rfd[1], p->buf[1], 
221                                            &p->terms[1],p->buf[0]);
222             else
223             {
224                 zint seqno[500]; /* FIXME - why 500 ?? */
225                 int n = 0;
226                 
227                 seqno[n++] = (*kctrl->getseq)(p->buf[0]);
228                 while ((p->more[0] = rset_read (p->rfd[0],
229                                         p->buf[0], &p->terms[0])))
230                 {
231                     cmp = (*kctrl->cmp)(p->buf[0], p->buf[1]);
232                     if (cmp <= - rfd->rset->scope || cmp >= rfd->rset->scope)
233                         break;
234                     if (n < 500)
235                         seqno[n++] = (*kctrl->getseq)(p->buf[0]);
236                 }
237                 /* set up return buffer.. (save buf[1]) */
238                 memcpy(buf, p->buf[1], kctrl->key_size);
239                 if (term)
240                     *term = p->terms[1];
241                 while (1)
242                 {
243                     for (i = 0; i < n; i++)
244                     {
245                         zint diff = (*kctrl->getseq)(p->buf[1]) - seqno[i];
246                         int excl = info->exclusion;
247                         if (!info->ordered && diff < 0)
248                             diff = -diff;
249                         switch (info->relation)
250                         {
251                         case 1:      /* < */
252                             if (diff < info->distance && diff >= 0)
253                                 excl = !excl;
254                             break;
255                         case 2:      /* <= */
256                             if (diff <= info->distance && diff >= 0)
257                                 excl = !excl;
258                             break;
259                         case 3:      /* == */
260                             if (diff == info->distance && diff >= 0)
261                                 excl = !excl;
262                             break;
263                         case 4:      /* >= */
264                             if (diff >= info->distance && diff >= 0)
265                                 excl = !excl;
266                             break;
267                         case 5:      /* > */
268                             if (diff > info->distance && diff >= 0)
269                                 excl = !excl;
270                             break;
271                         case 6:      /* != */
272                             if (diff != info->distance && diff >= 0)
273                                 excl = !excl;
274                             break;
275                         }
276                         if (excl)
277                         {
278                             p->more[1] = rset_read ( p->rfd[1], p->buf[1],
279                                                      &p->terms[1]);
280                             p->hits++;
281                             return 1;
282                         }
283                     }
284                     p->more[1] = rset_read(p->rfd[1], p->buf[1], &p->terms[1]);
285                     if (!p->more[1])
286                         break;
287                     cmp = (*kctrl->cmp)(buf, p->buf[1]);
288                     if (cmp <= - rfd->rset->scope || cmp >= rfd->rset->scope)
289                         break;
290                 }
291             }
292         }
293     }
294     return 0;
295 }
296
297
298 static int r_read (RSFD rfd, void *buf, TERMID *term)
299 {
300     return r_forward(rfd, buf, term, 0);
301 }
302
303 static int r_write (RSFD rfd, const void *buf)
304 {
305     yaz_log(YLOG_FATAL, "prox set type is read-only");
306     return -1;
307 }
308
309 static void r_pos (RSFD rfd, double *current, double *total)
310 {
311     RSET ct = rfd->rset;
312     struct rset_prox_rfd *p = (struct rset_prox_rfd *)(rfd->priv);
313     int i;
314     double r = 0.0;
315     double cur, tot = -1.0;
316     double scur = 0.0, stot = 0.0;
317
318     yaz_log(YLOG_DEBUG, "rsprox_pos");
319
320     for (i = 0; i < ct->no_children; i++)
321     {
322         rset_pos(p->rfd[i],  &cur, &tot);
323         if (tot>0) {
324             scur += cur;
325             stot += tot;
326         }
327     }
328     if (tot <0) {  /* nothing found */
329         *current = -1;
330         *total = -1;
331     } else if (tot < 1) { /* most likely tot==0 */
332         *current = 0;
333         *total = 0;
334     } else {
335         r = scur/stot; 
336         *current = (double) p->hits;
337         *total=*current/r ; 
338     }
339     yaz_log(YLOG_DEBUG,"prox_pos: [%d] %0.1f/%0.1f= %0.4f ",
340                     i,*current, *total, r);
341 }
342
343 static void r_get_terms(RSET ct, TERMID *terms, int maxterms, int *curterm)
344 {
345     int i;
346     for (i = 0; i<ct->no_children; i++)
347         rset_getterms(ct->children[i], terms, maxterms, curterm);
348 }
349
350 /*
351  * Local variables:
352  * c-basic-offset: 4
353  * c-file-style: "Stroustrup"
354  * indent-tabs-mode: nil
355  * End:
356  * vim: shiftwidth=4 tabstop=8 expandtab
357  */
358