1. You are asked to use spin (promela)
Write a program that has two threads. Make the first thread a simple loop that continuously increments a counter and prints a period (“.”) whenever the value of that counter is divisible by 10,000,000 make the second thread repeatedly wait for the user to input a line of text and then print “Thank you for your input.” On your system, does the first thread makes rapid progress? Does the second thread respond quickly?
a. How to develop your program
b. How to implement your program as the way your instructor can implement
c. Explain the implementation of your promela program
d. Attach the screenshot of your program output
1 freelance a fait une offre moyenne de 30 $ pour ce travail
I am an IT engineer with very good coding skills. I will provide you not only the working code but also good and readable code with comments and all so that you and others can benefit from it as well.