matteo/sgpemv2
matteo/sgpemv2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

- Move environments in a more consistent location (they shan't be

Browse source 
installed anyway). To run a test with the textual version of sgpemv2,
start it with [wd : src/testsuite/scheduling-wizards].
(note: "wd" stands for "working directory")


git-svn-id: svn://svn.gna.org/svn/sgpemv2/trunk@996 3ecf2c5c-341e-0410-92b4-d18e462d057c
This commit is contained in:
tchernobog 2006-09-02 12:10:51 +00:00
parent b4f8c61695
commit 634499f6cf
13 changed files with 0 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

27
src/testsuite/scheduling-wizards/environments/DiscWorld_unblock.xgp Normal file
View file

@ -0,0 +1,27 @@
<?xml version="1.0"?>
<!DOCTYPE sgpem SYSTEM "sgpem.dtd">
<sgpem>
<resources>
<resource name="banana" id="reskey0" arrival-time="0" how-many="1" pre-emptible="false"/>
</resources>
<schedulables>
<process name="Unseen University" priority="0" arrival-time="0">
<threads>
<thread name="The Librarian" priority="0" arrival-delta="0" lasts-for="4">
<requests>
<request arrival-time="0">
<subrequest resource="0" lasts-for="3"/>
</request>
</requests>
</thread>
<thread name="Rincewind" priority="0" arrival-delta="0" lasts-for="2">
<requests>
<request arrival-time="1">
<subrequest resource="0" lasts-for="2"/>
</request>
</requests>
</thread>
</threads>
</process>
</schedulables>
</sgpem>

37
src/testsuite/scheduling-wizards/environments/Fantozzi_lifo_requests.xgp Normal file
View file

@ -0,0 +1,37 @@
<?xml version="1.0"?>
<!DOCTYPE sgpem SYSTEM "sgpem.dtd">
<sgpem>
<resources>
<resource name="Telefono" id="reskey0" arrival-time="0" how-many="1" pre-emptible="false"/>
<resource name="Fax" id="reskey1" arrival-time="0" how-many="1" pre-emptible="false"/>
</resources>
<schedulables>
<process name="Ufficio Sinistri" priority="5" arrival-time="0">
<threads>
<thread name="Fantozzi" priority="5" arrival-delta="0" lasts-for="7">
<requests>
<request arrival-time="0">
<subrequest resource="0" lasts-for="7"/>
</request>
</requests>
</thread>
<thread name="Filini" priority="4" arrival-delta="2" lasts-for="3">
<requests>
<request arrival-time="0">
<subrequest resource="0" lasts-for="3"/>
<subrequest resource="1" lasts-for="3"/>
</request>
</requests>
</thread>
<thread name="Signorina Silvani" priority="3" arrival-delta="4" lasts-for="4">
<requests>
<request arrival-time="0">
<subrequest resource="0" lasts-for="2"/>
<subrequest resource="1" lasts-for="2"/>
</request>
</requests>
</thread>
</threads>
</process>
</schedulables>
</sgpem>

125
src/testsuite/scheduling-wizards/environments/FruitsBasket_complex.xgp Normal file
View file

