This is Richard Palethorpe’s personal website on software engineering and maybe other stuff.
Articles
- Creating a static site with Pandoc and Bulma
- Fuzzy Sync: Winning a rare data race
- Generating type specific deserialisers for BSON.jl
- libactors: Actor model and message passing with Userland RCU
- Recording your screen on Linux
- 100 Pull-ups and 100 dips per day challenge
Videos
- Fuzzy Sync: Winning a rare data race
- How to write eBPF byte code by hand
- OpenQA with the JDP data analyses framework: Bug tag propagation on 2M+ test results using Julia
- JDP Introduction: A distributed, data analyses framework in Julia
Projects
Some of the projects I have been working on. You can see more on GitHub and GitLab.
Actors.jl
The actor model for Julia. I also started a web framework based on this called Luvvy and a viral agent-based simulation.
libactors
C Actor model and message passing library using userland read-copy-update (liburcu). Because I can’t get enough of writing actor libraries.
Linux Kernel & Linux Test Project
I have worked on the LTP for the last few years, writing tests and adding library features. One such feature being Fuzzy Sync and recently the concurrent test exeuctor. Also I did a couple of videos on the eBPF tests.
I have also fixed a few kernel bugs, in addition to helping find them:
- b9258a2cece4
slcan: Don't transmit uninitialized stack data in padding - 0ace17d56824
can, slip: Protect tty->disc_data in write_wakeup and close with RCU - pending
nvdimm: Avoid race between probe and reading device attributes
JDP
Written in Julia; A sprawling data analyses ‘framework’ I made to automatically process kernel test results and bug data. I presented this at FOSDEM and here.
rselisp
An insane attempt at cloning Emacs in Rust. It includes an elisp interpreter and a barely working text editor.
OpenQA & os-autoinst
A monstrosity of an operating system test framework. Amongst other things, I rewrote the QEMU backend to improve snapshotting and performance. It’s mostly Perl (sigh).