gwsystems / composite

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

For Discussion: User-level synchronous invocation using shared VAS implementation #448

Closed evanstella closed 2 years ago

evanstella commented 2 years ago

Summary of this Pull Request (PR)

This PR is for discussion only. I pulled @ldierksheide 's code and implemented a primitive MPK callgate. This code is a baseline for a discussion on what the final user-level invocations should look like. The most notable thing missing from this iteration is a user-level kernel to facilitate IPC and kernel-level support for fault and abuse handling.

Intent for your PR

Choose one (Mandatory):

Reviewers (Mandatory):

@gparmer @ldierksheide @WenyuanShao

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):