[译]CERT Secure Coding Standard — C语言安全编程规范(4)

ERR02-EX2: 如果你能保证函数在执行过程中出错时绝不会继续执行(可以通过调用abort()或者longjmp()中断函数执行过程)，你的函数就可以返回in-band错误指示符。

• 编译器或操作系统提供
• 来自第三方库
• 自己开发的

应用程序专属代码在检测到错误时可以立刻进行错误处理，而应用程序独立的代码则无法在特定应用程序出错时提供相应的错误处理方法。但必须要能检测错误并向应用程序中的调用者报告错误。错误检测和报告方法包括：

• 返回值（特别是errno_t类型返回值）
• 一个地址参数
• 一个全局对象（例如errno）
• longjmp()
• 以上方法的组合

struct multi_threaded_flags {
  volatile unsigned int flag1 : 2;
  volatile unsigned int flag2 : 2;
};

union mtf_protect {
  struct multi_threaded_flags s;
  long padding;
};

    rand()
    getenv()
    strtok()
    strerror()
    asctime()
    ctime()

• 互斥访问
• 保持并且等待
• 无抢占
• 循环等待

因此，预防死锁发生只需要破坏上述任意一个死锁必要条件即可。本规则建议“使用预定义的加锁顺序来避免死锁”。

• 可以应用于无法使用锁的场景，例如中断处理函数
• 相比较于基于锁的算法，在某些场景下更有优势，如多处理器环境下的扩展性会更好
• 避免实时系统中的优先级交错问题

局限性体现在：

• 需要特殊的CPU原子操作指令支持，如 CAS (compare and swap)或LL/SC (load linked/store conditional)

应用场景：

• Linux 2.5内核引入的“Read-copy-update” (RCU)
• AMD多核系统上的无锁编程

ABA问题指的是在数据同步过程中，一个变量值被先后读取了两次，并且两次读取结果完全相同。但实际上在这两次读取之间的时间片段里，另一个线程先修改了该变量值，然后做了些其他工作后又将该值修改回去。如果是内存分配或指针相关操作，则第二次读取操作有可能会出现“访问已释放的内存”错误。
避免ABA问题的方法可以使用加锁或者hazard指针（唯一写，并发读）。