中断处理程序不能使用printf的本质

blfbuaa blfbuaa     2022-09-04     722

关键词:

vxworks 中断处理程序之所以不用printf,本质在于printf是将信息输出到标准输出设备(STDOUT)中, 整个标准输出设备是一个全局变量,由于有semTake操作。那么就会发生堵塞。vxworks属于硬实时操作系统。不能在规定的时间内完毕操作即会死机或复位。所以vxworks不用printf的原因在于堵塞。

网上说printf 由于引用全局变量stdout,所以是不可重入的。

这个略微解释一下。

假设用到了全局变量,可是用信号量保护,是线程安全的,可是不可重入的(会导致死锁,譬如一个任务或中断处理程序调用了printf。被还有一个高优先级中断打断,那么就会形成死锁而导致系统复位)。 所以这里的堵塞和不可重入都是由于对共享变量的保护而採用相互排斥锁引起的,而这里的堵塞是不可重入的一个真子集。

(比如:可能有些函数对静态或全局变量没有锁保护。因此是非线程安全,也是非可重入的,此时并没有堵塞在静态或全局变量上,所以不可重入的概念要大。)。因此printf不能用在中断处理程序中的根本原因在于使用了全局变量后採用了锁机制。而锁机制会导致堵塞,堵塞是不可重入的真子集。

所以网上说printf由于不可重入。也会说得过去的(但不可重入还有其它非堵塞的场景)。更准确的说法是由于堵塞在全局变量STDOUT上)。

关于可重入和线程安全的差别,下文会有详解:


线程安全函数
? 概念:
线程安全的概念比較直观。

一般说来,一个函数被称为线程安全的。当且仅当被多个并发线程重复调用时,它会一直产生正确的结果。


? 确保线程安全:
要确保函数线程安全,主要须要考虑的是线程之间的共享变量。属于同一进程的不同线程会共享进程内存空间中的全局区和堆,而私有的线程空间则主要包含栈和寄 存器。

因此。对于同一进程的不同线程来说,每一个线程的局部变量都是私有的,而全局变量、局部静态变量、分配于堆的变量都是共享的。在对这些共享变量进行訪 问时。假设要保证线程安全,则必须通过加锁的方式。
? 线程不安全的后果:
线程不安全可能导致的后果是显而易见的——共享变量的值因为不同线程的訪问。可能发生不可预料的变化,进而导致程序的错误,甚至崩溃。


可重入函数
? 概念:
可重入的概念基本没有比較正式的完整解释。多数的文档都仅仅是说明什么样的情况才干保证函数可重入,但没有完整定义。依照Wiki上的说法。“A computer program or routine is described as reentrant if it can be safely executed concurrently; that is, the routine can be re-entered while it is already running.”依据笔者的经验,所谓“重入”,常见的情况是。程序运行到某个函数foo()时。收到信号,于是暂停眼下正在运行的函数,转到信号处理 函数。而这个信号处理函数的执行过程中。又恰恰也会进入到刚刚执行的函数foo()。这样便发生了所谓的重入。此时假设foo()可以正确的执行,并且处理完毕后。之前暂停的foo()也可以正确执行,则说明它是可重入的。
? 确保可重入:
要确保函数可重入,需满足下面几个条件:
1、不在函数内部使用静态或全局数据
2、不返回静态或全局数据。全部数据都由函数的调用者提供。
3、使用本地数据,或者通过制作全局数据的本地拷贝来保护全局数据。


4、不调用不可重入函数。
? 不可重入的后果:
不可重入的后果主要体如今象信号处理函数这样须要重入的情况中。假设信号处理函数中使用了不可重入的函数,则可能导致程序的错误甚至崩溃。


 可重入与线程安全
可重入与线程安全并不等同。

一般说来,可重入的函数一定是线程安全的,但反过来不一定成立。


- 假设一个函数中用到了全局或静态变量,那么它不是线程安全的,也不是可重入的;
- 如果我们对它加以改进。在訪问全局或静态变量时使用相互排斥量或信号量等方式加锁,则能够使它变成线程安全的。但此时它仍然是不可重入的。由于通常加锁方式是针对不同线程的訪问,而对同一线程可能出现故障。这里举例说明:如果函数func() 在运行过程中须要訪问某个共享资源,因此为了实现线程安全。在使用该资源前加锁,在不须要资源解锁。
    如果该函数在某次运行过程中,在已经获得资源锁之后。有异步信号发生。程序的运行流转交给相应的信号处理函数。再如果在该信号处理函数中也须要调用函数 func() 。那么func() 在这次运行中仍会在訪问共享资源前试图获得资源锁,然而我们知道前一个func() 实例已然获得该锁。因此信号处理函数堵塞。

还有一方面。信号处理函数结束前被信号中断的线程是无法恢复运行的,当然也没有释放资源的机会,这样就出现了线程和信号处理函数之间的死锁局面。

  因此,func() 虽然通过加锁的方式能保证线程安全,可是因为函数体对共享资源的訪问。因此是非可重入。

假设将函数中的全局或静态变量去掉。改成函数參数等其它形式。则有可能使函数变成既线程安全,又可重入。比方:strtok函数是既不可重入的,也不是线程安全的;加锁的strtok不是可重入的,但线程安全。而strtok_r既是可重入的。也是线程安全的。

中断下半部之tasklet(代码片段)

简介tasklet是利用软中断实现的一种下半部机制。选择到底是使用软中断还是tasklet其实很简单:通常你应该用tasklet。引入软中断的主要原因是其可扩展性。如果不需要扩展到多个处理器,那么,就使用tasklet吧。tasklet... 查看详情

linux从头学07:中断那么重要,它的本质到底是什么?(代码片段)

