-
Notifications
You must be signed in to change notification settings - Fork 0
/
0013-lab13-final.patch
132 lines (122 loc) · 3.56 KB
/
0013-lab13-final.patch
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
From 369f040e1ec72e2ffafa571680d96bcf5d7e2a4b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Herman?= <loic@loicherman.ch>
Date: Tue, 19 Dec 2023 15:20:57 +0100
Subject: [PATCH] feat: impl lab13
---
usr/host/memreplace.c | 90 +++++++++++++++++++++++++++++++++++++------
1 file changed, 79 insertions(+), 11 deletions(-)
diff --git a/usr/host/memreplace.c b/usr/host/memreplace.c
index d869121..ec0ae55 100644
--- a/usr/host/memreplace.c
+++ b/usr/host/memreplace.c
@@ -26,18 +26,76 @@
/* [0] = Valid on 1 bit */
uint8_t page_table[NB_PAGES] = {0};
+uint8_t tvc = 0;
+uint8_t tdu[NB_PAGES] = {0};
void replaceLRU(void) {
- // TO COMPLETE
+ int replace_index = -1;
+
+ for (size_t i = 0; i < NB_PAGES; ++i) {
+ if (!(page_table[i] & VALID_BIT_MASK)) {
+ continue;
+ }
+
+ if (replace_index == -1 || tdu[i] < tdu[replace_index]) {
+ replace_index = i;
+ }
+ }
+
+ if (replace_index == -1) {
+ fprintf(stderr, "Error: no page to replace found\n");
+ exit(1);
+ }
+
+ page_table[replace_index] &= ~VALID_BIT_MASK;
+ page_table[replace_index] |= SWAP_BIT_MASK;
}
+void incCompteur(int page_no) {
+ if (page_no >= 0 && page_no < NB_PAGES) {
+ tdu[page_no] = ++tvc;
+ }
+}
void replaceWSC(void) {
- // TO COMPLETE
+ int replace_index = -1;
+ for (size_t i = 0; i < NB_PAGES; ++i) {
+ if (!(page_table[i] & VALID_BIT_MASK)) {
+ continue;
+ }
+
+ // Store the index of the first page
+ if (replace_index == -1) {
+ replace_index = i;
+ }
+
+ // If the page is not referenced
+ if (page_table[i] & REF_BIT_MASK) {
+ page_table[i] &= ~REF_BIT_MASK;
+ continue;
+ }
+
+ if (tvc - tdu[i] > DELTA) {
+ replace_index = i;
+ break;
+ }
+ }
+
+ if (replace_index == -1) {
+ fprintf(stderr, "Error: no page to replace found\n");
+ exit(1);
+ }
+
+ page_table[replace_index] &= ~VALID_BIT_MASK;
+ page_table[replace_index] |= SWAP_BIT_MASK;
}
void updateTDU(void) {
- // TO COMPLETE
+ for (size_t i = 0; i < NB_PAGES; ++i) {
+ if (page_table[i] & REF_BIT_MASK & VALID_BIT_MASK) {
+ tdu[i] = tvc;
+ }
+ }
}
void init_page_table(void) {
@@ -121,17 +179,27 @@ int main(int argc, char *argv[]) {
if (page_no >= 0 && page_no < NB_PAGES) {
if (LRU_run) {
/* LRU Related */
- if (!(page_table[page_no] & VALID_BIT_MASK)) /* VALID = 0 ? */
- replaceLRU();
-
- // TO COMPLETE
- }
+ if (!(page_table[page_no] & VALID_BIT_MASK)) {
+ replaceLRU();
+ page_table[page_no] &= ~SWAP_BIT_MASK;
+ page_table[page_no] |= VALID_BIT_MASK;
+ }
+
+ incCompteur(page_no);
+ }
else {
/* WSC Related */
- if (!(page_table[page_no] & VALID_BIT_MASK)) /* VALID = 0 ? */
+ if (!(page_table[page_no] & VALID_BIT_MASK)) {
+ /* VALID = 0 ? */
replaceWSC();
-
- // TO COMPLETE
+ page_table[page_no] &= ~SWAP_BIT_MASK;
+ }
+
+ page_table[page_no] |= REF_BIT_MASK;
+ page_table[page_no] |= VALID_BIT_MASK;
+
+ tvc++;
+ updateTDU();
}
print_memory();
--
2.43.0