Skip to contentSkip to conversation

pthread4: Ensure mutexes are consistent across C/R

PATCH New Sukadev Bhattiprolu 1 participant 1 message Jan 9, 2010

lore
Share & tools
lore
#0 lore raw

PATCH 1/1 pthread4: Ensure mutexes are consistent across C/R

From: Sukadev Bhattiprolu <[email protected]>
Date: Fri, 8 Jan 2010 10:56:38 -0800
Subject: [PATCH] pthread4: Ensure mutexes are consistent across C/R

Pthread mutex (not) held at checkpoint must continue to be (not) held after restart.

---
 process-tree/Makefile   |    2 +-
 process-tree/pthread4.c |  285 +++++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 286 insertions(+), 1 deletions(-)
 create mode 100644 process-tree/pthread4.c
process-tree/Makefile +1 -1
index b043394..64fdd20 100644
@@ -1,5 +1,5 @@
 
-targets		= ptree1 pthread1 pthread2 pthread3
+targets		= ptree1 pthread1 pthread2 pthread3 pthread4
 
 INCLUDE		= ../libcrtest
 LIBCRTEST	= ../libcrtest/common.o
process-tree/pthread4.c new file +285 -0

285 lines not on this page · raw message

Signature · 1 line
1.6.0.4