在多线程程序中,同步修饰符用来控制对临界区代码的访问。其中一种方式是用synchronized关键字来保证代码的线程安全性。在Java中,synchronized修饰的代码块或方法不会被多个线程并发访问。它强制要求线程在进入一个方法之前获得一个锁,在离开方法时释放该锁。它保证了在同一时刻只有一个线程能执行被其修饰的方法。

如果我们把一个方法或代码块定义为同步的,就意味着在同一个对象中,只会有一个对同步方法的调用。如果在一个线程内部调用了一个同步方法,则其他线程会一直阻塞,直到第一个线程完成方法调用。

在进入一个对象的同步方法之前,需要申请对该对象上锁,完成方法调用后释放锁供其他线程申请。同步方法遵循happens-before机制,它保证了对象状态的改变在其他线程中都是可见的。

当标记一个代码块为同步时,需要用一个对象作为参数。当一个运行线程执行到该代码块时,要等到其他运行线程退出这个对象的同步代码区。然而,一个线程可以进入另一个对象的同步代码区。但是同一个对象的非同步方法可以不用申请锁。

如果定义一个静态方法为同步,则是在类上同步,而不是在对象上同步。也即如果一个静态同步方法在执行时,整个类被锁住,对该类中的其他静态方法调用会阻塞。

1)当一个线程进入了一个实例的同步方法,则其他任何线程都不能进入该实例的任何一个同步方法。

2)当一个线程进入了一个类的静态同步方法,则其他任何线程都不能进入该类的任何一个静态同步方法。

注意:

  1. 同步的静态方法和非静态方法之间没有关系。也即静态同步方法和非静态同步方法可以同时执行,除非非静态同步方法显式在该类上同步(例如,synchronized(MyClass.class){…})
  2. 类的构造函数不能定义成同步的。

监视器或内部锁

锁限制了对某个对象状态的访问,同时保证了happens-before关系。

每个对象都有一个锁对象,一个线程在访问对象之前必须申请锁,完成以后释放锁。其他线程不能访问对象,知道获得该对象的锁。这保证了一个线程改变了对象的状态后,新的状态对其他在同一个监视器上线程可见。

当线程释放锁时,会将cache中的内容更新到主内存,这也就使得该对象的状态变化对其他线程是可见的——这就是happens-before关系。

synchronized和Volatile,包括Thread.start()和Thread.join()方法,都能保证happens-before关系。

同步语句和同步方法获取的锁相同,某个线程可以请求同一个锁多次。

一个线程获得了对象锁后,不会影响其他线程访问对象的字段或调用对象的非同步方法。

同步语句首先尝试获取对象的锁,获取成功后立即开始执行同步代码块,执行完后释放锁。

如果方法是对象成员或对象实例,线程将锁住该实例。如果方法是静态的,线程锁住的是该类对应的Class对象。同步方法用SYNCHRONIZED标记,该标记被方法调用指令识别。

原子变量

来看语句 int c++,它包含多个操作,e.g. 从内存读取c的值,将c的值加1,然后写回内存。这个操作对单线程来说是正确的,但是在多线程环境却可能出错。它存在竞态条件,在多线程环境中可能多个线程同时读取c的值

原子访问保证所有操作作为一个整体一次完成。一个原子操作要么完全执行要么完全不执行。

以下这些操作能认为是原子操作:

  1. 对引用类型和大部分基本数据类型(long和double类型除外)的读和写操作。
  2. 声明为volatile类型变量的读和写操作(包括long和double变量)。

Java并发包java.util.concurrent.atomic定 义了对单个变量进行原子操作的类。所有类都有get和set方法,就像对volatile变量的读写一样。这就意味着,一个写操作happens- before其他任何对该变量的读操作。原子方法compareAndSet同样有这些特性,就像对整型变量做原子的算术运算一样。

在Java 5.0的并发包中,定义了支持原子操作的类。Java虚拟机编译这些类时利用硬件提供的CAS(Compare and set)来实现。

  • AtomicInteger
  • AtomicLong
  • AtomicBoolean
  • AtomicReference

volatile变量

volatile只能用来修饰变量。用volatile修饰的变量可能被异步地修改,所以编译器会对它们特殊处理。

volatile修饰符保证读取某个字段的任何线程都能看到该变量最近被写入的值。

使用volatile修饰的变量降低了内存一致性的风险,因为任何对volatile变量的写操作都能被其他线程可见。另外,当一个线程访问volatile变量时,不止能看到对该变量最近的修改,还能修改该变量的代码所带来的其他影响。

