Race Conditions: A Case Study

Newsgroups	comp.programming
Date	2019-09-13 11:42 -0700
Message-ID	<0dcfd644-18dc-4d7c-b5a2-e02c88f72aac@googlegroups.com> (permalink)
Subject	Race Conditions: A Case Study
From	aminer68@gmail.com

Show all headers | View raw

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.

Back to comp.programming | Previous | Next | Find similar | Unroll thread

Thread

Race Conditions: A Case Study aminer68@gmail.com - 2019-09-13 11:42 -0700

csiph-web