字节不对齐引起的互斥锁使用异常案例

问题描述:pthread_mutex_lock时必现设备卡住问题
平台:君正MIPS x1500嵌入式linux平台

背景:两个进程之间通信需要做互斥操作,我在共享内存区域创建了一个共享锁结构,结果在使用过程中出现上述问题
排查过程:首先通过demo程序排除了锁资源不可用导致等待的因素,对调用接口进行反复功能测试,排除功能问题。将共享锁换成进程内部全局锁,没有问题。
1)对比两把锁的两个区别,1、作用域 2、共享结构体;将进程内部全局锁封装成跟共享锁相同的结构体,问题复现,得出初步结论:跟内存类型无关,跟锁所在结构有关。
2)将结构体成员位置调整,发现当pthread_mutex_t变量的起始地址为4的整数倍时,不会出现卡住现象,否则会出现卡住问题。然后发现结构体所在源文件包含了paramLib.h,该头文件定义了单字节内存对齐
3)得出结论:内存未四字节对齐会导致系统互斥锁调用卡住死锁。
4)延伸结论:不可以在约定单字节对齐的前提下重新定义包含系统复杂结构的变量成员的结构,会导致复杂结构成员内存分布与大小与系统内部有出入,调用时不匹配,从而导致诸如系统卡住死锁等严重系统问题
5)这个问题网上记录很少甚至没有,有一句规定:“系统对基本数据类型的首地址有字节对齐的要求(一般都是4字节对齐)”,这里的基本数据类型应该不包含pthread.h中定义的pthread_mutex_t,但是查看内核中该结构体的定义:

typedef union
{
  struct __pthread_mutex_s
  {
    int __lock;
   
  • 2
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值