Virtual Memory ACT

[jjscheel]

Technical Group

Privileged Spec IC

ratification-pkg

Virtual Memory

Technical Liaison

Dan Lustig, Andrea Mondelli

Task Category

Arch Tests

Task Sub Category

• gcc
• binutils
• gdb
• intrinsics
• Java
• KVM
• ld
• llvm
• Linux kernel
• QEMU
• Spike

Ratification Target

4Q2021

Statement of Work (SOW)

SOW: link

SOW Signoffs: (delete those not needed)

• Task group liaison sign-off date:
• Development partner sign-off date:
• ACT SIG sign-off date (if ACT work):

Waiver

• Freeze
• Ratification

Pull Request Details

• ACT Trap Handler PR: link - Merged
• ACT Tests PR: link - Merged
• Additional ACT Test PR: link - Open
• Shared SV39 coverpoints: Coverage PR, Test PR
• Shared SV48 coverpoints: Coverage PR, Test PR

[jjscheel]

Status from Umer:

VM ACTs: Tests are getting developed under supervision of Allen. PR is expected in the next month hopefully.

[UmerShahidengr]

Update Apr 25th, 2023 => The Trap handler PR has been merged successfully. It has removed all known bugs related to VM and ePMP trap. The PR details are here
Next week task => Complete macro definitions to setup page tables for SV39 and SV32, and start developing the tests according to the developed test plan

[jjscheel]

Update from Allen:

1. Got the next version of the trap handler working and tested (With help for 10xe folks) and merged.
   It is now possible to write tests of virtual memory, transition between protections mode easily, and write tests that can partition > permissions inside test code and data.
2. continue to partition and Test Format Spec into ACT Developer Spec and ACT User Spec, and continue to get new chair up to speed
3. no
4. I don't have any dates....

[jjscheel]

My sense is that this work won't be done by next meeting on May 9. So, let's try a target of May 23.

@UmerShahidengr, thoughts?

[UmerShahidengr]

I couldn't understand what do you mean by "done" here.
For this week's target, the macros for SV39 and SV32 have been updated, so there are no unresolved dependencies in writing ACTs for VM (for now). Some of the baseline tests are available here, but they are not ready for the PR yet. We are testing it through Sail log, and not putting anything in the signature file yet. I hope these tests will be updated in this week and some of the new tests will also be added for SV32.
But this project is still a long way away from completion (if you are calling completion as "done") as there are so many test and corner cases to cover but we will try to do our first PR during the next week.

[jjscheel]

@UmerShahidengr, great question. I should have been more specific.

I was asking when the PR would be submitted and accepted, i.e. "done with the all work". Do you have a target here?

[UmerShahidengr]

Progress Update May 7th, 2023 => Still working on defining the macros for SV39 page table setup.
Next Week goal => Develop basic tests for SV32 (RV32) and make the first PR.

In regards to the question of @jjscheel , our initial deadline for completing this work was 2023Q2 but it will take more time. @Abdulwadoodd can you comment on any target deadline?

[UmerShahidengr]

Update May 23rd, 2023 => Not much update on this task yet.

[jjscheel]

Thanks, @UmerShahidengr. Removed from today's agenda. Touch base next meeting.

@Abdulwadoodd , do you have a target completion date for all work?

[UmerShahidengr]

Update ⇾ June 12th, 2023:
@Abdulwadoodd is busy in client's project, so we have been searching for a helping hand within 10xE who will help him in this project. Sa far, there is not much update in this.

[jjscheel]

No worries. We can just let this sit at the time being. Thanks for update.

[jjscheel]

Marking as "Blocked" due to current constraints identified.

[UmerShahidengr]

Update ⇾ July 11th, 2023
No update.

[UmerShahidengr]

Update ⇾ December 12th, 2023
The review process is going on smoothly.

[UmerShahidengr]

Update ⇾ January 30th, 2024
The review process is going on.

[UmerShahidengr]

Update ⇾ March 5th, 2024
Stalled.

[jjscheel]

@UmerShahidengr, is this stalled in the community? If so, is it all pieces or some?

@allenjbaum, FYI.

[UmerShahidengr]

It is not stalled in the community, it is stalled from our side. After converting the coverpoints of PMP, @MuhammadHammad001 will translate VM coverpoints according to the new template too.

[UmerShahidengr]

Update ⇾ April 2nd, 2024
Stalled from our side. Coverpoint definitions will be resumed once PMP is done

[jjscheel]

Thanks for the update @UmerShahidengr. Please let us know when @MuhammadHammad001 starts his work on coverpoints.

[UmerShahidengr]

Update April 30th, 2024:
Since pmp work is complete from our side, @MuhammadHammad001 has been working on sv32 coverpoints which will be delivered before the next meeting

[UmerShahidengr]

Update June 11th, 2024:
@MuhammadHammad001 has been working on this one in parallel with PMP.

[jjscheel]

@UmerShahidengr, what is the status of the sv32 coverpoints? What remains to be completed?

[UmerShahidengr]

@jjscheel we have been targeting this quarter to complete these coverpoints, @MuhammadHammad001 has been working on this one.

[jjscheel]

Thanks. Does "this quarter" mean by end of June (2 weeks) or in the next 90 days?

[UmerShahidengr]

Our plan was to conclude it in this quarter means by the end of June but I doubt it will take some more time

[UmerShahidengr]

Update June 25th, 2024
@MuhammadHammad001 has been working on this one, the work is in progress for sv32 coverpoints.

[UmerShahidengr]

Update July 23rd, 2024:
@MuhammadHammad001 will be unavailable for next few weeks due to medical emergency in his family. This work will be resumed after the next month.

[jjscheel]

I'm sorry to hear that. Thanks for the update.

[UmerShahidengr]

Update October 29th, 2024:
The PR of SV32 will be merged in the next release meeting of SIG ARCH.
CC @allenjbaum

[UmerShahidengr]

PR of SV32 ACTs and coverpoints is still pending and awaiting final review by @allenjbaum