并发与并行

线程与进程、锁与死锁、异步模型、无锁编程，以及用于构建正确并发系统的 actor model。