984 views
const int n = 5;
int count = 0;
void test(){
for i = 1 to n
count += 2;
}
main()   {
Par begin
test();
test();
test();
Par end
}

What can be the maximum and minimum value of count after completion of the program?

| 984 views
0
i think minimum 10 and maximum 30
0
after completion count will always be 30.. right ??
0
means we have to take the function calling in the sequence only.??

Minimum should be 4. Maximum should be 30.

As explained, it's read, increment count and store(3 steps) during execution of :

count+=2;

3 test() calls with 5 iterations for each. For simplicity let's consider 3 processes P1, P2 and P3 will execute one test each.

P1: Test() call (first iteration): loads '0', increments it by 2, [gets preempted before storing it back]

P2: Allow all 5 iterations for test() to run. The count value will now be 10

P3: 4 iterations of third test() runs normally and gets preempted. So, now the value of count is 18.

Now,  P1 is starts again from where it left off. It has count value of 2 incremented locally. It stores back 2 and gets preempted.

Now, P3 resumes execution of it's final iteration. It loads the value of count as 2, increments it to 4 and gets preemted

NowP1 executes remaining 4 iterations making the value of count as 10.

Finally, P3 executes the 'store' for it's last iteration. It stores back 4 (since it has count value as 4 locally incremented)

So, minimum turns out to be 4

The maximum will be 30 (execution happens sequentially)

by Junior (943 points)
Count += 2  treated as three instruction,

2. count + 2            //increment locally

3. Store                  // Globally

All 3 test() inside par begin par end means these function executes concurrently.

Program execution for max value.of count : run serially all Test(). Count becomes 30..

Now for minimum value :

Execute each test() for i=1 utill count +2 ..

Each test() increment count value to count +2 LOCALLY & still waiting for all test() to increment der local count by 2.

After incrementing local count let 1st test write count to 2 GLOBALLY.

Then 2nd test write count to 2 (because count +2 done locally so count value is still 2 for this test() ) . It overwrites count value by 2.

Then 3rd test() executes in same way as 2nd test() .

For n=1 all 3 test() executed and count value is 2..

Do same same for n=2,3,4,5

Final value of count is 10.
by Veteran (60.9k points)
0

i have a doubt .

I think the max and min both should be 30 .

Because when the 1st test()  is called then it should executed completely after that main will come to 2nd test()

and after 2nd test() then 3rd test() will be executed .

1st test();

2nd test();

3rd test();

0
All 3 test() are inside "PAR BEGIN, PAR END" so they execute concurrently..
0

oooo par means they can execute concurrently .  thanks :)

+1
^^ PAR : PARALLEL
0
Thanks a lot