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

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

  • 主动调度:任务主动调用调度函数,根据调度算法选择需要执行的任务,如果这个任务是当前任务就不切换,否则就切换。
  • 被动调度:往往是事件触发的,如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位。

相关推荐
UIU114几秒前
同一个变量在两个 .c 文件里类型不一致,程序会怎样?
c++·学习·c#
GEO从入门到精通8 小时前
课程怎么选?2026年GEO学习资源全梳理
学习
优化Henry9 小时前
LTE 载波频率与频点配置详解
运维·网络·学习·5g·信息与通信
小蒋学算法9 小时前
算法-交替删除操作后最后剩下的整数-跟着灵茶山艾府学算法
数据结构·算法
xiaomu001239 小时前
高湿环境床垫湿度管理技术框架:湿度阈值、排湿结构与材料选型
经验分享·学习·学习方法
荆棘鸟智能9 小时前
林业遥感长势评估怎么做?从NDVI时序分析到LiDAR蓄积量回归
人工智能·算法·智慧林业
zhangrelay10 小时前
ROS项目设计案例智能大模型正经乱答案例
linux·笔记·学习·ubuntu·机器人
probex_10 小时前
学习笔记:知识图谱是什么,在测试里能干什么
笔记·学习·知识图谱
hhb_61810 小时前
AIRAGDebug:一键定位RAG链路异常
人工智能·python·算法
朝朝辞暮i10 小时前
C++ 第 6 课:switch —— 多状态选择
开发语言·c++·算法