线程并发中的重入函数:保证程序的鲁棒性

老磊姑娘_9831

老磊姑娘_9831

2026-06-14

433人浏览

原创

重入函数是无需加锁即可安全并发执行的函数,其核心是仅依赖参数和栈变量、不访问全局/静态/堆内存及非可重入库函数;它比线程安全更底层可靠,天然适配中断上下文,避免死锁与阻塞风险。

线程并发中的重入函数:保证程序的鲁棒性

线程并发中,重入函数是保障程序鲁棒性的底层关键。它不靠加锁兜底,而是从设计源头消除竞态可能——只要函数只依赖参数和栈变量,不碰全局、静态、堆或不可重入库函数,就能在任意时刻被中断、重入、嵌套,结果依然确定可靠。

重入函数的核心判断标准

一个函数是否可重入,看三点:

  • 执行中被中断再进入,能否正确恢复并完成原任务
  • 多次调用是否各自拥有独立数据空间(仅用栈变量、寄存器参数)
  • 是否完全避开共享状态:无全局/静态变量、不返回其地址、不调用 malloc/printf/strtok 等非可重入函数

为什么重入比“加锁线程安全”更底层可靠

线程安全函数常用互斥锁保护全局资源,但锁本身会引入新风险:

  • 信号处理函数里调用带锁函数,可能死锁(信号打断时锁未释放)
  • 中断上下文不能睡眠,而某些锁实现会阻塞,导致系统挂起
  • 可重入函数天然适配中断服务程序(ISR),无需任何同步原语

换句话说,可重入是“无锁安全”,线程安全是“有锁安全”;前者是后者的子集,也更轻量、更确定。

Aibiye降AI率
Aibiye降AI率

Aibiye降AI率是一款AI工具,专注降低AIGC的AI写作助手,精准定位问题段落。

下载

实际编写时必须规避的典型陷阱

这些写法会让函数瞬间失去可重入性:

  • 声明 static int counter; 或 static char buf[64];
  • 返回 static char result[32]; 的指针
  • 调用 strtok()(内部用静态缓冲区)、ctime()(返回静态字符串)
  • 在函数内调用 malloc() —— 堆管理器本身依赖全局链表,不可重入
  • 使用 printf() 或 fopen() —— 标准I/O维护全局 FILE 结构和缓冲区

简单改造示例:让交换函数真正可重入

下面这个函数看似简洁,实则危险:

static int temp; // 全局临时变量
void swap_bad(int* a, int* b) {
  temp = *a;
  *a = *b;
  *b = temp;
}

正确做法是把 temp 移到栈上:

void swap_good(int* a, int* b) {
  int temp = *a;
  *a = *b;
  *b = temp;
}

每个调用都拥有自己的 temp,彼此隔离,中断重入也不影响逻辑完整性。

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
系统架构有哪些种类
系统架构有哪些种类

系统架构种类有单库单应用架构、内容分发架构、读写分离架构、微服务架构、多级缓存架构、分库分表架构等。想了解更多系统架构的相关内容,可以阅读本专题下面的文章。

2023.11.14

2558

5

PixTV官网入口地址合集
PixTV官网入口地址合集

本专题汇总了 PixTV AI 一站式视频创作平台的官方入口与使用教程。无需下载软件,浏览器直接访问即可使用。平台将剧本、图像、视频、声音与剪辑整合在“无限画布”中,接入 GPT Image 2.5、Seedance 2.5 等头部模型。本专题整理了从新建画布、角色锚定、分镜拆分到视频生成与导出的完整操作指南,助你快速上手 AI 短剧与漫剧创作。

2026.10.10

40

15

Kratos框架HTTP与gRPC服务开发教程
Kratos框架HTTP与gRPC服务开发教程

本专题围绕Kratos框架双协议服务开发,涵盖HTTP路由与处理器编写、参数获取、gRPC服务实现与客户端调用、metadata上下文传递、encoding编解码注册、统一响应封装、超时控制与流式响应实现方法。

2026.10.10

20

15

Kratos框架Protobuf接口定义与代码生成合集
Kratos框架Protobuf接口定义与代码生成合集

本专题讲解Kratos框架接口定义体系,涵盖proto编写规范、proto add/client/server生成命令、http注解路由、validate校验、OpenAPI文档生成、跨服务proto复用与兼容性设计。

2026.10.10

0

15

C++虚函数怎么定义和调用
C++虚函数怎么定义和调用

C++虚函数是实现运行时多态的重要机制。本专题从virtual关键字的基本用法入手,介绍基类与派生类之间的函数重写、基类指针调用派生类方法,以及动态绑定的执行过程,帮助初学者掌握虚函数的核心语法。

2026.10.10

20

26

C++类与对象的封装方法教程
C++类与对象的封装方法教程

C++封装是面向对象编程的核心特性之一,通过类将数据与操作数据的函数组织在一起,并利用访问权限控制外部访问。本专题介绍类的定义、成员变量、成员函数以及public、private和protected的使用方法,帮助初学者掌握封装的基本原理。

2026.10.10

20

32

C++构造函数定义与调用方法
C++构造函数定义与调用方法

C++构造函数用于初始化类对象,是面向对象编程的重要基础。本专题从构造函数的定义、声明和调用入手,介绍默认构造函数、带参数构造函数、拷贝构造函数及成员初始化列表,帮助初学者掌握对象创建与初始化的基本方法。

2026.10.10

20

16

Kratos框架零基础入门教程
Kratos框架零基础入门教程

本专题整理Kratos框架入门内容,涵盖Go环境准备、kratos CLI安装升级、new命令创建项目、目录结构分层说明、服务启动与双协议端口、依赖下载报错排查,帮助开发者快速跑通第一个Kratos框架微服务应用。

2026.10.10

20

15

C++条件判断语句怎么写
C++条件判断语句怎么写

C++条件判断是控制程序执行流程的重要基础。本专题介绍if、if-else、else if和switch等常见分支语句,结合条件表达式、比较运算符与代码示例,帮助初学者掌握不同场景下的判断逻辑。

2026.10.10

20

13

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Lua 5.3 中文开发手册
Lua 5.3 中文开发手册

共0课时 | 0人学习