421
Gathering Intel on Intel AVX-512 Transitions
Investigating some details of SIMD related frequency transitions on Intel CPUs.
422
FF Sandbox Escape
By James Forshaw, Project ZeroIn my previous blog post I discussed an issue with the Windows Kern...
423
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.
424
Intel and ARM Performance Characteristics for S3 Compatible Object Storage
Product updates, company news, and educational content on AI storage, object storage, data lakehouses, and cloud-native infrastructure from MinIO.
425
We Replaced an SSD with Storage Class Memory
MongoDB's blog includes technical tutorials, MongoDB best practices, customer stories, and industry news related to the leading non-relational database.
426
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…
427
Homelab: Intel NUC with the ESXi Hypervisor
In this blog post I tell my experience mounting a minimalist homelab with a Intel NUC and the ESXi hypervisor.
428
Raspberry Pi 400 teardown and review
Today Raspberry Pi Trading announced the Raspberry Pi 400, the latest in the series of small education-focused computers that started with the original Raspberry Pi in 2012. For years, people have come up with creative ways to hack a Pi into keyboards, like the Original Pi in an old Mitsumi keyboard, or the Pi 3 A+ in…
429
430
RISC-V Stumbling Blocks
Recently, I’ve started to explore RISC-V. I experienced the journey as pretty refreshing, particularly because I’ve been working on x86 low-level software almost exclusively for about 10 years.
431
432
433
434
435
A Review of Consensus Protocols
The consensus problem is a fundamental problem in multi-agent systems which requires a group of processes (or agents) to reliably and timely agree on a single data value. Although extensively discussed in the context of distributed computing it’s not exclusive to this field, also being present in our society in a…
436
The Importance of End-to-End Thinking in System Design
I once attended a talk by Yoky Matsuoka when I was young – so young, in fact, that I don’t remember when or where the talk was. What I do remember is her telling the story of designing…
437
How many registers does an x86-64 CPU have?
x86 is back in the general programmer discourse, in part thanks to Apple’s M1 and Rosetta 2 . As such, I figured I’d do yet another x86-64 post.
438
Don’t Be Afraid of RAID
I sense this sentiment on the internet that RAID is dangerous, that the likelihood of your RAID array failing during a rebuild is almost a certainty, because hard drives have become so large.
439
Postmortem of the failure of one hosting storage unit on Jan. 8, 2020
On January 8, 2020 at 14:51 UTC, one of our storage units used for our hosting services hosted at LU-BI1 went down.
440
A survey of recent iOS kernel exploits
Posted by Brandon Azad, Project ZeroI recently found myself wishing for a single online reference...
441
Feature Casualties of Large Databases
Databases shed important RDMS features as they get big. Examining why this tends to be the case, and some ideas for preventing it.
442
Actix Web: Optimization Amongst Optimizations
It’s already been a great reading day for retrospectives on the last ten years / predictions for the next. Here’s to hoping that everyone had a good break (or at least a few days off), set or didn’t set resolutions, and is refreshed and ready for what comes next.
443
Investigating the Performance Overhead of C++ Exceptions
C++ exceptions have their place, but using an alternative is recommended for general program flow control.
444
Can we do better than our C compiler?
Today, I wanted to see if I could out-compile my C compiler. I added a hand-compiled assembly version of echo from our previous coding exercise and added a new make target, make asm , that will assemble it. Let's look at our hand-compiled assembly and compare it to our C compiler and ask whether or not it was worth it.
445
Fedora 33
Today, I’m excited to share the results of the hard work of thousands of contributors to the Fedora Project: our latest release, Fedora 33, is here! This is a big release with a lot of change, but I believe all that work will also make it a comfortable one, fulfilling our goal of bringing you […]
446
Loading NumPy arrays from disk: mmap() vs. Zarr/HDF5
Learn how to load larger-than-memory NumPy arrays from disk using either mmap() (using numpy.memmap), or the very similar Zarr and HDF5 file formats.
447
How the ARM32 Linux kernel decompresses
ARM traditionally uses compressed kernels. This is done for two major reasons: It saves space on the flash memory or other storage media...
448
Linux kernel heap quarantine versus use-after-free exploits
It's 2020. Quarantines are everywhere – and here I'm writing about one, too. But this quarantine is of a different kind. In this article I'll describe the Linux Kernel Heap Quarantine that I developed for mitigating kernel use-after-free exploitation.
449
What I think what we need to do to keep FreeBSD relevant (2019)
Since I participate in the FreeBSD project there are from time to time some voices which say FreeBSD is dead, Linux is the way to go. Most of the time those voices are trolls, or people which do not really know what FreeBSD has to offer. Sometimes those voices wear blinders, they only see their
450
Booting an M1 Mac from an external disk
If you’ve been unable to create a bootable external disk to use with your M1 Mac, this explains what you need and its limitations and quirks.