java-并发-不可变对象

  当一个对象创建后的状态不可改变时就认为其为不可变对象,尽可能地利用不可变对象被公认为是构建简单可靠代码的有效方法。不可变对象在并发程序中比较有用,由于其状态无法改变,因此无法被线程的干扰损坏或者被视为不一致状态。

  程序员一般不愿意使用不可变对象,因为他们担心创建一个新对象可能会比更新一个已有对象的状态代价更大,然而往往创建一个对象的影响会被高估,而且会被与不可变对象相关的高效性补偿,这包括降低垃圾回收的开支,免除需要防止可变对象被损坏的代码。

  不可变对象语法上没有新的内容,以下定义了一些创建不可变对象的规则,当然不是所有被认为不可变的类都遵从以下规则,是否需要使用不可变对象需要经过系统的分析。

  1. 不要使用setter方法--一般setter方法是更改对象中的字段的方法。
  2. 定义所有的字段为final和private
  3. 不要允许子类覆写类中的方法,最简单的方法就是声明该类为final,一个更复杂的方法就是定义构造器为private,创建实例时,使用工厂方法。
  4. 如果实例字段包含引用的对象,不要使这些对象改变:(1)不要提供更改可变对象的方法(2)不要共享对可变对象的引用,不要存储传给构造器的外部可变对象;如果有必要,复制一个对象,并引用其副本。同样的,有必要时类中的方法返回内部可变对象的副本而不是原对象。
时间: 2024-12-21 11:24:28

java-并发-不可变对象的相关文章

java之不可变对象--java并发编程实践

创建后状态不能修改的对象叫做不可变对象.不可变对象天生是线程安全的.它们的常量(域)是在构造函数中创建的.既然它们的状态无法修改,这些常量永远不会变.  不可变对象永远是线程安全的. 只有满足如下状态,一个对象才是不可变的: 它的状态不能在创建后再被修改: 所有域都是final类型:并且, 它被正确创建(创建期间没有发生this引用的逸出).

【Java并发.3】对象的共享

本章将介绍如何共享和发布对象,从而使他们能够安全地由多个线程同时访问.这两章合在一起就形成了构建线程安全类以及通过 java.util.concurrent 类库来构建开发并发应用程序的重要基础. 3.1 可见性 可见性是一种复杂的属性,因为可见性中的错误总是违背我们的直觉.为了确保多个线程之间对内存写入操作的可见性,必须使用同步机制. 在下面的清单中 NoVisibility 说明了当多个线程在没有同步的情况下共享数据出现的错误.主线程启动读线程,然后将 number 设为 42,并将 rea

java String不可变对象,但StringBuffer是可变对象

什么是不可变对象? 众所周知, 在Java中, String类是不可变的.那么到底什么是不可变的对象呢? 可以这样认为:如果一个对象,在它创建完成之后,不能再改变它的状态,那么这个对象就是不可变的.不能改变状态的意思是,不能改变对象内的成员变量,包括基本数据类型的值不能改变,引用类型的变量不能指向其他的对象,引用类型指向的对象的状态也不能改变. 区分对象和对象的引用 对于Java初学者, 对于String是不可变对象总是存有疑惑.看下面代码: [java] view plain copy Str

java基础---不可变对象创建

通过反射还是可以修改的. public static void stringReflection() throws Exception { String s = "Hello World"; System.out.println("s = " + s); //Hello World //获取String类中的value字段 Field valueField = String.class.getDeclaredField("value"); //改

Java并发 chapter3 共享对象

可见性 对象引用的可见性与对象域可见性不同??? 锁在保证原子性的同时保证了可见性 原子性通过引入不可分割的语义,保证了自身的执行的正确性,通过状态集不被其他线程修改. 可见性:自身的执行对状态的修改可能影响其他线程的约束.修改——可见存在延迟,可见性去除了其中的延迟. 提供可见性的状态维护了这组状态的一致快照 volatile提供可见性,但只针对原子性的读写操作 实现上不使用锁,线程不会阻塞 常用作状态标志 非复合:读写不可依赖于变量:不与其他变量构成约束(从而相关):访问变量时不需要加锁??

《Java并发编程实战》第三章 对象的共享 读书笔记

一.可见性 什么是可见性? Java线程安全须要防止某个线程正在使用对象状态而还有一个线程在同一时候改动该状态,并且须要确保当一个线程改动了对象的状态后,其它线程能够看到发生的状态变化. 后者就是可见性的描写叙述即多线程能够实时获取其它线程改动后的状态. *** 待补充   两个工人同一时候记录生产产品总数问题 1. 失效数据 可见性出现故障就是其它线程没有获取到改动后的状态,更直观的描写叙述就是其它线程获取到的数据是失效数据. 2. 非原子64位操作 3. 加锁与可见性 比如在一个变量的读取与

Java 并发编程(二)对象的不变性和安全的发布对象

一.不变性 满足同步需求的另一种方法是使用不可变对象(Immutable Object).到目前为止,我们介绍了许多与原子性和可见性相关的问题,例如得到失效数据,丢失更新操作或光查到某个对象处于不一致的状态等等,都与多线程视图同时访问同一个可变的状态相关.如果对象的状态不会改变,那么这些问题与复杂性也就自然消失了. 如果某个对象在被创建后其状态就不能被修改,那么这个对象就被成为不可变对象.线程安全型是不可变对象的固有属性之一,他们的不变性条件是由构造函数创建的,只要他们的状态不改变,那么这些不变

JAVA并发编程实战 读书笔记(二)对象的共享

<java并发编程实战>读书摘要 birdhack 2015年1月2日 对象的共享 JAVA并发编程实战读书笔记 我们已经知道了同步代码块和同步方法可以确保以原子的方式执行操作,但一种常见的误解是,认为关键之synchronized只能用于实现原子性或者确定临界区.同步还有另一个重要的方面:内存可见性. 1.可见性 为了确保多个线程之间对内存写入操作的可见性,必须使用同步机制. 在没有同步的情况下,编译器.处理器以及运行时等都可能对操作的执行顺序进行一些意想不到的调整.在缺乏足够同步的多线程程

java并发编程实践学习(2)--对象的组合

先验条件(Precondition):某些方法包含基于状态的先验条件.例如,不能从空队列中移除一个元素,在删除元素前队列必须处于非空状态.基于状态的先验条件的操作成为依赖状态操作. 在单线程中,如果某操作无法满足先验条件,就只能失败,但在并发程序中先验条件可能会由于其他线程执行的操作而变成真. java中等待某个条件为真的各种内置机制(包括等待和通知机制)都与内置加锁紧密关联. 所有权和封装性总是相关联的:对象封装它拥有的所有权,对象对它的封装的状态拥有所有权. 发布了某个可变对象的引用,那就不

《Java并发编程实战》第四章 对象的组合 读书笔记

一.设计线程安全的类 在设计线程安全类的过程中,须要包括下面三个基本要素: . 找出构成对象状态的全部变量. . 找出约束状态变量的不变性条件. . 建立对象状态的并发訪问管理策略. 分析对象的状态,首先从对象的域開始. 变量按作用域划分: . 全局变量 . 局部变量 . 方法行參 . 异常处理參数 1. 收集同步需求 假设不了解对象的不变性条件与后验条件,那么就不能确保线程安全性.要满足在状态变量的有效值或状态转换上的各种约束条件.就须要借助原子性和封装性. 说的更简略些是Java线程安全都是