2014-10-10 14:22:51 +02:00
|
|
|
/****************************************************************************
|
|
|
|
* sched/wqueue/wqueue.h
|
|
|
|
*
|
2024-09-11 13:45:11 +02:00
|
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
|
|
*
|
2020-03-11 21:23:38 +01:00
|
|
|
* 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
|
2014-10-10 14:22:51 +02:00
|
|
|
*
|
2020-03-11 21:23:38 +01:00
|
|
|
* http://www.apache.org/licenses/LICENSE-2.0
|
2014-10-10 14:22:51 +02:00
|
|
|
*
|
2020-03-11 21:23:38 +01:00
|
|
|
* 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.
|
2014-10-10 14:22:51 +02:00
|
|
|
****************************************************************************/
|
|
|
|
|
|
|
|
#ifndef __SCHED_WQUEUE_WQUEUE_H
|
|
|
|
#define __SCHED_WQUEUE_WQUEUE_H
|
|
|
|
|
|
|
|
/****************************************************************************
|
|
|
|
* Included Files
|
|
|
|
****************************************************************************/
|
|
|
|
|
|
|
|
#include <nuttx/config.h>
|
|
|
|
|
sched/wqueue: Do as much work as possible in work_thread
Decouple the semcount and the work queue length.
Previous Problem:
If a work is queued and cancelled in high priority threads (or queued
by timer and cancelled by another high priority thread) before
work_thread runs, the queue operation will mark work_thread as ready to
run, but the cancel operation minus the semcount back to -1 and makes
wqueue->q empty. Then the work_thread still runs, found empty queue,
and wait sem again, then semcount becomes -2 (being minused by 1)
This can be done multiple times, then semcount can become very small
value. Test case to produce incorrect semcount:
high_priority_task()
{
for (int i = 0; i < 10000; i++)
{
work_queue(LPWORK, &work, worker, NULL, 0);
work_cancel(LPWORK, &work);
usleep(1);
}
/* Now the g_lpwork.sem.semcount is a value near -10000 */
}
With incorrect semcount, any queue operation when the work_thread is
busy, will only increase semcount and push work into queue, but cannot
trigger work_thread (semcount is negative but work_thread is not
waiting), then there will be more and more works left in queue while
the work_thread is waiting sem and cannot call them.
Signed-off-by: Zhe Weng <wengzhe@xiaomi.com>
2023-03-15 14:55:28 +01:00
|
|
|
#include <semaphore.h>
|
2014-10-11 00:24:50 +02:00
|
|
|
#include <sys/types.h>
|
|
|
|
#include <stdbool.h>
|
|
|
|
|
2016-01-21 18:54:26 +01:00
|
|
|
#include <nuttx/clock.h>
|
2022-09-25 17:08:38 +02:00
|
|
|
#include <nuttx/queue.h>
|
2024-06-25 15:01:48 +02:00
|
|
|
#include <nuttx/wqueue.h>
|
2016-01-21 18:54:26 +01:00
|
|
|
|
2014-10-10 14:22:51 +02:00
|
|
|
#ifdef CONFIG_SCHED_WORKQUEUE
|
|
|
|
|
|
|
|
/****************************************************************************
|
|
|
|
* Pre-processor Definitions
|
|
|
|
****************************************************************************/
|
|
|
|
|
2018-09-09 23:01:44 +02:00
|
|
|
/* Kernel thread names */
|
2014-10-10 17:34:03 +02:00
|
|
|
|
2014-10-11 22:43:24 +02:00
|
|
|
#define HPWORKNAME "hpwork"
|
|
|
|
#define LPWORKNAME "lpwork"
|
2014-10-10 17:34:03 +02:00
|
|
|
|
2014-10-10 14:22:51 +02:00
|
|
|
/****************************************************************************
|
|
|
|
* Public Type Definitions
|
|
|
|
****************************************************************************/
|
2018-09-09 23:01:44 +02:00
|
|
|
|
2014-10-11 00:24:50 +02:00
|
|
|
/* This represents one worker */
|
|
|
|
|
|
|
|
struct kworker_s
|
|
|
|
{
|
2021-06-19 11:29:30 +02:00
|
|
|
pid_t pid; /* The task ID of the worker thread */
|
2023-08-28 13:29:54 +02:00
|
|
|
FAR struct work_s *work; /* The work structure */
|
|
|
|
sem_t wait; /* Sync waiting for worker done */
|
2014-10-11 00:24:50 +02:00
|
|
|
};
|
|
|
|
|
2014-10-11 16:50:00 +02:00
|
|
|
/* This structure defines the state of one kernel-mode work queue */
|
2014-10-11 00:24:50 +02:00
|
|
|
|
|
|
|
struct kwork_wqueue_s
|
|
|
|
{
|
2022-08-17 09:55:03 +02:00
|
|
|
struct dq_queue_s q; /* The queue of pending work */
|
2021-06-19 11:29:30 +02:00
|
|
|
sem_t sem; /* The counting semaphore of the wqueue */
|
2024-06-25 15:01:48 +02:00
|
|
|
sem_t exsem; /* Sync waiting for thread exit */
|
|
|
|
uint8_t nthreads; /* Number of worker threads */
|
|
|
|
bool exit; /* A flag to request the thread to exit */
|
|
|
|
struct kworker_s worker[0]; /* Describes a worker thread */
|
2014-10-11 00:24:50 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
/* This structure defines the state of one high-priority work queue. This
|
|
|
|
* structure must be cast-compatible with kwork_wqueue_s.
|
|
|
|
*/
|
|
|
|
|
2014-10-11 16:50:00 +02:00
|
|
|
#ifdef CONFIG_SCHED_HPWORK
|
2014-10-11 00:24:50 +02:00
|
|
|
struct hp_wqueue_s
|
|
|
|
{
|
2022-08-17 09:55:03 +02:00
|
|
|
struct dq_queue_s q; /* The queue of pending work */
|
2021-06-19 11:29:30 +02:00
|
|
|
sem_t sem; /* The counting semaphore of the wqueue */
|
2024-06-25 15:01:48 +02:00
|
|
|
sem_t exsem; /* Sync waiting for thread exit */
|
|
|
|
uint8_t nthreads; /* Number of worker threads */
|
|
|
|
bool exit; /* A flag to request the thread to exit */
|
2018-08-25 22:52:13 +02:00
|
|
|
|
|
|
|
/* Describes each thread in the high priority queue's thread pool */
|
|
|
|
|
|
|
|
struct kworker_s worker[CONFIG_SCHED_HPNTHREADS];
|
2014-10-11 00:24:50 +02:00
|
|
|
};
|
2014-10-11 16:50:00 +02:00
|
|
|
#endif
|
2014-10-11 00:24:50 +02:00
|
|
|
|
2018-08-25 22:52:13 +02:00
|
|
|
/* This structure defines the state of one low-priority work queue. This
|
2014-10-11 00:24:50 +02:00
|
|
|
* structure must be cast compatible with kwork_wqueue_s
|
|
|
|
*/
|
|
|
|
|
2014-10-11 16:50:00 +02:00
|
|
|
#ifdef CONFIG_SCHED_LPWORK
|
2014-10-11 00:24:50 +02:00
|
|
|
struct lp_wqueue_s
|
|
|
|
{
|
2022-08-17 09:55:03 +02:00
|
|
|
struct dq_queue_s q; /* The queue of pending work */
|
2021-06-19 11:29:30 +02:00
|
|
|
sem_t sem; /* The counting semaphore of the wqueue */
|
2024-06-25 15:01:48 +02:00
|
|
|
sem_t exsem; /* Sync waiting for thread exit */
|
|
|
|
uint8_t nthreads; /* Number of worker threads */
|
|
|
|
bool exit; /* A flag to request the thread to exit */
|
2014-10-11 00:24:50 +02:00
|
|
|
|
|
|
|
/* Describes each thread in the low priority queue's thread pool */
|
|
|
|
|
|
|
|
struct kworker_s worker[CONFIG_SCHED_LPNTHREADS];
|
|
|
|
};
|
2014-10-11 16:50:00 +02:00
|
|
|
#endif
|
2014-10-10 14:22:51 +02:00
|
|
|
|
|
|
|
/****************************************************************************
|
2014-10-10 16:35:58 +02:00
|
|
|
* Public Data
|
2014-10-10 14:22:51 +02:00
|
|
|
****************************************************************************/
|
|
|
|
|
2014-10-10 16:35:58 +02:00
|
|
|
#ifdef CONFIG_SCHED_HPWORK
|
|
|
|
/* The state of the kernel mode, high priority work queue. */
|
|
|
|
|
2014-10-11 00:24:50 +02:00
|
|
|
extern struct hp_wqueue_s g_hpwork;
|
2014-10-10 16:35:58 +02:00
|
|
|
#endif
|
|
|
|
|
|
|
|
#ifdef CONFIG_SCHED_LPWORK
|
|
|
|
/* The state of the kernel mode, low priority work queue(s). */
|
|
|
|
|
2014-10-11 00:24:50 +02:00
|
|
|
extern struct lp_wqueue_s g_lpwork;
|
2014-10-10 16:35:58 +02:00
|
|
|
#endif
|
|
|
|
|
2014-10-10 14:22:51 +02:00
|
|
|
/****************************************************************************
|
|
|
|
* Public Function Prototypes
|
|
|
|
****************************************************************************/
|
|
|
|
|
2024-06-25 15:01:48 +02:00
|
|
|
static inline_function FAR struct kwork_wqueue_s *work_qid2wq(int qid)
|
|
|
|
{
|
|
|
|
#ifdef CONFIG_SCHED_HPWORK
|
|
|
|
if (qid == HPWORK)
|
|
|
|
{
|
|
|
|
return (FAR struct kwork_wqueue_s *)&g_hpwork;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
#endif
|
|
|
|
#ifdef CONFIG_SCHED_LPWORK
|
|
|
|
if (qid == LPWORK)
|
|
|
|
{
|
|
|
|
return (FAR struct kwork_wqueue_s *)&g_lpwork;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
#endif
|
|
|
|
{
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-10-10 14:22:51 +02:00
|
|
|
/****************************************************************************
|
2020-05-16 17:06:29 +02:00
|
|
|
* Name: work_start_highpri
|
2014-10-10 14:22:51 +02:00
|
|
|
*
|
|
|
|
* Description:
|
2014-10-10 17:34:03 +02:00
|
|
|
* Start the high-priority, kernel-mode work queue.
|
2014-10-10 14:22:51 +02:00
|
|
|
*
|
2018-02-01 17:00:02 +01:00
|
|
|
* Input Parameters:
|
2014-10-10 17:34:03 +02:00
|
|
|
* None
|
2014-10-10 14:22:51 +02:00
|
|
|
*
|
|
|
|
* Returned Value:
|
2024-06-25 15:01:48 +02:00
|
|
|
* Return zero (OK) on success. A negated errno value is returned on
|
2014-10-10 17:34:03 +02:00
|
|
|
* errno value is returned on failure.
|
2014-10-10 14:22:51 +02:00
|
|
|
*
|
|
|
|
****************************************************************************/
|
|
|
|
|
|
|
|
#ifdef CONFIG_SCHED_HPWORK
|
2020-05-16 17:06:29 +02:00
|
|
|
int work_start_highpri(void);
|
2014-10-10 14:22:51 +02:00
|
|
|
#endif
|
|
|
|
|
|
|
|
/****************************************************************************
|
2020-05-16 17:06:29 +02:00
|
|
|
* Name: work_start_lowpri
|
2014-10-10 14:22:51 +02:00
|
|
|
*
|
|
|
|
* Description:
|
2014-10-10 17:34:03 +02:00
|
|
|
* Start the low-priority, kernel-mode worker thread(s)
|
2014-10-10 14:22:51 +02:00
|
|
|
*
|
2018-02-01 17:00:02 +01:00
|
|
|
* Input Parameters:
|
2014-10-10 17:34:03 +02:00
|
|
|
* None
|
2014-10-10 14:22:51 +02:00
|
|
|
*
|
|
|
|
* Returned Value:
|
2024-06-25 15:01:48 +02:00
|
|
|
* Return zero (OK) on success. A negated errno value is returned on
|
2014-10-10 17:34:03 +02:00
|
|
|
* errno value is returned on failure.
|
2014-10-10 14:22:51 +02:00
|
|
|
*
|
|
|
|
****************************************************************************/
|
|
|
|
|
|
|
|
#ifdef CONFIG_SCHED_LPWORK
|
2020-05-16 17:06:29 +02:00
|
|
|
int work_start_lowpri(void);
|
2014-10-10 14:22:51 +02:00
|
|
|
#endif
|
|
|
|
|
2018-09-09 23:01:44 +02:00
|
|
|
/****************************************************************************
|
2020-05-16 17:06:29 +02:00
|
|
|
* Name: work_initialize_notifier
|
2018-09-09 23:01:44 +02:00
|
|
|
*
|
|
|
|
* Description:
|
|
|
|
* Set up the notification data structures for normal operation.
|
|
|
|
*
|
|
|
|
****************************************************************************/
|
|
|
|
|
|
|
|
#ifdef CONFIG_WQUEUE_NOTIFIER
|
2020-05-16 17:06:29 +02:00
|
|
|
void work_initialize_notifier(void);
|
2018-09-09 23:01:44 +02:00
|
|
|
#endif
|
|
|
|
|
2014-10-10 14:22:51 +02:00
|
|
|
#endif /* CONFIG_SCHED_WORKQUEUE */
|
|
|
|
#endif /* __SCHED_WQUEUE_WQUEUE_H */
|