Module proc

process and synchronization model

Modules

• exec
  exec a user program by loading the binary and replace the current address space TODO rework this code, this is only POC
• loader
  a simple loader for statically linked elf.
• sched
• sync
  the sync module defines the OOStuBS prologue/epilogue synchronization model for interrupt and preemptive scheduling. Read docs/sync_model.md for details
• task

Functions

• init
  this is an optimization: reserve spaces in sync array to avoid runtime allocation inside of critical sections Note that the rust alloc collections doesn’t have a API like “set this vec to at least xyz capacity.” so we can only do a implicit reserve here. Meaning if this is called after the the queues receive elements, they will have more capacity than specified here. safety: this function assmues interrupt is disabled