Synchronized锁的是什么?

临界区与锁

并发编程中不可避免的会出现多个线程共享同一个资源的情况,为了防止出现数据不一致情况的发生,人们引入了临界区的概念。临界区是一个用来访问共享资源的代码块,同一时间内只运行一个线程进入。

那么如何实现这个临界区呢?这就用到我们的锁了,当进程想要访问一个临界区时,它先会去看看是否已经有其他线程进入了,也就是看是否能获得锁。如果没有其他线程进入,那么它就进入临界区,其他线程就无法进入,相当于加锁。反之,则会被挂起,处于等待状态,直到其他线程离开临界区,且本线程被JVM选中才可进入(因为可能有其他线程也在等待)。

利用Synchronized解决并发问题

Synchronize是一个重量级锁,它会降低程序性能,因此如果对数据一致性没有要求,就不要使用它。如果方法被Synchronize关键字声明,那么该方法的代码块被视为临界区。当某个线程调用该对象的synchronized方法或者访问synchronized代码块时,这个线程便获得了该对象的锁,其他线程暂时无法访问这个方法,只有等待这个方法执行完毕或者代码块执行完毕,这个线程才会释放该对象的锁,其他线程才能执行这个方法或者代码块。

下面我们将创建两个线程A,B来同时访问一个对象:A从账户里取钱,B从账户里存钱。首先是不使用Synchronized关键字。

创建账户类

它拥有一个私有变量balance表示金额,addAmount和subtractAmount分别对金额执行加减操作。

public class Account {
private double balance; public double getBalance() {
return balance;
} public void setBalance(double balance) {
this.balance = balance;
} public void addAmount(double amount){
System.out.println("addAmount start");
double temp=balance;
try {
Thread.sleep(100);
} catch (InterruptedException e) {
e.printStackTrace();
}
temp+=amount;
balance=temp;
System.out.println("addAmount end");
} public void subtractAmount(double amount){
System.out.println("subtractAmount start");
double temp=balance;
try {
Thread.sleep(100);
} catch (InterruptedException e) {
e.printStackTrace();
}
temp-=amount;
balance=temp;
System.out.println("subtractAmount end");
}
}

创建A,B俩线程,分别对账户存钱和取钱。

public class A implements Runnable {
private Account account;
public A(Account account){
this.account=account;
}
@Override
public void run() {
for(int i=0;i<10;i++){
account.addAmount(1000);
}
}
}
public class B implements Runnable  {
private Account account;
public B(Account account){
this.account=account;
}
@Override
public void run() {
for(int i=0;i<10;i++){
account.subtractAmount(1000);
}
}
}

最后在main里面测试

public class Main {
public static void main(String[] args) {
Account account=new Account();
account.setBalance(1000);
A a=new A(account);
Thread ThreadA=new Thread(a);
B b=new B(account);
Thread ThreadB=new Thread(b);
System.out.println("Account Balance:"+account.getBalance());
ThreadA.start();
ThreadB.start();
try {
ThreadA.join();
ThreadB.join();
System.out.println("Account Balance:"+account.getBalance());
} catch (InterruptedException e) {
e.printStackTrace();
}
}
}

ThreadA往账户中执行了10次存入操作,每次存入1000元,ThreadB则是以同样的金额执行了10次取出操作。那么按照我们的推测,最后账户的金额应该维持不变,但程序的结果却不是我们想要的数字。这是为什么呢?因为我们在对数据进行操作的时候,另外一个线程可能也在进行操作,逻辑上应该先后执行的方法变成了同时执行,所以出现了错误。

现在我们给addAmount和subtractAmount加上synchronized关键字,保证数据一致性,这样程序就不会出问题了。

如果是使用synchronize保护代码块,则需要将对象引用作为参数传入。一般来说传入this关键字作为引用执行方法的对象就可以了。

锁的到底是什么?

或许在上面的例子你因为粗心只为其中一个方法加了关键字,那么你会看到这样的现象:

保护代码块要将对象传入,那应该锁的是对象呀。你可能会想:我执行subtractAmout,按道理应该等我执行完addAmount才能执行,它都没有account这个对象的锁,不应该在中间插这么一段呀。但是,只有加了锁的方法,线程执行该方法时才会去尝试获得锁,看看是否有线程进入临界区。访问非同步方法无需获得锁,你把synchronized去掉跟你只加一个的情况是一样的,同步方法与非同步遵循的是不同的规则。也就是说你可以在调用该对象的加了synchronized方法的同时,调用其他的非同步方法。

