Cheri-research/Toooba
1
0
Fork 0
Code Issues 1 Pull Requests Actions Packages Projects Releases Wiki Activity

Allow consuming TLB response while TLB is being flushed.

Browse Source
This commit is contained in:
Jonathan Woodruff
2024-01-18 13:04:21 +00:00
parent 83c756a4f4
commit d30bd71e72
1 changed files with 10 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
src_Core/RISCY_OOO/procs/RV64G_OOO/FetchStage.bsv
View File

@@ -541,17 +541,19 @@ module mkFetchStage(FetchStage);
buffered_translation_virt_pc <= replicate(Invalid);
endrule
rule getTlbResp(iTlb.flush_done);
rule getTlbResp;
// Get TLB response
TlbResp tr <- tlb_server.response.get;
translateAddress.deq;
// Check if, because of pipelining, we already have this vpn.
Bool found = elem(Valid(getVpn(translateAddress.first)), buffered_translation_virt_pc);
if (!found) begin
buffered_translation_virt_pc[buffered_translation_count] <= Valid(getVpn(translateAddress.first));
buffered_translation_tlb_resp[buffered_translation_count] <= tr;
buffered_translation_count <= buffered_translation_count + 1;
end
if (iTlb.flush_done) begin
// Check if, because of pipelining, we already have this vpn.
Bool found = elem(Valid(getVpn(translateAddress.first)), buffered_translation_virt_pc);
if (!found) begin
buffered_translation_virt_pc[buffered_translation_count] <= Valid(getVpn(translateAddress.first));
buffered_translation_tlb_resp[buffered_translation_count] <= tr;
buffered_translation_count <= buffered_translation_count + 1;
end
end else buffered_translation_virt_pc <= replicate(Invalid);
if (verbosity >= 2) $display ("%d Fetch Translate: pc: %x, ", cur_cycle, translateAddress.first, fshow (tr));
endrule