gwsystems / composite

A component-based OS
composite.seas.gwu.edu
184 stars 70 forks source link

User-level synchronous invocations using Intel MPK #461

Closed evanstella closed 1 year ago

evanstella commented 1 year ago

Summary of this Pull Request (PR)

UPDATE 12/4/2022: Merged with gwsystems/main locally to resolve conflict. See tests below. Ready for review and integration.

User-level synchronous invocations using Intel MPK. This PR is for review of the feature and includes both kernel and user-level modifications to enable the feature. Performance tests are still required. This PR is for review; not ready to be merged yet.

Intent for your PR

Choose one (Mandatory):

Reviewers (Mandatory):

@gparmer @WenyuanShao @betahxy @Others

Code Quality

As part of this pull request, I've considered the following:

Style:

Code Craftsmanship:

Testing

I've tested the code using the following test programs (provide list here):

gparmer commented 1 year ago

Do you want a fresh review? Looks like not much of logical substance has changed, so I wanted to ask to make sure.

gparmer commented 1 year ago

Thanks for this massive amount of work! We're good to intergrate.