Click here to Skip to main content
16,021,417 members
Please Sign up or sign in to vote.
0.00/5 (No votes)
See more:
In the below code, after second pop thread, not returning to main thread. Could not understand my mistake.

#include <iostream>
#include <chrono>
#include <thread>
#include <mutex>
#include <execution>
#include <condition_variable>

using namespace std::chrono_literals;
std::mutex g_pages_mutex;

class A
{
public:
    A() {
        gotoPush = false;
        gotoPop = false;
        gotoMain = true;
    }
    ~A() {}
    void push(int iStart,int iRange,int wait = 0)
    {
        std::unique_lock lk(m);
        cv.wait(lk, [&]() {return gotoPush; });
        while (iRange)
        {
            {
                std::lock_guard<std::mutex> guard(g_pages_mutex);
                m_list.push_back(iStart);
                std::cout << iStart << " is added : size = " << m_list.size() << "\n";
            }
            ++iStart;
            --iRange;
            if(wait>0)
                std::this_thread::sleep_for(std::chrono::milliseconds(wait));
        }
        gotoPop = true;
        lk.unlock();
        cv.notify_all();
    }
    void pop()
    {
        std::unique_lock lk(m);
        cv.wait(lk, [&]() {return gotoPop; });
        std::cout << "gotoPop = " << (gotoPop ? "true\n" : "false\n");
        while (true)
        {
            if (m_list.size())
            {
                std::lock_guard<std::mutex> guard(g_pages_mutex);
                m_list.erase(m_list.begin());
                std::cout << "removed : size is = " << m_list.size() << "\n";
            }
        }
        gotoMain = true;
        lk.unlock();
        cv.notify_all();
    }
    void print()
    {
        std::vector<int>::iterator itr = m_list.begin();
        while (itr != m_list.end())
        {
            itr = std::for_each_n(std::execution::seq, itr, 10, [](int i) { std::cout << i << " "; });
            std::cout << std::endl;
        }
    }
    volatile bool gotoPush, gotoPop, gotoMain;
    std::condition_variable cv;
    std::mutex m;
private:
    std::vector<int> m_list;
};

int main()
{
    A a1;
    std::thread obj3(&A::pop, &a1);
    std::thread obj1(&A::push, &a1, 1, 100,50);
    //auto obj2 = std::thread(&A::push, &a1, 1000, 100,0);
    a1.gotoPush = true;
    a1.cv.notify_all();
    {
        std::unique_lock lk(a1.m);
        a1.cv.wait(lk, [&]() {return a1.gotoMain; });
    }
    a1.print();
    obj1.join();
    obj3.join();
    return 1;
}


What I have tried:

In the above code, my objective is

run push first
then pop
then back to main thread and call print function

But as per my understanding everything seems fine... but objective is not achieved. Need help in understanding the conditional variable on multiple threads
Posted
Updated 11-Aug-22 1:22am
v2

1 solution

Compiling does not mean your code is right! :laugh:
Think of the development process as writing an email: compiling successfully means that you wrote the email in the right language - English, rather than German for example - not that the email contained the message you wanted to send.

So now you enter the second stage of development (in reality it's the fourth or fifth, but you'll come to the earlier stages later): Testing and Debugging.

Start by looking at what it does do, and how that differs from what you wanted. This is important, because it give you information as to why it's doing it. For example, if a program is intended to let the user enter a number and it doubles it and prints the answer, then if the input / output was like this:
Input   Expected output    Actual output
  1            2                 1
  2            4                 4
  3            6                 9
  4            8                16
Then it's fairly obvious that the problem is with the bit which doubles it - it's not adding itself to itself, or multiplying it by 2, it's multiplying it by itself and returning the square of the input.
So with that, you can look at the code and it's obvious that it's somewhere here:
int Double(int value)
   {
   return value * value;
   }

Once you have an idea what might be going wrong, start using the debugger to find out why. Put a breakpoint on the first line of the method, and run your app. When it reaches the breakpoint, the debugger will stop, and hand control over to you. You can now run your code line-by-line (called "single stepping") and look at (or even change) variable contents as necessary (heck, you can even change the code and try again if you need to).
Think about what each line in the code should do before you execute it, and compare that to what it actually did when you use the "Step over" button to execute each line in turn. Did it do what you expect? If so, move on to the next line.
If not, why not? How does it differ?
Hopefully, that should help you locate which part of that code has a problem, and what the problem is.
This is a skill, and it's one which is well worth developing as it helps you in the real world as well as in development. And like all skills, it only improves by use!
 
Share this answer
 
Comments
msharath123 12-Aug-22 1:00am    
Its not about debugging.

End of push-thread is calling(notifying) pop-thread
End of pop-thread is notifying all but main-thread is still in waiting mode.

Would like to understand the exact reason of that why change_variable::notify_all() is not working for main thread

This content, along with any associated source code and files, is licensed under The Code Project Open License (CPOL)



CodeProject, 20 Bay Street, 11th Floor Toronto, Ontario, Canada M5J 2N8 +1 (416) 849-8900