在多线程环境中,对象在不同线程中都保存有副本。但是volatile变量却没有,它们在堆中只有一个实例。这样对volatile变量的修改就能立即对其他线程可见。另外,本地线程缓存没有完成后刷新的工作。

volatile能够保证可见性,但是也带来了竞态条件。它不会锁定等待完成某个操作。例如:

1 volatile int i=0;

两 个线程同时执行 i +=5 时,会得到5-10之间的某个值(译者注:原文为i +=5 invoking by two simultaneously thread give result 5 or 10 but it guarantee to see immediate changes 感觉有问题)

使用场景:用一个volatile布尔变量作为一个线程终止的标志。

静态和volatile变量之间的差别

声明一个静态变量,意味着该类的多个实例将共享该变量,静态变量与类关联而不是与对象关联。线程可能会有静态变量的本地缓存值。

当两个线程同时更新静态(非volatile)变量的值时,可能有一个线程的缓存中是一个过期的值。虽然多线程能够访问的是同一个静态变量,每个线程还是可能会保存自己的缓存副本。

一个volatile变量则在内存中只保留一个副本,该副本在多个线程中共享。

volatile变量和同步之间的差别

在线程内存和主内存之间,volatile只是同步了一个变量的值,synchronized则同步了(synchronized块中)所有变量的值,并且会锁住和释放一个监视器。所以,synchronized比volatile会有更多的开销。

volatile变量不允许有一个本地副本与主内存中的值不同。一个声明为volatile的变量必须保证所有线程中的副本同步,不管哪个线程修改了变量的值,另外其他线程都能立即看到该值。

锁对象

锁对象的作用像synchronized代码使用的隐式锁一样。像隐式锁一样,同时只能有一个线程持有锁。锁还支持wait/notify机制,通过他们之间的condition对象。

锁对象相对于隐式锁最大的优点是,他们能从尝试获得锁的状态返回。如果锁当前不可用或者在一个超时时间之前,tryLock()方法能够返回。在获得锁之前,如果其他线程发送了一个中断,lockInterruptibly()方法能返回。

Java内存回收

在 Java中,创建的对象存放在堆中。Java堆被称为内存回收堆。内存收集不能强制执行。当内存收集器运行时,它释放掉那些不可达对象占用的内存。垃圾收集线程作为一个优先级较低的守护线程运行。你能通过System.gc()提示虚拟机进行垃圾回收,但是不能强迫其执行。

如何写一个死锁程序

在多线程环境中,死锁意味着两个或多个线程一直阻塞,等待其他线程释放锁。下面是死锁的一个示例:

public class DeadlockSample {
private final Object obj1 = new Object();
private final Object obj2 = new Object();

public static void main(String[] args) {
DeadlockSample test = new DeadlockSample();
test.testDeadlock();
}

private void testDeadlock() {
Thread t1 = new Thread(new Runnable() {
public void run() {
calLock12();
}
});
Thread t2 = new Thread(new Runnable() {
public void run() {
calLock21();
}
});
t1.start();
t2.start();

}
private void calLock12() {
synchronized (obj1) {
sleep();
synchronized (obj2) {
sleep();
}
}
}
private void calLock21() {
synchronized (obj2) {
sleep();
synchronized (obj1) {
sleep();
}
}
}
private void sleep() {
try {
Thread.sleep(100);
} catch (InterruptedException e) {
e.printStackTrace();
}
}
}

Java中的引用类型

java.lang.ref包能用来声明软引用(soft reference),弱引用(weak reference)和虚引用(phantom reference)。

  • 垃圾收集器不会回收强引用。
  • 在内存不足时才会回收软引用,所以用它实现缓存可以避免内存不足。
  • 垃圾收集器将会在下一次垃圾收集时回收弱引用。弱引用能被用来实现特殊的map。java.util.WeakHashMap中的key就是弱引用。
  • 虚引用会被立即回收。能被用来跟踪对象被垃圾回收的活动。
 

