volatile域、atomic原子性、final实例域、ThreadLocal线程局部变量

     volatile域

volatite只保证线程在“加载数据阶段”加载的数据是最新的,并不能保证线程安全。
一个线程执行的过程有三个阶段:
加载(复制)主存数据到操作栈 -->  对操作栈数据进行修改  --> 将操作栈数据写回主存
volatite关键字,让编译器不去优化代码使用缓存等,以保证线程在“加载数据阶段”加载的数据都是最新的
比如:
某一时刻i=6是最新的值,volatile保证线程A,B都同时加载了这个最新的值,
然后A执行i(A)+1=7,然后将7写回主存,
B也执行i(B)+1=7,然后也将7写回内存,
这样,执行两次加法,i却只增加了1

      对于volatile修饰的变量,jvm虚拟机只是保证从主内存加载到线程工作内存的值是最新的,同时线程工作内存中的操作并不是原子性的。所以在一个线程对该变量进行操作的同时,其他的线程有可能也在对该变量进行操作。


        有时,仅仅为了读写一个或两个实例域就使用同步,显得开销过大了。

        多处理器的计算机能够暂时在该处理器内部的寄存器中保存内存中的值。结果是,运行在不同处理器上的线程可能在同一个内存位置取到不同的值。

        volatile关键字为实例域的同步提供了一种免锁机制,如果声明一个域为volatile,那么编译器和虚拟机就知道该域可能被另一个线程并发更新。

        例如,假定一个对象有一个boolean对象done,他的值被一个线程设置却被另一个线程查询,你可以使用锁:

private boolean done;
public synchronized boolean getDone()
{
     return done;	
}
public synchronized void setDone(boolean bool)
{
     this.done=bool;	
}

        但是考虑一种情况,该对象中仍有其他的线程在别的同步块或同步方法中需要使用锁,那么getDone和setDone方法可能阻塞。如果注意到这个方面,一个线程可以为一个单独的域使用Lock,但是会带来许多麻烦。

        在这种情况下,将域声明为volatile是合理的:

private volatile boolean done;
public  boolean getDone()
{
     return done;	
}
public  void setDone(boolean bool)
{
     this.done=bool;	
}
     volatile强迫线程每次更改该域的值时都要写回内存,并且线程读取该域的值时也要从内存中去读。

final实例域

将实例域定义为final。构建对象时必须初始化这样的域。也就是说,必须确保在每一构造器执行之后,这个域的值被设置,并且在后面的操作中,不能够在对他进行修改。这里不可改变的意思对基本类型来说是其值不可变,而对于对象变量来说其引用不可再变 。例如在Employee类中的name域声明为final,因为在对象构建之后,这个值不会再被修改,即没有setName方法。

class Employee

{

 private final String name;...

}

final修饰大多用于基本数据类型域,或不可变类的域(如果类中的每个方法都不会改变其对象,这种类就是不可变类。例如,String类就是一个不可变的类)。对于可变的类使用final修饰符可能会对读者造成混乱。


atomic原子性

java.util.concurrent.atomic包中没有使用锁,使用了高效的机制保证一些操作的原子性, 如对基本类型和其包装类的更新。如可以使用AtomicIngeger提供的方法对一个 int型域增减操作来作为共享计数器而无需同步。



ThreadLocal线程的局部变量

线程间共享变量带来了风险,如发生死锁。有时可能要避免共享变量,使用ThreadLocal辅助类为各个线程提供各自的实例。


深入研究java.lang.ThreadLocal类
  本文出自 “ 熔 岩 ” 博客,http://lavasoft.blog.51cto.com/62575/51926/
一、概述
 
ThreadLocal是什么呢?其实ThreadLocal并非是一个线程的本地实现版本,它并不是一个Thread,而是threadlocalvariable(线程局部变量)。也许把它命名为ThreadLocalVar更加合适。线程局部变量(ThreadLocal)其实的功用非常简单,就是为每一个使用该变量的线程都提供一个变量值的副本,是Java中一种较为特殊的线程绑定机制,是每一个线程都可以独立地改变自己的副本,而不会和其它线程的副本冲突。
 
从线程的角度看,每个线程都保持一个对其线程局部变量副本的隐式引用,只要线程是活动的并且 ThreadLocal 实例是可访问的;在线程消失之后,其线程局部实例的所有副本都会被垃圾回收(除非存在对这些副本的其他引用)。
 
