Operating Systems These questions are regarding a state machine I have been running simulating a game of hide and seek complete with numbers of players, hiding spots and more Its using a STM language and some Python The UML diagram jpg for the state machine is attached Question 1 Every time make test successfully runs the simulation, we get the same output game results in hideAndSeek out $ cat hideAndSeek out 000000001543,MSG,thread 0 process 0,0 Thread TAGGED 23 out of 100 000000001543,MSG,thread 1 process 0,1 Thread TAGGED 18 out of 100 000000001543,MSG,thread 2 process 0,2 Thread TAGGED 23 out of 100 000000001543,MSG,thread 3 process 0,3 Thread TAGGED 13 out of 100 000000001543,MSG,thread 4 process 0,4 Thread TAGGED 23 out of 100 How is it possible that each thread gets tagged the exact same number of times in each test run, despite all the calls to the pseudo random number generator sample() in STM model hideAndSeek stm Question 2 There are some variables in the state machine that have pcb as a prefix such as pcb players while others such as numberOfPlayers do not have this Why do only some variables have pcb while others do not processor init 0 thread init 3 init 0 init 0 processor making Processes 1 fork 0 thread initThread 4 Fork 1 cpu 0 processor processor Done 2 thread loopAnd Spawn 5 spawn 0 pu 1 spawn 1 threadwait For Others ToStart 6 cpu 0 cpu 1 thread see Wholsit 7 cpu 1 cpu 0 cpu 2 cpu 1 cpu 3 Someone WasTagged 0 thread endGame 10 thread lamSeeking 8 cpu 0 thread lamHiding 9 processor init 0 thread init 3 init 0 init 0 processor making Processes 1 fork 0 thread initThread 4 Fork 1 cpu 0 processor processor Done 2 thread loopAnd Spawn 5 spawn 0 pu 1 spawn 1 threadwait For Others ToStart 6 cpu 0 cpu 1 thread see Wholsit 7 cpu 1 cpu 0 cpu 2 cpu 1 cpu 3 Someone WasTagged 0 thread endGame 10 thread lamSeeking 8 cpu 0 thread lamHiding 9

The Answer is in the image, click to view ...

Question: Operating Systems - These questions are regarding a state machine I have been running simulating a game of hide and seek complete with numbers of

Operating Systems - These questions are regarding a state machine I have been running simulating a game of hide and seek complete with numbers of players, hiding spots and more. Its using a STM language and some Python. The UML diagram jpg for the state machine is attached.

Question 1

Every time "make test" successfully runs the simulation, we get the same output game results in hideAndSeek.out:

$ cat hideAndSeek.out 000000001543,MSG,thread 0 process 0,0 Thread TAGGED 23 out of 100 000000001543,MSG,thread 1 process 0,1 Thread TAGGED 18 out of 100 000000001543,MSG,thread 2 process 0,2 Thread TAGGED 23 out of 100 000000001543,MSG,thread 3 process 0,3 Thread TAGGED 13 out of 100 000000001543,MSG,thread 4 process 0,4 Thread TAGGED 23 out of 100

How is it possible that each thread gets tagged the exact same number of times in each test run, despite all the calls to the pseudo-random number generator sample() in STM model hideAndSeek.stm?

Operating Systems - These questions are regarding a state machine I have

Question 2:

There are some variables in the state machine that have "pcb." as a prefix such as "pcb.players" while others such as numberOfPlayers do not have this. Why do only some variables have pcb while others do not?

processor: init:0 thread-init:3 init:0 init:0 processor:making Processes: 1 fork:0 thread:initThread:4 Fork: 1 cpu:0 processor processor Done:2 thread:loopAnd Spawn:5 spawn:0 pu: 1 spawn:1 threadwait For Others ToStart:6 cpu:0 cpu: 1 thread:see Wholsit:7 cpu: 1 cpu:0 cpu:2/cpu:1 cpu:3 Someone WasTagged:0 thread:endGame:10 thread:lamSeeking:8 cpu:0 thread:lamHiding:9 processor: init:0 thread-init:3 init:0 init:0 processor:making Processes: 1 fork:0 thread:initThread:4 Fork: 1 cpu:0 processor processor Done:2 thread:loopAnd Spawn:5 spawn:0 pu: 1 spawn:1 threadwait For Others ToStart:6 cpu:0 cpu: 1 thread:see Wholsit:7 cpu: 1 cpu:0 cpu:2/cpu:1 cpu:3 Someone WasTagged:0 thread:endGame:10 thread:lamSeeking:8 cpu:0 thread:lamHiding:9

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer

Step: 1 Unlock blur-text-image

Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock

Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!

Let A, B be sets. Define: (a) the Cartesian product (A B) (b) the set of relations R between A and B (c) the identity relation A on the set A [3 marks] Suppose S, T are relations between A and B, and...

Help me please. In the month of September, all of the walmart grocery stores in Virginia sold 429,382 eggs. In that same month, all of the walmart grocery stores in Texas sold 283,054 eggs. How many...

The OB/HR Matrix Organisational Behaviour Concept HR Management Function The Link to HR Management Organisational Culture Employee Involvement and Relations Ethics Management Organisational Design...

please read chapter and answer the following questions. All answers must be typed. thank you, will give thumbs up. 1. What kind of structure, controls, and culture would you be likely to find in (a)...

4 easy accounting questions and a comfortable due date. Sorry I can't offer any more tutor credit. Thanks in advance! :-) Question 1: A few years ago, a publishing company in the fourth quarter had a...

Financial Statement Analysis Obtain a copy of the 2009 annual report for a publicly held firm. Try to obtain an annual report for a retail or manufacturing firm. Be sure that the financial statement...

In this question assume that p and q are atomic formulae. (a) Compare and contrast path formulae and state formulae in temporal logic. [4 marks] (b) Describe and contrast the meanings of F(G p) and...

Let i and j be positive integers. (i) Prove that there exist natural numbers a and b such that ai = bj+gcd(i, j). You may use standard results provided that you state them clearly. [4 marks] (ii) Let...

(a) Describe how to construct the function cpo ((D E), v) of two cpos (D, vD) and (E, vE). Prove that ((D E), v) is a cpo. (b) The function uncurry is inverse to the function curry; it takes a...

Running head: BRAND STRATEGY 1 Brand Strategy Kristina Cacaj Capella Universtiy BRAND STRATEGY 2 Brand Strategy A brand strategy can be defined as a long-term plan for the development of a certain...

Is an isothermal process necessarily internally reversible? Explain your answer with an example.

The US has an absurdly complicated tax and transfer system, but economists sometimes use the following setup as an excellent approximation. Consider a household earning pre-tax income y>0. The taxes...

Samara is the accounting assistant for the new bakery in town, Cakes Plus. While Samara understands numbers, they are more of a visual person and prefers to see the numbers laid out visually instead...

A company is considering two alternatives with the following costs: Materials costs Labor costs Overhead costs Inspection costs Alternative 1 $62,000 $40,000 $20,000 $33,000 Alternative 2 $59,000...

LO5 List three workplace health issues and highlight how employers are responding to them.

LO6 Define workplace security concerns and discuss some elements of an effective security program.

3. Companies are introducing more wellness programs to decrease the costs of health care, especially in light of Patient Protection and Affordable Care Act requirements. Employers are becoming more...