「Java并发编程实战」之对象的共享

phodal 发布于2019-08-19 10:35 / 3403人阅读

摘要：当某个不应该发布的对象被发布时，这种情况被称为逸出。线程安全共享线程安全的对象在其内部实现同步，因此多线程可以通过对象的公有接口来进行访问而不需要进一步的同步。

前言

　　本系列博客是对《Java并发编程实战》的一点总结，本篇主要讲解以下几个内容，内容会比较枯燥。可能大家看标题不能能直观的感受出到底什么意思，这就是专业术语，哈哈，解释下，术语（terminology）是在特定学科领域用来表示概念的称谓的集合，在我国又称为名词或科技名词（不同于语法学中的名词）。术语是通过语音或文字来表达或限定科学概念的约定性语言符号，是思想和认识交流的工具。我就用白话文来给大家解释下这些术语。

线程安全

　　什么是线程安全？这算是老生常谈的问题了，相信大家在面试的过程中也遇到过，在线程安全的定义中，最核心的概念就是正确性，如果对线程安全性的定义是模糊的，那么就是缺乏对正确性的清晰定义。正确性的含义是，某个类的行为与其规范完全一致，在良好的规范中通常会定义各种不变性条件来约束对象的状态，以及定义各种后验条件来描述对象操作的结果。说白了就是一个类无论是在单线程环境还是多线程环境中都能正确的执行，那么这个类就是线程安全的。如果在线程交替执行的过程中导致不可预料的结果，那么就是线程不安全的。

可见性

　　假如有一个变量，现在对它进行读写操作，可见性说的就是当前线程对变量的写操作是否对其它线程可见，就是其它线程能不能知道你对这个变量做了修改。如果不能保证可见，必须使用同步机制。否则当其他线程来读这个变量的时候，可能会得到一个已经失效的值。这个值就被称为失效数据。
　　
　　在这里提醒大家，对于非volatile类型的long和double变量JVM允许将64位的读操作或写操作分解为两个32位的操作，当读一个非volatile类型的long变量时，如果读写操作是在不同的线程中执行，那么很可能会读取到某个值的高32位和另一个值的低32位，所以在多线程环境中使用共享可变的long和double等类型的变量时不安全的，除非使用关键字volatile来声明它们，或者用锁保护起来。
1.现在来介绍一下Volatile：
Java语言提供了一种稍弱的同步机制，即volatile类型，用来确保将变量的更新操作通知到其他线程。使用就是在变量前面加上volatile即可。在 JMM 中，线程之间的通信采用共享内存来实现的。volatile 的内存语义是：

当写一个 volatile 变量时，JMM 会把该线程对应的本地内存中的共享变量值，立即刷新到主内存中。

当读一个 volatile 变量时，JMM 会把该线程对应的本地内存设置为无效，直接从主内存中读取共享变量。

2.volatile的使用条件：

对变量的写入操作不依赖变量的当前值，或者你能确保只有单个线程更新变量的值。

该变量不会与其他状态变量一起纳入不变性条件中。

在访问变量时不需要加锁。

加锁机制既可以确保可见性又可以确保原子性，而volatile变量只能确保可见性，千万不要用它来确保原子性操作。

发布与逸出

发布一个对象的意思就是使对象能够在当前作用域之外的代码中使用，例如，将一个指向该对象的的引用保存到其他代码可以访问的地方，或者在某一个非私有的方法中返回该引用，或者将引用传递到其他类方法中。当某个不应该发布的对象被发布时，这种情况被称为逸出。

线程封闭

当访问共享的可变数据时，通常需要使用同步。一种避免使用同步的方式就是不同享数据，如果仅在单线程内访问数据，就不需要同步，这种技术被称为线程封闭，它是实现线程安全性最简单的方法之一。下面介绍几种线程封闭技术。
1.Ad-hoc线程封闭
Ad-hoc线程封闭是指，维护线程封闭性的职责完全有程序实现来承担。例如可见性修饰符或局部变量，能将对象封闭到目标线程上。事实上对于线程封闭对象通常保存在共有变量中。Ad-hoc线程封闭是非常脆弱的，所以程序中尽量少使用它，可以使用以下两种技术（栈封闭，ThreadLocal）。
2.栈封闭
栈封闭也被成为线程内部使用或者线程局部使用，不要与ThredaLocal混淆，比Ad-hoc更易于维护，也更加健壮。在栈封闭中，只能通过局部变量才能访问对象。

//伪代码
public void test(){
//定义一个变量
Set set ;
// 实例化一个TreeSet对象，并将该对象的一个引用保存到set中。
set = new TreeSet();
}

这样TreeSet对象就被封闭在局部变量中，因此也被封闭到执行线程中，它位于执行线程的栈中，其他线程无法访问这个栈。
3.ThreadLocal
维持线程封闭性的一种更为规范的方法是使用ThreadLocal，这个类能使线程中的某个值与保存值的对像关联起来，ThreadLocal提供了get与set等访问接口或方法，这些方法为每个使用该变量的线程都存有一份独立的副本，因此get总是返回由当前线程执行set时设置的最新值。ThreadLocal通常用于防止对可变对像的单实例变量或全局变量进行共享。

   //保存一个数据库连接对像
   public static ThreadLocal connectionThreadLocal = 
   new ThreadLocal(){
       @Override
       protected Connection initialValue() {
           return DriverManager.getConnection(DB_URl);
       }
   };
   //每个线程使用时直接get
   public static Connection getConnection(){
       return connectionThreadLocal.get();
   }

