同步是建立在一个著名的叫做内部锁或者监听锁的内部实体。内部锁在同步扮演两个角色:保证对象的独有访问权和建立happens-before原则。
每一个对象都有一个和他关联的内部锁。按照惯例,一个需要对象独有的和一致的访问的线程必须在访问他们获得对象的内部锁,然后在使用完释放。
一个线程在他获得锁和释放锁之间拥有这个内部锁。一旦线程拥有一个内部锁,其他线程就不能获得同一个锁。其他线程会阻塞当他们试图获取这个锁。
当一个线程释放一个内部锁,happen-before原则在同一个锁上就建立了。
所有的对象都有锁,我们平时搞的也没有吧,应该是加了syschronized修饰才有的吧。
Locks In Synchronized Methods
当一个线程执行一个synchronized方法的时候,他自动获得方法对象的内部锁,当方法返回时,释放锁。锁被释放即使返回由一个未捕获的异常导致。静态方法被执行,线程获得与Class对象关联的内部锁。因此,访问类静态域由一个和任何这个类的失联不同的锁控制。
那就是说,静态域的访问和类对象无关?
Synchronized Statements
另一个创建synchronized代码的方式是使用synchronized语句。不想synchronized方法,synchronized语句必须指定提供内部锁的对象。
这样可以缩小锁的范围:
如果有两个变量,不需要同时锁定,那就可以分别锁定:
public class MsLunch { private long c1 = 0; private long c2 = 0; private Object lock1 = new Object(); private Object lock2 = new Object(); public void inc1() { synchronized(lock1) { c1++; } } public void inc2() { synchronized(lock2) { c2++; } } }
锁嵌套
获得一个对象锁之后,在加锁,那么释放也要一层层释放了。