Top all-time · #10046
bristot.me
Personal blog · bristot.mesystemsprogramming
bristot.me is a personal blog at bristot.me about systems and programming. Since 2020, 8 different Hacker News readers have linked it 9 times, most often “Demystifying the Real-Time Linux Scheduling Latency”. No feed was found, so read it on the site itself.
Too few sampled comments (4) to say how often HN recommends it.?
Why HN links it
Personal blog of Daniel Bristot de Oliveira, linked for writing on Linux context-switch latency, Preempt RT guarantees and runtime verification. Most comments are bare links or citations.
Summarised by Claude from a sample of 4 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- Demystifying the Real-Time Linux Scheduling Latency4 people · 4 mentions · first linked 2020-07-09
What Hacker News says?
If you read the article linked to in the article I linked to above (which is fairly out of date, from 2010): https://blog.tsunanet.net/2010/11/how-long-does-it-take-to-m... you will find that on Linux a context switch takes about 30 usec. More recent measurements that take account of the effect of the TLB flush put the range at 10-300usec. That means that in 2010, on Linux , you could reasonably expect to do at leas…
Comment linking /demystifying-the-real-time-linux-latency/
on “Bespoke Synth 1.0 – open-source software modular synthesizer”Submitted Demystifying the Real-Time Linux Scheduling Latency as a story · 4 points
HN discussionhttps://bristot.me/about/
Comment linking /about/
on “Mourning Daniel Bristot de Oliveira”Submitted A Thread Synchronization Model for the PREEMPT RT Linux Kernel as a story · 3 points
HN discussionPreempt RT does give guarantees in the sense that unbounded latency is a bug and theoretical maximum latency bounds are known (see [0]). It is neither certifiable nor formally proven, but it's good enough for almost anything that isn't safety-critical. For the things that do require functional safety, you can use AGL and other hypervisor architectures that partition the critical and non-critical tasks with a few mor…
Comment linking /demystifying-the-real-time-linux-latency/
on “Mercedes-Benz previews its operating system MB.OS”Submitted Linux scheduling latency debug and analysis as a story · 2 points
HN discussionDynamic runtime analysis can be a very powerful tool, especially when it complements formal static analysis. More interesting information can be found in the main implementation file [1] and of course in the paper [2]. [1] https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/lin... [2] https://bristot.me/efficient-formal-verification-for-the-lin...
Comment linking /efficient-formal-verification-for-the-linux-kernel/
on “Linux now has a Runtime Verification Interface merged in”Submitted And Now Linux Has a Real-Time Linux Analysis (RTLA) Tool as a story · 2 points
HN discussionSubmitted Demystifying the Real-Time Linux Scheduling Latency as a story · 2 points
HN discussion
