Improving Embedded XINU Support for Multicore Architecture
In 2017 work began to port XINU to the Raspberry Pi 3B+. Since then, XINU is currently used on the Raspberry Pi 3B+ to teach Operating Systems at Marquette University. With the current implementation of XINU on the Raspberry Pi 3B+, some features are lacking multicore support. Similarly, other areas where multicore support is currently implemented could be improved. This summer, we hope to improve multicore support in existing areas of XINU as well as add multicore support in currently unsupported areas.
- Research, implement, and improve synchronization primitives in XINU
- Identify multicore areas of XINU that can be improved
- Improve upon existing areas which already support multicore architecture
- Research non-blocking concurrent data structures