Lamport Logical Clock Teaching Tool (LLCTT): A New Tool for Teaching Clock Synchronization in Distributed Systems

Abstract

Distributed Systems is a core subject in Computer Science, and clock synchronization is one of its most critical topics. Among the various algorithms developed for this purpose, Lamport’s logical clock stands out as a foundational concept. However, due to its abstract nature, many students struggle to fully grasp it. One of the main challenges in teaching this subject is the duality between physical time and causal ordering in real-world scenarios. To address this, we present the Lamport Logical Clock Teaching Tool (LLCTT). Developed in Python, LLCTT is designed with a two-fold approach to enhance the learning experience. First, to ensure a reliable experimental environment, the tool implements a physical synchronization module that addresses hardware failures—specifically discharged CMOS (Complementary Metal-Oxide-Semiconductor) batteries—by automatically aligning the physical date and time of laboratory nodes. Second, and primarily, LLCTT features an intuitive graphical interface that simulates Lamport’s Logical Clocks, allowing users to visualize event ordering and counter increments independent of physical time. To evaluate LLCTT, we conducted multiple tests in real network environments. The results confirmed the tool’s effectiveness in both correcting physical clock discrepancies and demonstrating the logical ordering of events. With LLCTT, students can clearly observe the distinction between physical time maintenance and logical causal tracking, significantly simplifying the understanding of these fundamental concepts. LLCTT has been integrated into the Distributed Systems curriculum for over a year and has proven to be an effective educational aid.