Concurrent Computing Part III: ThreadMentor Demo (Semaphore Visualization)

This video shows the semaphore visualization capability of ThreadMentor, including the internal counter value and waiting set, links between semaphore (and Mutex lock) related events, source statement that execute a particular synchronization primitive, etc. With this visualization component, a learner should be able to reconstruct all synchronization based events in the execution order. Because the behavior of a threaded program is dynamic, running the same program again the obtained visualization could be rather different. However, using this visualization properly a learner should be able to find incorrect program logic and possible race construction by carefully checking the history diagram, semaphore internal content, and semaphore related events. Therefore, the visualization component of ThreadMentor can be used as a debugging aid.

Hope these can help you learn Concurrent Computing.

[ckshene]

00:00:00 Introduction
00:01:34 Step though the 4-Char Solution to the Dining Philosopher problem
00:02:20 Green bars, Blue bars and Red bars in the History Graph window
00:03:20 The SW (Semaphore Wait) tag
00:04:35 The SE (Semaphore Exit) tag
00:06:11 The Semaphore button
00:07:16 The Semaphore window
00:09:26 The MW (Mutex Wait) tag and the ML (Mutex Lock) tag
00:13:30 The Mutex button
00:17:02 The MU (Mutex Unlock) tag
00:19:44 Semaphore and Mutex Lock links
00:21:10 The SS (Semaphore Signal) tag
00:30:30 Two Important Notes:
Always use the Exit() function as the last statement to be executed before terminating your thread
00:31:31 Possible visualization display
00:39:58 Consequences
00:42:21 Conclusion and Next Lecture Preview

[omridrori]

why not make a video how to install it is very complicated installation process... especially for whom is learn now operating system and not expert in linux