3 ms·
there is an L4 based effort for HPC at TU Dresden called FFMK. the reality is that for HPC you still need high-performance implementation of fast-path system ca
by bgeerofi 8y ago
there is an L4 based effort for HPC at TU Dresden called FFMK. the reality is that for HPC you still need high-performance implementation of fast-path system calls (e.g., memory and process management) and the traditional micro-kernel architecture is not suitable for that. as for POSIX, you don't have a choice, people who write apps are used to POSIX and Linux.