文章目录中断向量与中断描述符中断的分类内部中断外部中断中断号中断向量和中断处理程序中断向量的本质中断处理程序的安装中断现场的保护和恢复总结:中断的本质在软件开发中,中断是一个绕不开的重要话题ÿ... 查看详情

《linux设备驱动程序》(十六)-中断处理

...要传递给处理器通常来说有以下几种方法:轮询、等待和中断。让CPU进行轮询等待总是不能让人满意,所以通常都采用中断的形式,让设备来通知CPU读取数据。2.6内核的函数参数与现在的参数有所区别,这里都主要介绍概念,具... 查看详情

西门子plc的atch中断指令使用

我是新手他基本上中断程序的吗哪我如何使用这条指令呢谁能说的详细点中断连接指令(ATCH)使中断事件(EVNT)与中断程序号码(INT)相联系,并启动中断事件。根据指定事件优先级组,PLC按照先来先服务的顺序对中断提供服务。任何... 查看详情

中断下半部之tasklet(代码片段)

简介tasklet是利用软中断实现的一种下半部机制。选择到底是使用软中断还是tasklet其实很简单:通常你应该用tasklet。引入软中断的主要原因是其可扩展性。如果不需要扩展到多个处理器,那么,就使用tasklet吧。tasklet... 查看详情

watchdog的正确使用方法

...mer定时器后。在watchdogtimer溢出时间间隔的75%会产生watchdog中断。至于在watchdog中做什么。好多演示样例程序。都会在中断处理函数中喂狗。使watchdogtimer又一次開始计时。实际的喂狗程序应该在watchdog的中断处理函数中吗?假设在... 查看详情

我需要一个中断处理程序,用于在linux中使用c++的两个串口(代码片段)

...打开它。但是当我在此函数中发送另一个串口信息并设置中断处理程序时,第一个串口不能通过中断处理程序接收。serial_port_init::serial_port_init(char*sp_name,speed_tbaud,void(*event_func)(int32_t))structtermiostermAttr;st 查看详情

操作系统的中断异常和系统调用

操作系统的中断、异常和系统调用中断硬件设置中断标记【CPU初始化】将内部、外部事件设置中断标记中断事件的ID软件保存当前处理状态中断服务程序处理清除中断标记恢复之前保存的处理状态异常异常编号保存现场异常处理... 查看详情

中断和异常

中断和异常中断机制的诞生缺点:各程序只能串行执行,系统资源利用率低为了解决上述问题,人们发明了操作系统,引入中断机制,实现了多道程序并发执行。本质:发生中断就意味着需要操作系统介入,开展管理工作中断的... 查看详情

中断的顶半部和底半部介绍以及实现方式(tasklet和工作队列)(代码片段)

1、中断处理程序的注意点(1)中断上下文中,不能和用户空间交互数据,因为可能导致休眠或者阻塞;(2)在程序执行完之前不能交出CPU,不能休眠,不能schedule;(3)中断处理程序要尽可能短,越长则导致... 查看详情

linux驱动开发-中断分层机制笔记6(代码片段)

中断分层机制—tasklet中断上下文因为中断产生时会打断当前占用CPU的进程,为尽量提高进程的运行效率,不会卡顿,从而使中断服务程序分为顶半部和底半部两个部分顶部分是用来处理应急事件,特别是硬件相关... 查看详情

linux驱动开发-中断分层机制笔记6(代码片段)

中断分层机制—tasklet中断上下文因为中断产生时会打断当前占用CPU的进程,为尽量提高进程的运行效率,不会卡顿,从而使中断服务程序分为顶半部和底半部两个部分顶部分是用来处理应急事件,特别是硬件相关... 查看详情

软中断有优先级之分吗

参考技术A1.中断的基本概念中断是指计算机在执行期间,系统内发生任何非寻常的或非预期的急需处理事件,使得CPU暂时中断当前正在执行的程序而转去执行相应的事件处理程序,待处理完毕后又返回原来被中断处继续执行或... 查看详情

硬中断和软中断(转)

...et/zhangskd/article/details/21992933 概述 从本质上来讲,中断是一种电信号,当设备有某种事件发生时,它就会产生中断,通过总线把电信号发送给中断控制器。如果中断的线是激活的,中断控制器就把电信号发送给处理器的某... 查看详情

映射 SAM L10 设备的中断处理程序

】映射SAML10设备的中断处理程序【英文标题】:MapinterrupthandlersforSAML10device【发布时间】:2022-01-0400:24:15【问题描述】:我一直试图在使用SAML10MCU的系统上设置I2C。我已经能够在MPLABX上将我的项目作为独立项目构建,而无需使用M... 查看详情

linux中断补充

参考技术A在系统结构中,CPU工作的模式有两种,一种是中断,由各种设备发起;一种是轮询,由CPU主动发起。中断IRQ:中断允许让设备(如键盘,串口卡,并口等设备)表明它们需要CPU。一旦CPU接收了中断请求,CPU就会暂时停止... 查看详情

linux系统对中断的处理(代码片段)

第2章Linux系统对中断的处理资料下载2.1进程、线程、中断的核心:栈2.1.1ARM处理器程序运行的过程2.1.2程序被中断时,怎么保存现场?2.1.3进程、线程的概念2.2Linux系统对中断处理的演进2.2.1Linux对中断的扩展:硬件中断... 查看详情

linux信号机制

...程间通信机制中唯一的异步通信机制,在软件层次上是对中断机制的一种模拟。即信号类似软中断。  信号和软中断的区别:    [1]中断有优先级,而信号没有优先级。    [2]信号处理程序是在用户态下运行的,而中... 查看详情