Lightweight kernel operating system: Difference between revisions

Revision as of 16:45, 21 February 2012

Revision as of 14:14, 31 March 2012

Line 1:

A [[massively parallel]], [[high-performance computing]] (HPC) system is particularly sensitive to [[operating system]] overhead. Traditional, multi-purpose, operating systems are designed to support a wide range of usage models and requirements. To support the range of needs, a large number of system processes are provided and are often inter-dependent on each other. The computing overhead of these processes leads to an unpredictable amount of processor time available to a parallel application. A very common [[parallel programming model]] is referred to as the [[bulk synchronous parallel]] model which often employs [[MPI]]{{dn|date=March 2012}} for communication. The synchronization events are made at specific points in the application code. If one processor takes longer to reach that point than all the other processors, everyone must wait. The overall finish time is increased. Unpredictable operating system overhead is one significant reason a processor might take longer to reach the synchronization point than the others.

Custom '''Lightweight Kernel''' (LWK) operating systems, currently used on some of the fastest computers in the world, help alleviate this problem. The [[IBM]] [[Blue Gene]] line of [[supercomputers]] runs various versions of [[CNK operating system]].<ref name=bgl-cnk>{{cite journal

Line 18:

| date = 2009-04

}}</ref>

Sandia and University of New Mexico researchers began work on [[SUNMOS]] for the [[Intel Paragon]] in the early 1990s. This operating system evolved into the Puma, Cougar, and Catamount operating systems deployed on [[ASCI Red]] and [[Red Storm (computing)|Red Storm]]. Sandia continues its work in LWKs with a new R&D effort, called kitten .<ref name=pedretti>{{cite web

| url = https://software.sandia.gov/trac/kitten

| title = Kitten Lightweight Kernel