OSSchedLock()函数透析

uC/OS-II的OSSchedLock()和OSSchedUnlock()函数允许应用程序锁定当前任务不被其它任务抢占。

使用时应当注意的是:当你调用了OSSchedLock()之后,而在调用OSSchedUnlock()之前,

千万不要再调用诸如OSFlagPend()、OSMboxPend()、OSMutexPend()、OSQPend()、OSSemPend()之类的事件等待函数!

而且应当确保OSSchedLock()和OSSchedUnlock()函数成对出现,特别是在有些分支条件语句中,要考虑各种分支情况,不要有遗漏!

需要一并提醒用户的是:当您调用开关中断函数OS_ENTER_CRITICAL()和OS_EXIT_CRITICAL()时也要确保成对出现,否则系统将可能崩溃!

不过,在OS_ENTER_CRITICAL()和OS_EXIT_CRITICAL()函数之间调用OSFlagPend()、OSMboxPend()、OSMutexPend()、OSQPend()、OSSemPend()之类的事件等待函数是允许的。

OSSchedLock()

调用OSSchedLock()以后,用户的应用程序不得使用任何能将现行任务挂起的系统调用。

也就是说,用户程序不得调用OSMboxPend()、OSQPend()、OSSemPend()、

OSTaskSuspend(OS_PR1O_SELF)、OSTimeDly()或OSTimeDlyHMSM(),直到OSLockNesting回零为止。

因为调度器上了锁,用户就锁住了系统,任何其它任务都不能运行

下面贴出这个函数的代码 :
#if OS_SCHED_LOCK_EN > 0   //这是个全局变量,在Os_cfg.h中定义
void  OSSchedLock (void)
{
#if OS_CRITICAL_METHOD == 3                      /* Allocate storage for CPU status register           */
    OS_CPU_SR  cpu_sr;
#endif    
    
    
    if (OSRunning == TRUE) {                     /* 确认是否是多个任务在运行              */
        OS_ENTER_CRITICAL();
        if (OSLockNesting < 255) {               /* OSLockNesting最大值为255     */
            OSLockNesting++;                     /* Increment lock nesting level                       */
        }
        OS_EXIT_CRITICAL();
    }
}
#endif 
从上锁函数我们可以看出,这个函数就是一个确定任务上锁级数的函数,也就是为OSLockNesting这个变量更新取值的函数。
如果我们在任务里面执行一次该函数,则上锁级数就是1。我们也可以知道,上锁函数的深度最大值为255,我们可以通过上锁到255,到逐级解锁来实现不同的应用。
但这个过程,本人从来没有实现过。
并且补充一点,在上锁函数执行后,若任务遇到中断,则中断函数的执行会为OSIntNesting变量加1,所以上锁函数执行后,CPU一直处于当前任务与中断服务函数之间的运行,

直到解锁函数将OSLockNesting和OSIntNesting的值减到0时。方可解除系统锁定。。。。

转:ucos中的三种临界区管理机制(OS_CRITICAL_METHOD的解释)

熟悉ucos,或者读过Jean.J.Labrosse写过的ucos书籍的人,一定会知道ucos中著名的临界去管理宏:OS_ENTER_CRITICAL()和OS_EXIT_CRITICAL()。

同样是通过关中断来保护临界区,OS_ENTER_CRITICAL/OS_EXIT_CRITICAL一共实现了三种实现方式,如下所示:

  1. #if OS_CRITICAL_METHOD == 1
  2. #define OS_ENTER_CRITICAL() __asm__("cli")
  3. #define OS_EXIT_CRITICAL() __asm__("sti")
  4. #endif
  5. #if OS_CRITICAL_METHOD == 2
  6. #define OS_ENTER_CRITICAL() __asm__("pushf \n\t cli")
  7. #define OS_EXIT_CRITICAL() __asm__("popf")
  8. #endif
  9. #if OS_CRITICAL_METHOD == 3
  10. #define OS_ENTER_CRITICAL() (cpu_sr = OSCPUSaveSR())
  11. #define OS_EXIT_CRITICAL() (OSCPURestoreSR(cpu_sr))
  12. #endif

第一种方式,OS_ENTER_CRITICAL()简单地关中断,OS_EXIT_CRITICAL()简单地开中断。这种方式虽然简单高效,但无法满足嵌套的情况。如果有两层临界区保护,在退出内层临界区时就会开中断,使外层的临界区也失去保护。虽然ucos的内核写的足够好,没有明显嵌套临界区的情况,但谁也无法保证一定没有,无法保证今后没有,无法保证在附加的驱动或什么位置没有,所以基本上第一种方法是没有人用的。