两个线程怎么同时访问了同一个对象的两个synchronized方法?

你可能在捣鼓这个关键字的时候,惊讶的发现静态方法的与众不同。如果一个对象中的静态方法用synchronized修饰,那么其他线程可以在该静态方法被访问的同时,访问该对象中的非静态方法(当然,该静态方法同一时间只能被一个线程访问)。换句话说,两个线程可以同时访问一个对象中的两个synchronized方法。

等等,不是说锁对象吗?到底锁的是什么?锁的确实是对象,但对于静态方法我们说的是T.class(T 为类名),非静态方法锁的是this ,也就是类的实例对象,两者是不同的。

class T {
// 修饰非静态方法
public synchronized void a() {
// 临界区
}
// 修饰静态方法
public synchronized static void b() {
// 临界区
}
}

上面那段代码相当于:

class T {
// 修饰非静态方法
public synchronized(this) void a() {
// 临界区
}
// 修饰静态方法
public synchronized(T.class) static void b() {
// 临界区
}
}

实际上加锁本质就是在锁对象的对象头中写入当前线程id。我们可以通过下面的代码验证,每次都传入new Object()。

class Account {
private double balance;
public synchronized void addAmount(double amount){
synchronized (new Object()){
System.out.println("addAmount start");
double temp=balance;
try {
Thread.sleep(100);
} catch (InterruptedException e) {
e.printStackTrace();
}
temp+=amount;
balance=temp;
System.out.println("addAmount end");
}
}
public void subtractAmount(double amount){
synchronized (new Object()){
System.out.println("subtractAmount start");
double temp=balance;
try {
Thread.sleep(100);
} catch (InterruptedException e) {
e.printStackTrace();
}
temp-=amount;
balance=temp;
System.out.println("subtractAmount end");
}
}
}

因为线程每次调用方法锁的都是新new的对象,所以加锁无效。甚至编译器可能会将synchronized给优化掉,因为这相当于多把锁保护同一个资源,编译器一看,每个人都弄把锁就进来了,那我还不如不加,反正都一个样。

另外需要注意的是,synchronized是可重入锁。也就是说当线程访问对象的同步方法时,在调用其他同步方法时无需再去获取其访问权。因为我们实际上锁的是对象,对象头里面纪录的都是当前线程的ID。

总结

  • 修饰函数,锁的是当前类的实例化对象
  • 修饰静态方法,锁的是当前类的Class对象
  • 修饰同步代码块,锁的是括号里的对象

加锁实际上就是在锁对象的对象头中写入当前线程id,每个线程要想调用这个同步方法,都会先去锁对象的对象头看看当前线程id是不是自己的。

参考

synchronized锁定的到底是什么?-知乎

