一个ILLEGLE INSTRUCTION转SEGMENT FAULT的诡异CORE

absunique 2016-05-09 03:24:34
碰到一个ILLEGAL INSTRUCTION后面转SEGMANET FAULT的诡异的问题，求助一下……
先简单描述一下代码结果，实际比这个复杂，但大概也差不多
a1.c/a2.c/a3.c=>LIBA.SO
e.c + LIBA.SO=>execBin

下面我开始讲述一下，查找原因的过程（前后一个月……悲剧，到现在还没找到原因），感觉进展都可以写成一个小小说了……

阶段一，这个时候，CORE原因是ILLEGAL INSTRUCTION。
只有一个ILLEGAL INSTRUCTION，文件里有CORE的地方，但是根本无法定位原因。
因此只能开始瞎猜，首先怀疑LIBA.SO，因为这是一个开源代码基本上改过来的，唯一使用MALLOC的地方。
考虑到这个SO的功能是解析配置文件，只会有主线程调用，因此将LIBA.SO中动态分配内存（MALLOC/CALLOC/STRDUP）的地方，全部改成静态分配（全局BUFFER）。

改完之后，CORE消失，但是代码本身检查过，没有问题，而且有问题，为何会造成ILLEGAL INSTRUCTION？这感觉像是段错误覆盖了栈中的代码导致？后面再看

阶段二，中间有个小插曲：因为这套代码在操作系统升级前后都跑过，升级后才有的CORE，因此使用两个环境复现：
AIX7.1.2 未出现
AIX7.1.3 基于7.1.3全新编译或使用7.1.2编译的均会出现ILLEGAL INSTRUCTION。
暂时感觉毫无任何帮助。

阶段三：
因为ILLEGAL INSTRUCTION出现的慢（不停的运行过程中才出），所以在A函数中，使用了一些无用的变量（几百K），结果在A调用B时，立马出现CORE
此时CORE变成了SEGMENT FAULT。
这里的函数A是一个用户线程的入口函数，其间会调用函数B。
尝试在创建线程A的时候，增加堆栈大小，段错误消失。

阶段四：
这里肯定要问，是不是我加的变量导致SEGMENT FAULT？
没错，但是函数A内的变量少的可怜，是谁导致它，回想到阶段一改了LIBA.SO，如何证明和LIBA.SO有关系。
于是，验证如下：
首先调用LIBA.SO中的内容，都是在主线程，在A线程中没有调用。
其次因为LIBA.SO是解析配置文件，文件越在，MALLOCL的内存越多。
好了，程序任何都不改，只改配置文件，结果：
小的配置文件，不CORE
大的配置文件，必CORE
也就是说，导致线程堆栈溢出的，并不是用户线程A中的临时变量， 而是主线程调用LIBA.SO，导致堆栈溢出。

联想起阶段一，LIBA.SO的嫌疑越来越大。

到现在，由于线头太多，全部梳理出来几个关键点：
1、LIBA.SO中动态分配内存，改成静态，OK不CORE
2、用户线程A堆栈溢出，加大堆栈，OK不CORE了
3、上述任何作法，在两个操作系统中，都是7.1.2不CORE 7.1.3CORE，即使是完全同构的代码，这和操作系统有什么关系？

问题是，什么导致溢出的？是LIBASO分配的堆的内存使用越界，导致栈溢出吗？不同操作系统保护不一样？
...全文
390 14 打赏 收藏 转发到动态 举报
写回复
用AI写文章
14 条回复
切换为时间正序
请发表友善的回复…
发表回复
赵4老师 2016-05-16
  • 打赏
  • 举报
 回复
没准底层具体实现malloc时，至少需要一定大小的堆栈空间支持。
absunique 2016-05-16
  • 打赏
  • 举报
 回复