通过ThreadLocal存取的数据,总是与当前线程相关,也就是说,JVM 为每个运行的线程,绑定了私有的本地实例存取空间,从而为多线程环境常出现的并发访问问题提供了一种隔离机制。
 
ThreadLocal是如何做到为每一个线程维护变量的副本的呢?其实实现的思路很简单,在ThreadLocal类中有一个Map,用于存储每一个线程的变量的副本。
 
概括起来说,对于多线程资源共享的问题,同步机制采用了“以时间换空间”的方式,而ThreadLocal采用了“以空间换时间”的方式。前者仅提供一份变量,让不同的线程排队访问,而后者为每一个线程都提供了一份变量,因此可以同时访问而互不影响。
 
二、API说明
 
ThreadLocal()
          创建一个线程本地变量。
 
T get()
          返回此线程局部变量的当前线程副本中的值,如果这是线程第一次调用该方法,则创建并初始化此副本。
 
protected  T initialValue()
          返回此线程局部变量的当前线程的初始值。最多在每次访问线程来获得每个线程局部变量时调用此方法一次,即线程第一次使用 get() 方法访问变量的时候。如果线程先于 get 方法调用 set(T) 方法,则不会在线程中再调用 initialValue 方法。
 
   若该实现只返回 null;如果程序员希望将线程局部变量初始化为 null 以外的某个值,则必须为 ThreadLocal 创建子类,并重写此方法。通常,将使用匿名内部类。initialValue 的典型实现将调用一个适当的构造方法,并返回新构造的对象。
 
void remove()
          移除此线程局部变量的值。这可能有助于减少线程局部变量的存储需求。如果再次访问此线程局部变量,那么在默认情况下它将拥有其 initialValue。
 
void set(T value)
          将此线程局部变量的当前线程副本中的值设置为指定值。许多应用程序不需要这项功能,它们只依赖于 initialValue() 方法来设置线程局部变量的值。
 
在程序中一般都重写initialValue方法,以给定一个特定的初始值。
 
 
三、典型实例
 
1、Hiberante的Session 工具类HibernateUtil
这个类是Hibernate官方文档中HibernateUtil类,用于session管理。
 
public class HibernateUtil {
    private static Log log = LogFactory.getLog(HibernateUtil.class);
    private static final SessionFactory sessionFactory;     //定义SessionFactory
 
    static {
        try {
            // 通过默认配置文件hibernate.cfg.xml创建SessionFactory
            sessionFactory = new Configuration().configure().buildSessionFactory();
        } catch (Throwable ex) {
            log.error("初始化SessionFactory失败!", ex);
            throw new ExceptionInInitializerError(ex);
        }
    }

    //创建线程局部变量session,用来保存Hibernate的Session
    public static final ThreadLocal session = new ThreadLocal();
 
    /**
     * 获取当前线程中的Session
     * @return Session
     * @throws HibernateException
     */
    public static Session currentSession() throws HibernateException {
        Session s = (Session) session.get();
        // 如果Session还没有打开,则新开一个Session
        if (s == null) {
            s = sessionFactory.openSession();
            session.set(s);         //将新开的Session保存到线程局部变量中
        }
        return s;
    }
 
    public static void closeSession() throws HibernateException {
        //获取线程局部变量,并强制转换为Session类型
        Session s = (Session) session.get();
        session.set(null);
        if (s != null)
            s.close();
    }
}
 
在这个类中,由于没有重写ThreadLocal的initialValue()方法,则首次创建线程局部变量session其初始值为null,第一次调用currentSession()的时候,线程局部变量的get()方法也为null。因此,对session做了判断,如果为null,则新开一个Session,并保存到线程局部变量session中,这一步非常的关键,这也是“public static final ThreadLocal session = new ThreadLocal()”所创建对象session能强制转换为Hibernate Session对象的原因。
 
2、另外一个实例
创建一个Bean,通过不同的线程对象设置Bean属性,保证各个线程Bean对象的独立性。
 
/**
 * Created by IntelliJ IDEA.
 * User: leizhimin
 * Date: 2007-11-23
 * Time: 10:45:02
 * 学生
 */
public class Student {
    private int age = 0;   //年龄
 
