0

これは、ミューテックスなしでスレッドを同期する正しい方法ですか? このコードは長時間実行する必要があります

#include <boost/thread.hpp>
#include <boost/thread/mutex.hpp>
#include <boost/memory_order.hpp>
#include <atomic>

std::atomic<long> x =0;
std::atomic<long> y =0;

boost::mutex m1;

// Thread increments
void Thread_Func()
{
    for(;;)
    {
//      boost::mutex::scoped_lock lx(m1);
        ++x;
        ++y;
    }
}

// Checker Thread
void Thread_Func_X()
{
    for(;;)
    {
//      boost::mutex::scoped_lock lx(m1);
        if(y > x)
        {
// should never hit until int overflows
            std::cout << y << "\\" << x << std::endl;
            break;
        }
    }
}

//Test Application
int main(int argc, char* argv[])
{
    boost::thread_group threads;
    threads.create_thread(Thread_Func);
    threads.create_thread(Thread_Func_X);
    threads.join_all();
    return 0;
}
4

1 に答える 1

0

何をしようとしているのかを正確に知らなければ、それが「正しい」方法であるとは言えません。これは有効なコードですが、少しジャンキーです。

「チェッカー」スレッドが状態を見るという保証はありませんy > x。理論上、絶対に壊れない可能性があります。実際には、ある時点でトリガーされますが、x は LONG_MIN ではなく、y は LONG_MAX ではない可能性があります。つまり、オーバーフローが発生したときにトリガーされる保証はありません。

于 2013-06-12T02:51:25.483 に答える