Skip to content

TLB lookup optimization #31

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 16 commits into
base: main
Choose a base branch
from
Open

TLB lookup optimization #31

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
aafc5d7
Implement a single-stage translation
febyeji Jul 26, 2025
3672633
Update tlb_lookup
febyeji Sep 5, 2025
df50d3b
Rewrite the fault handling with ets3
febyeji Oct 7, 2025
8580ced
Run VM model without MMU
febyeji Oct 7, 2025
6f42deb
Elements instance for vatlb
febyeji Oct 9, 2025
c9df3e3
Message formatting
febyeji Oct 9, 2025
9a6e5cb
Pass EOR test with address translation
febyeji Oct 9, 2025
5ee385e
Pass LDR test with address translation
febyeji Oct 9, 2025
a120345
Pass STRLDR test with address translation
febyeji Oct 10, 2025
91245b5
Pass LDRPT test with address translation
febyeji Oct 10, 2025
fac43eb
Remove redundant TLB retrievals during non-deterministic choices on t…
febyeji Oct 11, 2025
67bd096
Fix is_changed predicate
febyeji Oct 13, 2025
2a8e402
Fix MP test
febyeji Oct 13, 2025
fd4ae97
Optimize TLB fetches
febyeji Oct 15, 2025
1f0c516
Make an incremental update on VATLB
febyeji Oct 15, 2025
715674f
Remove comments
febyeji Oct 15, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading