From 715e51dc9da64b7a6a45ab93377f22eb2841af94 Mon Sep 17 00:00:00 2001
From: paolo <paolo@3ecf2c5c-341e-0410-92b4-d18e462d057c>
Date: Fri, 15 Sep 2006 22:11:57 +0000
Subject: [PATCH] - An example of process (and thread) that blocks himself

git-svn-id: svn://svn.gna.org/svn/sgpemv2/trunk@1179 3ecf2c5c-341e-0410-92b4-d18e462d057c
---
 .../environments/MyAutoDeadlock.xgp           | 30 +++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 src/testsuite/scheduling-wizards/environments/MyAutoDeadlock.xgp

diff --git a/src/testsuite/scheduling-wizards/environments/MyAutoDeadlock.xgp b/src/testsuite/scheduling-wizards/environments/MyAutoDeadlock.xgp
new file mode 100644
index 0000000..ff2c1c2
--- /dev/null
+++ b/src/testsuite/scheduling-wizards/environments/MyAutoDeadlock.xgp
@@ -0,0 +1,30 @@
+<?xml version="1.0"?>
+<!DOCTYPE sgpem SYSTEM "sgpem.dtd">
+<sgpem>
+  <resources>
+    <resource name="Pen" id="reskey0" arrival-time="0" how-many="1" pre-emptible="false"/>
+  </resources>
+  <schedulables>
+    <process name="Paolo" priority="0" arrival-time="0">
+      <threads>
+        <thread name="Right hand" priority="0" arrival-delta="0" lasts-for="10">
+          <requests>
+            <request arrival-time="0">
+              <subrequest resource="0" lasts-for="5"/>
+            </request>
+            <request arrival-time="2">
+              <subrequest resource="0" lasts-for="2"/>
+            </request>
+          </requests>
+        </thread>
+        <thread name="Left hand" priority="0" arrival-delta="0" lasts-for="10">
+          <requests>
+            <request arrival-time="4">
+              <subrequest resource="0" lasts-for="2"/>
+            </request>
+          </requests>
+        </thread>
+      </threads>
+    </process>
+  </schedulables>
+</sgpem>