@ -0,0 +1,125 @@
<?xml version="1.0"?>
<!DOCTYPE sgpem SYSTEM "sgpem.dtd">
<sgpem>
<resources>
<resource name="forchetta" id="reskey0" arrival-time="0" how-many="1" pre-emptible="false"/>
<resource name="ashi" id="reskey1" arrival-time="0" how-many="2" pre-emptible="false"/>
<resource name="dita" id="reskey2" arrival-time="0" how-many="10" pre-emptible="false"/>
</resources>
<schedulables>
<process name="Toru" priority="3" arrival-time="1">
<threads>
<thread name="toru-kun" priority="3" arrival-delta="0" lasts-for="4">
<requests/>
</thread>
</threads>
</process>
<process name="Yuki" priority="2" arrival-time="4">
<threads>
<thread name="yun-yun" priority="2" arrival-delta="0" lasts-for="3">
<requests/>
</thread>
</threads>
</process>
<process name="Kyo" priority="4" arrival-time="4">
<threads>
<thread name="kyon-kyon" priority="4" arrival-delta="0" lasts-for="1">
<requests/>
</thread>
</threads>
</process>
<process name="Shigure" priority="0" arrival-time="6">
<threads>
<thread name="gure" priority="0" arrival-delta="0" lasts-for="1">
<requests>
<request arrival-time="0">
<subrequest resource="0" lasts-for="1"/>
<subrequest resource="2" lasts-for="3"/>
<subrequest resource="2" lasts-for="4"/>
</request>
</requests>
</thread>
</threads>
</process>
<process name="Kagura" priority="5" arrival-time="6">
<threads>
<thread name="kagura" priority="5" arrival-delta="0" lasts-for="10">
<requests>
<request arrival-time="0">
<subrequest resource="0" lasts-for="5"/>
<subrequest resource="2" lasts-for="3"/>
</request>
<request arrival-time="5">
<subrequest resource="2" lasts-for="3"/>
<subrequest resource="2" lasts-for="3"/>
</request>
</requests>
</thread>
</threads>
</process>
<process name="Momiji" priority="0" arrival-time="12">
<threads>
<thread name="momiji-kun" priority="0" arrival-delta="0" lasts-for="1">
<requests/>
</thread>
</threads>
</process>
<process name="Hatori" priority="0" arrival-time="14">
<threads>
<thread name="tori" priority="0" arrival-delta="0" lasts-for="1">
<requests/>
</thread>
</threads>
</process>
<process name="Hatsuharu" priority="0" arrival-time="15">
<threads>
<thread name="haru" priority="0" arrival-delta="0" lasts-for="1">
<requests/>
</thread>
</threads>
</process>
<process name="Ayame" priority="0" arrival-time="15">
<threads>
<thread name="aya" priority="0" arrival-delta="0" lasts-for="6">
<requests>
<request arrival-time="2">
<subrequest resource="2" lasts-for="3"/>
<subrequest resource="2" lasts-for="3"/>
<subrequest resource="2" lasts-for="3"/>
<subrequest resource="2" lasts-for="3"/>
<subrequest resource="2" lasts-for="3"/>
<subrequest resource="2" lasts-for="3"/>
<subrequest resource="2" lasts-for="3"/>
<subrequest resource="2" lasts-for="3"/>
<subrequest resource="2" lasts-for="3"/>
<subrequest resource="2" lasts-for="3"/>
</request>
</requests>
</thread>
</threads>
</process>
<process name="Kisa" priority="0" arrival-time="17">
<threads>
<thread name="kisa" priority="0" arrival-delta="0" lasts-for="2">
<requests>
<request arrival-time="1">
<subrequest resource="1" lasts-for="3"/>
<subrequest resource="2" lasts-for="3"/>
</request>
</requests>
</thread>
</threads>
</process>
<process name="Ritsu" priority="0" arrival-time="16">
<threads>
<thread name="ri" priority="0" arrival-delta="0" lasts-for="2">
<requests>
<request arrival-time="0">
<subrequest resource="0" lasts-for="1"/>
</request>
</requests>
</thread>
</threads>
</process>
</schedulables>
</sgpem>

34
src/testsuite/scheduling-wizards/environments/Matteo_deadlock.xgp Normal file
View file

@ -0,0 +1,34 @@
<?xml version="1.0"?>
<!DOCTYPE sgpem SYSTEM "sgpem.dtd">
<sgpem>
<resources>
<resource name="scythe" id="reskey0" arrival-time="0" how-many="1" pre-emptible="false"/>
<resource name="sword" id="reskey1" arrival-time="0" how-many="1" pre-emptible="false"/>
</resources>
<schedulables>
<process name="Antrophomorphic personification" priority="0" arrival-time="0">
<threads>
<thread name="Death" priority="0" arrival-delta="0" lasts-for="4">
<requests>
<request arrival-time="0">
<subrequest resource="0" lasts-for="2"/>
</request>
<request arrival-time="1">
<subrequest resource="1" lasts-for="2"/>
</request>
</requests>
</thread>
<thread name="Susan Sto Helit" priority="0" arrival-delta="0" lasts-for="4">
<requests>
<request arrival-time="0">
<subrequest resource="1" lasts-for="2"/>
</request>
<request arrival-time="1">
<subrequest resource="0" lasts-for="2"/>
</request>
</requests>
</thread>
</threads>
</process>
</schedulables>
</sgpem>