引用 12 楼 zhao4zhong1 的回复:
使用link的命令行参数设置更大的堆栈。 仅供参考： /STACK (Stack Allocations) Home | Overview | How Do I | Linker Options The Stack Allocations (/STACK:reserve[,commit]) option sets the size of the stack in bytes. To find this option in the development environment, click Settings on the Project menu. Then click the Link tab, and click Output in the Category box. The Reserve text box (or in the reserve argument on the command line) specifies the total stack allocation in virtual memory. The default stack size is 1 MB. The linker rounds up the specified value to the nearest 4 bytes. The optional value specified in the Commit text box (or in the commit argument on the command line) is subject to interpretation by the operating system. In Windows NT, it specifies the amount of physical memory to allocate at a time. Committed virtual memory causes space to be reserved in the paging file. A higher commit value saves time when the application needs more stack space, but increases the memory requirements and possibly the startup time. Specify the reserve and commit values in decimal or C-language notation. Another way to set the size of the stack is with the STACKSIZE statement in a module-definition (.DEF) file. STACKSIZE overrides the Stack Allocations (/STACK) option if both are specified. You can change the stack after the .EXE file is built by using the EDITBIN tool.
增加堆栈的确可以解决。问题是没有定位到原因……该线程的局部变量非常少，而且在主线程中，如果使用的LIBA.SO中不用MALLOC，工作线程中的堆栈问题也就没有了，这个很奇怪。
赵4老师 2016-05-16
  • 打赏
  • 举报
 回复
使用link的命令行参数设置更大的堆栈。 仅供参考： /STACK (Stack Allocations) Home | Overview | How Do I | Linker Options The Stack Allocations (/STACK:reserve[,commit]) option sets the size of the stack in bytes. To find this option in the development environment, click Settings on the Project menu. Then click the Link tab, and click Output in the Category box. The Reserve text box (or in the reserve argument on the command line) specifies the total stack allocation in virtual memory. The default stack size is 1 MB. The linker rounds up the specified value to the nearest 4 bytes. The optional value specified in the Commit text box (or in the commit argument on the command line) is subject to interpretation by the operating system. In Windows NT, it specifies the amount of physical memory to allocate at a time. Committed virtual memory causes space to be reserved in the paging file. A higher commit value saves time when the application needs more stack space, but increases the memory requirements and possibly the startup time. Specify the reserve and commit values in decimal or C-language notation. Another way to set the size of the stack is with the STACKSIZE statement in a module-definition (.DEF) file. STACKSIZE overrides the Stack Allocations (/STACK) option if both are specified. You can change the stack after the .EXE file is built by using the EDITBIN tool.
absunique 2016-05-16
  • 打赏
  • 举报
 回复
引用 9 楼 DTCPzhuxh 的回复:
不能明确的帮楼主解决问题。之前我有遇到过相同的程序一个在aix下运行则能正常运行，但是在linux下则报段错误，所以不同的操作系统保护措施肯定是有些区别的。 给楼主两点建议： 1、aix的话用dbx应该是可以调处段错误的位置； 2、还有我看楼主多次提到malloc，不知道楼主malloc用完之后有没有使用free。
另外段错误的位置是一个SPRINTF，感觉很像线程堆栈不够用了。
absunique 2016-05-16
  • 打赏
  • 举报
 回复
引用 9 楼 DTCPzhuxh 的回复:
不能明确的帮楼主解决问题。之前我有遇到过相同的程序一个在aix下运行则能正常运行，但是在linux下则报段错误，所以不同的操作系统保护措施肯定是有些区别的。 给楼主两点建议： 1、aix的话用dbx应该是可以调处段错误的位置； 2、还有我看楼主多次提到malloc，不知道楼主malloc用完之后有没有使用free。
引用 9 楼 DTCPzhuxh 的回复:
不能明确的帮楼主解决问题。之前我有遇到过相同的程序一个在aix下运行则能正常运行，但是在linux下则报段错误，所以不同的操作系统保护措施肯定是有些区别的。 给楼主两点建议： 1、aix的话用dbx应该是可以调处段错误的位置； 2、还有我看楼主多次提到malloc，不知道楼主malloc用完之后有没有使用free。
1、DBX使用REGISTERS看到有 STDU R3,-3240(R3) 这样的地方，但是这句命令看不出有啥异常啊…… 2、MALLOC使的FREE有用，但是即使不用最多也是内存泄漏，现在感觉像是堆栈溢出……
赵4老师 2016-05-10
  • 打赏
  • 举报
 回复
