How does a developer come up with code ? How does he know what to write, and if it’s a correct thing to do ? Spoiler alert: it’s much more art than science.
Continue reading “Scenarios and invariants”Month: February 2019
X15 – Progress report – 2018Q3-4
As a result of personal events, the project has been mostly stalled these last six months. However a few changes were made, the most important being :
- Interrupt handling rework on x86, with the merging of the trap module into the cpu module.
- Red zone support on x86 (amd64), which is required for full ABI compliance.
- Suspend/resume thread operations, similar to SIGSTOP/SIGCONT on Unix.