Software Visualization Application for Threads Synchronization Handling in Operating Systems

In order to increase effectiveness of computing, solved problem is divided into parallel executable parts. This technique also brings some problems, that has to be solved, such as starvation or deadlock. In case these problems are incorrectly solved, software reliability can decrease or even whole computing can fail. In order to prevent such mistakes, these problems have to be understand correctly by programmers. As this topic can be difficult to understand, we have decided to implement tool to visualize common synchronization problems, such as producer-consumer, reader-writer or dinning philosophers. This software tool is written in C++ language and allows user to visualize these problems, change their parameters, such as number of producers, and manage whole simulation of selected problem. This application will be used as support tool in teaching process of parallel programming at Faculty of Management Science and Informatics of University of Zilina.