会用→会有
赵4老师 2016-05-10
  • 打赏
  • 举报
 回复
AIX会用同样问题。我觉得。
absunique 2016-05-10
  • 打赏
  • 举报
 回复
引用 3 楼 zhao4zhong1 的回复:
[quote=引用 2 楼 absunique 的回复:] [quote=引用 1 楼 zhao4zhong1 的回复:] C Run-Time Libraries http://msdn.microsoft.com/zh-cn/library/abx4dbyh(VS.80).aspx
请问和这个有什么关系啊？[/quote] 里面应该说明了在库中调用C Run-Time Libraries中的malloc类函数时需要注意的几个方面。[/quote]
引用 3 楼 zhao4zhong1 的回复:
[quote=引用 2 楼 absunique 的回复:] [quote=引用 1 楼 zhao4zhong1 的回复:] C Run-Time Libraries http://msdn.microsoft.com/zh-cn/library/abx4dbyh(VS.80).aspx
请问和这个有什么关系啊？[/quote] 里面应该说明了在库中调用C Run-Time Libraries中的malloc类函数时需要注意的几个方面。[/quote] 大哥，我是AIX的……
DTCPzhuxh 2016-05-10
  • 打赏
  • 举报
 回复
不能明确的帮楼主解决问题。之前我有遇到过相同的程序一个在aix下运行则能正常运行，但是在linux下则报段错误，所以不同的操作系统保护措施肯定是有些区别的。 给楼主两点建议： 1、aix的话用dbx应该是可以调处段错误的位置； 2、还有我看楼主多次提到malloc，不知道楼主malloc用完之后有没有使用free。
赵4老师 2016-05-10
  • 打赏
  • 举报
 回复
Potential Errors Passing CRT Objects Across DLL Boundaries. https://msdn.microsoft.com/zh-cn/library/ms235460(v=vs.80).aspx
absunique 2016-05-10
  • 打赏
  • 举报
 回复
引用 6 楼 zhao4zhong1 的回复:
会用→会有
引用 6 楼 zhao4zhong1 的回复:
会用→会有
引用 6 楼 zhao4zhong1 的回复:
会用→会有
你这个链接里没有啊，能不能发具体的链接？
赵4老师 2016-05-09
  • 打赏
  • 举报
 回复
引用 2 楼 absunique 的回复:
[quote=引用 1 楼 zhao4zhong1 的回复:] C Run-Time Libraries http://msdn.microsoft.com/zh-cn/library/abx4dbyh(VS.80).aspx
请问和这个有什么关系啊？[/quote] 里面应该说明了在库中调用C Run-Time Libraries中的malloc类函数时需要注意的几个方面。
absunique 2016-05-09
  • 打赏
  • 举报
 回复
引用 1 楼 zhao4zhong1 的回复:
C Run-Time Libraries http://msdn.microsoft.com/zh-cn/library/abx4dbyh(VS.80).aspx
请问和这个有什么关系啊？
赵4老师 2016-05-09
  • 打赏
  • 举报
 回复
