search

gwsystems / composite

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

Udpserver init thread allocation change #305

Closed RobertGiff closed 6 years ago

RobertGiff commented 6 years ago

Udpserver init thread allocation should not happen within the booter but within the RK instead.

Currently, the RK requests that the booter provides the thdcap associated with that init thread when the RK wants to add that thread to its scheduling context. This is hacky as the the init thread is already within the scheduling context of the booter. To solve this, the RK just needs to allocate the init thread itself while leaving the booter to create the comp itself.

RobertGiff commented 6 years ago

Rump Kernel is not creating the init thread for the udpserver component.