You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
173 lines
4.7 KiB
173 lines
4.7 KiB
/*
|
|
* Copyright (c) 2006-2023, RT-Thread Development Team
|
|
*
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
*
|
|
* Change Logs:
|
|
* Date Author Notes
|
|
* 2023-11-20 Shell Support of condition variable
|
|
*/
|
|
#define DBG_TAG "ipc.condvar"
|
|
#define DBG_LVL DBG_INFO
|
|
#include <rtdbg.h>
|
|
|
|
#include <rtdevice.h>
|
|
#include <rtatomic.h>
|
|
#include <rtthread.h>
|
|
|
|
static struct rt_spinlock _local_cv_queue_lock = RT_SPINLOCK_INIT;
|
|
|
|
#define CV_ASSERT_LOCKED(cv) \
|
|
RT_ASSERT(!(cv)->waiting_mtx || \
|
|
rt_mutex_get_owner((rt_mutex_t)(cv)->waiting_mtx) == \
|
|
rt_thread_self())
|
|
|
|
void rt_condvar_init(rt_condvar_t cv, char *name)
|
|
{
|
|
#ifdef USING_RT_OBJECT
|
|
/* TODO: support rt object */
|
|
rt_object_init();
|
|
#endif
|
|
|
|
rt_wqueue_init(&cv->event);
|
|
rt_atomic_store(&cv->waiters_cnt, 0);
|
|
rt_atomic_store(&cv->waiting_mtx, 0);
|
|
}
|
|
|
|
static int _waitq_inqueue(rt_wqueue_t *queue, struct rt_wqueue_node *node,
|
|
rt_tick_t timeout, int suspend_flag)
|
|
{
|
|
rt_thread_t tcb = node->polling_thread;
|
|
rt_timer_t timer = &(tcb->thread_timer);
|
|
rt_err_t ret;
|
|
|
|
if (queue->flag != RT_WQ_FLAG_WAKEUP)
|
|
{
|
|
ret = rt_thread_suspend_with_flag(tcb, suspend_flag);
|
|
if (ret == RT_EOK)
|
|
{
|
|
rt_wqueue_add(queue, node);
|
|
if (timeout != RT_WAITING_FOREVER)
|
|
{
|
|
rt_timer_control(timer, RT_TIMER_CTRL_SET_TIME, &timeout);
|
|
|
|
rt_timer_start(timer);
|
|
}
|
|
}
|
|
}
|
|
else
|
|
{
|
|
ret = RT_EOK;
|
|
}
|
|
|
|
return ret;
|
|
}
|
|
|
|
#define INIT_WAITQ_NODE(node) \
|
|
{ \
|
|
.polling_thread = rt_thread_self(), .key = 0, \
|
|
.wakeup = __wqueue_default_wake, .wqueue = &cv->event, \
|
|
.list = RT_LIST_OBJECT_INIT(node.list) \
|
|
}
|
|
|
|
int rt_condvar_timedwait(rt_condvar_t cv, rt_mutex_t mtx, int suspend_flag,
|
|
rt_tick_t timeout)
|
|
{
|
|
rt_err_t acq_mtx_succ, rc;
|
|
rt_atomic_t waiting_mtx;
|
|
struct rt_wqueue_node node = INIT_WAITQ_NODE(node);
|
|
|
|
/* not allowed in IRQ & critical section */
|
|
RT_DEBUG_SCHEDULER_AVAILABLE(1);
|
|
CV_ASSERT_LOCKED(cv);
|
|
|
|
/**
|
|
* for the worst case, this is racy with the following works to reset field
|
|
* before mutex is taken. The spinlock then comes to rescue.
|
|
*/
|
|
rt_spin_lock(&_local_cv_queue_lock);
|
|
waiting_mtx = rt_atomic_load(&cv->waiting_mtx);
|
|
if (!waiting_mtx)
|
|
acq_mtx_succ = rt_atomic_compare_exchange_strong(
|
|
&cv->waiting_mtx, &waiting_mtx, (size_t)mtx);
|
|
else
|
|
acq_mtx_succ = 0;
|
|
|
|
rt_spin_unlock(&_local_cv_queue_lock);
|
|
|
|
if (acq_mtx_succ == 1 || waiting_mtx == (size_t)mtx)
|
|
{
|
|
rt_atomic_add(&cv->waiters_cnt, 1);
|
|
|
|
rt_enter_critical();
|
|
|
|
if (suspend_flag == RT_INTERRUPTIBLE)
|
|
rc = _waitq_inqueue(&cv->event, &node, timeout, RT_INTERRUPTIBLE);
|
|
else /* UNINTERRUPTIBLE is forbidden, since it's not safe for user space */
|
|
rc = _waitq_inqueue(&cv->event, &node, timeout, RT_KILLABLE);
|
|
|
|
acq_mtx_succ = rt_mutex_release(mtx);
|
|
RT_ASSERT(acq_mtx_succ == 0);
|
|
rt_exit_critical();
|
|
|
|
if (rc == RT_EOK)
|
|
{
|
|
rt_schedule();
|
|
|
|
rc = rt_get_errno();
|
|
rc = rc > 0 ? -rc : rc;
|
|
}
|
|
else
|
|
{
|
|
LOG_D("%s() failed to suspend", __func__);
|
|
}
|
|
|
|
rt_wqueue_remove(&node);
|
|
|
|
rt_spin_lock(&_local_cv_queue_lock);
|
|
if (rt_atomic_add(&cv->waiters_cnt, -1) == 1)
|
|
{
|
|
waiting_mtx = (size_t)mtx;
|
|
acq_mtx_succ = rt_atomic_compare_exchange_strong(&cv->waiting_mtx,
|
|
&waiting_mtx, 0);
|
|
RT_ASSERT(acq_mtx_succ == 1);
|
|
}
|
|
rt_spin_unlock(&_local_cv_queue_lock);
|
|
|
|
acq_mtx_succ = rt_mutex_take(mtx, RT_WAITING_FOREVER);
|
|
RT_ASSERT(acq_mtx_succ == 0);
|
|
}
|
|
else
|
|
{
|
|
LOG_D("%s: conflict waiting mutex", __func__);
|
|
rc = -EBUSY;
|
|
}
|
|
|
|
return rc;
|
|
}
|
|
|
|
/** Keep in mind that we always operating when cv.waiting_mtx is taken */
|
|
|
|
int rt_condvar_signal(rt_condvar_t cv)
|
|
{
|
|
CV_ASSERT_LOCKED(cv);
|
|
|
|
/* to avoid spurious wakeups */
|
|
if (rt_atomic_load(&cv->waiters_cnt) > 0)
|
|
rt_wqueue_wakeup(&cv->event, 0);
|
|
|
|
cv->event.flag = 0;
|
|
return 0;
|
|
}
|
|
|
|
int rt_condvar_broadcast(rt_condvar_t cv)
|
|
{
|
|
CV_ASSERT_LOCKED(cv);
|
|
|
|
/* to avoid spurious wakeups */
|
|
if (rt_atomic_load(&cv->waiters_cnt) > 0)
|
|
rt_wqueue_wakeup_all(&cv->event, 0);
|
|
|
|
cv->event.flag = 0;
|
|
return 0;
|
|
}
|
|
|