4 ms·
No. Soft real time can miss some real time deadline. AFAIK Linux RT kernel is designed to hit every deadline, but they just cannot offer a formal proof. So "m
by kbumsik 5y ago
No. Soft real time can miss some real time deadline.
AFAIK Linux RT kernel is designed to hit every deadline, but they just cannot offer a formal proof.
So "more-or-less" hard real time.
- ComputerGuru 5y agoOne of the problems is that the Linux RT kernel doesn’t stop you from using/writing devices/drivers that break those guarantees systemwide, as I understand it.
- colonwqbang 5y agoWhat kernel can give such a guarantee?
- dspillett 5y agoOne that has no such drivers? Which would then imply limited hardware support as the price for the guarantee, which is a trade-off a general purpose kernel like Linux isn't going to make.
- _flux 5y agoA microkernel one, potentially at least.
- lloeki 5y agoA kernel alone on a random hardware platform can't, but a kernel and a hardware core that watchdogs and flips the bird at a rt-violating driver+device, sure (I've toyed with VxWorks on devices that work this way). Usually when you're entering that realm of such requirements, you're rarely talking about off-the-shelf devices.
- snvzz 5y agoseL4[0]. I'm not aware of any other. [0]: https://sel4.systems/ https://sel4.systems/
- snvzz 5y ago>AFAIK Linux RT kernel is designed to hit every deadline, but they just cannot offer a formal proof. And that's why it is soft realtime. No guarantee, no hard realtime. It really is that simple.