gwsystems / composite

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

Critical-section in `sl_thd_alloc` and `sl_thd_free` #264

Closed phanikishoreg closed 7 years ago

phanikishoreg commented 7 years ago

Summary of this Pull Request (PR)

Reference: PR #262

Intent for your PR

Choose one (Mandatory):

Reviewers (Mandatory):

@gparmer @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 7 years ago

To be clear, the TODO still applies, and we need to fix that.