Home

Examining the single listener/acceptor/reader pattern in backend systems using Node.js's single-threaded model.

Comparing three key backend threading models: basic listener-acceptor-reader separation, multiple reader threads, and advanced message load balancing with worker threads.

A personal reflection on using Java PathFinder (JPF) to automatically generate test inputs for complex data structures.

This lecture explores the lifecycle of socket data in backend applications — from connection establishment to data buffering, reading, and sending, including kernel-level details.

Lecture notes on Java Pathfinder (JPF), a software model checking tool used to find errors in Java programs, especially for concurrent and networked applications.

An explanation of how backend applications accept TCP connections, from the network interface to kernel queues to the process layer.

This lecture explores backend execution patterns, focusing on the differences between processes and threads, their roles in handling requests, and their application in systems like Redis, Nginx, and Envoy.

This blog post summarizes a lecture series on HTTPS communications, covering the fundamentals of secure web connections and various techniques to optimize latency through different protocol configurations and optimizations.