Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Race Conditions: A Case Study
1 view
Skip to first unread message
amin...@gmail.com
Sep 13, 2019, 2:42:20 PM9/13/19
to
Hello,
Race Conditions: A Case Study
Since detecting race conditions in a multithreaded or multiprocess
program is an NP-hard problem, there is no efficient algorithm that can
help detect race conditions in a program. As such, there are no easy-to-use pedagogical tools. Most operating systems and concurrent
programming textbooks only provide a formal definition and some trivial
examples. This is insufficient for students to learn how to detect race
conditions. This paper attempts to fill this gap by presenting a set of well-organized examples, each of which contains one or more race conditions, for instructors to use in the classroom. This set of materials has been classroom tested for two years and the student’s reaction has been very positive.
Read the interesting paper here:
https://carr.cs.wmich.edu/~sgw2413/papers/jcsc02.pdf
Thank you,
Amine Moulay Ramdane.
Race Conditions: A Case Study
Since detecting race conditions in a multithreaded or multiprocess
program is an NP-hard problem, there is no efficient algorithm that can
help detect race conditions in a program. As such, there are no easy-to-use pedagogical tools. Most operating systems and concurrent
programming textbooks only provide a formal definition and some trivial
examples. This is insufficient for students to learn how to detect race
conditions. This paper attempts to fill this gap by presenting a set of well-organized examples, each of which contains one or more race conditions, for instructors to use in the classroom. This set of materials has been classroom tested for two years and the student’s reaction has been very positive.
Read the interesting paper here:
https://carr.cs.wmich.edu/~sgw2413/papers/jcsc02.pdf
Thank you,
Amine Moulay Ramdane.
0 new messages