    public int getAge() {
        return this.age;
    }
 
    public void setAge(int age) {
        this.age = age;
    }
}
 
/**
 * Created by IntelliJ IDEA.
 * User: leizhimin
 * Date: 2007-11-23
 * Time: 10:53:33
 * 多线程下测试程序
 */
public class ThreadLocalDemo implements Runnable {
    //创建线程局部变量studentLocal,在后面你会发现用来保存Student对象
    private final static ThreadLocal studentLocal = new ThreadLocal();
 
    public static void main(String[] agrs) {
        ThreadLocalDemo td = new ThreadLocalDemo();
        Thread t1 = new Thread(td, "a");
        Thread t2 = new Thread(td, "b");
        t1.start();
        t2.start();
    }
 
    public void run() {
        accessStudent();
    }
 
    /**
     * 示例业务方法,用来测试
     */
    public void accessStudent() {
        //获取当前线程的名字
        String currentThreadName = Thread.currentThread().getName();
        System.out.println(currentThreadName + " is running!");
        //产生一个随机数并打印
        Random random = new Random();
        int age = random.nextInt(100);
        System.out.println("thread " + currentThreadName + " set age to:" + age);
        //获取一个Student对象,并将随机数年龄插入到对象属性中
        Student student = getStudent();
        student.setAge(age);
        System.out.println("thread " + currentThreadName + " first read age is:" + student.getAge());
        try {
            Thread.sleep(500);
        }
        catch (InterruptedException ex) {
            ex.printStackTrace();
        }
        System.out.println("thread " + currentThreadName + " second read age is:" + student.getAge());
    }
 
    protected Student getStudent() {
        //获取本地线程变量并强制转换为Student类型
        Student student = (Student) studentLocal.get();
        //线程首次执行此方法的时候,studentLocal.get()肯定为null
        if (student == null) {
            //创建一个Student对象,并保存到本地线程变量studentLocal中
            student = new Student();
            studentLocal.set(student);
        }
        return student;
    }
}
 
运行结果:
a is running! 
thread a set age to:76 
b is running! 
thread b set age to:27 
thread a first read age is:76 
thread b first read age is:27 
thread a second read age is:76 
thread b second read age is:27 
 
可以看到a、b两个线程age在不同时刻打印的值是完全相同的。这个程序通过妙用ThreadLocal,既实现多线程并发,游兼顾数据的安全性。
 
四、总结
 
ThreadLocal使用场合主要解决多线程中数据数据因并发产生不一致问题。ThreadLocal为每个线程的中并发访问的数据提供一个副本,通过访问副本来运行业务,这样的结果是耗费了内存,单大大减少了线程同步所带来性能消耗,也减少了线程并发控制的复杂度。
 
ThreadLocal不能使用原子类型,只能使用Object类型。ThreadLocal的使用比synchronized要简单得多。
 
ThreadLocal和Synchonized都用于解决多线程并发访问。但是ThreadLocal与synchronized有本质的区别。synchronized是利用锁的机制,使变量或代码块在某一时该只能被一个线程访问。而ThreadLocal为每一个线程都提供了变量的副本,使得每个线程在某一时间访问到的并不是同一个对象,这样就隔离了多个线程对数据的数据共享。而Synchronized却正好相反,它用于在多个线程间通信时能够获得数据共享。
 
Synchronized用于线程间的数据共享,而ThreadLocal则用于线程间的数据隔离。
 
当然ThreadLocal并不能替代synchronized,它们处理不同的问题域。Synchronized用于实现同步机制,比ThreadLocal更加复杂。
 
 
五、ThreadLocal使用的一般步骤
 
1、在多线程的类(如ThreadDemo类)中,创建一个ThreadLocal对象threadXxx,用来保存线程间需要隔离处理的对象xxx。
2、在ThreadDemo类中,创建一个获取要隔离访问的数据的方法getXxx(),在方法中判断,若ThreadLocal对象为null时候,应该new()一个隔离访问类型的对象,并强制转换为要应用的类型。
3、在ThreadDemo类的run()方法中,通过getXxx()方法获取要操作的数据,这样可以保证每个线程对应一个数据对象,在任何时刻都操作的是这个对象。
 

参考文档:
JDK 官方文档


