To elaborate, the reason I am interested in scaling to loosely-coupled manycore systems is because it makes thread migration across cores much easier, and allows for much cleaner user-level APIs. Cross-core IPC is not efficient, and doing it on hot paths is an antipattern, but allowing it on slow paths allows user programs to migrate threads between cores where it is advantageous to do so, and avoids annoying thread-affine APIs.
Sincerely, Demi _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
