gwsystems / composite

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

For Review: User-level synchronous invocations and kernel support. #452

Closed evanstella closed 2 years ago

evanstella commented 2 years ago

Summary of this Pull Request (PR)

This PR encompasses all my recent work off of @ldierksheide's namespace implementation including an callgate using MPK for user-level synchronous invocations and kernel integration for detecting and handling invocations that are made from userspace. This is only for review at this stage; this PR covers a large portion of the system from low-level hardware support to higher-level library abstractions so I'm sure there is a lot that could be changed/improved.

Intent for your PR

Choose one (Mandatory):

Reviewers (Mandatory):

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

evanstella commented 2 years ago

we can talk about the kernel update in our meeting; i remember not being completely convinced my solution was the best we could come up with