Synchronized锁的是什么?的更多相关文章

  1. synchronized锁重入

    package synLockIn_1; /* synchronized锁重入,当一个线程得到一个对象锁且还未释放锁时,再次请求此对象锁时可以再次得到该对象的锁 * 此例中线程1进入Service类的 ...

  2. Java多线程4:synchronized锁机制

    脏读 一个常见的概念.在多线程中,难免会出现在多个线程中对同一个对象的实例变量进行并发访问的情况,如果不做正确的同步处理,那么产生的后果就是"脏读",也就是取到的数据其实是被更改过 ...

  3. synchronized锁自旋

    http://www.jianshu.com/p/5dbb07c8d5d5 原理 通常说的synchronized在方法或块上加锁,这里的锁就是对象锁(当然也可以在类上面),或者叫重量锁,在JVM中又 ...

  4. 记一次synchronized锁字符串引发的坑兼再谈Java字符串

    问题描述 业务有一个需求,我把问题描述一下: 通过代理IP访问国外某网站N,每个IP对应一个固定的网站N的COOKIE,COOKIE有失效时间.并发下,取IP是有一定策略的,取到IP之后拿IP对应的C ...

  5. 记一次 synchronized 锁字符串引发的坑兼再谈 Java 字符串

    业务有一个需求,我把问题描述一下: 通过代理IP访问国外某网站N,每个IP对应一个固定的网站N的COOKIE,COOKIE有失效时间. 并发下,取IP是有一定策略的,取到IP之后拿IP对应的COOKI ...

  6. Synchronized锁在Spring事务管理下,为啥还线程不安全?

    前言 只有光头才能变强. 文本已收录至我的GitHub仓库,欢迎Star:https://github.com/ZhongFuCheng3y/3y 大年初二,朋友问了我一个技术的问题(朋友实在是好学, ...

  7. Synchronized锁性能优化偏向锁轻量级锁升级 多线程中篇(五)

    不止一次的提到过,synchronized是Java内置的机制,是JVM层面的,而Lock则是接口,是JDK层面的 尽管最初synchronized的性能效率比较差,但是随着版本的升级,synchro ...

  8. 多线程之Synchronized锁的基本介绍

    基本介绍 synchronized是Java实现同步的一种机制,它属于Java中关键字,是一种jvm级别的锁.synchronized锁的创建和释放是此关键字控制的代码的开始和结束位置,锁是有jvm控 ...

  9. Java多线程6:Synchronized锁代码块(this和任意对象)

    一.Synchronized(this)锁代码块 用关键字synchronized修饰方法在有些情况下是有弊端的,若是执行该方法所需的时间比较长,线程1执行该方法的时候,线程2就必须等待.这种情况下就 ...

  10. Java多线程5:Synchronized锁机制

    一.前言 在多线程中,有时会出现多个线程对同一个对象的变量进行并发访问的情形,如果不做正确的同步处理,那么产生的后果就是“脏读”,也就是获取到的数据其实是被修改过的. 二.引入Synchronized ...

随机推荐

  1. Spring Cloud 系列之 Apollo 配置中心(四)

    本篇文章为系列文章,未读前几集的同学请猛戳这里: Spring Cloud 系列之 Apollo 配置中心(一) Spring Cloud 系列之 Apollo 配置中心(二) Spring Clou ...

  2. 嵌入式Linux内核开发工程师必须掌握的三十道题

    如果你能正确回答以下问题并理解相关知识点原理,那么你就可以算得上是基本合格的Linux内核开发工程师. 1. Linux中主要有哪几种内核锁?(进程同步与互斥) (1)自旋锁:非睡眠锁 (2)信号量: ...

  3. zabbix3.2升级3.4报错Database error

    摘要: zabbix3.2版本升级到zabbix3.4版本后打开页面报错,报错内容如下 Database errorThe frontend does not match Zabbix databas ...

  4. LeetCode 75,90%的人想不出最佳解的简单题

    本文始发于个人公众号:TechFlow,原创不易,求个关注 今天是LeetCode专题的44篇文章,我们一起来看下LeetCode的75题,颜色排序 Sort Colors. 这题的官方难度是Medi ...

  5. jQuery实现拖拽元素

    <!DOCTYPE html> <html> <head> <meta charset="utf-8"> <title> ...

  6. CSS中的float和margin的混合使用

    在最近的学习中,在GitHub上找了一些布局练习,我发现了我自己对布局超级不熟悉(很难受). 在以前的学习中,感觉使用CSS就记住各个属性的功能就OK了,但是呢?真的很打脸.不说了,太伤心了,进入正题 ...

  7. HashMap常问面试题整理

    去面试时,hashmap总是被经常问的问题,下面总结了几道关于hashmap的问题. 1.hashmap的主要参数都有哪些? 2.hashmap的数据结构是什么样子的?自己如何实现一个hashmap? ...

  8. windows10+office2019各版本激活密钥

    [windows10激活密钥] 1.win10专业版 236TW-X778T-8MV9F-937GT-QVKBB 87VT2-FY2XW-F7K39-W3T8R-XMFGF KH2J9-PC326-T ...

  9. EIGRP-10-弥散更新算法-计算距离,报告距离,可行距离和可行性条件

    对于某个目的网络,EIGRP持续关注它的各种距离参数.EIGRP使用复合度量参数,不过为了简化,这里使用一个没有单位的数值.同样出于简化,这里的EIGRP路由器都不使用水平分割.

  10. @bzoj - 3711@ [PA2014]Druzyny

    目录 @description@ @solution@ @accepted code@ @details@ @description@ 体育课上,n个小朋友排成一行(从1到n编号),老师想把他们分成若 ...