POCO中Event同步对象的POSIX实现

最新推荐文章于 2023-11-29 21:59:00 发布

原创

最新推荐文章于 2023-11-29 21:59:00 发布 · 1.8k 阅读

2 ·

CC 4.0 BY-SA版权

文章标签：

#struct #windows #null

本文探讨了POCO库中Event同步对象在POSIX环境下的问题，指出其使用条件变量模拟事件时未考虑cancellation point，可能导致程序异常。提供了一个改进的实现，增加了pthread_cleanup_push和pthread_cleanup_pop来解决潜在问题。

POCO1.4.1p1中Event同步对象的POSIX实现不够严谨，WIN32实现直接采用windows提供的event对象，而POSIX下采用条件变量模拟事件，但是没有考虑到cancellation point的问题，可能导致程序行为异常，下面代码注释的pthread_cleanup_push和pthread_cleanup_pop是我加上的，项目中放开这两个注释后暂时未重现异常问题。

void EventImpl::waitImpl() { //pthread_cleanup_push(pthread_mutex_unlock, &_mutex); if (pthread_mutex_lock(&_mutex)) throw SystemException("wait for event failed (lock)"); while (!_state) { if (pthread_cond_wait(&_cond, &_mutex)) { pthread_mutex_unlock(&_mutex); throw SystemException("wait for event failed"); } } if (_auto) _state = false; pthread_mutex_unlock(&_mutex); //pthread_cleanup_pop(0); } bool EventImpl::waitImpl(long milliseconds) { int rc = 0; struct timespec abstime; #if defined(__VMS) struct timespec delta; delta.tv_sec = milliseconds / 1000; delta.tv_nsec = (milliseconds % 1000)*1000000; pthread_get_expiration_np(&del