gwsystems / composite

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

Formal PR of some bug fixes and code improvements #462

Closed betahxy closed 1 year ago

betahxy commented 1 year ago

Summary of this Pull Request (PR)

This PR mainly includes some bug fixes, including:

  1. Add support to multi-tenants Memcache application
  2. Fix sync lock and blkpt bugs
  3. Fix multi-core capability cacheline contention problem (TODO: improve this by putting the expanding logic in cos_cap_cpy_at)
  4. Remove VGA support because it is not multi-thread safe
  5. Fix some scheduling related bugs

    Intent for your PR

Choose one (Mandatory):

Reviewers (Mandatory):

(Specify @<github.com username(s)> of the reviewers. Ex: @user1, @user2) @gparmer @WenyuanShao @evanstella

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