Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.programming > #10198 > unrolled thread
| Started by | aminer68@gmail.com |
|---|---|
| First post | 2019-09-13 11:42 -0700 |
| Last post | 2019-09-13 11:42 -0700 |
| Articles | 1 — 1 participant |
Back to article view | Back to comp.programming
Race Conditions: A Case Study aminer68@gmail.com - 2019-09-13 11:42 -0700
| From | aminer68@gmail.com |
|---|---|
| Date | 2019-09-13 11:42 -0700 |
| Subject | Race Conditions: A Case Study |
| Message-ID | <0dcfd644-18dc-4d7c-b5a2-e02c88f72aac@googlegroups.com> |
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 top | Article view | comp.programming
csiph-web