20
src/testsuite/scheduling-wizards/environments/Modernita_gap_terminated.xgp Normal file
View file

@ -0,0 +1,20 @@
<?xml version="1.0"?>
<!DOCTYPE sgpem SYSTEM "sgpem.dtd">
<sgpem>
<resources/>
<schedulables>
<process name="Rivoluzione" priority="1" arrival-time="0">
<threads>
<thread name="Copernico" priority="0" arrival-delta="0" lasts-for="3">
<requests/>
</thread>
<thread name="Bruno" priority="0" arrival-delta="3" lasts-for="2">
<requests/>
</thread>
<thread name="Galilei" priority="0" arrival-delta="6" lasts-for="3">
<requests/>
</thread>
</threads>
</process>
</schedulables>
</sgpem>

39
src/testsuite/scheduling-wizards/environments/Porno_priority_inversion.xgp Normal file
View file

@ -0,0 +1,39 @@
<?xml version="1.0"?>
<!DOCTYPE sgpem SYSTEM "sgpem.dtd">
<sgpem>
<resources>
<resource name="Jenna Jameson" id="reskey0" arrival-time="0" how-many="2" pre-emptible="false"/>
</resources>
<schedulables>
<process name="&quot;Wet Dreams IV&quot;" priority="0" arrival-time="0">
<threads>
<thread name="Peter North" priority="10" arrival-delta="0" lasts-for="3">
<requests>
<request arrival-time="0">
<subrequest resource="0" lasts-for="3"/>
</request>
</requests>
</thread>
</threads>
</process>
<process name="&quot;A Night With Jenna&quot;" priority="0" arrival-time="2">
<threads>
<thread name="Rocco Siffredi" priority="0" arrival-delta="0" lasts-for="3">
<requests>
<request arrival-time="0">
<subrequest resource="0" lasts-for="3"/>
<subrequest resource="0" lasts-for="3"/>
</request>
</requests>
</thread>
<thread name="Mandingo" priority="5" arrival-delta="0" lasts-for="3">
<requests>
<request arrival-time="0">
<subrequest resource="0" lasts-for="3"/>
</request>
</requests>
</thread>
</threads>
</process>
</schedulables>
</sgpem>

37
src/testsuite/scheduling-wizards/environments/ScuolaDiMileto_assert_fail.xgp Normal file
View file

@ -0,0 +1,37 @@
<?xml version="1.0"?>
<!DOCTYPE sgpem SYSTEM "sgpem.dtd">
<sgpem>
<resources>
<resource name="forchetta" id="reskey0" arrival-time="0" how-many="1" pre-emptible="false"/>
</resources>
<schedulables>
<process name="Scuola di Mileto" priority="0" arrival-time="0">
<threads>
<thread name="Anassimandro" priority="0" arrival-delta="0" lasts-for="3">
<requests>
<request arrival-time="1">
<subrequest resource="0" lasts-for="3"/>
</request>
<request arrival-time="2">
<subrequest resource="0" lasts-for="2"/>
</request>
</requests>
</thread>
<thread name="Anassimene" priority="0" arrival-delta="2" lasts-for="2">
<requests>
<request arrival-time="0">
<subrequest resource="0" lasts-for="1"/>
</request>
</requests>
</thread>
<thread name="Eraclito" priority="0" arrival-delta="2" lasts-for="2">
<requests>
<request arrival-time="0">
<subrequest resource="0" lasts-for="1"/>
</request>
</requests>
</thread>
</threads>
</process>
</schedulables>
</sgpem>

38
src/testsuite/scheduling-wizards/environments/ScuolaDiMileto_block_fail.xgp Normal file
View file

