Script started on Wed 08 Oct 2003 01:24:02 AM PDT

#########################################################################
# This scipt file demonstrates that synchronization between the players #
# is maintained properly using the Signal and Continue Tennis monitor.  #
# It is observed from this script file that the first two players that  #
# arrive are the only ones that play tennis and that the doubles match  #
# does not start until all four players are present (and the first two  #
# players playing the singles set have finished their set).             # 
# different player interleavings are tested for example player one      #
# comming first followed by players 2, 3 and 4 or player 3 comming      #
# first followed by players 4, 1 and 2.                                 #
# all these interleavings show that the implementation works properly.  #
#########################################################################


~/courses/cpsc321/grp_nachos/Nachos/threads >
~/courses/cpsc321/grp_nachos/Nachos/threads >
~/courses/cpsc321/grp_nachos/Nachos/threads >
~/courses/cpsc321/grp_nachos/Nachos/threads >./nachos

Would you like to include debug statements to show
that mutual exclusion is preserved? 
1. yes
2. no
2

Please select the type of semantics you would like to test.
1. Signal and Exit.
2. Signal and Continue.
3. Signal and Wait.
2
 ### Signal and Continue  monitor test ### 

Please select the order in which the players should arrive.
1. player1, player2, player3, player4.
2. player1, player2, player4, player3.
3. player3, player4, player1, player2.
4. player1, player4, player3, player2.
1
** Player 1 arrived.
** Player 2 arrived.
## Player 2 playing singles set. 
** Player 3 arrived.
** Player 4 arrived.
## Player 1 playing singles set. 
## Player 1 playing doubles match. 
## Player 2 playing doubles match. 
## Player 3 playing doubles match. 
## Player 4 playing doubles match. 
No threads ready or runnable, and no pending interrupts.
Assuming the program completed.
Machine halting!

Ticks: total 660, idle 0, system 660, user 0
Disk I/O: reads 0, writes 0
Console I/O: reads 0, writes 0
Paging: faults 0
Network I/O: packets received 0, sent 0

Cleaning up...
~/courses/cpsc321/grp_nachos/Nachos/threads >./nachos

Would you like to include debug statements to show
that mutual exclusion is preserved? 
1. yes
2. no
2

Please select the type of semantics you would like to test.
1. Signal and Exit.
2. Signal and Continue.
3. Signal and Wait.
2
 ### Signal and Continue  monitor test ### 

Please select the order in which the players should arrive.
1. player1, player2, player3, player4.
2. player1, player2, player4, player3.
3. player3, player4, player1, player2.
4. player1, player4, player3, player2.
2
** Player 1 arrived.
** Player 2 arrived.
## Player 2 playing singles set. 
** Player 4 arrived.
** Player 3 arrived.
## Player 1 playing singles set. 
## Player 1 playing doubles match. 
## Player 2 playing doubles match. 
## Player 4 playing doubles match. 
## Player 3 playing doubles match. 
No threads ready or runnable, and no pending interrupts.
Assuming the program completed.
Machine halting!

Ticks: total 660, idle 0, system 660, user 0
Disk I/O: reads 0, writes 0
Console I/O: reads 0, writes 0
Paging: faults 0
Network I/O: packets received 0, sent 0

Cleaning up...
~/courses/cpsc321/grp_nachos/Nachos/threads >./nachos

Would you like to include debug statements to show
that mutual exclusion is preserved? 
1. yes
2. no
2

Please select the type of semantics you would like to test.
1. Signal and Exit.
2. Signal and Continue.
3. Signal and Wait.
2
 ### Signal and Continue  monitor test ### 

Please select the order in which the players should arrive.
1. player1, player2, player3, player4.
2. player1, player2, player4, player3.
3. player3, player4, player1, player2.
4. player1, player4, player3, player2.
3
** Player 3 arrived.
** Player 4 arrived.
## Player 4 playing singles set. 
** Player 1 arrived.
** Player 2 arrived.
## Player 3 playing singles set. 
## Player 3 playing doubles match. 
## Player 4 playing doubles match. 
## Player 1 playing doubles match. 
## Player 2 playing doubles match. 
No threads ready or runnable, and no pending interrupts.
Assuming the program completed.
Machine halting!

Ticks: total 660, idle 0, system 660, user 0
Disk I/O: reads 0, writes 0
Console I/O: reads 0, writes 0
Paging: faults 0
Network I/O: packets received 0, sent 0

Cleaning up...
~/courses/cpsc321/grp_nachos/Nachos/threads >./nachos

Would you like to include debug statements to show
that mutual exclusion is preserved? 
1. yes
2. no
2

Please select the type of semantics you would like to test.
1. Signal and Exit.
2. Signal and Continue.
3. Signal and Wait.
2
 ### Signal and Continue  monitor test ### 

Please select the order in which the players should arrive.
1. player1, player2, player3, player4.
2. player1, player2, player4, player3.
3. player3, player4, player1, player2.
4. player1, player4, player3, player2.
4
** Player 1 arrived.
** Player 4 arrived.
## Player 4 playing singles set. 
** Player 3 arrived.
** Player 2 arrived.
## Player 1 playing singles set. 
## Player 1 playing doubles match. 
## Player 4 playing doubles match. 
## Player 3 playing doubles match. 
## Player 2 playing doubles match. 
No threads ready or runnable, and no pending interrupts.
Assuming the program completed.
Machine halting!

Ticks: total 660, idle 0, system 660, user 0
Disk I/O: reads 0, writes 0
Console I/O: reads 0, writes 0
Paging: faults 0
Network I/O: packets received 0, sent 0

Cleaning up...
~/courses/cpsc321/grp_nachos/Nachos/threads >exit
exit

script done on Wed 08 Oct 2003 01:24:29 AM PDT
