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