151
Stripped-down Kubernetes on the Raspberry Pi
Join me as I test-drive the smallest ever Kubernetes distribution k3s. Find out how this runs on Raspberry Pi compared to kubeadm with Docker.
Topics /
Systems & Performance
The most popular blog posts about systems & performance on Hacker News. 287 posts.
152
FreeBSD on the Lenovo Thinkpad
Compatibility of FreeBSD on a Lenovo Thinkpad T480, notes and fixes (HiDPI, Trackpad, camera, etc).
153
It’s Time for a Modern Synthesis Kernel
I had a student (Fred Smith) who worked on extensions to Popcorn (the predecessor to Cyclone) that supported run-time code generation in a lightweight fashion. Here’s a paper describing part of the system: https://ecommons.cornell.edu/handle/1813/5812 . Fred’s thesis had a bunch more.
154
155
Time protection: the missing OS abstraction
Time protection: the missing OS abstraction Ge et al., EuroSys’19 Ever since the prominent emergence of timing-based microarchitectural attacks (e.g. Spectre, Meltdown, and friends) I’ve been…
156
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
157
158
An Intel Programmer Jumps over Wall: First Impressions of ARM SIMD Programming
(the pictured dish is apparently materials for “Buddha Jumps Over The Wall”, named for its ability to seduce away vegetarians – sadly it uses shark fin so has some ethical issues&…
159
On lists, cache, algorithms, and microarchitecture
Lists are rather hardware-unfriendly data structure. However, having a closer look at why is that and what can be done to improve this can provide an interesting insight into how high-level algorithms performance is affected by the processor microarchitecture.
160
Beating Decades of Optimized C with 80 Lines of Haskell
The Personal blog and musings of Chris Penner, a designer, developer and future opsimath.
161
Ginseng: Keeping secrets in registers when you distrust the operating system
Ginseng: keeping secrets in registers when you distrust the operating system Yun & Zhong et al., NDSS’19 Suppose you did go to the extreme length of establishing an unconditional root of …
162
If you must run Windows 10
Barring divine intervention, Windows 10 Enterprise LTSC 2019 ( formerly LTSB ) may be the least bad option:
163
AWS Nitro System
At Tuesday Night Live with James Hamilton at the 2016 AWS re:Invent conference, I introduced the first Amazon Web Services custom silicon. The ASIC I showed formed the foundational core of our second generation custom network interface controllers and, even back in 2016, there was at least one of these ASICs going…
164
Latency/throughput tradeoffs, illustrated with coffee
You’re making morning drip coffee. You need to make 2 cups. Do you:
165
Debian Riscv64 port in mid 2019
It's been a while since last post (Talk about the Debian GNU/Linux riscv64 port at RISC-V workshop), and sometimes things look very quiet from outside even if the people on the backstage never stop working. So this is an update on the status of this port before the release of buster, which should happen in a few weeks…
166
A deep dive into Linux namespaces, part 4
Running processes in isolated network namespaces
167
Do-It-Yourself OpenJDK Garbage Collector
Aleksey Shipilёv, JVM/Performance Geek, Shout out at Twitter: @shipilev Questions, comments, suggestions: aleksey@shipilev.net
168
What are the differences between OpenBSD and Linux?
Maybe you have been reading recently about the release of OpenBSD 6.5 and wonder, 'What are the differences between Linux and OpenBSD?' I've also been there at some point in the past and these are my conclusions. They also apply, to some extent,
169
O(N^2) in CreateProcess
So many possible introductions to this one: Windows 7: Sheesh, I sure am slow at creating processes Windows 10: Hold my beer… Or how about: A) How long does CreateProcess take on Windows? B) How lo…
170
Good Code Design from Linux
Learn how Linux/FFmpeg C partial codebase is organized to be extensible and act as if it were meant to have “polymorphism”. Specifically, we’re going to briefly explore how Linux …
171
AVX512 VBMI – remove spaces from text
Removing spaces from a string is a common task in text processing. Instead of removing single character we often want to remove all the white space characters or the punctuation characters etc.
172
173
Building a “Simple” Distributed System – Formal Verification
In the last post , we described a protocol that should satisfy the requirements and invariants established in the first post . Today we will look at formal verification with TLA+. Formal verification is just another (niche) tool in the toolbox. Some tools require more skill than others to use. So
174
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…
175
176
Hyperscan: A Fast Multi-Pattern Regex Matcher for Modern CPUs
I’m pleased to report that Hyperscan, the regular expression matcher that ate my life from 2008 through 2018, finally has a paper (pdf) – it’s being presented this week at NSDI &#…
177
Translating an ARM iOS App to Intel macOS Using Bitcode
When Apple introduced Bitcode and made it mandatory on watchOS and tvOS, they kinda hand-waved away questions about why it existed, with nebulous claims about it being useful to tune-up binaries by utilizing the latest compiler improvements.
178
A Gentle Introduction to Multithreading
Approaching the world of concurrency, one step at a time.
179
Using TLA+ to Understand Xen Vchan
The vchan protocol is used to stream data between virtual machines on a Xen host without needing any locks. It is largely undocumented. The TLA …
180
The Configuration Complexity Curse
Why managing configuration has become so complex and how data configuration languages like CUE offer a path forward.