[Java并发编程实战] 第12章 并发程序的测试

• 并发测试大致分两类：安全性测试和活跃性测试

• 正确性测试：

  • 找出需要检查的不变性条件和后验条件
  • 基本的单元测试
  • 对阻塞操作的测试
  • 安全性测试（要最大程度检测出一些对执行时序敏感的数据竞争，那么测试中的线程数量应该多于CPU数量，这样在任意时刻都会有一些线程在运行，而另一些被交换出去，从而可以检查线程间交替行为的可预测性）
  • 资源管理的测试（堆快照、GC执行）
  • 使用回调
  • 在访问共享状态的操作中，使用Thread.yield作为为一个空操作，将产生更多的上下文切换

• 性能测试：

  • 公平性开销主要是由于线程阻塞造成的
  • 非公平的信号量通常能实现更好的吞吐量，而公平的信号量能实现更低的变动性