第二种方式,OS_ENTER_CRITICAL()会在关中断前保存之前的标志寄存器内容到堆栈中,OS_EXIT_CRITICAL()从堆栈中恢复之前保存的状态。这样就允许了临界区嵌套的情况。但现在看来,这种方法还存在很大的问题,甚至会出现致命的漏洞。

在OS_CRITICAL_METHOD=2的情况下,假设有如下代码:

  1. function_a()
  2. {
  3. int a=(1<<31);
  4. OS_ENTER_CRITICAL();
  5. function_b(a);
  6. OS_EXIT_CRITICAL();
  7. }

会出现什么情况?在我的实验中,OS_EXIT_CRITICAL()之后,会出现处理器异常。为什么会出现处理起异常,让我来模拟一下它的汇编代码。之所以是模拟,并非是我虚构数据,而是因为我实际碰到问题的函数复杂一些,理解起来就需要更多的代码。而这个问题是有普遍意义的,所以请允许我来浅显地揭示这个隐藏的bug。

  1. function_a:
  2. push ebp
  3. mov ebp, esp
  4. sub esp, 8
  5. mov 4(esp), 0x80000000
  6. pushfd
  7. cli
  8. mov edi, 4(esp)
  9. mov (esp), edi
  10. call function_b
  11. popfd
  12. mov esp, ebp
  13. ret

这是参照了gcc编译结果的汇编模拟,无论是否加优化选项这一问题都存在。这个问题的起因很简单,gcc想聪明一点,一次把堆栈降个够,然后它就可以在栈上随意放参数去调用其他函数。尤其是在调用函数较多的时候,这种做法就更有意义。而且,gcc这种聪明与优化选项O好像没有太大关系,好像没有什么能禁止它这么做。但问题是,gcc不知道我们的OS_ENTER_CRITICAL()和OS_EXIT_CRITICAL()是操作了堆栈的,我尝试过使用__asm__ __volatile__("pushfd \n\tcli":::"memory")来通知gcc内存数据改变了,但显然gcc不认为堆栈也改变了。于是,OS_ENTER_CRITICAL()保存在栈上的状态就被冲掉了,比如被这里调用参数a的值。在恢复时,是否会引发异常,会引发什么异常,这个就要靠运气了。但我相信一个人的运气不会总是那么好的,所以最后别使用OS_CRITICAL_METHOD=2。

第三种,在关中断前,使用局部变量保存中断状态。这也是几乎所有实时操作系统共有的选择。但ucos是一朵奇葩,为了兼容前两种方式,OS_ENTER_CRITICAL()/ OS_EXIT_CRITICAL()宏定义并没有提供传递状态参数的功能。所以它的临界去必须这么用:

  1. function_a()
  2. {
  3. #if OS_CRITICAL_METHOD == 3
  4. int cpu_sr;
  5. #endif
  6. int a = 1<<31;
  7. OS_ENTER_CRITICAL();
  8. function_b(a);
  9. OS_EXIT_CRITICAL();
  10. }

这种代码怎么看怎么别扭,可能是因为在函数体内加了宏定义吧。然后,第三种方法对同一个函数体内的嵌套临界区无法支持,这在一些很长大的函数中使用时或许会造成一定困扰。

好吧,如果有了问题,就要有解决方案,毕竟我不是为了让大家对ucos失去信心的。我们可以参考下一般的实时操作系统是如何实现关中断临界区的,就是以显式的方式用局部变量保存中断状态。

  1. int int_lock()
  2. {
  3. int cpu_sr;
  4. __asm__ __volatile__("pushfd \n\t pop %0\n\t cli":"=r"(cpu_sr));
  5. return cpu_sr;
  6. }
  7. void int_unlock(int cpu_sr)
  8. {
  9. __asm__ __volatile__("push %0\n\t popfd"::"r"(cpu_sr));
  10. }
  11. function_a()
  12. {
  13. int a, cpu_sr;
  14. a=1<<31;
  15. cpu_sr = int_lock();
  16. function_b(a);
  17. int_unlock(cpu_sr);
  18. }

int_lock()和int_unlock()的可以用汇编更高效地实现,也可以选择只恢复中断标志的状态。这种方法让我们显示地管理状态保存的情况,我觉得至少要比宏定义清楚多了

时间: 2024-10-25 07:54:27

OSSchedLock()函数透析的相关文章

ucos_ii 上锁函数OSSchedLock()函数透析

因为任务调度时一般都是通过OSTIMEDLY()来实现.在这个函数中会对当前的任务执行挂起.同时查看任务调度表中是否有优先级合适的就绪任务.如果当前任务运行时调用OSSchedLock()给调度器上锁,这样再调用OSTIMEDLY()时就会把当前任务挂起.但由于调度器上锁而不能使其他任务得到CPU的使用权.这样除了中断意外就没有任务可以运行了.除非中断中对这种情况有处理.我想调用其余两个函数也是同OSTIMEDLY()一样的道理了! 在上锁函数执行后,若任务遇到中断,则中断函数的执行会为OSIn

