Need a promela program that will start with an integer stack

Assignment Help Computer Engineering

Reference no: EM132081309

You need a promela (SPIN) program that will start with an integer stack of 100 tokens.

It will then create two child processes that will remove 1 token at a time from the stack when they reach the critical section, and keep a local count of tokens that are removed.

The child processes will also randomly determine if a token is one of three categories: Sunny, Cloudy, and Rainy.

If they pop a token off the global stack and it is determined to be a Raniy token, it will not be counted in the local count of the process that popped it off.

In the end the processes will print to the screen a count of tokens they popped off. All of this must be done using Peterson's Mutex Algorithm.

Reference no: EM132081309

Questions Cloud

Write a program which asks the user the enter four strings : Write a C++ program which asks the user the enter 4 C-strings: fileName1, fileName2, word1, and word2.

Design a program to read all numbers into an array : Assume that a file containing a series of integers is named numbers.txt. Design a program to read all numbers into an array.

Display the student name with the highest score : Store ten student names and their individual score in a text file such as Notepad. There will be one score per student.

Calculate the cost per equivalent : ACC203 – Management Accounting - Calculate the cost per equivalent for both direct material and conversion during June. Use weighted average process costing

Need a promela program that will start with an integer stack : You need a promela (SPIN) program that will start with an integer stack of 100 tokens.

Calculate and analyze the debt ratio : Calculate and analyze the debt ratio, and time interest earned for the last two years from the SEC Form 10-K

Split between preferred and common stock : How would I figure out WACC, especially when Equity is split between Preferred and Common Stock?

Write a python code for project named virtual election booth : Voter generates a pair of private and public keys - for the purpose of digital signature. Voter uses his private key to sign his request and the public key.

Conversion value of the bond : With the common stock selling at $37, what is the conversion value of the bond?

User Account

All Pages