chapter06_死锁_2_死锁概述

本文介绍了死锁的定义和分类,包括资源死锁和通信死锁,其中资源死锁最常见。阐述了资源死锁的四个必要条件,即互斥、占有和等待、不可抢占、环路等待条件。还介绍了资源分配图的表示方法,并给出处理死锁的策略,如忽略、检测恢复、避免和预防。
  • 死锁

    (1) 定义

    如果一个进程集合中,每个进程都在等待只能由该集合中的其他进程才能引发的事件, 那么该进程集合__死锁__

    (2) 分类

    资源死锁: 等待的事件是释放该进程集合中其他进程所占有的资源

    通信死锁: 一组通信进程都在等待其他进程传递的消息,而由于某种原因通信信道为空且没有超时机制

    (3) 资源死锁是死锁最常见的类型。资源既可以是硬件资源(如打印机、CD-ROM),也可以是软件资源(如数据库中的表)

  • 资源死锁的条件

    以下__4个__条件是资源死锁的__必要条件__, 也就是说,只要破坏了其中一个,死锁便不会发生

    (1) 互斥条件

    资源要么已经分配给了唯一的进程,要么就是可用的未分配状态

    (2) 占有和等待条件

    已经占有了某个资源的进程,可以继续请求新的资源

    (3) 不可抢占条件

    已经分配给某个进程的资源, 不能被其他进程强制性抢占, 只能被占有它的进程显式释放

    (4) 环路等待条件

    死锁发生时, 系统一定由有两个或两个以上的进程组成的一条环路, 该环路中每个进程都在等待着下一个进程所占有的资源

  • 资源分配图

    (1) 进程用方框表示, 资源用圆形表示;

    (2) 资源R被进程P占有, 则箭头从R指向P;

    (3) 进程Q请求资源S, 则箭头从Q指向S

    (4) 示例

                  _
      (A) <----- |O|      表示进程O请求资源A
                 ---
    
                  _
      (B) -----> |P|      表示进程P占有资源B
                 ---
    
  • 处理死锁的策略

    (1) 忽略死锁 ———— 鸵鸟策略

    (2) 让死锁发生,检测死锁并恢复 ———— 死锁检测与恢复

    (3) 仔细对资源进行分配,动态地避免死锁 ———— 死锁避免

    (4) 破坏死锁的四个必要条件之一,防止死锁产生 ———— 死锁预防

内容概要:本文详细记录了对一个Android ARM64静态ELF文件中字符串加密机制的逆向分析过程。该ELF文件的所有字符串均被加密,无法通过常规strings命令或IDA直接识别。作者通过分析发现,加密字符串存储在.rodata段,其解密所需信息(包括密文地址、长度和16位密钥)保存在.data.rel.ro段的40字节描述符中。核心解密函数sub_10F408采用自反的双pass流密码算法,结合固定密钥KEY_TERM(由.data段24字节数据计算得出),实现字节级非线性、位置与长度相关的加密。文章还复现了完整的Python解密脚本,并揭示了该保护机制的本质为代码混淆而非强加密,最终成功批量解密全部956条字符串,暴露程序真实行为,如shell命令模板、设备标识篡改、网络重置等操作。此外,文中还提及未启用的自定义壳框架及其反dump设计。; 适合人群:具备逆向工程基础的安全研究人员、二进制分析人员及对ELF保护技术感兴趣的开发者。; 使用场景及目标:①学习ELF二进制中字符串加密的典型实现方式与逆向突破口;②掌握从结构识别、函数追踪到算法还原的完整逆向流程;③理解“绑定二进制”的完整性校验设计及其局限性;④实践编写IDAPython脚本自动化提取与解密敏感数据。; 阅读建议:此资源以实战案例驱动,不仅展示技术细节,更强调逆向思维与验证方法,建议读者结合IDA调试环境,逐步跟随文中步骤进行动态分析与算法验证,深入理解每一步的推理依据。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值