@ -0,0 +1,38 @@
<?xml version="1.0"?>
<!DOCTYPE sgpem SYSTEM "sgpem.dtd">
<sgpem>
<resources>
<resource name="ashi" id="reskey0" arrival-time="0" how-many="2" pre-emptible="false"/>
<resource name="forchetta" id="reskey1" arrival-time="0" how-many="1" pre-emptible="false"/>
</resources>
<schedulables>
<process name="Scuola di Mileto" priority="0" arrival-time="0">
<threads>
<thread name="Anassimandro" priority="0" arrival-delta="0" lasts-for="4">
<requests>
<request arrival-time="0">
<subrequest resource="1" lasts-for="4"/>
</request>
<request arrival-time="2">
<subrequest resource="1" lasts-for="3"/>
</request>
</requests>
</thread>
<thread name="Anassimene" priority="0" arrival-delta="1" lasts-for="6">
<requests>
<request arrival-time="0">
<subrequest resource="1" lasts-for="2"/>
</request>
</requests>
</thread>
<thread name="Pitagora" priority="0" arrival-delta="1" lasts-for="2">
<requests>
<request arrival-time="0">
<subrequest resource="1" lasts-for="2"/>
</request>
</requests>
</thread>
</threads>
</process>
</schedulables>
</sgpem>

35
src/testsuite/scheduling-wizards/environments/ScuolaDiMileto_gap_blocked.xgp Normal file
View file

@ -0,0 +1,35 @@
<?xml version="1.0"?>
<!DOCTYPE sgpem SYSTEM "sgpem.dtd">
<sgpem>
<resources>
<resource name="forchetta" id="reskey0" arrival-time="0" how-many="1" pre-emptible="false"/>
</resources>
<schedulables>
<process name="Pitagorici" priority="0" arrival-time="0">
<threads>
<thread name="Pitagora" priority="0" arrival-delta="0" lasts-for="5">
<requests>
<request arrival-time="0">
<subrequest resource="0" lasts-for="5"/>
</request>
</requests>
</thread>
</threads>
</process>
<process name="Scuola di Mileto" priority="1" arrival-time="2">
<threads>
<thread name="Anassimene" priority="0" arrival-delta="1" lasts-for="4">
<requests/>
</thread>
<thread name="Anassimandro" priority="0" arrival-delta="0" lasts-for="2">
<requests>
<request arrival-time="0">
<subrequest resource="0" lasts-for="1"/>
<subrequest resource="0" lasts-for="2"/>
</request>
</requests>
</thread>
</threads>
</process>
</schedulables>
</sgpem>

42
src/testsuite/scheduling-wizards/environments/ScuolaDiMileto_gap_fail.xgp Normal file
View file

@ -0,0 +1,42 @@
<?xml version="1.0"?>
<!DOCTYPE sgpem SYSTEM "sgpem.dtd">
<sgpem>
<resources>
<resource name="forchetta" id="reskey0" arrival-time="0" how-many="1" pre-emptible="false"/>
</resources>
<schedulables>
<process name="Pitagorici" priority="0" arrival-time="0">
<threads>
<thread name="Pitagora" priority="0" arrival-delta="0" lasts-for="4">
<requests>
<request arrival-time="0">
<subrequest resource="0" lasts-for="4"/>
<subrequest resource="0" lasts-for="4"/>
</request>
<request arrival-time="2">
<subrequest resource="0" lasts-for="4"/>
</request>
</requests>
</thread>
</threads>
</process>
<process name="Scuola di Mileto" priority="0" arrival-time="3">
<threads>
<thread name="Anassimene" priority="0" arrival-delta="0" lasts-for="6">
<requests>
<request arrival-time="0">
<subrequest resource="0" lasts-for="2"/>
</request>
</requests>
</thread>
<thread name="Anassimandro" priority="0" arrival-delta="0" lasts-for="2">
<requests>
<request arrival-time="0">
<subrequest resource="0" lasts-for="2"/>
</request>
</requests>
</thread>
</threads>
</process>
</schedulables>
</sgpem>

0
src/testsuite/scheduling-wizards/wizard-gap-blocked Executable file → Normal file
View file

0
src/testsuite/scheduling-wizards/wizard-gap-terminated Executable file → Normal file
View file

0
src/testsuite/scheduling-wizards/wizard-resource-lifo Executable file → Normal file
View file