并发编程：线程库；同步和互斥

线程库

• 人和物理世界：spawn, join

互斥

• 厕所门：lock(lk), unlock(lk)

同步

• 等待条件发生：wait(cv, mutex); broadcast(cv)
• 袋子和球：P(sem), V(sem)

并发编程很困难

试过 RTS 游戏中的多线操作？

• 人类天生就是 “sequential creature”
  • 我们刚开始接触的程序也是顺序执行
  • 并发编程时容易产生顺序执行的 “幻觉”