透析Java本质-谁创建了对象,this是什么

Android系统手机屏幕的左上角为坐标系,同时y轴方向与笛卡尔坐标系的y轴方向想反.通过提供的api如getLeft , getTop, getBottom, getRight可以获得控件在parent中的相对位置.同时,也可以获得控件在屏幕中的绝对位置,详细用法可参考android应用程序中获取view的位置 当我们编写一些自定义的滑动控件时,会用到一些api如scrollTo(),scrollBy(),getScrollX(), getScrollY().由于常常会对函数getScroll

从经典架构项目中透析微服务架构的核心概念和充血模型

微服务架构和SOA区别 微服务现在辣么火,业界流行的对比的却都是所谓的Monolithic单体应用,而大量的系统在十几年前都是已经是分布式系统了,那么微服务作为新的理念和原来的分布式系统,或者说SOA(面向服务架构)是什么区别呢? 我们先看相同点: 需要Registry,实现动态的服务注册发现机制:需要考虑分布式下面的事务一致性,CAP原则下,两段式提交不能保证性能,事务补偿机制需要考虑:同步调用还是异步消息传递,如何保证消息可靠性?SOA由ESB来集成所有的消息:都需要统一的Gateway来汇

数据分析处理——透析表和交叉表

1透视表 数据透视表(Pivot Table)是一种交互式的表,可以进行某些计算,如求和与计数等.所进行的计算与数据跟数据透视表中的排列有关. 之所以称为数据透视表,是因为可以动态地改变它们的版面布置,以便按照不同方式分析数据,也可以重新安排行号.列标和页字段. 数据分析中的透析表十分强大,甚至可以说是相当于分组聚合外加哑变量三个步骤了.但有个前提就是:在使用透析表之前,你必须明确知道自己想要的是什么,需要做什么! 当然,有时候你很难直接看出需求.这时候我们就得添加项目和检查每一步来验证我们一步

2019-2025全球与中国透析溶液市场现状及未来发展趋势

本报告研究全球与中国市场透析溶液的发展现状及未来发展趋势,分别从生产和消费的角度分析透析溶液的主要生产地区.主要消费地区以及主要的生产商.重点分析全球与中国市场的主要厂商产品特点.产品规格.不同规格产品的价格.产量.产值及全球和中国市场主要生产商的市场份额. 主要生产商包括: Fresenius Baxter B. Braun Haemo Pharma Nipro Unipharm JSC Rockwell Medical 针对产品特性,本报告将其分为下面几类,主要分析这几类产品的价格.销量.市

【资源分享】透析表

今日分享excel的透析表内容 链接: https://pan.baidu.com/s/1vCST7la0V_5wX0T1aZzHnw 原文地址:https://www.cnblogs.com/zhoujianjie1988/p/11330324.html

字符串函数构析

字符串函数构析 今日参加了一场笔试,刚好程序题问到一道strcpy函数构建,刚好之前看过字符串函数,同时网上文章大部分都是介绍了下函数的用法,缺少了函数的实现,今日就来自己构析下常见的字符串函数,字符串函数位于标准库的头文件string.h中,在使用函数时需引用该文件 strlen 函数原型:size_t strlen(const char *s) 函数功能:返回s的字符串函数(不包含结尾的0) 函数构析:  size_t strlen(const char *s) /*size_t在不同架构下

主题:钩子函数简析及实例

钩子函数.回调函数.注冊函数.挂钩子这些我们代码中常常涉及到的东西,是否已经困扰你非常久了?它们到底是怎么回事,到底怎么用?以下我来为你一一解答. 什么是钩子函数? 钩子函数也叫回调函数,是通过函数指针来实现的.那我们来看看什么是函数指针. 首先看看下面样例: int *p; int a,b. 我们能够让指针p先后指向a, b,这样,p就先后代表了不同变量的地址 p = &a; p = &b; 相同地.函数的指针能够指向不同的函数,从而完毕不同的功能. 比如,定义函数指针: int (*

深入透析Android事件分发机制

一. Android分发机制概述: Android如此受欢迎,就在于其优秀的交互性,这其中,Android优秀的事件分发机制功不可没.那么,作为一个优秀的程序员,要想做一个具有良好交互性的应用,必须透彻理解Android的事件分发机制. 要想充分理解android的分发机制,需要先对以下几个知识点有所了解: ① View和ViewGroup什么? ② 事件 ③ View 事件的分发机制 ④ ViewGroup事件的分发机制 下面,就让我们沿着大致方向,开始事件分发的探究之旅吧-- 二. View