C Run-Time Libraries http://msdn.microsoft.com/zh-cn/library/abx4dbyh(VS.80).aspx
易语言源码高亮显示(模块代码)
易语言源码高亮显示（模块代码）
AD18中文教程-下载即用.zip
源码下载地址： https://pan.quark.cn/s/a4b39357ea24 Altium Designer 18是一款功能丰富的电子设计自动化工具，其集成了电路原理图绘制、PCB布局规划、三维视图展示、电路仿真分析以及生产文件生成等多项核心功能，为电子工程师们提供了一个全面的硬件设计解决方案。该软件的官方中文指导材料系统地阐述了从项目初始阶段到最终完成的全过程操作方法。 在“AD18 官方中文指导材料”中，使用者可以掌握以下核心内容要点： 1. **系统配置与界面认知**：熟悉Altium Designer 18的工作平台，涵盖菜单选项、工具栏配置、工作区域安排，以及个性化工作界面的设定方法。 2. **项目创建流程**：掌握如何建立新的项目工程，包括工程参数配置、项目模板选取，以及项目文件的添加操作。 3. **电路图绘制技术**：学习电路原理图的绘制流程，包括元件库的维护管理、元件放置技巧、连接线路绘制、属性编辑操作，以及网络表的自动生成方法。 4. **元件库构建与管理**：了解如何建立自定义元件库，执行元件的导入与导出任务，以及利用Altium Designer自带的元件资源库。 5. **PCB布局设计方法**：掌握PCB设计的基本准则，如元件布局策略、布线技巧、层叠结构调整、布线规则优化，以及冲突检测与短路处理技术。 6. **设计规范与约束条件**：理解设定设计规范和电气约束条件的关键性，包括间距参数设定、焊盘尺寸规格、过孔尺寸要求等，以及运用规则检查进行设计验证的流程。 7. **三维模型整合应用**：学习如何将三维模型与PCB设计内容相结合，以实现更为直观的机械配合验证。 8. **电路性能仿真技术**：掌握使用Altium Des...
接口测试笔记.txt-下载即用.zip
源码链接： https://pan.quark.cn/s/a4b39357ea24 ### 接口测试知识要点说明 #### 一、接口测试的定义及分类 1. **概念阐释**： - 接口测试作为软件测试的关键环节，主要对系统之间的交互点进行验证。 - 它旨在核实接口的正确性、稳定性和功能性，保障各个系统组件能够依照预期执行交互操作。 2. **实施情境**： - 适用于多系统联合开发的环境。 - 适用于包含多个子系统的复杂应用系统开发过程。 3. **适用范围**： - 为其他系统提供支持的底层基础架构系统。 - 负责协调中心服务的系统架构。 4. **分类标准**： - **模块接口测试**：通常作为单元测试的一部分，适用于独立构建的功能模块。 - **Web接口测试**： - **服务端接口测试**：针对客户端与服务器端之间的接口进行验证。 - **外部接口测试**：对第三方提供的接口进行测试，例如支付平台提供的授权登录接口。 5. **测试角度**： - **接口功能验证**：核实接口功能是否满足预期要求。 - **接口性能评估**：衡量接口的处理能力及响应时间。 - **接口稳定性考察**：检测接口在长时间运行中的表现情况。 - **接口安全检测**：确保接口能够抵御非法访问或数据篡改。 6. **测试手法**： - **参数细致测试**：深入测试接口的输入参数和输出结果。 - **场景模拟测试**：依据实际业务场景进行测试验证。 #### 二、接口测试的详细流程 1. **测试规划**： - 明确测试范围、目标及所需资源。 - 规划测试策略，选择适宜的工具和技术手段。 2. **测试用例设计**： - 依据需求文档和接口规格文档设计测试用例。 - 覆...
【无人机三维路径规划】基于遗传算法GA结合粒子群算法PSO无人机复杂环境避障三维路径规划（含GA和PSO对比）研究（Matlab代码代码实现）
内容概要：本文研究基于遗传算法（GA）与粒子群算法（PSO）相结合的无人机三维路径规划方法，旨在解决无人机在复杂三维环境中避障与路径优化的关键问题。通过构建包含障碍物、威胁区域等约束的三维仿真环境，系统实现了GA与PSO两种智能优化算法的Matlab代码，并对其在路径规划中的性能进行全面对比分析，重点关注路径长度、飞行安全性、算法收敛速度等核心指标。研究充分利用GA的全局搜索能力与PSO的快速局部收敛特性，提出一种混合优化策略，有效克服单一算法易陷入局部最优或收敛缓慢的缺陷。文中不仅详细阐述了算法的设计流程、数学模型与实现细节，还提供了完整的仿真结果，验证了所提混合方法在复杂动态场景下的优越性、有效性和鲁棒性，为无人机自主导航提供了可靠的理论依据和技术方案。; 适合人群：具备一定Matlab编程基础和优化算法理论知识，从事无人机系统设计、智能控制、路径规划、人工智能应用等相关领域研究的研究生、科研人员及工程技术人员。; 使用场景及目标：①应用于城市峡谷、山区、灾害救援等复杂三维环境中的无人机自主避障与最优任务路径规划；②为智能优化算法（GA、PSO及其混合策略）的学习、性能对比与工程化应用提供详实的实践案例和代码参考；③服务于高校科研教学、算法原型快速复现、以及在此基础上的进一步改进与创新研究。; 阅读建议：建议读者结合所提供的Matlab代码进行仿真运行与调试，深入理解两种算法的参数设置、适应度函数设计及路径生成机制，可通过修改环境地图、增加动态障碍物或调整优化目标函数等方式进行扩展性研究，以深化对算法本质和应用场景的理解。
联辉科 LTK8870S 6.5-20V/3.6A 有刷直流电机驱动器 ESOP8 在打印机与工业设备中的应用设计
内容概要：LTK8870S是一款单通道H桥有刷直流电机驱动器，支持6.5V至20V工作电压，具备3.0A峰值电流驱动能力，适用于打印机、家用电器及工业设备等机电一体化应用。该芯片采用PWM控制接口，可通过IN1和IN2逻辑输入实现电机正转、反转、滑行与制动等多种工作模式，并支持快衰减和慢衰减两种电流衰减方式以优化电机控制性能。器件集成电流调节功能，通过VREF引脚和外部检测电阻设定限流值，有效控制电机电流并降低系统功耗。同时具备低功耗休眠模式，在IN1和IN2均为低电平时自动进入，显著节省能耗。LTK8870S还集成了多重保护机制，包括VM欠压锁定（UVLO）、过温保护（TSD）、过流保护（OCP）及自动故障恢复功能，提升系统可靠性。其ESOP-8封装带裸露焊盘，利于散热，符合无铅环保标准。; 适合人群：电子硬件工程师、电机控制系统开发者、嵌入式系统设计人员，尤其适用于从事电机驱动电路设计的中级技术人员。; 使用场景及目标：①用于控制中小型有刷直流电机的正反转与调速；②应用于需要电流限制和节能休眠功能的电池供电设备；③作为工业自动化、智能家电或办公设备中的核心驱动模块；④帮助开发者理解H桥驱动、PWM调速、电流衰减模式及保护电路的设计原理。; 阅读建议：此资源技术细节丰富，建议结合典型应用电路图与电气参数表进行硬件设计参考，重点关注PWM控制逻辑、电流调节设置及保护机制的实现方式，并在实际应用中配合示波器调试输出波形与电流响应。
C++ 语言

65,211

社区成员

250,514

社区内容

发帖
与我相关
我的任务
社区描述
C++ 语言相关问题讨论，技术干货分享，前沿动态等
c++ 技术论坛（原bbs）
社区管理员
  • C++ 语言社区
  • encoderlee
  • paschen
加入社区
  • 近7日
  • 近30日
  • 至今

加载中

查看更多榜单
社区公告
  1. 请不要发布与C++技术无关的贴子
  2. 请不要发布与技术无关的招聘、广告的帖子
  3. 请尽可能的描述清楚你的问题，如果涉及到代码请尽可能的格式化一下

试试用AI创作助手写篇文章吧

+ 用AI写文章