2701
10 Years SeL4: Still the Best, Still Getting Better
A week ago, on 29 July, we at Trustworthy Systems celebrated seL4 Freedom Day, the 5th anniversary of the open-sourcing of seL4. Furthermore it was seL4’s 10th birthday – the annive…
New
The latest blog posts to take off on Hacker News. 4,389 posts.
2702
Syslog: Complete System Administrator Guide
Complete Guide on understanding the Syslog protocol, syslog message format as well as log forwarding. Best practices included!
2703
2704
2705
Modern Text Rendering with Linux
Introduction
2706
From 30 to 230 Docker containers per host
I could not find much information on the interwebs how many containers you can run per host. So here are mine and the issues we ran into along the way.
2707
Killing a process and all of its descendants
Killing processes in a Unix-like system can be trickier than expected. Last week I was debugging an odd issue related to job stopping on Semaphore. More specifically, an issue related to the killing of a running process in a job.
2708
John Carmack on Parallel Implementations (2018)
ps aux | more
2709
High-performance, exactly-once, failure-oblivious distributed programming (2018)
This is one post in a series about programming models and languages for distributed computing that I’m writing as part of my history of distributed programming techniques.Relevant ReadingTrill: A h...
2710
Lock-free multithreading with atomic operations
Synchronizing threads at a lower level.
2711
2712
2713
Perils of Constructors
One of my favorite blog posts about Rust is Things Rust Shipped Without by Graydon Hoare. To me, footguns that don't exist in a language are usually more important than expressiveness. In this slightly philosophical essay, I want to tell about a missing Rust feature I especially like: constructors.
2714
Raspberry Pi microSD follow-up, SD Association fools me twice?
/ Fool me once, shame on you. Fool me twice, \ \ prepare to die. (Klingon Proverb) / -------------------------------------------- \ ^__^ \ (oo)\_______ (__)\ )\/\ ||----w | || || (Excerpt from Ansible for DevOps, chapter 12.) The fallout from this year's microSD card performance comparison has turned into quite a…
2715
2716
Fast Software, the Best Software
Essay on the benefits of speedy software, and how it affects user perception of engineering quality and overall usability
2717
Files Are Fraught with Peril
This is a psuedo-transcript for a talk given at Deconstruct 2019. To make this accessible for people on slow connections as well as people using screen readers, the slides have been replaced by in-line text (the talk has ~120 slides; at an average of 20 kB per slide, that's 2.4 MB. If you think that's trivial…
2718
A2-class microSD cards offer no better performance for the Raspberry Pi
Update: See follow-up post about A1 vs A2 performance, Raspberry Pi microSD follow-up, SD Association fools me twice?. After I published my 2019 Raspberry Pi microSD card performance comparison, I received a lot of feedback about newer 'A2' Application Performance class microSD cards, and how they could produce even…
2719
Race Condition vs. Data Race (2011)
It’s terribly punny/dorky of me, but reading your post it just occurred to me one could start a blog called “Race Condition” about being a person of color and being a computer scientist.
2720
How Computers Boot Up (2008)
The previous post described [motherboards and the memory map] memory-map in Intel computers to set the scene for the initial phases of boot. Booting is an involved, hacky, multi-stage affair - fun st
2721
Fsyncgate: Errors on fsync are unrecoverable (2018)
This is an archive of the original "fsyncgate" email thread. This is posted here because I wanted to have a link that would fit on a slide for a talk on file safety with a mobile-friendly non-bloated format .
2722
Modern text rendering with Linux: Part 1
Introduction
2723
ZFS on Linux still has annoying issues with ARC size
You're probably reading this page because you've attempted to access some part of my blog (Wandering Thoughts) or CSpace , the wiki thing it's part of. Unfortunately you're using a browser version that my anti-crawler precautions consider suspicious, most often because it's too old (most often this applies to versions…
2724
OpenSSH taking minutes to become available, booting takes half an hour (2018)
So, your machine now needs minutes to boot before you can ssh in where it used to be seconds before the Debian Buster update?
2725
Operating a large distributed system in a reliable way: practices I learned
For the past few years, I've been building and operating a large distributed system: the payments system at Uber [https://eng.uber.com/payments-platform/]. I've learned a lot about distributed architecture concepts…
2726
The Raspberry Pi 4 needs a fan
December 2020 Update: Lo and behold, the Pi Foundation tacitly acknowledges the Pi needs a fan in the official case, because now they sell the Case Fan! The Raspberry Pi Foundation's Pi 4 announcement blog post touted the Pi 4 as providing "PC-like level of performance for most users". The Foundation even offers a…
2727
2728
BPF Performance Tools: Linux System and Application Observability
BPF Performance Tools: Linux System and Application Observability (book)
2729
“What the Hardware Does” Is Not What Your Program Does: Uninitialized Memory
This post is about uninitialized memory, but also about the semantics of highly optimized “low-level” languages in general. I will try to convince you that reasoning by “what the hardware d...
2730
What if we could see all concurrency bugs in the debugger?
A paper on debugging non-deterministic concurrency issues interactively.