在我的多线程程序中,我经常使用如下所示的方法来同步对数据的访问:
class MyAsyncClass
{
public: // public thread safe interface of MyAsyncClass
void start()
{
// add work to io_service
_ioServiceWork.reset(new boost::asio::io_service::work(_ioService));
// start io service
_ioServiceThread = boost::shared_ptr<boost::thread>(new boost::thread(boost::bind(&boost::asio::io_service::run, &_ioService)));
}
void stop()
{
_ioService.post(boost::bind(&MyAsyncClass::stop_internal, this));
// QUESTION:
// how do I wait for stop_internal to finish here?
// remove work
_ioServiceWork.reset();
// wait for the io_service to return from run()
if (_ioServiceThread && _ioServiceThread->joinable())
_ioServiceThread->join();
// allow subsequent calls to run()
_ioService.reset();
// delete thread
_ioServiceThread.reset();
}
void doSometing()
{
_ioService.post(boost::bind(&MyAsyncClass::doSometing_internal, this));
}
private: // internal handlers
void stop_internal()
{
_myMember = 0;
}
void doSomething_internal()
{
_myMember++;
}
private: // private variables
// io service and its thread
boost::asio::io_service _ioService;
boost::shared_ptr<boost::thread> _ioServiceThread;
// work object to prevent io service from running out of work
std::unique_ptr<boost::asio::io_service::work> _ioServiceWork;
// some member that should be modified only from _ioServiceThread
int _myMember;
};
从可以从任何线程调用其公共(public)方法的意义上来说,此类的公共(public)接口(interface)是线程安全的,并且
boost::asio::io_service
保证同步访问此类的私有(private)成员。因此,公共(public)doSomething()
除了将实际工作发布到io_service
中之外什么也没有做。start()
的stop()
和MyAsyncClass
方法显然可以在MyAsyncClass
中启动和停止处理。我希望能够从任何线程调用MyAsyncClass::stop()
,并且在MyAsyncClass
的未初始化完成之前它不应返回。因为在这种特殊情况下,我需要在停止时修改我的一个私有(private)成员(需要同步访问),所以我引入了
stop_internal()
方法,该方法从io_service
发布到stop()
。现在的问题是:如何等待
stop_internal()
在stop()
内部完成?请注意,我无法直接调用stop_internal()
,因为它将在错误的线程中运行。编辑:
如果从
MyAsyncClass::stop()
调用_ioServiceThread
,那么也有一个可行的解决方案会很好,这样MyAsyncClass
也可以自行停止。 最佳答案
我自己找到了一个很好的解决方案:
我没有在_ioServiceWork
中删除工作(重置stop()
),而是在stop_internal()
的末尾进行了此操作。这意味着_ioServiceThread->join()
会阻塞,直到stop_internal()
完成为止-正是我想要的。
这个解决方案的好处是它不需要任何互斥量或条件变量或类似的东西。