[SystemSafety] C for OSs

[Olwen Morgan]

On 09/09/2019 18:17, Peter Bernard Ladkin wrote:

-<snip>-
> "Hard real-time" is a constraint deriving from the physical world. I would regard "hard real-time"
> as constraints of the order of O(200Hz).
>
> If you have really fast processors, and fast garbage-collection on garbage whose magnitude you can
> bound, you can maybe show that hard real-time constraints are satisfied even with
> garbage-collection. And if not now, then in a couple of HW-generations' time.

Agreed. Garbage collection is compatible with hard-real-time *if and 
only if* you can prove that the real-time constraints will always be 
met. I just wish that people would put more effort into developing 
garbage collectors that could meet such constraints.

Olwen


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20190909/3d4a6403/attachment.html>