嵌入式实时操作系统的设计与开发(调度线程学习)

线程的调度分为两种:主动调度、被动调度。

  • 主动调度:任务主动调用调度函数,根据调度算法选择需要执行的任务,如果这个任务是当前任务就不切换,否则就切换。
  • 被动调度:往往是事件触发的,如Ticks时钟中断来了,任务执行时间加1,导致任务的执行时间到了,又或者有高优先级的任务的等待时间到了,就需要调用调度函数来切换任务。

调度的本质就是从就绪队列中找到最高优先级的线程来执行。

调度前准备

c 复制代码
void acoral_sched()
{
	if(!acoral_need_sched) //是否需要调度标志,仅当就绪队列acoral_ready_queues有线程加入或取下时,该标志置为true;仅当aCoral在调度线程时,该标志位置为false
		return;
	if(acoral_intr_nesting)
		return;
	if(acoral_sched_is_lock)
		return;
	if(!acoral_start_sched)
		return;
	HAL_SCHED_BRIDGE();
	return;
}
  • 是否需要调度标志acoral_nee_sched。为了减少不必要的调度。主要是因为将线程挂到就绪队列或从就绪队列取下线程的过程与调用调度函数有时间差,这个时间差中可能发生中断,在中断退出时就会执行调度函数,该情况下返回的时候没有必要再次执行调度函数了,所以当进行一些操作导致需要调度的情况,只是标志它,表示可以调度了,而什么时候调度由系统状态决定。当执行一次调度后,标志失效。
  • 是否处于中断函数执行过程中的标志,在中断处理函数执行过程中是不能进行线程切换的,因为中断状态和线程状态根本是不一样的,同时中断处理程序处理完后有很多收尾工作要做,必须要执行完所有中断处理程序才能进行线程切换。
  • 用于禁止调度的标识,它是用来实现暂时禁止抢占功能的,以达到临界点作用。
  • 调度开始标志acoral_start_sched,这个用来标志调度系统初始化完毕,系统可以进行调度了。

第一个判断条件need_sched失效的频率是最高的,放在最开始有助于提高性能。

HAL_SCHED_BRIDGE

将aCoral移植到stm32时,HAL_SCHED_BRIDGE会直接跳到汇编代码的HAL_SCHED_BRIDGE,再执行PENDSV中断。

c 复制代码
HAL_SCHED_BRIDGE:
	ldr r0, =NVIC_INT_CTRL
	ldr r1, =NVIC_PENDSVSET
	CPSIE I
	str r1, [r0]
	bx lr

PENDSV_CALL:
    mrs r8,primask
    CPSID   I
	push    {r0,lr}		
    mrs     r0,psp
    stmfd   r0!,{r1,r4-r11}       
    msr     psp,r0
    bl acoral_real_intr_sched
	pop     {r0,lr}
    mrs     r0,psp
    ldmfd   r0!,{r1,r4-r11}
    msr     psp,r0
    msr  primask,r8
    bx      lr

找到最高优先级线程

调度前的准备工作完成后,便是调用acoral_real_intr_sched()

c 复制代码
void acoral_real_intr_sched()
{
	acoral_thread_t *prev;
	acoral_thread_t *next;
	acoral_set_need_sched(false);
	prev = acoral_cur_thread;
	acoral_select_thread();
	next = acoral_ready_thrad;
	if(prev != next)
	{
		acoral_set_running_thread(next);
		if(prev->state == ACORAL_THREAD_STATE_EXIT)
		{
			prev->state = ACORAL_THREAD_STATE_RELEASE;
			HAL_INTR_SWITCH_TO($next->stack);
		}
		HAL_INTR_CTX_SWITCH(&prev->stack, &next->stack);
	}
}
c 复制代码
//从就绪队列中找出最高优先级的线程
void acoral_select_thread()
{
	unsigned int index;
	acoral_rdy_queue_t *rdy_queue;
	acoral_list_t *head;
	acoral_thread_t *thread;
	acoral_list_t *queue;
	rdy_queue = &acoral_ready_queues;
	index = acoral_get_highprio(rdy_queue);
	queue = rdy_queue->queue + index;
	head = queue;
	thread = list_entry(head->next, acoral_thread_t, ready);
	acoral_set_ready_thread(thread);
}
c 复制代码
typedef struct{
	unsigned int num;
	unsigned int bitmap[PRIO_BITMAP_SIZE];
	acoral_list_t queue[ACORAL_MAX_PRIO_NUM];
}acoral_rdy_queue_t;
c 复制代码
unsigned int acoral_get_highprio(acoral_rdy_queue_t *array)
{
	return acoral_find_first_bit(array->bitmap, PRIO_BITMAP_SIZE);
}
c 复制代码
unsigned int acoral_find_first_bit(const unsigned int *b, unsigned int length)
{
	unsigned int v;
	unsigned int off;
	for(off =0; v=b[off],off<length;off++){
		if(v) //选择第一个数值不为0的32位bitmap
			break;
	}
	return acoral_ffs(v) + off*32;//将这个值交给acoral_ffs进一步确定最低一位为1的是哪位。
}
c 复制代码
unsigned int acoral_ffs(unsigned int word)
{
	unsigned int k;
	k = 31;
	if(word & 0x0000ffff)
	{
		k -= 16;
		word <<= 16;
	}
	if(word & 0x00ff0000)
	{
		k -= 8;
		word <<= 8;
	}
	if (word & 0x0f000000) { k -= 4;  word <<= 4;  }
	if (word & 0x30000000) { k -= 2;  word <<= 2;  }
	if (word & 0x40000000) { k -= 1; }
	return k;
}

如果低16位有为1的,则肯定为1的那一位少于16,所以减去16,并且去掉高16位。

相关推荐
小码农<^_^>3 分钟前
优选算法精品课--滑动窗口算法(一)
算法
Mephisto.java5 分钟前
【大数据学习 | kafka高级部分】kafka中的选举机制
大数据·学习·kafka
羊小猪~~5 分钟前
神经网络基础--什么是正向传播??什么是方向传播??
人工智能·pytorch·python·深度学习·神经网络·算法·机器学习
软工菜鸡31 分钟前
预训练语言模型BERT——PaddleNLP中的预训练模型
大数据·人工智能·深度学习·算法·语言模型·自然语言处理·bert
南宫生34 分钟前
贪心算法习题其三【力扣】【算法学习day.20】
java·数据结构·学习·算法·leetcode·贪心算法
AI视觉网奇1 小时前
sklearn 安装使用笔记
人工智能·算法·sklearn
JingHongB1 小时前
代码随想录算法训练营Day55 | 图论理论基础、深度优先搜索理论基础、卡玛网 98.所有可达路径、797. 所有可能的路径、广度优先搜索理论基础
算法·深度优先·图论
weixin_432702261 小时前
代码随想录算法训练营第五十五天|图论理论基础
数据结构·python·算法·深度优先·图论
小冉在学习1 小时前
day52 图论章节刷题Part04(110.字符串接龙、105.有向图的完全可达性、106.岛屿的周长 )
算法·深度优先·图论
Repeat7151 小时前
图论基础--孤岛系列
算法·深度优先·广度优先·图论基础