几个重要的概念
同步(synchronous)和异步(asynchronous)
同步异步相对系统调用来讲的,异步就是单起另一个线程来运行任务,不影响调用的方法继续执行
并发(Concurrency)和并行(Parallelism)
单核CPU只能并发,也就是一会做这个一会做那个,并行可以理解为一起执行
临界区 – 临界区用来表示一种公共资源或者说是共享数据,可以被多个线程使用。但是每一次,只能有一个线程 使用它,一旦临界区资源被占用,其他线程要想使用这个资源,就必须等待。
阻塞(Blocking)和非阻塞(Non-Blocking) – 阻塞和非阻塞通常用来形容多线程间的相互影响。比如一个线程占用了临界区资源,那么其它所有需要 这个资源的线程就必须在这个临界区中进行等待,等待会导致线程挂起。这种情况就是阻塞。此时,如 果占用资源的线程一直不愿意释放资源,那么其它所有阻塞在这个临界区上的线程都不能工作。 – 非阻塞允许多个线程同时进入临界区
死锁(Deadlock)、饥饿(Starvation)和活锁(Livelock)
并发级别
– 阻塞
(当一个线程进入临界区后,其他线程必须等待 )
– 无障碍
(无障碍是一种最弱的非阻塞调度 – *出入临界区 – 无竞争时,有限步内完成操作 – 有竞争时,回滚数据 )
– 无锁
(是无障碍的 – 保证有一个线程可以胜出
while (!atomicVar.compareAndSet(localVar, localVar+1))
{ localVar = atomicVar.get();
} )
– 无等待
( 无锁的 – 要求所有的线程都必须在有限步内完成 – 无饥饿的 )
有关并行的2个重要定律
Amdahl定律(阿姆达尔定律)
Gustafson定律(古斯塔夫森)