Using the threads, you have implemented, implement semaphores. Since the threads are non-preemptive, you do not need to ensure atomicity of the semaphores (they are already atomic).
Implement the following: (you can either create file called sem.h or write it in your main c file)
- Semaphore data structure: A value field and a queue of TCBs.
- InitSem(semaphore, value): Initializes the value field with the specified value.
- P(semaphore): The P routine decrements the semaphore, and if the value is 0 or less than zero then blocks the process in the queue associated with the semaphore.
- V(semaphore): The V routine increments the semaphore, and if the value is 0 or negative, then takes a PCB out of the semaphore queue and puts it into the run queue. Note: The V routine also “yields” to the next runnable process. //this is important.
- Implement a solution to the Producer Consumer Problem with the following settings: There are P producers all in while loops that loop N times, each producing 1 item in one loop.
There are C consumers all in while loops that loop N times each consuming 1 item in one loop.
Every consumer or producer yields at the end of a loop to the next process.
Consider that the buffer size is B items.
You will be given a Queue of numbers, where positive numbers denote the producer ID and negative numbers denote consumer ID
Arrange your ready queue accordingly
Start with the first thread in the queue and run it.
At the end of each loop before yield a consumer should print the following: if consumer X is consuming an item then print
printf”
Consumer %d is consuming item generated by Producer %d”,X,Y) else print
printf(“
Consumer %d is waiting
”,X)
At the end of each loop before yield the producer should print the following:
if producer X is producing an item then print
printf(“Producer %d is producing item number %d”, X,Y)
else print
printf(“
Producer %d is waiting
”, X)
How will you implement P(S) and V(S)?
P(S) requires two operations: a) block when S<= 0 and b) let go when S > 0;
The task (b) is easy as nothing needs to be done except for decrementing the semaphore value.
To perform task (a) for every semaphore you declare you have to create a new queue semQ. Whenever a thread executed P(S) and S <= 0 the TCB of the thread gets deleted from the ReadyQ and inserted at the end of the semQ. Then the process calls yield(). In this way if the thread remains in the semQ it never gets executed again.
V(S) requires two operations a) increment S and b) unblock one process. To unblock a process, you will deleted the head of semQ and add at the end of the ReadyQ. This way the processes can perform yield and the unblocked process will execute again.
Test cases
Similar to project 1, we will test your code using input redirection. The first line of each test case file will be of the form:
B,P,C,N
Where B is the buffer size, P is the number of producers, C is the number of consumers, and N is the number of times producers and consumers run their while loop. (Note all producers and consumers run the same number of while loop).
This line will be followed by P+C numbers (one number in each line). Each number denotes process ID. Positive numbers indicate producer process ID, while negative numbers indicate consumer process ID.
Example test case
2,3,1,2
1
-1
2
3
Example test case output
For this particular test case we have buffer size 2, 3 producers and 1 consumer, and each producer or consumer executes their while loops 2 times.
We have two semaphores here: a) Full (for the Consumer) and b) Empty (for the Producer).
Initially the ready queue looks like the following
ReadyQ à 1 -1 2 3
Our Buffer is initially empty
The Full and Empty queues remain empty
The first producer produces an item and prints
Producer 1 is producing item number 1
After this print the producer yields so the new ready queue looks like the following
ReadyQ à -1 2 3 1
Buffer à P1 __
The first consumer then executes and prints
Consumer 1 is consuming item generated by Producer 1
The ready queue now looks like the following
ReadyQ à 2 3 1 -1
Buffer à __ __
The second producer then executes.
Producer 2 is producing item number 1
Then it yields
ReadyQ à 3 1 -1 2
Buffer à P2 __
Producer 3 then executes
Producer 3 is producing item number 1
ReadyQ à 1 -1 2 3
Buffer à P2 P3
Producer 1 then attempts to produce but the buffer is full so has to wait
Producer 1 is waiting
EmptyQ à P1
ReadyQ à -1 2 3
Consumer 1 then executes. It unblocks P1 from empty queue and hence P1 joins the end of the ready queue. It then prints:
Consumer 1 is consuming item generated by Producer 2
After printing it exits because it is done.
EmptyQ à empty
ReadyQ à 2 3 1
Buffer à P3 __
Process P2 executes
Producer 2 is producing item number 2
Then producer 2 is done so it exits
ReadyQ à 3 1
Buffer à P3 P2
Producer 3 then executes but is blocked because buffer is full
Producer 3 is waiting
EmptyQ à P3
ReadyQ à 1
Producer 1 then executes
Producer 1 is waiting
The Ready Q is empty so
The program ends
SO overall output is as follows
Producer 1 is producing item number 1
Consumer 1 is consuming item generated by Producer 1
Producer 2 is producing item number 1
Producer 3 is producing item number 1
Producer 1 is waiting
Consumer 1 is consuming item generated by Producer 2
Producer 2 is producing item number 2
Producer 3 is waiting
Producer 1 is waiting
Reviews
There are no reviews yet.