2016-11-08 23:36:50 +08:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2016 Wind River Systems, Inc.
|
|
|
|
*
|
2017-01-19 09:01:01 +08:00
|
|
|
* SPDX-License-Identifier: Apache-2.0
|
2016-11-08 23:36:50 +08:00
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef _kernel_structs__h_
|
|
|
|
#define _kernel_structs__h_
|
|
|
|
|
|
|
|
#include <kernel.h>
|
2017-01-23 06:06:05 +08:00
|
|
|
|
|
|
|
#if !defined(_ASMLANGUAGE)
|
2016-11-08 23:36:50 +08:00
|
|
|
#include <atomic.h>
|
|
|
|
#include <misc/dlist.h>
|
2017-04-21 22:07:34 +08:00
|
|
|
#include <string.h>
|
2016-11-08 23:36:50 +08:00
|
|
|
#endif
|
|
|
|
|
2016-11-25 03:08:08 +08:00
|
|
|
/*
|
2017-01-23 02:05:08 +08:00
|
|
|
* Bitmask definitions for the struct k_thread.thread_state field.
|
2016-11-25 03:08:08 +08:00
|
|
|
*
|
|
|
|
* Must be before kerneL_arch_data.h because it might need them to be already
|
|
|
|
* defined.
|
|
|
|
*/
|
|
|
|
|
2016-12-22 04:38:54 +08:00
|
|
|
|
|
|
|
/* states: common uses low bits, arch-specific use high bits */
|
|
|
|
|
2017-01-23 00:51:25 +08:00
|
|
|
/* Not a real thread */
|
|
|
|
#define _THREAD_DUMMY (1 << 0)
|
2016-11-25 03:08:08 +08:00
|
|
|
|
|
|
|
/* Thread is waiting on an object */
|
2017-01-23 00:41:59 +08:00
|
|
|
#define _THREAD_PENDING (1 << 1)
|
2016-11-25 03:08:08 +08:00
|
|
|
|
|
|
|
/* Thread has not yet started */
|
2017-01-23 00:41:59 +08:00
|
|
|
#define _THREAD_PRESTART (1 << 2)
|
2016-11-25 03:08:08 +08:00
|
|
|
|
|
|
|
/* Thread has terminated */
|
2017-01-23 00:41:59 +08:00
|
|
|
#define _THREAD_DEAD (1 << 3)
|
2016-11-25 03:08:08 +08:00
|
|
|
|
|
|
|
/* Thread is suspended */
|
2017-01-23 00:41:59 +08:00
|
|
|
#define _THREAD_SUSPENDED (1 << 4)
|
2016-11-25 03:08:08 +08:00
|
|
|
|
2017-01-29 00:54:48 +08:00
|
|
|
/* Thread is actively looking at events to see if they are ready */
|
|
|
|
#define _THREAD_POLLING (1 << 5)
|
|
|
|
|
2016-12-22 04:38:54 +08:00
|
|
|
/* end - states */
|
|
|
|
|
2017-05-12 04:29:15 +08:00
|
|
|
#ifdef CONFIG_STACK_SENTINEL
|
|
|
|
/* Magic value in lowest bytes of the stack */
|
|
|
|
#define STACK_SENTINEL 0xF0F0F0F0
|
|
|
|
#endif
|
2016-12-22 04:38:54 +08:00
|
|
|
|
2016-12-22 05:00:35 +08:00
|
|
|
/* lowest value of _thread_base.preempt at which a thread is non-preemptible */
|
|
|
|
#define _NON_PREEMPT_THRESHOLD 0x0080
|
|
|
|
|
|
|
|
/* highest value of _thread_base.preempt at which a thread is preemptible */
|
|
|
|
#define _PREEMPT_THRESHOLD (_NON_PREEMPT_THRESHOLD - 1)
|
2016-11-25 03:08:08 +08:00
|
|
|
|
2016-11-08 23:36:50 +08:00
|
|
|
#include <kernel_arch_data.h>
|
|
|
|
|
|
|
|
#if !defined(_ASMLANGUAGE)
|
|
|
|
|
|
|
|
struct _ready_q {
|
|
|
|
|
2016-12-22 03:36:43 +08:00
|
|
|
/* always contains next thread to run: cannot be NULL */
|
2016-11-08 23:36:50 +08:00
|
|
|
struct k_thread *cache;
|
|
|
|
|
|
|
|
/* bitmap of priorities that contain at least one ready thread */
|
2017-04-21 23:55:34 +08:00
|
|
|
u32_t prio_bmap[K_NUM_PRIO_BITMAPS];
|
2016-11-08 23:36:50 +08:00
|
|
|
|
|
|
|
/* ready queues, one per priority */
|
|
|
|
sys_dlist_t q[K_NUM_PRIORITIES];
|
|
|
|
};
|
|
|
|
|
kernel/arch: enhance the "ready thread" cache
The way the ready thread cache was implemented caused it to not always
be "hot", i.e. there could be some misses, which happened when the
cached thread was taken out of the ready queue. When that happened, it
was not replaced immediately, since doing so could mean that the
replacement might not run because the flow could be interrupted and
another thread could take its place. This was the more conservative
approach that insured that moving a thread to the cache would never be
wasted.
However, this caused two problems:
1. The cache could not be refilled until another thread context-switched
in, since there was no thread in the cache to compare priorities
against.
2. Interrupt exit code would always have to call into C to find what
thread to run when the current thread was not coop and did not have the
scheduler locked. Furthermore, it was possible for this code path to
encounter a cold cache and then it had to find out what thread to run
the long way.
To fix this, filling the cache is now more aggressive, i.e. the next
thread to put in the cache is found even in the case the current cached
thread is context-switched out. This ensures the interrupt exit code is
much faster on the slow path. In addition, since finding the next thread
to run is now always "get it from the cache", which is a simple fetch
from memory (_kernel.ready_q.cache), there is no need to call the more
complex C code.
On the ARM FRDM K64F board, this improvement is seen:
Before:
1- Measure time to switch from ISR back to interrupted task
switching time is 215 tcs = 1791 nsec
2- Measure time from ISR to executing a different task (rescheduled)
switch time is 315 tcs = 2625 nsec
After:
1- Measure time to switch from ISR back to interrupted task
switching time is 130 tcs = 1083 nsec
2- Measure time from ISR to executing a different task (rescheduled)
switch time is 225 tcs = 1875 nsec
These are the most dramatic improvements, but most of the numbers
generated by the latency_measure test are improved.
Fixes ZEP-1401.
Change-Id: I2eaac147048b1ec71a93bd0a285e743a39533973
Signed-off-by: Benjamin Walsh <benjamin.walsh@windriver.com>
2016-12-02 23:37:27 +08:00
|
|
|
typedef struct _ready_q _ready_q_t;
|
|
|
|
|
2016-11-08 23:36:50 +08:00
|
|
|
struct _kernel {
|
|
|
|
|
|
|
|
/* nested interrupt count */
|
2017-04-21 23:55:34 +08:00
|
|
|
u32_t nested;
|
2016-11-08 23:36:50 +08:00
|
|
|
|
|
|
|
/* interrupt stack pointer base */
|
|
|
|
char *irq_stack;
|
|
|
|
|
|
|
|
/* currently scheduled thread */
|
|
|
|
struct k_thread *current;
|
|
|
|
|
|
|
|
#ifdef CONFIG_SYS_CLOCK_EXISTS
|
|
|
|
/* queue of timeouts */
|
|
|
|
sys_dlist_t timeout_q;
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#ifdef CONFIG_SYS_POWER_MANAGEMENT
|
2017-04-21 23:55:34 +08:00
|
|
|
s32_t idle; /* Number of ticks for kernel idling */
|
2016-11-08 23:36:50 +08:00
|
|
|
#endif
|
|
|
|
|
|
|
|
/*
|
|
|
|
* ready queue: can be big, keep after small fields, since some
|
2016-11-14 23:17:30 +08:00
|
|
|
* assembly (e.g. ARC) are limited in the encoding of the offset
|
2016-11-08 23:36:50 +08:00
|
|
|
*/
|
|
|
|
struct _ready_q ready_q;
|
|
|
|
|
|
|
|
#ifdef CONFIG_FP_SHARING
|
|
|
|
/*
|
|
|
|
* A 'current_sse' field does not exist in addition to the 'current_fp'
|
|
|
|
* field since it's not possible to divide the IA-32 non-integer
|
|
|
|
* registers into 2 distinct blocks owned by differing threads. In
|
|
|
|
* other words, given that the 'fxnsave/fxrstor' instructions
|
|
|
|
* save/restore both the X87 FPU and XMM registers, it's not possible
|
|
|
|
* for a thread to only "own" the XMM registers.
|
|
|
|
*/
|
|
|
|
|
|
|
|
/* thread (fiber or task) that owns the FP regs */
|
|
|
|
struct k_thread *current_fp;
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#if defined(CONFIG_THREAD_MONITOR)
|
|
|
|
struct k_thread *threads; /* singly linked list of ALL fiber+tasks */
|
|
|
|
#endif
|
|
|
|
|
2017-10-14 04:57:07 +08:00
|
|
|
#if defined(CONFIG_USERSPACE)
|
|
|
|
/* 0 bits for ids currently in use, 1 for free ids */
|
|
|
|
u8_t free_thread_ids[CONFIG_MAX_THREAD_BYTES];
|
|
|
|
#endif
|
|
|
|
|
2016-11-08 23:36:50 +08:00
|
|
|
/* arch-specific part of _kernel */
|
|
|
|
struct _kernel_arch arch;
|
|
|
|
};
|
|
|
|
|
|
|
|
typedef struct _kernel _kernel_t;
|
|
|
|
|
|
|
|
extern struct _kernel _kernel;
|
|
|
|
|
|
|
|
#define _current _kernel.current
|
|
|
|
#define _ready_q _kernel.ready_q
|
|
|
|
#define _timeout_q _kernel.timeout_q
|
|
|
|
#define _threads _kernel.threads
|
|
|
|
|
|
|
|
#include <kernel_arch_func.h>
|
|
|
|
|
|
|
|
static ALWAYS_INLINE void
|
|
|
|
_set_thread_return_value_with_data(struct k_thread *thread,
|
|
|
|
unsigned int value,
|
|
|
|
void *data)
|
|
|
|
{
|
|
|
|
_set_thread_return_value(thread, value);
|
|
|
|
thread->base.swap_data = data;
|
|
|
|
}
|
|
|
|
|
2016-11-23 06:48:13 +08:00
|
|
|
extern void _init_thread_base(struct _thread_base *thread_base,
|
2017-04-21 23:55:34 +08:00
|
|
|
int priority, u32_t initial_state,
|
2016-11-23 06:48:13 +08:00
|
|
|
unsigned int options);
|
|
|
|
|
2017-03-31 04:07:02 +08:00
|
|
|
static ALWAYS_INLINE void _new_thread_init(struct k_thread *thread,
|
|
|
|
char *pStack, size_t stackSize,
|
|
|
|
int prio, unsigned int options)
|
2017-04-21 22:07:34 +08:00
|
|
|
{
|
2017-03-31 04:07:02 +08:00
|
|
|
#if !defined(CONFIG_INIT_STACKS) && !defined(CONFIG_THREAD_STACK_INFO)
|
|
|
|
ARG_UNUSED(pStack);
|
|
|
|
ARG_UNUSED(stackSize);
|
|
|
|
#endif
|
2017-04-21 22:07:34 +08:00
|
|
|
|
|
|
|
#ifdef CONFIG_INIT_STACKS
|
|
|
|
memset(pStack, 0xaa, stackSize);
|
|
|
|
#endif
|
2017-05-12 04:29:15 +08:00
|
|
|
#ifdef CONFIG_STACK_SENTINEL
|
|
|
|
/* Put the stack sentinel at the lowest 4 bytes of the stack area.
|
|
|
|
* We periodically check that it's still present and kill the thread
|
|
|
|
* if it isn't.
|
|
|
|
*/
|
|
|
|
*((u32_t *)pStack) = STACK_SENTINEL;
|
|
|
|
#endif /* CONFIG_STACK_SENTINEL */
|
2017-04-21 22:07:34 +08:00
|
|
|
/* Initialize various struct k_thread members */
|
|
|
|
_init_thread_base(&thread->base, prio, _THREAD_PRESTART, options);
|
|
|
|
|
|
|
|
/* static threads overwrite it afterwards with real value */
|
|
|
|
thread->init_data = NULL;
|
|
|
|
thread->fn_abort = NULL;
|
|
|
|
|
|
|
|
#ifdef CONFIG_THREAD_CUSTOM_DATA
|
|
|
|
/* Initialize custom data field (value is opaque to kernel) */
|
|
|
|
thread->custom_data = NULL;
|
|
|
|
#endif
|
|
|
|
|
2017-07-07 20:29:30 +08:00
|
|
|
#if defined(CONFIG_USERSPACE)
|
|
|
|
thread->mem_domain_info.mem_domain = NULL;
|
|
|
|
#endif /* CONFIG_USERSPACE */
|
|
|
|
|
2017-03-27 22:52:42 +08:00
|
|
|
#if defined(CONFIG_THREAD_STACK_INFO)
|
|
|
|
thread->stack_info.start = (u32_t)pStack;
|
|
|
|
thread->stack_info.size = (u32_t)stackSize;
|
|
|
|
#endif /* CONFIG_THREAD_STACK_INFO */
|
2017-04-21 22:07:34 +08:00
|
|
|
}
|
|
|
|
|
2017-04-22 00:33:57 +08:00
|
|
|
#if defined(CONFIG_THREAD_MONITOR)
|
|
|
|
/*
|
|
|
|
* Add a thread to the kernel's list of active threads.
|
|
|
|
*/
|
|
|
|
static ALWAYS_INLINE void thread_monitor_init(struct k_thread *thread)
|
|
|
|
{
|
|
|
|
unsigned int key;
|
|
|
|
|
|
|
|
key = irq_lock();
|
|
|
|
thread->next_thread = _kernel.threads;
|
|
|
|
_kernel.threads = thread;
|
|
|
|
irq_unlock(key);
|
|
|
|
}
|
|
|
|
#else
|
|
|
|
#define thread_monitor_init(thread) \
|
|
|
|
do {/* do nothing */ \
|
|
|
|
} while ((0))
|
|
|
|
#endif /* CONFIG_THREAD_MONITOR */
|
|
|
|
|
2016-11-08 23:36:50 +08:00
|
|
|
#endif /* _ASMLANGUAGE */
|
|
|
|
|
|
|
|
#endif /* _kernel_structs__h_ */
|