lirs.c revision 1.3 1 1.3 yamt /* $NetBSD: lirs.c,v 1.3 2006/10/09 12:43:32 yamt Exp $ */
2 1.1 yamt
3 1.1 yamt /*-
4 1.1 yamt * Copyright (c)2005 YAMAMOTO Takashi,
5 1.1 yamt * All rights reserved.
6 1.1 yamt *
7 1.1 yamt * Redistribution and use in source and binary forms, with or without
8 1.1 yamt * modification, are permitted provided that the following conditions
9 1.1 yamt * are met:
10 1.1 yamt * 1. Redistributions of source code must retain the above copyright
11 1.1 yamt * notice, this list of conditions and the following disclaimer.
12 1.1 yamt * 2. Redistributions in binary form must reproduce the above copyright
13 1.1 yamt * notice, this list of conditions and the following disclaimer in the
14 1.1 yamt * documentation and/or other materials provided with the distribution.
15 1.1 yamt *
16 1.1 yamt * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
17 1.1 yamt * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
18 1.1 yamt * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
19 1.1 yamt * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
20 1.1 yamt * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21 1.1 yamt * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
22 1.1 yamt * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
23 1.1 yamt * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
24 1.1 yamt * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
25 1.1 yamt * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
26 1.1 yamt * SUCH DAMAGE.
27 1.1 yamt */
28 1.1 yamt
29 1.1 yamt #include <sys/queue.h>
30 1.1 yamt
31 1.1 yamt #include <assert.h>
32 1.1 yamt #include <stdio.h>
33 1.1 yamt #include <stdlib.h>
34 1.2 yamt #include <string.h>
35 1.1 yamt
36 1.1 yamt #if defined(DEBUG)
37 1.1 yamt #define DFPRINTF(...) fprintf(__VA_ARGS__)
38 1.1 yamt #else
39 1.1 yamt #define DFPRINTF(...) /* nothing */
40 1.1 yamt #endif
41 1.1 yamt
42 1.1 yamt #define MAXID 102400
43 1.1 yamt
44 1.1 yamt struct buf {
45 1.1 yamt TAILQ_ENTRY(buf) b_s;
46 1.1 yamt TAILQ_ENTRY(buf) b_q;
47 1.1 yamt int b_type;
48 1.1 yamt #define B_L 1
49 1.1 yamt #define B_H 2
50 1.1 yamt #define B_R 4
51 1.1 yamt int b_flags;
52 1.1 yamt #define B_S 8
53 1.1 yamt int b_irr;
54 1.1 yamt int b_lastts;
55 1.1 yamt };
56 1.1 yamt
57 1.1 yamt struct buf bufs[MAXID];
58 1.1 yamt
59 1.1 yamt TAILQ_HEAD(, buf) q_q;
60 1.1 yamt TAILQ_HEAD(, buf) q_s;
61 1.1 yamt
62 1.1 yamt int nlirs_max = 2;
63 1.1 yamt int nbufs_max = 3;
64 1.1 yamt int nlirs;
65 1.1 yamt int nbufs;
66 1.1 yamt
67 1.1 yamt void buf_print(struct buf *, char *);
68 1.1 yamt
69 1.1 yamt void
70 1.1 yamt buf_print(struct buf *bp, char *s)
71 1.1 yamt {
72 1.1 yamt
73 1.1 yamt DFPRINTF(stderr, "%d(%s,%s,%d)%s", (bp - bufs),
74 1.1 yamt (bp->b_type == B_L) ? "L" :
75 1.1 yamt (bp->b_type == (B_H | B_R)) ? "HR" :
76 1.1 yamt (bp->b_type == B_H) ? "H" :
77 1.1 yamt (bp->b_type == 0) ? "free" :
78 1.1 yamt "unknown",
79 1.1 yamt (bp->b_flags & B_S) ? "S" : "",
80 1.1 yamt bp->b_irr,
81 1.1 yamt s);
82 1.1 yamt }
83 1.1 yamt
84 1.1 yamt void
85 1.1 yamt dump()
86 1.1 yamt {
87 1.1 yamt #if defined(DEBUG)
88 1.1 yamt struct buf *bp;
89 1.1 yamt int i;
90 1.1 yamt
91 1.1 yamt DFPRINTF(stderr, "S: ");
92 1.1 yamt TAILQ_FOREACH(bp, &q_s, b_s) {
93 1.1 yamt buf_print(bp, " ");
94 1.1 yamt }
95 1.1 yamt DFPRINTF(stderr, "\n");
96 1.1 yamt
97 1.1 yamt DFPRINTF(stderr, "Q: ");
98 1.1 yamt TAILQ_FOREACH(bp, &q_q, b_q) {
99 1.1 yamt buf_print(bp, " ");
100 1.1 yamt }
101 1.1 yamt DFPRINTF(stderr, "\n");
102 1.1 yamt
103 1.1 yamt #if 0
104 1.1 yamt for (i = 0; i < 256; i++) {
105 1.1 yamt
106 1.1 yamt bp = &bufs[i];
107 1.1 yamt if (bufs->b_type == 0) {
108 1.1 yamt continue;
109 1.1 yamt }
110 1.1 yamt }
111 1.1 yamt #endif
112 1.1 yamt
113 1.1 yamt DFPRINTF(stderr, "nlirs=%d, nbufs=%d\n", nlirs, nbufs);
114 1.1 yamt #endif /* defined(DEBUG) */
115 1.1 yamt }
116 1.1 yamt
117 1.1 yamt void
118 1.1 yamt reclaim()
119 1.1 yamt {
120 1.1 yamt struct buf *bp;
121 1.1 yamt
122 1.1 yamt if (nbufs <= nbufs_max) {
123 1.1 yamt return;
124 1.1 yamt }
125 1.1 yamt
126 1.1 yamt bp = TAILQ_FIRST(&q_q);
127 1.1 yamt buf_print(bp, ": reclaim\n");
128 1.3 yamt assert(bp->b_type == (B_H | B_R));
129 1.1 yamt TAILQ_REMOVE(&q_q, bp, b_q);
130 1.1 yamt bp->b_type &= ~B_R;
131 1.1 yamt nbufs--;
132 1.1 yamt }
133 1.1 yamt
134 1.1 yamt void
135 1.1 yamt prune()
136 1.1 yamt {
137 1.1 yamt
138 1.1 yamt while (1) {
139 1.1 yamt struct buf *bp;
140 1.1 yamt
141 1.1 yamt bp = TAILQ_FIRST(&q_s);
142 1.1 yamt if (bp->b_type == B_L) {
143 1.1 yamt break;
144 1.1 yamt }
145 1.1 yamt buf_print(bp, ": prune\n");
146 1.1 yamt TAILQ_REMOVE(&q_s, bp, b_s);
147 1.1 yamt assert(bp->b_flags & B_S);
148 1.1 yamt bp->b_flags &= ~B_S;
149 1.1 yamt if ((bp->b_type & B_R) == 0) {
150 1.1 yamt bp->b_type &= ~B_H;
151 1.1 yamt }
152 1.1 yamt }
153 1.1 yamt }
154 1.1 yamt
155 1.1 yamt void
156 1.1 yamt reclaim_l()
157 1.1 yamt {
158 1.1 yamt struct buf *bp;
159 1.1 yamt
160 1.1 yamt if (nlirs <= nlirs_max) {
161 1.1 yamt return;
162 1.1 yamt }
163 1.1 yamt
164 1.1 yamt bp = TAILQ_FIRST(&q_s);
165 1.1 yamt buf_print(bp, ": reclaim_l\n");
166 1.1 yamt assert(bp->b_type == B_L);
167 1.1 yamt assert(bp->b_flags & B_S);
168 1.1 yamt bp->b_type = B_H | B_R;
169 1.1 yamt bp->b_flags &= ~B_S;
170 1.1 yamt TAILQ_REMOVE(&q_s, bp, b_s);
171 1.1 yamt TAILQ_INSERT_TAIL(&q_q, bp, b_q);
172 1.1 yamt nlirs--;
173 1.1 yamt prune();
174 1.1 yamt }
175 1.1 yamt
176 1.1 yamt void
177 1.1 yamt init(int n)
178 1.1 yamt {
179 1.1 yamt
180 1.1 yamt TAILQ_INIT(&q_q);
181 1.1 yamt TAILQ_INIT(&q_s);
182 1.1 yamt memset(&bufs, 0, sizeof(bufs));
183 1.1 yamt nbufs_max = n;
184 1.1 yamt #if 0
185 1.1 yamt nlirs_max = nbufs_max * 2 / 3;
186 1.1 yamt #else
187 1.1 yamt nlirs_max = nbufs_max * 90 / 100;
188 1.1 yamt #endif
189 1.1 yamt }
190 1.1 yamt
191 1.1 yamt struct object {int dummy;};
192 1.1 yamt int ts = 1;
193 1.1 yamt
194 1.1 yamt void
195 1.1 yamt fault(struct object *dummy, int i)
196 1.1 yamt {
197 1.1 yamt struct buf *bp;
198 1.1 yamt
199 1.1 yamt DFPRINTF(stderr, "----------\n");
200 1.1 yamt dump();
201 1.1 yamt
202 1.1 yamt DFPRINTF(stderr, "---------- ts %d\n", ts);
203 1.1 yamt
204 1.1 yamt bp = &bufs[i];
205 1.1 yamt buf_print(bp, ": access\n");
206 1.1 yamt if (bp->b_type == 0) {
207 1.1 yamt bp->b_irr = -1;
208 1.1 yamt } else {
209 1.1 yamt bp->b_irr = ts - bp->b_lastts - 1;
210 1.1 yamt }
211 1.1 yamt bp->b_lastts = ts;
212 1.1 yamt
213 1.1 yamt if (bp->b_type == B_L) {
214 1.1 yamt assert(bp->b_flags & B_S);
215 1.1 yamt TAILQ_REMOVE(&q_s, bp, b_s);
216 1.1 yamt TAILQ_INSERT_TAIL(&q_s, bp, b_s);
217 1.1 yamt prune();
218 1.1 yamt goto done;
219 1.1 yamt }
220 1.1 yamt if (bp->b_type == (B_H | B_R)) {
221 1.1 yamt if (bp->b_flags & B_S) {
222 1.1 yamt TAILQ_REMOVE(&q_s, bp, b_s);
223 1.1 yamt TAILQ_REMOVE(&q_q, bp, b_q);
224 1.1 yamt bp->b_type = B_L;
225 1.1 yamt nlirs++;
226 1.1 yamt reclaim_l();
227 1.1 yamt } else {
228 1.1 yamt TAILQ_REMOVE(&q_q, bp, b_q);
229 1.1 yamt TAILQ_INSERT_TAIL(&q_q, bp, b_q);
230 1.1 yamt }
231 1.1 yamt TAILQ_INSERT_TAIL(&q_s, bp, b_s);
232 1.1 yamt bp->b_flags |= B_S;
233 1.1 yamt goto done;
234 1.1 yamt }
235 1.1 yamt nbufs++;
236 1.1 yamt reclaim();
237 1.1 yamt if ((bp->b_flags & (B_R | B_L)) == 0) {
238 1.1 yamt printf("%d\n", i);
239 1.1 yamt }
240 1.1 yamt if (bp->b_type == 0) {
241 1.1 yamt buf_print(bp, ": new\n");
242 1.1 yamt if (nlirs < nlirs_max) {
243 1.1 yamt bp->b_type = B_L;
244 1.1 yamt TAILQ_INSERT_TAIL(&q_s, bp, b_s);
245 1.1 yamt bp->b_flags |= B_S;
246 1.1 yamt nlirs++;
247 1.1 yamt } else {
248 1.1 yamt bp->b_type = B_H;
249 1.1 yamt }
250 1.1 yamt }
251 1.1 yamt if (bp->b_type == B_H) {
252 1.1 yamt if (bp->b_flags & B_S) {
253 1.1 yamt TAILQ_REMOVE(&q_s, bp, b_s);
254 1.1 yamt bp->b_type = B_L;
255 1.1 yamt nlirs++;
256 1.1 yamt reclaim_l();
257 1.1 yamt } else {
258 1.1 yamt bp->b_type |= B_R;
259 1.1 yamt TAILQ_INSERT_TAIL(&q_q, bp, b_q);
260 1.1 yamt }
261 1.1 yamt TAILQ_INSERT_TAIL(&q_s, bp, b_s);
262 1.1 yamt bp->b_flags |= B_S;
263 1.1 yamt }
264 1.1 yamt done:
265 1.1 yamt ts++;
266 1.1 yamt }
267 1.1 yamt
268 1.1 yamt void
269 1.1 yamt test(void)
270 1.1 yamt {
271 1.1 yamt struct object obj;
272 1.1 yamt memset(&obj, 0, sizeof(obj));
273 1.1 yamt char *ln;
274 1.1 yamt
275 1.1 yamt for (;; free(ln)) {
276 1.1 yamt int i;
277 1.1 yamt int ch;
278 1.1 yamt
279 1.1 yamt ln = fparseln(stdin, NULL, NULL, NULL, 0);
280 1.1 yamt if (ln == NULL) {
281 1.1 yamt break;
282 1.1 yamt }
283 1.1 yamt ch = *ln;
284 1.1 yamt if (ch == '\0') {
285 1.1 yamt break;
286 1.1 yamt }
287 1.1 yamt #if 1
288 1.1 yamt if (ch == 'd') {
289 1.1 yamt dump();
290 1.1 yamt continue;
291 1.1 yamt }
292 1.1 yamt #endif
293 1.1 yamt i = atoi(ln);
294 1.1 yamt fault(&obj, i);
295 1.1 yamt }
296 1.1 yamt }
297 1.1 yamt
298 1.1 yamt int
299 1.1 yamt main(int argc, char *argv[])
300 1.1 yamt {
301 1.1 yamt
302 1.1 yamt init(atoi(argv[1]));
303 1.1 yamt test();
304 1.1 yamt exit(0);
305 1.1 yamt }
306