Structured linux kernel projects for teaching operating systems concepts

Abstract

Linux has emerged as a widely-used platform for enabling hands-on kernel programming experience to learn about operating system concepts. However, developing pedagogicallyeffective programming projects in the context of a complex, production operating system can be a challenge. We present a structured series of five Linux kernel programming projects suitable for a one semester introductory operating systems course to address this issue. Each assignment introduces students to a core topic and major component of an operating system while implicitly teaching them about various aspects of a real-world operating system. Projects are of modest coding complexity, but require students to understand and leverage core components of the Linux operating system. The learning benefits for students from this approach include learning from real-world operating system code examples by expert kernel designers and gaining software engineering experience managing production code complexity. We have successfully used these structured Linux kernel projects to teach over a thousand students in the introductory operating systems course at Columbia University.

Using the Nanvix Operating System in Undergraduate Operating System Courses

“…In the sections that follow, we briefly discuss some of the most popular, and then contrast them with Nanvix. For a more detailed discussion on this topic, we refer the reader to [8], [9], [10], [11].…”

A virtual graphics card for teaching device driver design

“…We were also motivated by the work of Laadan et al [9], whose course of instruction now includes a wide range of interesting Linux projects on system calls, synchronization, scheduling, virtual memory, and file systems. We would characterize their projects as kernelinward facing and our own projects as kernel-outward facing.…”

“…The complexity of any real operating system is comparatively enormous, and the simplicity suggested by a study of principles alone belies this complexity. As a result, many educators have begun to take advantage of open source Linux in order to include significant hands-on experience with a real system in their operating systems courses [5,7,9]. This has been the approach taken in the graduatelevel course, CPSC 822, at Clemson University for many years.…”

Teaching operating systems using code review

“…Programming projects are an important aspect of learning about operating systems (OSes) [8,10]. Many approaches have been developed for providing such hands-on programming experience, including OS simulation environments, pedagogical OSes, and kernel development in commercial OSes.…”