61a0453e6e
This is for distinguish we are in init idle or idle loop. Use for assertion for sem_trywait & sem_wait Signed-off-by: ligd <liguiding1@xiaomi.com>
288 lines
8.7 KiB
C
288 lines
8.7 KiB
C
/****************************************************************************
|
|
* sched/semaphore/sem_wait.c
|
|
*
|
|
* Licensed to the Apache Software Foundation (ASF) under one or more
|
|
* contributor license agreements. See the NOTICE file distributed with
|
|
* this work for additional information regarding copyright ownership. The
|
|
* ASF licenses this file to you under the Apache License, Version 2.0 (the
|
|
* "License"); you may not use this file except in compliance with the
|
|
* License. You may obtain a copy of the License at
|
|
*
|
|
* http://www.apache.org/licenses/LICENSE-2.0
|
|
*
|
|
* Unless required by applicable law or agreed to in writing, software
|
|
* distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
|
|
* WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
|
|
* License for the specific language governing permissions and limitations
|
|
* under the License.
|
|
*
|
|
****************************************************************************/
|
|
|
|
/****************************************************************************
|
|
* Included Files
|
|
****************************************************************************/
|
|
|
|
#include <nuttx/config.h>
|
|
|
|
#include <stdbool.h>
|
|
#include <errno.h>
|
|
#include <assert.h>
|
|
|
|
#include <nuttx/init.h>
|
|
#include <nuttx/irq.h>
|
|
#include <nuttx/arch.h>
|
|
#include <nuttx/cancelpt.h>
|
|
|
|
#include "sched/sched.h"
|
|
#include "semaphore/semaphore.h"
|
|
|
|
/****************************************************************************
|
|
* Public Functions
|
|
****************************************************************************/
|
|
|
|
/****************************************************************************
|
|
* Name: nxsem_wait
|
|
*
|
|
* Description:
|
|
* This function attempts to lock the semaphore referenced by 'sem'. If
|
|
* the semaphore value is (<=) zero, then the calling task will not return
|
|
* until it successfully acquires the lock.
|
|
*
|
|
* This is an internal OS interface. It is functionally equivalent to
|
|
* sem_wait except that:
|
|
*
|
|
* - It is not a cancellation point, and
|
|
* - It does not modify the errno value.
|
|
*
|
|
* Input Parameters:
|
|
* sem - Semaphore descriptor.
|
|
*
|
|
* Returned Value:
|
|
* This is an internal OS interface and should not be used by applications.
|
|
* It follows the NuttX internal error return policy: Zero (OK) is
|
|
* returned on success. A negated errno value is returned on failure.
|
|
* Possible returned errors:
|
|
*
|
|
* - EINVAL: Invalid attempt to get the semaphore
|
|
* - EINTR: The wait was interrupted by the receipt of a signal.
|
|
*
|
|
****************************************************************************/
|
|
|
|
int nxsem_wait(FAR sem_t *sem)
|
|
{
|
|
FAR struct tcb_s *rtcb = this_task();
|
|
irqstate_t flags;
|
|
int ret = -EINVAL;
|
|
|
|
/* This API should not be called from interrupt handlers & idleloop */
|
|
|
|
DEBUGASSERT(sem != NULL && up_interrupt_context() == false);
|
|
DEBUGASSERT(!OSINIT_IDLELOOP() || !sched_idletask());
|
|
|
|
/* The following operations must be performed with interrupts
|
|
* disabled because nxsem_post() may be called from an interrupt
|
|
* handler.
|
|
*/
|
|
|
|
flags = enter_critical_section();
|
|
|
|
/* Make sure we were supplied with a valid semaphore. */
|
|
|
|
if (sem != NULL)
|
|
{
|
|
/* Check if the lock is available */
|
|
|
|
if (sem->semcount > 0)
|
|
{
|
|
/* It is, let the task take the semaphore. */
|
|
|
|
sem->semcount--;
|
|
nxsem_add_holder(sem);
|
|
rtcb->waitsem = NULL;
|
|
ret = OK;
|
|
}
|
|
|
|
/* The semaphore is NOT available, We will have to block the
|
|
* current thread of execution.
|
|
*/
|
|
|
|
else
|
|
{
|
|
/* First, verify that the task is not already waiting on a
|
|
* semaphore
|
|
*/
|
|
|
|
DEBUGASSERT(rtcb->waitsem == NULL);
|
|
|
|
/* Handle the POSIX semaphore (but don't set the owner yet) */
|
|
|
|
sem->semcount--;
|
|
|
|
/* Save the waited on semaphore in the TCB */
|
|
|
|
rtcb->waitsem = sem;
|
|
|
|
/* If priority inheritance is enabled, then check the priority of
|
|
* the holder of the semaphore.
|
|
*/
|
|
|
|
#ifdef CONFIG_PRIORITY_INHERITANCE
|
|
/* Disable context switching. The following operations must be
|
|
* atomic with regard to the scheduler.
|
|
*/
|
|
|
|
sched_lock();
|
|
|
|
/* Boost the priority of any threads holding a count on the
|
|
* semaphore.
|
|
*/
|
|
|
|
nxsem_boost_priority(sem);
|
|
#endif
|
|
/* Set the errno value to zero (preserving the original errno)
|
|
* value). We reuse the per-thread errno to pass information
|
|
* between sem_waitirq() and this functions.
|
|
*/
|
|
|
|
rtcb->errcode = OK;
|
|
|
|
/* Add the TCB to the prioritized semaphore wait queue, after
|
|
* checking this is not the idle task - descheduling that
|
|
* isn't going to end well.
|
|
*/
|
|
|
|
DEBUGASSERT(NULL != rtcb->flink);
|
|
up_block_task(rtcb, TSTATE_WAIT_SEM);
|
|
|
|
/* When we resume at this point, either (1) the semaphore has been
|
|
* assigned to this thread of execution, or (2) the semaphore wait
|
|
* has been interrupted by a signal or a timeout. We can detect
|
|
* these latter cases be examining the per-thread errno value.
|
|
*
|
|
* In the event that the semaphore wait was interrupted by a
|
|
* signal or a timeout, certain semaphore clean-up operations have
|
|
* already been performed (see sem_waitirq.c). Specifically:
|
|
*
|
|
* - nxsem_canceled() was called to restore the priority of all
|
|
* threads that hold a reference to the semaphore,
|
|
* - The semaphore count was decremented, and
|
|
* - tcb->waitsem was nullifed.
|
|
*
|
|
* It is necessary to do these things in sem_waitirq.c because a
|
|
* long time may elapse between the time that the signal was issued
|
|
* and this thread is awakened and this leaves a door open to
|
|
* several race conditions.
|
|
*/
|
|
|
|
/* Check if an error occurred while we were sleeping. Expected
|
|
* errors include EINTR meaning that we were awakened by a signal
|
|
* or ETIMEDOUT meaning that the timer expired for the case of
|
|
* sem_timedwait().
|
|
*
|
|
* If we were not awakened by a signal or a timeout, then
|
|
* nxsem_add_holder() was called by logic in sem_wait() fore this
|
|
* thread was restarted.
|
|
*/
|
|
|
|
ret = rtcb->errcode != OK ? -rtcb->errcode : OK;
|
|
|
|
#ifdef CONFIG_PRIORITY_INHERITANCE
|
|
sched_unlock();
|
|
#endif
|
|
}
|
|
}
|
|
|
|
leave_critical_section(flags);
|
|
return ret;
|
|
}
|
|
|
|
/****************************************************************************
|
|
* Name: nxsem_wait_uninterruptible
|
|
*
|
|
* Description:
|
|
* This function is wrapped version of nxsem_wait(), which is
|
|
* uninterruptible and convenient for use.
|
|
*
|
|
* Parameters:
|
|
* sem - Semaphore descriptor.
|
|
*
|
|
* Return Value:
|
|
* Zero(OK) - On success
|
|
* EINVAL - Invalid attempt to get the semaphore
|
|
* ECANCELED - May be returned if the thread is canceled while waiting.
|
|
*
|
|
****************************************************************************/
|
|
|
|
int nxsem_wait_uninterruptible(FAR sem_t *sem)
|
|
{
|
|
int ret;
|
|
|
|
do
|
|
{
|
|
/* Take the semaphore (perhaps waiting) */
|
|
|
|
ret = nxsem_wait(sem);
|
|
}
|
|
while (ret == -EINTR);
|
|
|
|
return ret;
|
|
}
|
|
|
|
/****************************************************************************
|
|
* Name: sem_wait
|
|
*
|
|
* Description:
|
|
* This function attempts to lock the semaphore referenced by 'sem'. If
|
|
* the semaphore value is (<=) zero, then the calling task will not return
|
|
* until it successfully acquires the lock.
|
|
*
|
|
* Input Parameters:
|
|
* sem - Semaphore descriptor.
|
|
*
|
|
* Returned Value:
|
|
* This function is a standard, POSIX application interface. It returns
|
|
* zero (OK) if successful. Otherwise, -1 (ERROR) is returned and
|
|
* the errno value is set appropriately. Possible errno values include:
|
|
*
|
|
* - EINVAL: Invalid attempt to get the semaphore
|
|
* - EINTR: The wait was interrupted by the receipt of a signal.
|
|
*
|
|
****************************************************************************/
|
|
|
|
int sem_wait(FAR sem_t *sem)
|
|
{
|
|
int errcode;
|
|
int ret;
|
|
|
|
/* sem_wait() is a cancellation point */
|
|
|
|
if (enter_cancellation_point())
|
|
{
|
|
#ifdef CONFIG_CANCELLATION_POINTS
|
|
/* If there is a pending cancellation, then do not perform
|
|
* the wait. Exit now with ECANCELED.
|
|
*/
|
|
|
|
errcode = ECANCELED;
|
|
goto errout_with_cancelpt;
|
|
#endif
|
|
}
|
|
|
|
/* Let nxsem_wait() do the real work */
|
|
|
|
ret = nxsem_wait(sem);
|
|
if (ret < 0)
|
|
{
|
|
errcode = -ret;
|
|
goto errout_with_cancelpt;
|
|
}
|
|
|
|
leave_cancellation_point();
|
|
return OK;
|
|
|
|
errout_with_cancelpt:
|
|
set_errno(errcode);
|
|
leave_cancellation_point();
|
|
return ERROR;
|
|
}
|