这是一个非常关键的 Java 多线程基础问题。 我们来彻底讲清楚: --- ## ✅ 正确答案: > **局部变量线程安全的,因为每个线程有自己的调用栈,局部变量不会被多个线程共享;而成员变量(实例变量或静态变量)存储在堆中,被多个线程共同访问,因此不是线程安全的。** --- ## 🔍 一、为什么局部变量线程安全的? ### 1. 存储位置:**在栈上(线程私有)** - 每个线程都有自己的 **调用栈(Call Stack)** - 方法中的局部变量(包括基本类型和对象引用)都分配在该线程的栈帧中 - 不同线程调用同一个方法时,各自的局部变量完全独立 ### 2. 示例代码: ```java public class Counter { public void increment() { int localVar = 0; // 局部变量 localVar++; System.out.println(localVar); } } ``` 👉 多个线程同时调用 `increment()`: - 线程 A:有自己的 `localVar`(在 A 的栈上) - 线程 B:有自己的 `localVar`(在 B 的栈上) - 彼此不干扰 → ✅ 线程安全 ### 3. 即使是对象引用也安全(只要不共享对象本身) ```java public void method() { StringBuilder sb = new StringBuilder(); // sb 引用在栈上 sb.append("hello"); // 如果没有把 sb 传递出去或赋值给成员变量 → 完全线程安全 } ``` > 这种情况称为 **栈封闭(Stack Closure)**,是一种常见的线程安全设计模式。 --- ## ❌ 二、为什么成员变量不是线程安全的? ### 1. 存储位置:**在堆上(线程共享)** - 成员变量属于对象的一部分 - 对象存储在堆中 - 堆是所有线程共享的内存区 - 多个线程可以同时访问同一个对象的成员变量 ### 2. 示例代码: ```java public class Counter { private int count = 0; // 成员变量(实例变量),在堆中 public void increment() { count++; // 多个线程同时执行这里 → 数据竞争! } public int getCount() { return count; } } ``` 👉 两个线程同时调用 `increment()`: - 都读取 `count` - 都加 1 - 都写回 → 可能发生覆盖 → 最终结果少于预期 这就是典型的 **竞态条件(Race Condition)** ### 3. 静态变量更危险 ```java private static int totalCount = 0; ``` → 被所有实例共享,甚至跨类加载器,更容易引发并发问题。 --- ## 📊 对比总结表 | 特性 | 局部变量 | 成员变量 | |------|----------|----------| | 存储位置 | 栈(线程私有) | 堆(线程共享) | | 是否共享 | 否(每线程独立) | 是(多个线程可访问同一对象) | | 线程安全性 | ✅ 安全(默认) | ❌ 不安全(需同步) | | 生命周期 | 方法执行期间 | 对象存活期间 | | 并发风险 | 无(除非引用逃逸) | 有(需 `synchronized` / `volatile` / `Atomic`) | --- ## ⚠️ 注意例外情况:局部变量也可能不安全! 虽然局部变量本身是线程安全的,但如果它**指向的对象被多个线程共享**,就会出问题。 ### ❌ 反例:局部变量引用了共享对象 ```java public class UnsafeExample { private StringBuilder sharedBuilder = new StringBuilder(); public void method() { StringBuilder sb = sharedBuilder; // 局部变量引用共享对象 sb.append("a"); // 多个线程操作同一个 StringBuilder → 线程不安全! } } ``` 📌 关键点: > “线程安全”取决于 **数据是否被共享**,而不是变量在哪里声明。 --- ## ✅ 如何让成员变量线程安全? | 方法 | 说明 | |------|------| | `synchronized` 方法或代码块 | 保证同一时间只有一个线程能访问 | | `volatile` | 适用于简单读写,保证可见性但不保证原子性 | | `AtomicInteger` 等原子类 | 高效实现线程安全计数 | | 锁(ReentrantLock) | 更灵活的同步机制 | | 不共享(ThreadLocal) | 每个线程有自己的一份副本 | ### 示例:使用 `AtomicInteger` ```java private AtomicInteger count = new AtomicInteger(0); public void increment() { count.incrementAndGet(); // 原子操作,线程安全 } ``` --- ## ✅ 总结一句话: > **局部变量天生线程安全,因为它在线程私有的栈上;成员变量不安全,因为它在共享的堆上,多个线程可能同时访问同一个对象的字段,必须通过同步机制保护。** ---
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值