Threads issue in c language using pthread library

Question

I declare a global variable and initialize it with 0. In main () function i create two threads. The first thread function increments the global variable upto the received arguments (function parameter) using a for loop, while the second function decrements the global variable same times using for loop. When i pass 1000 as arguments the program works fine but when i pass 100000 the global variable value should be zero at the end but i found the value is not zero. I also called the join function for both threads but doesn't works.

    #include "stdio.h"
    #include "stdlib.h"
    #include "pthread.h"
    int globVar =0;


    void *incFunct(void* val){
      for (int i=0; i<val; i++)
        globVar++;
      pthread_exit(NULL); 
      }

    void *decFunct(void* val){
     for (int i=0; i<val; i++)
       globVar--;
     pthread_exit(NULL);
      }

    int main()
     {

       pthread_t tid[2];
       int val = 1000000;
       printf("Initial value of Global variable : %d \n", globVar);
       pthread_create(&tid[0], NULL, &incFunct, (void*)val);

       pthread_create(&tid[1], NULL, &decFunct, (void*)val);

       pthread_join(tid[0], NULL);
       pthread_join(tid[1], NULL);

       printf("Final Value of Global Var : %d \n", globVar);
        return 0;
         }

Saif please post your source here, I am guessing there maybe some logical bug in your code. Review your code as well and make sure you understand how to use a join. — user734028, Mar 20 '20 at 09:04

score 1 · Answer 1 · answered Mar 20 '20 at 13:32

Yeah, you can't do that. Reasonably, you could end up with globVar having any value between -10000000 and +1000000; unreasonably, you might have invited the compiler to burn down your home (ask google about undefined behaviour).

You need to synchronize the operations of the two threads. One such synchronization is with a pthread_mutex_t; and you would acquire the lock (pthread_mutex_lock()) before operating on globVar, and release the lock (pthread_mutex_unlock()) after updating globVar.

For this particularly silly case, atomics might be more appropriate if your compiler happens to support them (/usr/include/stdatomic.h).

score 1 · Answer 2 · answered Mar 20 '20 at 15:35

One thing that might happen is that the inc thread and the dec thread don't see consistent values for globVar. If you increment a variable you think has a value of 592, and, at the same time, I decrement what I think is the same variable but with a value of 311 — who wins? What happens when it's all over?

Without memory synchronization, you can't predict what will happen when multiple threads update the same memory location. You might have problems with cache coherency, variable tearing, and even reordered operations. Mutexes or C11 atomic variables are two ways to avoid these problems.

(As an aside, I suspect you don't see this problem with one thousand iterations because the first thread finishes well before the second even looks at globVar, and your implementation happens to update memory for that latter thread's consistency.)

Threads issue in c language using pthread library

2 Answers2