不变性

如果某个对像在被创建之后其状态就不能被修改，那么这个对象就是不可变对象，线程安全性是是不可变对象的固有属性之一。当满足一下条件时，对象才是不可变的：

对象创建后其状态就不能修改。

对象的所有域都是final类型。

对象是正确创建的（在对象的创建期间，this引用没有逸出）

Final域：
用于构造不可变对象。final类型的域是不能修改的（但如果final域所引用的对象是可变的，那么这些引用的对象是可以修改的）。然而在java内存模型中，final域还有着特殊的语义。final域能确保初始化过程的安全性，从而可以不受限制的访问不可变对象，并在共享这些对象时无须同步。

安全发布

1.要安全发布一个对象，对象的引用以及对象的状态必须同时对其他线程可见，一个正确构造的对象可以通过以下方式来安全的发布：

在静态初始化函数中初始化一个对象引用。

将对象的引用保存到volatile类型的域或者Atomicreferance对象中。

将对象的引用保存到某个正确构造对象的final类型域中。

将对象的引用保存到一个由锁保护的域中。

2.在并发程序中使用和共享对象时，可以使用一些实用的策略：

线程封闭：线程封闭的对象只能由一个线程拥有，对象被封闭在该线程中，并且只能由这个线程修改

只读共享：在没有额外同步的情况下，共享的只读对象可以由多个线程并发访问，但任何线程都不能修改它，共享的只读对象包括不可变对象和事实不可变对象。

线程安全共享：线程安全的对象在其内部实现同步，因此多线程可以通过对象的公有接口来进行访问而不需要进一步的同步。

保护对象：被保护的对象只能通过持有特定的锁来访问，保护对象包括封装在其他线程安全对象中的对象，以及已发布的并且由某个特定锁保护的对象。

大家看后辛苦点个赞点个关注哦！查看个人主页，有更多的博客哦。如有错误，烦请指正。
有兴趣加群一起交流。

云服务器 GPU云服务器 java并发编程面向对象java编程 java面向对象编程面向对象的编程语言

文章版权归作者所有，未经允许请勿转载,若此文章存在违规行为，您可以联系管理员删除。

转载请注明本文地址：https://www.ucloud.cn/yun/76276.html

《Java并发编程实战》读书笔记-第1章简介

摘要：线程允许同一个进程中同时存在多个程序控制流。线程也被称为轻量级进程。现代操作系统中，都是以线程为基本的调度单位，而不是进程。并发简史在早期的计算机中不包含操作系统，从头至尾都只执行一个程序，并且这个程序能访问计算机所有资源。操作系统的出现使得计算机每次能运行多个程序，并且不同的程序都在单独的进程中运行：操作系统为各个独立执行的进程分配内存、文件句柄、安全证书等。不同进程之间通过一些...

zhoutk 2019-08-19 11:47 评论0 收藏0
【java并发编程实战6】AQS之独占锁ReentrantLock实现

摘要：锁与很好的隔离使用者与实现者所需要关注的领域。那么这个就是包装线程并且放入到队列的过程实现的方法。也证实了就是获取锁的线程的节点。如果发生异常取消请求，也就是将当前节点重队列中移除。前言自从JDK1.5后，jdk新增一个并发工具包java.util.concurrent，提供了一系列的并发工具类。而今天我们需要学习的是java.util.concurrent.lock也就是它下面的...

sixleaves 2019-08-19 11:09 评论0 收藏0
Java 并发编程系列之带你了解多线程

摘要：的内置锁是一种互斥锁，意味着最多只有一个线程能持有这种锁。使用方式如下使用显示锁之前，解决多线程共享对象访问的机制只有和。后面会陆续的补充并发编程系列的文章。早期的计算机不包含操作系统，它们从头到尾执行一个程序，这个程序可以访问计算机中的所有资源。在这种情况下，每次都只能运行一个程序，对于昂贵的计算机资源来说是一种严重的浪费。操作系统出现后，计算机可以运行多个程序，不同的程序在单独...

Elle 2019-08-19 11:12 评论0 收藏0
<java并发编程实战>学习三

摘要：线程封闭当访问共享的可变数据时，通常需要使用同步。如果仅在单线程内访问数据，就不要同步。这种技术成为线程封闭。栈封闭栈封闭是线程封闭的一种特例，在栈封闭中，只能通过局部变量才能访问对象。，对象是正确创建的。线程封闭当访问共享的可变数据时，通常需要使用同步。一种避免使用同步的方式就是不共享数据。如果仅在单线程内访问数据，就不要同步。这种技术成为线程封闭（Thread Confine...

Richard_Gao 2019-08-16 17:08 评论0 收藏0
【J2SE】java并发编程实战读书笔记（一、二、三章）

摘要：发布的对象内部状态可能会破坏封装性，使程序难以维持不变性条件。不变性线程安全性是不可变对象的固有属性之一。可变对象必须通过安全方式来发布，并且必须是线程安全的或者有某个锁保护起来。线程的优缺点线程是系统调度的基本单位。线程如果使用得当，可以有效地降低程序的开发和维护等成本，同时提升复杂应用程序的性能。多线程程序可以通过提高处理器资源的利用率来提升系统的吞吐率。与此同时，在线程的使用...

QLQ 2019-08-16 15:55 评论0 收藏0