Home | History | Annotate | Line # | Download | only in pdsim
      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