redo the aos_sync API and add PI support
Previously, it didn't have different types for mutexes vs futexes and
the one common type was poorly named. It's hard to split that change out
from adding PI support, so they're both together. Adding PI support is
important because we have many places (ie the logging queue) where high-priority
and low-priority code interact heavily.
This change adds some small parts of robustness support, but they all
result in CHECK/assert failures if triggered.
Change-Id: I841ccee52568c32d453ed14f930430debbd8d78e
diff --git a/aos/linux_code/ipc_lib/condition.cc b/aos/linux_code/ipc_lib/condition.cc
index ed488c5..62ede1c 100644
--- a/aos/linux_code/ipc_lib/condition.cc
+++ b/aos/linux_code/ipc_lib/condition.cc
@@ -1,8 +1,10 @@
#include "aos/common/condition.h"
#include <inttypes.h>
+#include <assert.h>
#include "aos/common/type_traits.h"
+#include "aos/common/mutex.h"
namespace aos {
@@ -12,12 +14,13 @@
Condition::Condition(Mutex *m) : impl_(), m_(m) {}
bool Condition::Wait() {
- condition_wait(&impl_, &m_->impl_);
- return false;
+ const int ret = condition_wait(&impl_, &m_->impl_);
+ assert(__builtin_expect(ret == 0 || ret == 1, 1));
+ return ret == 1;
}
void Condition::Signal() {
- condition_signal(&impl_);
+ condition_signal(&impl_, &m_->impl_);
}
void Condition::Broadcast() {