gwsystems / composite

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

Bugfixes in the scheduling library #286

Closed phanikishoreg closed 7 years ago

phanikishoreg commented 7 years ago

Summary of this Pull Request (PR)

Many of the changes are a result of debugging in rump2cos env and I figured it is useful to merge asap as it includes fundamental parts of the sl like sl_thd_aep_alloc() bug.

Major changes: sched lib:

kernel:

Intent for your PR

Choose one (Mandatory):

Reviewers (Mandatory):

@gparmer

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

phanikishoreg commented 7 years ago

Thank you for the review, I've had to fix 2 other bugs and will include that in this PR. Sorry for the delayed response to your review.

phanikishoreg commented 7 years ago

@gparmer I've updated the PR with fixes for your previous feedback and other bugs identified either in testing or static analysis. Please review, thank you!

phanikishoreg commented 7 years ago

Thank you for the merge, there is a bug in my usage of PS lib fixed that and created a new PR.