Java synchronized指南的更多相关文章

  1. Java并发指南4:Java中的锁 Lock和synchronized

    Java中的锁机制及Lock类 锁的释放-获取建立的happens before 关系 锁是java并发编程中最重要的同步机制.锁除了让临界区互斥执行外,还可以让释放锁的线程向获取同一个锁的线程发送消 ...

  2. Java并发指南6:Java内存模型JMM总结

    本文转载自互联网,侵删   在前面的文章中我们介绍了Java并发基础和线程安全的概念,以及JMM内存模型的介绍,包括其定义的各种规则.同时我们也介绍了volatile在JMM中的实现原理,以及Lock ...

  3. Java并发指南3:并发三大问题与volatile关键字,CAS操作

    本文转载自互联网,侵删   序言 先来看如下这个简单的Java类,该类中并没有使用任何的同步. 01 final class SetCheck { 02 private int  a = 0; 03 ...

  4. Java并发指南2:深入理解Java内存模型JMM

    本文转载自互联网,侵删   一:JMM基础与happens-before 并发编程模型的分类 在并发编程中,我们需要处理两个关键问题:线程之间如何通信及线程之间如何同步(这里的线程是指并发执行的活动实 ...

  5. Java并发指南开篇:Java并发编程学习大纲

    Java并发编程一直是Java程序员必须懂但又是很难懂的技术内容. 这里不仅仅是指使用简单的多线程编程,或者使用juc的某个类.当然这些都是并发编程的基本知识,除了使用这些工具以外,Java并发编程中 ...

  6. Java并发指南14:JUC中常用的Unsafe和Locksupport

    本文转自网络,侵删 本系列文章将整理到我在GitHub上的<Java面试指南>仓库,更多精彩内容请到我的仓库里查看 https://github.com/h2pl/Java-Tutoria ...

  7. Java Synchronized Blocks

    From http://tutorials.jenkov.com/java-concurrency/synchronized.html By Jakob Jenkov   A Java synchro ...

  8. java synchronized(一)

    java synchronized主要用于控制线程同步,中间有很多小的细节,知识,这里我简单的整理一下,做个记录.主要用于方法和代码块的控制 先说说方法控制 模拟银行存款和取款,创建一个Account ...

  9. java synchronized使用

    java synchronized 基本上,所有并发的模式在解决线程冲突问题的时候,都是采用序列化共享资源的方案.这意味着在给定时刻只允许一个任务访问该资源.这个一般通过在代码上加一条锁语句实现,因为 ...

随机推荐

  1. 浅析手机抓包方法实践(zt)

    原文:http://drops.wooyun.org/tips/12467 0x00 摘要 在移动逆向分析以及 App 开发的时候,总会需要对其网络行为进行监控测试,本文总结一些抓包思路,并对其使用方 ...

  2. Oracle基础语法

    --表create table tb_myTable( mname vardhar2(30), pwd varchar2(30)); --存储过程create or replace procedure ...

  3. scrollTop和offsetTop的区别,scrollTopLeft和offsetLeft的区别

    scrollTop和offsetTop的区别:scrollTop是指某个可滚动区块向下滚动的距离,比如向下滚动了10个像素,那么这个元素的scrollTop属性值就是10,这个属性的值是可读写的,且不 ...

  4. 用Intent实现activity的跳转

    新建一个FirstAvtivity.java package com.zhuguangwei; import android.app.Activity;import android.content.I ...

  5. 安卓 Context 和 Application的关系

    1. 我开始一直不理解显式Intent中传一个this(当前的activity)是为什么.因为Intent里面的构造方法对应的只有 Context, Class.后面查资料才发现 Intent i = ...

  6. 如何通过SecureCRTPortable.exe 软件远程连接某个计算机(或者虚拟机)中的某个数据库

    1)双击SecureCRTPortable.exe - 快捷方式,打开软件; 2)"文件"--->"快速连接"-->弹出对话框: 2.1)输入主机名 ...

  7. mybatis中使用使用模块化sql

    主要使用到mybatis中的标签 <sql id="tempId"> select * from student <sql> 使用的标签如下: <in ...

  8. 【线性规划与网络流 24题】已完成(3道题因为某些奇怪的原因被抛弃了QAQ)

    写在前面:SDOI2016 Round1滚粗后蒟蒻开始做网络流来自我拯救(2016-04-11再过几天就要考先修课,现在做网络流24题貌似没什么用←退役节奏) 做的题目将附上日期,见证我龟速刷题. 1 ...

  9. 状态压缩 HDU 3182

    t组数据 n个汉堡 e的能量 接下来的2行 val    n个 得到的权 cost  n个 花去的能量 接下来n行 每行一个q  q个数字 代表这类汉堡做好要的前提  每个汉堡只能用一次 #inclu ...

  10. Mybatis 自动生成代码

    准备条件: 将下面的文件放入同一目录下 操作步骤: 1/ 在 generatorConfig.xml 中配置相关的参数,与需要被自动生成的表 也可以 执行项目中的MybatisConfigAutoGe ...