Synchronized是java语言级别内置的同步机制,不同与java中的Semaphore,Mutex。Synchronized的背后机制是Java在语言级上的锁机制:
- 类锁:对于每一个类,自动配套一个类锁,该锁临界量为1
- 实例锁:对于每一个类实例化后的一个对象,自动配套一个对象锁,该锁临界量为1
对于类锁,目前注意到,只能应用到类得某个方法上:
- 静态方法锁:static synchronized method();
对于实例锁,有以下几种方式:
- 非静态方法锁:synchronized method();
- 代码块锁:synchronized{ }或synchronized(this){ }
- 指定类实例锁:synchronized(Object ob){ }
非静态方法锁与代码块锁实质都一样,是对当前所属类得实例加锁。而指定类实例锁,是对括号里的对象ob加锁,这一点很有意思,灵活运用指定类锁可以构建一些稍微负责的并行程序模型。
其中类锁与实例锁各自独立,不相互冲突,一个synchronized 指定锁,要么是类锁,要么是实例锁,是互斥的。
在多线程中,依然是引用日本作者结成浩的《java多线程设计模式》中的例子:
问题:
public class Something(){
public synchronized void isSyncA(){}
public synchronized void isSyncB(){}
public static synchronized void cSyncA(){}
public static synchronized void cSyncB(){}
}
那么,对于Something类的两个实例x与y,那么下列组方法何以被1个以上线程同时访问呢
- x.isSyncA()与x.isSyncB()
- x.isSyncA()与y.isSyncA()
- x.cSyncA()与y.cSyncB()
- x.isSyncA()与Something.cSyncA()
答案:
- 都是对同一个实例的synchronized域访问,因此不能被同时访问
- 是针对不同实例的,因此可以同时被访问
- 因为是static synchronized,所以不同实例之间仍然会被限制,相当于Something.isSyncA()与 Something.isSyncB()了,因此不能被同时访问。
- 能够同时访问,因为一个是实例锁,一个是类锁。
synchronized的语言级别锁机制,让并发项目时,无需增加锁控制类,直接本身原生态支持,十分方便,但注意到,synchronized锁只有两个粒度,一个是类锁,一个是实例锁,而且临界区互斥量为1,对于有些需要临界区大于1的,锁粒度更大,动态调控,那synchronized就不够用了。得需要专门的信号量等机制了。
最后一点是synchronized关键词不能被直接继承,子类在继承负责,覆盖父类的synchronized方法时候,必须同样显示用synchronized关键词。而子类如果不覆盖父类synchronized关键词的非静态方法,直接继承并使用父类的非静态方法时,父类的synchronized字段在子类对象仍然是有效的。