4321
Writing an OS in Rust: Advanced Paging
This post explains techniques to make the physical page table frames accessible to our kernel. It then uses such a technique to implement a function t…
New
The latest blog posts to take off on Hacker News. 6,949 posts.
4322
CockroachDB's Consistency Model
CockroachDB's consistency model fits somewhere between serializability and linerarizability. We're proposing a new marketing phrase for CRDB's guarantees: no stale reads.
4323
Let's Talk Concurrency with Sir Tony Hoare
When considering the panel to discuss concurrency, you’d be pushed to find a higher calibre than Sir Tony Hoare, Joe Armstrong, and Carl Hewitt.
4324
Evolution of the x86 context switch in Linux (2018)
Tracing the x86 context switch in Linux throughout time
4325
Let’s stop copying C (2016)
Ah, C. The best lingua franca we have… because we have no other lingua francas. Linguae franca. Surgeons general? C is fairly old — 44 years, now! — and comes from a time when there were possibly more architectures than programming languages. It works well for what it is, and what it is is a relatively simple layer of…
4326
Remote code execution vulnerability in apt/apt-get
tl;dr I found a vulnerability in apt that allows a network man-in-the-middle (or a malicious package mirror) to execute arbitrary code as root on a machine i...
4327
Intel 80386, part 1: Introduction
Practical development throughout the evolution of Windows.
4328
Advanced Mac Substitute: API-level reimplementation of classic Mac OS
Advanced Mac Substitute is an API-level reimplementation of 1980s-era Mac OS. It runs 68K Mac applications in an emulator without an Apple ROM or system software .
4329
Switching my parents over to Linux saved me a lot of headache and support calls
During me being at my parents over the holidays (Christmas 2017) I had the usual IT-support stuff to do, that always happens to tech sa...
4330
Inside the C Standard Library
After diving into the C language through K&R, and then studying portability (see C Portability Lessons from Weird Machines ), my next challenge was to take a systematic look at the standard library. To do this I worked through P. J. Plauger’s book The Standard C Library (ISBN 978-0131315099) where he examines an…
4331
Pixelbook and “Nami” Chromebooks the First to Get Linux GPU Acceleration
The Pixelbook and four other fairly new Chromebooks have the special flag to enable GPU acceleration, making these the first to get the new feature for Linux. This should bring the Android emulator and improved gaming capabilities to Project Crostini.
4332
Building CockroachDB on top of RocksDB
CockroachDB uses RocksDB for its storage engine because of RocksDB's rich feature set, which is necessary for a complex product like a distributed SQL database.
4333
Introduction to TLA+ Model Checking in the Command Line
Otherwise known as “wait, you mean I can use the TLA toolbox from the command line?”
4334
How to write a rootkit without really trying
We open-sourced a fault injection tool, KRF, that uses kernel-space syscall interception. You can use it today to find faulty assumptions (and resultant bugs) in your programs. Check it out! This post covers intercepting system calls from within the Linux kernel, via a plain old kernel module. We’ll go through a quick…
4335
4336
Performance Tuning for .NET Core
Some of you may know I've been spending whatever time I can scrounge together grinding away at a new serialization library for .NET. Serializers can be complicated beasts. They have to be reliable, flexible, and fast beyond reproach. I won't convince you that serialization libraries have to be quick — in this post…
4337
4338
4339
FoundationDB Record Layer
Today, we are excited to announce the open source release of the FoundationDB Record Layer!
4340
Writing an OS in Rust: Introduction to Paging
This post introduces paging, a very common memory management scheme that we will also use for our operating system. It explains why memory isolation i…
4341
4342
Serverless computing: one step forward, two steps back
Serverless computing: one step forward, two steps back Hellerstein et al., CIDR’19 The biennial Conference on Innovative Data Systems Research has come round again. Today’s paper choice is su…
4343
The dangers of streaming across versions of glibc: A cautionary tale (2014)
The following is a real critical problem that we ran into here at TripAdvisor, but have yet figured out a clear way to mitigate.
4344
Adding Glue to a Desktop Environment
In this article we will put some light on a lot of tools used in the world of Unix desktop environment customization, particularly regarding wmctrl, wmutils, xev, xtruss, xwininfo, xprop, xdotools, xdo, sxhkd, xbindkeys, speckeysd, xchainkeys, alttab, triggerhappy, gTile, gidmgr, keynav, and more. If those don't make…
4345
Do Not Use Task Manager for Memory Info
Task Manager can be lacking as a memory tracker. Let's cover alternatives to replace it. First, let’s discuss how memory allocations work in Windows.
4346
A Primer on Database Replication (2017)
A Primer on Database Replication
4347
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.
4348
HelenOS 0.8
This document contains a summary of changes made to HelenOS since release 0.7.2 .
4349
Io_submit and Linux AIO – An epoll alternative
The Linux AIO is designed for, well, Asynchronous disk IO! They are not network sockets, but is it possible to use Linux AIO API with network sockets? The answer is a strong YES!
4350