Java高并发综合

这篇文章是研一刚入学时写的，今天整理草稿时才被我挖出来。当时混混沌沌的面试，记下来了一些并发的面试问题，不少尚未回答。到如今也学习了很多并发的知识，回过头来看这些问题和当时整理的答案，漏洞百出又十分好笑。发表出来权当对本身的一个提醒——若是不能一直进步，你就看不到当初傻逼的本身。

---

曾经，我在面试Java研发实习生时最常听到的一句话就是：

搞Java怎么能不学并发呢？

没错，真的是通过了面试官的无数鄙视，我才知道Java并发编程在Java语言中的重要性。

并发模型

悲观锁和乐观锁的理解及如何实现，有哪些实现方式？

悲观锁

悲观锁假设最坏的状况（若是你不锁门，那么捣蛋鬼就会闯入并搞得一团糟），而且只有在确保其余线程不会干扰（经过获取正确的锁）的状况下才能执行下去。

常见实现如独占锁等。

安全性更高，但在中低并发程度下的效率更低。

乐观锁

乐观锁借助冲突检查机制来判断在更新过程当中是否存在其余线程的干扰，若是存在，这个操做将失败，而且能够重试（也能够不重试）。

常见实现如CAS等。

部分乐观锁削弱了一致性，但中低并发程度下的效率大大提升。

并发编程

Java中如何建立一个线程

从面相接口的角度上讲，实际上只有一种方法实现Runable接口；但Thread类为线程操做提供了更多的支持，因此一般作法是实现Runable接口，实例化并传入Thread类的构造函数。

1. 继承Thread，覆写run方法
2. 实现Runable接口，覆写run方法

Vector（HashTable）如何实现线程安全

经过synchronized关键字修饰每一个方法。

依据synchronized关键字引伸出如下问题。

synchronized修饰方法和修饰代码块时有何不一样

持有锁的对象不一样：

1. 修饰方法时：this引用的当前实例持有锁
2. 修饰代码块时：要指定一个对象，该对象持有锁

从而致使两者的意义不一样：

1. 同步代码块在锁定的范围上可能比同步方法要小，通常来讲锁的范围大小和性能是成反比的。
2. 修饰代码块能够选择对哪一个对象加锁，可是修饰方法只能给this对象加锁。

ConcurrentHashMap的如何实现线程安全

ConcurrentHashMap的线程安全实现与HashTable不一样：

1. 能够将ConcurrentHashMap理解为，不直接持有一个HashMao，而是用多个Segment代替了一个HashMap。但实际实现的Map部分和HashMap的原理基本相同，对脚标取模来肯定table[i]所属段，从而对不一样的段获取不一样的段锁。
2. 每一个Segment持有一个锁，经过分段加锁的方式，既实现了线程安全，又兼顾了性能

Java中有哪些实现并发编程的方法

要从最简单的答起，业界最经常使用的是重点，有新意就放在最后。

1. synchronized关键字
2. 使用继承自Object类的wait、notify、notifyAll方法
3. 使用线程安全的API和集合类：
   1. 使用Vector、HashTable等线程安全的集合类
   2. 使用Concurrent包中提供的ConcurrentHashMap、CopyOnWriteArrayList、ConcurrentLinkedQueue等弱一致性的集合类
   3. 在Collections类中有多个静态方法，它们能够获取经过同步方法封装非同步集合而获得的集合,如List list = Collection.synchronizedList(new ArrayList())。
   4. 使用原子变量、volatile变量等
4. 使用Concurrent包中提供的信号量Semaphore、闭锁Latch、栅栏Barrier、交换器Exchanger、Callable&Future、阻塞队列BlockingQueue等.
5. 手动使用Lock实现基于锁的并发控制
6. 手动使用Condition或AQS实现基于条件队列的并发控制
7. 使用CAS和SPIN等实现非阻塞的并发控制
8. 使用不变类
9. 其余并发模型尚未涉及

从而引伸出以下问题：

ConcurrentHashMap的的实现原理（见前）

CopyOnWriteArrayList的复制操做发生在什么时机

synchronizedList&Vector的区别

1. synchronizedList的实现中，synchronized关键字修饰代码块；Vector的实现中修饰方法。
2. synchronizedList只封装了add、get、remove等代码块，但Iterator却不是同步的，进行遍历时要手动进行同步处理；Vector中对Iterator也进行了加锁。
3. synchronizedList可以将全部List实现类封装为同步集合，其内部持有的仍然是List的实现类（ArrayList/LinkedList），因此除同步外，几乎只有该实现类和Vector的区别。

synchronized修饰方法和修饰代码块时有何不一样（见前）

信号量Semaphore、闭锁Latch、栅栏Barrier、交换器

Exchanger、Callable&Future、阻塞队列BlockingQueue的实现原理

ConcurrentLinkedQueue的插入算法

算法核心可归纳为两步：

1. 先检测是不是中间状态（SPIN）
2. 再尝试CAS插入

详细待补充。

参考：

• CopyOnWriteArrayList与Collections.synchronizedList的性能对比
• SynchronizedList和Vector的区别

在java中wait和sleep方法的不一样？

最大的不一样是在等待时wait会释放锁，而sleep一直持有锁。Wait一般被用于线程间交互，sleep一般被用于暂停执行。

为何wait, notify 和 notifyAll这些方法不在thread类里面？

主要缘由是JAVA提供的锁是对象级的而不是线程级的，每一个对象都有锁，经过线程得到。因为wait，notify和notifyAll都是锁级别的操做，因此把他们定义在Object类中由于锁属于对象。

为何wait和notify方法要在同步块中调用？

Java API强制要求这样作，若是你不这么作，你的代码会抛出IllegalMonitorStateException异常。还有一个缘由是为了不wait和notify之间产生竞态条件。

为何你应该在循环中检查等待条件?

处于等待状态的线程可能会收到错误警报和伪唤醒，若是不在循环中检查等待条件，程序就会在没有知足结束条件的状况下退出。

Java线程池中submit() 和 execute()方法有什么区别？

两个方法均可以向线程池提交任务，execute()方法的返回类型是void，它定义在Executor接口中, 而submit()方法能够返回持有计算结果的Future对象，它定义在ExecutorService接口中，它扩展了Executor接口，其它线程池类像ThreadPoolExecutor和ScheduledThreadPoolExecutor都有这些方法。

volatile 变量和 atomic 变量有什么不一样？

Volatile变量能够确保先行关系，即写操做会发生在后续的读操做以前, 但它并不能保证原子性。例如用volatile修饰count变量那么 count++ 操做就不是原子性的。而AtomicInteger类提供的atomic方法可让这种操做具备原子性如getAndIncrement()方法会原子性的进行增量操做把当前值加一，其它数据类型和引用变量也能够进行类似操做。

为何Thread类的sleep()和yield ()方法是静态的？

Thread类的sleep()和yield()方法将在当前正在执行的线程上运行。因此在其余处于等待状态的线程上调用这些方法是没有意义的。这就是为何这些方法是静态的。它们能够在当前正在执行的线程中工做，并避免程序员错误的认为能够在其余非运行线程调用这些方法。

---

本文连接：Java高并发综合
做者：猴子007
出处：monkeysayhi.github.io
本文基于 知识共享署名-相同方式共享 4.0 国际许可协议发布，欢迎转载，演绎或用于商业目的，可是必须保留本文的署名及连接。