mythos
mythos copied to clipboard
ManyThreads
Many Threads Operating System
Capability maps can contain the original capability to a slice of kernel memory. From this kernel memory, another capability map can be allocated and then mapped into the capability space....
Capability maps are handled in a special way to avoid cyclic and recursive trouble during deletion. Each capabilty map contains its original capabilty internally and just a reference is exposed...
While working on the ihk support, @gypsephi found some mysterious code. For example, when initializing the kernel space, [a page is set invalid using a magic number](https://github.com/ManyThreads/mythos/blob/c504535041e770c875163352c8c593168f154f3f/kernel/boot/kernelspace-amd64/boot/init-kernelspace-common.cc#L44). Its the first...
When trying to delete a pagemap that references a lower level pagemap the deletion operation gets stuck in a deadlock.
This is needed for trap handling, interrupt handling, and generally any signalling between kernel objects and user space as well as between user space threads (execution contexts). Solution to issues...
implemented thread teams as mentioned in issue #192. implemented tbb ressource management as mentioned in issue #193. implemented capmap deletion as mention in issue #195. includes intel tbb support as...
Implemented user memory management as mentioned in #183. The user memory ranges are provided to init app via info frame. The test just prints the provided memory ranges. In order...
Asynchronous event handling (signals) in userspace, e.g., resource revocation, requires priority scheduling. Thus, an execution context that performers the event handling needs to be priority scheduled by a scheduling context.
Proposal for fixing the deadlock triggered by recursive Cap-deletion while holding CapEntry-locks. Please review thoroughly, this needs some work before being ready to merge and probably still has bugs. This...