3331
Diving Deep on S3 Consistency
A deep dive on why we changed Amazon S3's consistency model
Topics /
Systems & Performance
The most popular blog posts about systems & performance on Hacker News. 4,389 posts.
3332
Gathering Intel on Intel AVX-512 Transitions
Investigating some details of SIMD related frequency transitions on Intel CPUs.
3333
A cache miss is not a cache miss
When writing high performance code, we are careful to avoid cache misses when possible. When discussing cache misses, however, we are usually content with counting the number of cache misses. In this post I will explain why this is not sufficient, as data dependency also make a huge difference.
3334
Engineering for Bounded Cognition
The mind that builds software is far smaller than the software it builds, and almost everything good in engineering is a way of living with that gap.
3335
3336
Debug your programs like they're closed source
Debug your programs like they're closed source!
3337
vDPA: Support for block devices in Linux and QEMU
Using libblkio, QEMU Storage Daemon, and VDUSE
3338
Modeling Git Internals in Alloy, Part 2: Commits and Tags
Understanding Git better by using lightweight formal methods
3339
Dmesg under the hood
Dmesg allows us to grasp what's going on under the hood when the kernel gets bad. Check out how dmesg is able to read kernel logs and show to the user.
3340
CoreBGP – Plugging in to BGP
In this post I'll provide some of my personal experience and history working with BGP, and introduce a new BGP library, CoreBGP, which can be used to build the next generation of BGP-enabled applications.
3341
Malloc Never Fails (2012)
Here’s a fun bit of trivia: malloc on Linux never fails [due to the obvious cause]. In this post, we’ll show that this indeed is the case, and explore why…
3342
The cost of dynamic vs. static dispatch in C++
A couple of years ago I wrote an article about the Curiously Recurring Template Pattern in C++ , focusing on the motivation behind it and how to implement it.
3343
Minify and Gzip (2022)
I've been doing a bit of work cleaning up the CSS on this blog in the past couple days — the CSS is from a template that I copied more than five years ago at this point, and it was pretty crufty even when I first got it.
3344
3345
3346
Highly efficient matrix transpose in Mojo
In this blogpost I will step by step show you how to implement a highly efficient transpose kernel for the Hopper architecture using Mojo. The best kernel a...
3347
Shared Libraries as Executables
Typically you either have an executable or a shared library, but can you have an executable shared library too?
3348
What is gVisor?
It has been a really long time since I last wrote something here as life happens, things get busier, etc etc. I am now trying to get back into writing things down and here we go! So, imagine a tool or a service that allows you to run some arbitrary code via a shell. Either through a ssh or more commonly, via a web…
3349
What part of Rust compilation is the bottleneck?
Rust compilation times is an ongoing topic that generates many discussions online1. Most people don’t really care about what exactly takes time when compiling Rust program; they just want it to be faster in general. But sometimes, you can see people pointing fingers at specific culprits, like LLVM or the borrow…
3350
OpenBSD on the Huawei MateBook X
The Huawei MateBook X is a high-quality 13" ultra-thin laptop with a fanless Core i5 processor. It is obviously biting the design of the Apple 12" MacBook , but it does have some notable improvements such as a slightly larger screen, a more usable keyboard with adequate key travel, and 2 USB-C ports.
3351
In-Memory Filesystems in Rust
I’ve been working on a CLI tool recently, and one of the things it does is manage files on disk. I have written a lot of file management tests for Bundler, and the two biggest reasons that the Bundler test suite is slow are exec and fstat. Knowing that, I thought I would try to get out ahead of the slow file stat…
3352
AVX-512: First Impressions on Performance and Programmability
A simple, whitespace theme for academics. Based on [*folio](https://github.com/bogoli/-folio) design.
3353
3354
Practical Libc-free threading on Linux
Suppose you’re not using a C runtime on Linux, and instead you’re programming against its system call API. It’s long-term and stable after all. Memory management and buffered I/O are easily solved, but a lot of software benefits from concurrency. It would be nice to also have thread spawning capability. This article…
3355
Finding Goroutine Bugs with TLA+
My job these days is teaching TLA+ and formal methods: specifying designs to find bugs in them. But just knowing the syntax isn’t enough to write specs, and it helps to have examples to draw from. I recently read Chris Siebenmann’s Even in Go, concurrency is still not easy and thought it would make a good case study…
3356
NetBSD on the last G4 Mac mini and making the kernel power failure proof
(First, as a public service message, if you're running Linux on a G5 you may wish to update the kernel .) I'm a big fan of NetBSD . I've ru...
3357
Who invented vector clocks?
Back in spring 2020, I was wrapping up the distributed systems course I was teaching, and for the last lecture, decided to spend a little time poking at the question of who actually invented vector clocks. Most people who need something to cite for vector clocks cite Friedemann Mattern’s “Virtual Time and Global…
3358
Bytecode
What is the most commonly used bytecode language in the world? Java (JVM Bytecode)? .NET (CLI)? Flash (AVM1/AVM2)? Nope. There’s a few that you use every day, simply by turning on your computer, or tablet, or even phone. You don’t even have to start an application or visit a webpage.
3359
3360
Java’s Mysterious Interrupt
One of the lesser known parts of Java is InterruptedException. With its vague-sounding name and non-committal Javadoc, few people are able to figure out what they need to do with it. Since I myself didn’t really grok it, I decided to put together a post explaining how interruption works. If you are looking for a more…