22 Jul
2020
22 Jul
'20
8:16 p.m.
On Tue, Jul 21, 2020 at 10:40:21PM -0700, Bakul Shah wrote:
On Jul 21, 2020, at 8:13 PM, tytso(a)mit.edu wrote:
One of the few CS PhD thesis worth reading.
http://www.scs.stanford.edu/nyu/04fa/sched/readings/synthesis.pdf
The issue is that there aren't that many good real-time programmers
Tavailable. Furthermore, many real-time applications need to do a lot
more than data acquisition, so having access to POSIX API's in the
real time task is very attractive. Sure, you can try to interchange
information between the real-time task and the POSIX task, but that's
a lot more complicated, and that's where the "not enough real-time
programmers" rears its head again.
...
Sure, there will be some number of real-time task which needs
single-digit millisecond real-time guarantees --- in which case you
can write it in C using Real-time Linux. And for those really cases
where you need latencies which are in the tens of microsecnds; then
yeah, at that point you might need specialized OS's. But the cases
where you need fast, hard real-time is pretty rare compared to those
cases where real-time Java is sufficient.
The approach taken by Massalin in their Synthesis Kernel seemed quite
promising.