- Merge branch https://lowca.thgnet.it/swe/branches/0.3-r847--simplify-scheduler

revisions 846:897 into trunk, with approval and peer review of manager (Luca).


git-svn-id: svn://svn.gna.org/svn/sgpemv2/trunk@898 3ecf2c5c-341e-0410-92b4-d18e462d057c

src/testsuite/scheduling-wizards/wizard-block-fail

@@ -37,6 +37,12 @@ add subrequest 1 1 1
 1
 4
 
+add request 1 1
+2
+add subrequest 1 1 2
+1
+3
+
 add request 1 2
 0
 add subrequest 1 2 1

src/testsuite/scheduling-wizards/wizard-deadlock-test

@@ -0,0 +1,59 @@
+set cpu-policy 2
+
+configure-cpu-policy
+0
+1
+
+add resource
+scythe
+false
+1
+0
+add resource
+sword
+false
+1
+0
+
+
+add process
+Antrophomorphic personification
+0
+0
+
+add thread 1
+Death
+4
+0
+0
+add thread 1
+Susan Sto Helit
+4
+0
+0
+
+add request 1 1
+0
+add subrequest 1 1 1
+0
+2
+
+add request 1 1
+1
+add subrequest 1 1 2
+1
+2
+
+add request 1 2
+0
+add subrequest 1 2 1
+1
+2
+
+add request 1 2
+1
+add subrequest 1 2 2
+0
+2
+
+run

src/testsuite/scheduling-wizards/wizard-priority-inversion-porno

@@ -0,0 +1,88 @@
+# Shows a problem up to revision 893, fixed(?) in 894.
+
+# Look out for Mandingo: while it (he?) blocks at 
+# a certain point, he could immediately run,
+# having higher priority than Peter North. Instead
+# Peter continues his great fuck with Jenna, although
+# he should pre-empt, because Rocco comes before
+# Mandingo in the Jenna allocation queue.
+
+# We can both assume: a) this is good as it is:
+# since Rocco requested Jenna before Mandingo, he's
+# his due right to mutilate her pussy for first; or b)
+# this is wrong, because it lets a lower priority
+# thread to run instead of a thread with higher 
+# priority that could use the other Jenna's hole
+# while it's free (admittedly, Jenna Jameson as a
+# resource should have at least four or five places,
+# but for the sake of semplicity of this example 
+# we assumed that mouth, earholes and navel don't 
+# count).
+
+# TO SEE THIS PROBLEM CLEARLY, look with 
+# attention at the resource queue at instant 2
+
+# Use round robin with preemption by 
+# priority and a time slice of 1
+set cpu-policy 2
+configure-cpu-policy
+1
+1
+
+add resource
+Jenna Jameson
+false
+2
+0
+
+add process
+"Wet Dreams IV"
+0
+0
+
+add thread 1
+Peter North
+3
+0
+10
+
+add request 1 1
+0
+add subrequest 1 1 1
+0
+3
+
+
+add process
+"A Night With Jenna"
+2
+0
+
+add thread 2
+Rocco Siffredi
+3
+0
+0
+
+add thread 2
+Mandingo
+3
+0
+5
+
+add request 2 1
+0
+add subrequest 2 1 1
+0
+3
+add subrequest 2 1 1
+0
+3
+
+add request 2 2
+0
+add subrequest 2 2 1
+0
+3
+
+run

src/testsuite/scheduling-wizards/wizard-unblock-test

@@ -0,0 +1,43 @@
+set cpu-policy 2
+
+configure-cpu-policy
+0
+1
+
+add resource
+banana
+false
+1
+0
+
+
+
+add process
+Unseen University
+0
+0
+
+add thread 1
+The Librarian
+4
+0
+0
+add thread 1
+Rincewind
+2
+0
+0
+
+add request 1 1
+0
+add subrequest 1 1 1
+0
+3
+
+add request 1 2
+1
+add subrequest 1 2 1
+0
+2
+
+run