Animating operating systems algorithms with XTANGO

Abstract
In operating systems courses, students study the major algorithmsused in operating systems to manage the variousobjects and resources in a computing system: processes,files, buffer space, processors, messages, main memory,semaphores, and disk storage. Various classical synchronizationproblems such as the dining philosophers, thereaders and writers, and the producers and consumers withbounded buffer are also analyzed. Even though the computingsystems being studied are getting more and...