search

sid-agrawal / OSmosis

1 stars 0 forks source link

Have execution-context as an entity in the model #39

Open sid-agrawal opened 3 months ago

sid-agrawal commented 3 months ago

Perhaps stating that PD is an active entity in the system was not the right phrasing, which threw off the readers. So, it might be more fitting to have a notion of an execution-context as the active entity. This EC can be attached to a PD to get resources.

This way, two threads are ECs that use the same PD. An LWC, is just one EC switch between two PDs.

sid-agrawal commented 3 months ago

This paper could be relevant

Image

sid-agrawal commented 3 months ago

Look at #7 for past context.

sid-agrawal commented 3 months ago

Needs more convincing as to why do we need a separate EC, is the HW thread not that?

sid-agrawal commented 1 week ago

As per Hugo's SoK there are two types of compartmentalization abstractions:

(there are also other dimensions along which the abstraction can be split. but that is not important here).

Most non-compartmentalization-related techniques are thread-coupled, and this notion of decoupling EC with PD seems only applicable to compartmentalization techniques. So, this task should be moved out of FP2.