企业加盟网站建设,开发小程序软件,产品详情页面设计,可以做审计初级题的网站虽然很少有 Java™ 开发人员能够忽视多线程编程和支持它的 Java 平台库#xff0c;更少有人有时间深入研究线程。相反地#xff0c;我们临时学习线程#xff0c;在需要时向我们的工具箱添加新的技巧和技术。以这种方式构建和运行适当的应用程序是可行的#xff0c;但是您可…虽然很少有 Java™ 开发人员能够忽视多线程编程和支持它的 Java 平台库更少有人有时间深入研究线程。相反地我们临时学习线程在需要时向我们的工具箱添加新的技巧和技术。以这种方式构建和运行适当的应用程序是可行的但是您可以做的不止这些。理解 Java 编译器的线程处理特性和 JVM 将有助于您编写更高效、性能更好的 Java 代码。 在这期的 5 件事 系列 中我将通过同步方法、volatile 变量和原子类介绍多线程编程的一些更隐晦的方面。我的讨论特别关注于这些构建如何与 JVM 和 Java 编译器交互以及不同的交互如何影响 Java 应用程序的性能。 1. 同步方法或同步代码块 您可能偶尔会思考是否要同步化这个方法调用还是只同步化该方法的线程安全子集。在这些情况下知道 Java 编译器何时将源代码转化为字节代码会很有用它处理同步方法和同步代码块的方式完全不同。 当 JVM 执行一个同步方法时执行中的线程识别该方法的 method_info 结构是否有 ACC_SYNCHRONIZED 标记设置然后它自动获取对象的锁调用方法最后释放锁。如果有异常发生线程自动释放锁。 另一方面同步化一个方法块会越过 JVM 对获取对象锁和异常处理的内置支持要求以字节代码显式写入功能。如果您使用同步方法读取一个方法的字节代码就会看到有十几个额外的操作用于管理这个功能。清单 1 展示用于生成同步方法和同步代码块的调用 清单 1. 两种同步化方法
package com.geekcap;public class SynchronizationExample {private int i;public synchronized int synchronizedMethodGet() {return i;}public int synchronizedBlockGet() {synchronized( this ) {return i;}}
}synchronizedMethodGet() 方法生成以下字节代码 0: aload_01: getfield2: nop3: iconst_m14: ireturn这里是来自 synchronizedBlockGet() 方法的字节代码 0: aload_01: dup2: astore_13: monitorenter4: aload_05: getfield6: nop7: iconst_m18: aload_19: monitorexit10: ireturn11: astore_212: aload_113: monitorexit14: aload_215: athrow创建同步代码块产生了 16 行的字节码而创建同步方法仅产生了 5 行。 回页首 2. ThreadLocal 变量 如果您想为一个类的所有实例维持一个变量的实例将会用到静态类成员变量。如果您想以线程为单位维持一个变量的实例将会用到线程局部变量。ThreadLocal 变量与常规变量的不同之处在于每个线程都有其各自初始化的变量实例这通过 get() 或 set() 方法予以评估。 比方说您在开发一个多线程代码跟踪器其目标是通过您的代码惟一标识每个线程的路径。挑战在于您需要跨多个线程协调多个类中的多个方法。如果没有 ThreadLocal这会是一个复杂的问题。当一个线程开始执行时它需要生成一个惟一的令牌来在跟踪器中识别它然后将这个惟一的令牌传递给跟踪中的每个方法。 使用 ThreadLocal事情就变得简单多了。线程在开始执行时初始化线程局部变量然后通过每个类的每个方法访问它保证变量将仅为当前执行的线程托管跟踪信息。在执行完成之后线程可以将其特定的踪迹传递给一个负责维护所有跟踪的管理对象。 当您需要以线程为单位存储变量实例时使用 ThreadLocal 很有意义。 回页首 3. Volatile 变量 我估计大约有一半的 Java 开发人员知道 Java 语言包含 volatile 关键字。当然其中只有 10% 知道它的确切含义有更少的人知道如何有效使用它。简言之使用 volatile 关键字识别一个变量意味着这个变量的值会被不同的线程修改。要完全理解 volatile关键字的作用首先应当理解线程如何处理非易失性变量。 为了提高性能Java 语言规范允许 JRE 在引用变量的每个线程中维护该变量的一个本地副本。您可以将变量的这些 “线程局部” 副本看作是与缓存类似在每次线程需要访问变量的值时帮助它避免检查主存储器。 不过看看在下面场景中会发生什么两个线程启动第一个线程将变量 A 读取为 5第二个线程将变量 A 读取为 10。如果变量 A 从 5 变为 10第一个线程将不会知道这个变化因此会拥有错误的变量 A 的值。但是如果将变量 A 标记为 volatile那么不管线程何时读取 A 的值它都会回头查阅 A 的原版拷贝并读取当前值。 如果应用程序中的变量将不发生变化那么一个线程局部缓存比较行得通。不然知道 volatile 关键字能为您做什么会很有帮助。 回页首 4. 易失性变量与同步化 如果一个变量被声明为 volatile这意味着它预计会由多个线程修改。当然您会希望 JRE 会为易失性变量施加某种形式的同步。幸运的是JRE 在访问易失性变量时确实隐式地提供同步但是有一条重要提醒读取易失性变量是同步的写入易失性变量也是同步的但非原子操作不同步。 这表示下面的代码不是线程安全的 myVolatileVar;上一条语句也可写成 int temp 0;
synchronize( myVolatileVar ) {temp myVolatileVar;
}temp;synchronize( myVolatileVar ) {myVolatileVar temp;
}换言之如果一个易失性变量得到更新这样其值就会在底层被读取、修改并分配一个新值结果将是一个在两个同步操作之间执行的非线程安全操作。然后您可以决定是使用同步化还是依赖于 JRE 的支持来自动同步易失性变量。更好的方法取决于您的用例如果分配给易失性变量的值取决于当前值比如在一个递增操作期间要想该操作是线程安全的那么您必须使用同步化。 回页首 5. 原子字段更新程序 在一个多线程环境中递增或递减一个原语类型时使用在 java.util.concurrent.atomic 包中找到的其中一个新原子类比编写自己的同步代码块要好得多。原子类确保某些操作以线程安全方式被执行比如递增和递减一个值更新一个值添加一个值。原子类列表包括 AtomicInteger、AtomicBoolean、AtomicLong、AtomicIntegerArray 等等。 使用原子类的难题在于所有类操作包括 get、set 和一系列 get-set 操作是以原子态呈现的。这表示不修改原子变量值的 read和 write 操作是同步的不仅仅是重要的 read-update-write 操作。如果您希望对同步代码的部署进行更多细粒度控制那么解决方案就是使用一个原子字段更新程序。 使用原子更新 像 AtomicIntegerFieldUpdater、AtomicLongFieldUpdater 和 AtomicReferenceFieldUpdater 之类的原子字段更新程序基本上是应用于易失性字段的封装器。Java 类库在内部使用它们。虽然它们没有在应用程序代码中得到广泛使用但是也没有不能使用它们的理由。 清单 2 展示一个有关类的示例该类使用原子更新来更改某人正在读取的书目 清单 2. Book 类
package com.geeckap.atomicexample;public class Book
{private String name;public Book(){}public Book( String name ){this.name name;}public String getName(){return name;}public void setName( String name ){this.name name;}
}Book 类仅是一个 POJOJava 原生类对象拥有一个单一字段name。 清单 3. MyObject 类
package com.geeckap.atomicexample;import java.util.concurrent.atomic.AtomicReferenceFieldUpdater;/**** author shaines*/
public class MyObject
{private volatile Book whatImReading;private static final AtomicReferenceFieldUpdaterMyObject,Book updater AtomicReferenceFieldUpdater.newUpdater( MyObject.class, Book.class, whatImReading );public Book getWhatImReading(){return whatImReading;}public void setWhatImReading( Book whatImReading ){//this.whatImReading whatImReading;updater.compareAndSet( this, this.whatImReading, whatImReading );}
}正如您所期望的清单 3 中的 MyObject 类通过 get 和 set 方法公开其 whatAmIReading 属性但是 set 方法所做的有点不同。它不仅仅将其内部 Book 引用分配给指定的 Book这将使用 清单 3 中注释出的代码来完成而是使用一个AtomicReferenceFieldUpdater。 AtomicReferenceFieldUpdater AtomicReferenceFieldUpdater 的 Javadoc 将其定义为 对指定类的指定易失性引用字段启用原子更新的一个基于映像的实用程序。该类旨在用于这样的一个原子数据结构中即同一节点的若干引用字段独立地得到原子更新。 在 清单 3 中AtomicReferenceFieldUpdater 由一个对其静态 newUpdater 方法的调用创建该方法接受三个参数 包含字段的对象的类在本例中为 MyObject将得到原子更新的对象的类在本例中是 Book将经过原子更新的字段的名称这里真正的价值在于getWhatImReading 方法未经任何形式的同步便被执行而 setWhatImReading 是作为一个原子操作执行的。 清单 4 展示如何使用 setWhatImReading() 方法并断定值的变动是正确的 清单 4. 演习原子更新的测试用例
package com.geeckap.atomicexample;import org.junit.Assert;
import org.junit.Before;
import org.junit.Test;public class AtomicExampleTest
{private MyObject obj;Beforepublic void setUp(){obj new MyObject();obj.setWhatImReading( new Book( Java 2 From Scratch ) );}Testpublic void testUpdate(){obj.setWhatImReading( new Book( Pro Java EE 5 Performance Management and Optimization ) );Assert.assertEquals( Incorrect book name, Pro Java EE 5 Performance Management and Optimization, obj.getWhatImReading().getName() );}} 参阅 参考资料 了解有关原子类的更多信息。 回页首 结束语 多线程编程永远充满了挑战但是随着 Java 平台的演变它获得了简化一些多线程编程任务的支持。在本文中我讨论了关于在 Java 平台上编写多线程应用程序您可能不知道的 5 件事包括同步化方法与同步化代码块之间的不同为每个线程存储运用ThreadLocal 变量的价值被广泛误解的 volatile 关键字包括依赖于 volatile 满足同步化需求的危险以及对原子类的错杂之处的一个简要介绍。参见 参考资料 部分了解更多内容。 参考资料 学习 您不知道的 5 件事 ... 在本系列中发现关于 Java 平台您不知道的事情本系列致力于将 Java 技术琐事变成有用的编程技巧。“Code Tracing”Steven HainesInformIT2010 年 8 月了解使用 ThreadLocal 变量进行代码跟踪的更多内容。“Java 字节码了解字节码使你成为一个更好的程序员”Peter HaggardeveloperWorks2001 年 7 月一本介绍字节码次要领域的教程包含展示同步方法和同步代码块之间区别的一个较早的例子。“Java 理论与实践流行的原子”Brian GoetzdeveloperWorks2004 年 11 月解释原子类如何支持用 Java 语言开发高度可伸缩的非阻塞算法。“Java 理论与实践: 并发在一定程度上使一切变得简单”Brian GoetzdeveloperWorks2002 年 11 月 通过java.util.concurrent 包来为您提供指导。“您不知道的 5 件事 ... java.util.concurrent第 1 部分”Ted NewarddeveloperWorks2010 年 5 月了解 5 个并发集合类为您的并发编程需求改进标准集合类。developerWorks Java technology 专区这里有数百篇关于 Java 编程各个方面的文章。讨论 加入 developerWorks 中文社区。关于作者 Steven Haines 是 ioko 的一名技术架构师也是 GeekCap Inc 的创始人。在 Java 编程和性能分析方面他写过 3 本书以及上百篇文章和十几个白皮书。Steven 还在行业会议上发表演讲比如 JBoss World 和 STPCon而且他曾在加里佛尼亚大学欧文分校和 Learning Tree 大学教过 Java 编程他居住在佛罗里达州奥兰多市。 建议
