1 // See LICENSE for license details.
10 #include "processor.h"
11 #include "memtracer.h"
14 // virtual memory configuration
16 const reg_t LEVELS
= sizeof(pte_t
) == 8 ? 3 : 2;
17 const reg_t PTIDXBITS
= 10;
18 const reg_t PGSHIFT
= PTIDXBITS
+ (sizeof(pte_t
) == 8 ? 3 : 2);
19 const reg_t PGSIZE
= 1 << PGSHIFT
;
20 const reg_t VPN_BITS
= PTIDXBITS
* LEVELS
;
21 const reg_t PPN_BITS
= 8*sizeof(reg_t
) - PGSHIFT
;
22 const reg_t VA_BITS
= VPN_BITS
+ PGSHIFT
;
24 // this class implements a processor's port into the virtual memory system.
25 // an MMU and instruction cache are maintained for simulator performance.
29 mmu_t(char* _mem
, size_t _memsz
);
32 // template for functions that load an aligned value from memory
33 #define load_func(type) \
34 type##_t load_##type(reg_t addr) { \
35 if(unlikely(addr % sizeof(type##_t))) \
38 throw trap_load_address_misaligned; \
40 reg_t paddr = translate(addr, sizeof(type##_t), false, false); \
41 return *(type##_t*)(mem + paddr); \
43 type##_t load_reserved_##type(reg_t addr) { \
44 load_reservation = addr; \
45 return load_##type(addr); \
48 // load value from memory at aligned address; zero extend to register width
54 // load value from memory at aligned address; sign extend to register width
60 // template for functions that store an aligned value to memory
61 #define store_func(type) \
62 void store_##type(reg_t addr, type##_t val) { \
63 if(unlikely(addr % sizeof(type##_t))) \
66 throw trap_store_address_misaligned; \
68 reg_t paddr = translate(addr, sizeof(type##_t), true, false); \
69 *(type##_t*)(mem + paddr) = val; \
71 reg_t store_conditional_##type(reg_t addr, type##_t val) { \
72 if (addr == load_reservation) { \
73 store_##type(addr, val); \
78 // store value to memory at aligned address
90 // load instruction from memory at aligned address.
91 inline insn_fetch_t
load_insn(reg_t addr
)
93 reg_t idx
= (addr
/sizeof(insn_t::itype
)) % ICACHE_ENTRIES
;
94 if (unlikely(icache_tag
[idx
] != addr
))
96 reg_t paddr
= translate(addr
, sizeof(insn_t::itype
), false, true);
98 fetch
.insn
.itype
= *(decltype(insn_t::itype
)*)(mem
+ paddr
);
99 fetch
.func
= proc
->decode_insn(fetch
.insn
);
101 reg_t idx
= (paddr
/sizeof(insn_t::itype
)) % ICACHE_ENTRIES
;
102 icache_tag
[idx
] = addr
;
103 icache_data
[idx
] = fetch
;
105 if (tracer
.interested_in_range(paddr
, paddr
+ sizeof(insn_t::itype
), false, true))
107 icache_tag
[idx
] = -1;
108 tracer
.trace(paddr
, sizeof(insn_t::itype
), false, true);
111 return icache_data
[idx
];
114 reg_t
get_badvaddr() { return badvaddr
; }
115 reg_t
get_ptbr() { return ptbr
; }
116 void set_ptbr(reg_t addr
) { ptbr
= addr
& ~(PGSIZE
-1); }
117 void set_processor(processor_t
* p
) { proc
= p
; flush_tlb(); }
121 void yield_load_reservation() { load_reservation
= -1; }
123 void register_memtracer(memtracer_t
*);
128 reg_t load_reservation
;
132 memtracer_list_t tracer
;
134 // implement an instruction cache for simulator performance
135 static const reg_t ICACHE_ENTRIES
= 256;
136 insn_fetch_t icache_data
[ICACHE_ENTRIES
];
138 // implement a TLB for simulator performance
139 static const reg_t TLB_ENTRIES
= 256;
140 reg_t tlb_data
[TLB_ENTRIES
];
141 reg_t tlb_insn_tag
[TLB_ENTRIES
];
142 reg_t tlb_load_tag
[TLB_ENTRIES
];
143 reg_t tlb_store_tag
[TLB_ENTRIES
];
144 reg_t icache_tag
[ICACHE_ENTRIES
];
146 // finish translation on a TLB miss and upate the TLB
147 reg_t
refill_tlb(reg_t addr
, reg_t bytes
, bool store
, bool fetch
);
149 // perform a page table walk for a given virtual address
150 pte_t
walk(reg_t addr
);
152 // translate a virtual address to a physical address
153 reg_t
translate(reg_t addr
, reg_t bytes
, bool store
, bool fetch
)
155 reg_t idx
= (addr
>> PGSHIFT
) % TLB_ENTRIES
;
157 reg_t
* tlb_tag
= fetch
? tlb_insn_tag
: store
? tlb_store_tag
:tlb_load_tag
;
158 reg_t expected_tag
= addr
& ~(PGSIZE
-1);
159 if(likely(tlb_tag
[idx
] == expected_tag
))
160 return ((uintptr_t)addr
& (PGSIZE
-1)) + tlb_data
[idx
];
162 return refill_tlb(addr
, bytes
, store
, fetch
);
165 friend class processor_t
;