On Tue, Apr 24, 2012 at 9:20 PM, Lars Segerlund <lars.segerlund@xxxxxxxxx> wrote: > Hi , I'm the nasty person that pointed out that the rt-preempt > patches DOES provide and strive to provide deterministic HARD realtime > for the linux kernel. > > Hard realtime is as you pointed out bounded by being deterministic, > so all talk about microseconds and relative latencies are not really > relevant per your own definition. > > <a lot of other stuff cut> I have seen these discussions before: One camp equal hard real time with highly safety critical, deterministic systems. The Linux kernel can of course never be that. But Linux with preempt realtime is "hard realtime" in the sense meeting deadlines are deterministic and testable. I.e. you can use it as a platform for a system where not meeting a deadline is "bug" of equal severity as say a segmentation fault: You can be as sure to meet your deadlines if you have tested it in the lab as you can be sure not to have any other kind of bug. And no, it is not mathematically proven, and the kernel and your applications might have bugs still to be discovered. > > / regards, Lars Segerlund. > Esben -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
