Improving the FreeBSD SMP Implementation

UNIX-derived operating systems have traditionally have a simplistic approach to process synchronization which is unsuited to multiprocessor application. Initial FreeBSD SMP support kept this approach by allowing only one process to run in kernel mode at any time, and also blocked interrupts across multiple processors, causing seriously suboptimal performance of I/O bound systems. This paper describes work done to remove this bottleneck. It derives from work done on BSD/OS and has many similarities with the approach taken in SunOS 5. Synchronization is performed by mutexes. In general, mutexes attempt to block rather than to spin in cases where the likely wait time is long enough to warrant a process switch. The issue of blocking interrupt handlers is addressed by attaching a process context to the interrupt handlers. This paper is a snapshot of a work in progress. An up-to-date version is available at http://www.lemis.com/SMPng/.

• Type: Conference
• Year: 2001
• Where: USENIX
• Authors: Greg Lehey
• Keywords: Initial FreeBSD SMP, Interrupt Handlers, Operating System, Process Synchronization, USENIX 2001