期刊文献+

基于内存模型的Java并发编程 被引量:2

The Java Concurrent Programming Based On Memory Model
下载PDF
导出
摘要 多核处理器为并发编程打开了一扇扇新的大门,Java内置的多线程机制可以方便地实现多个并发程序的开发以及多任务同时执行,但是Java线程之间的通信对程序员完全透明,内存可见性问题很容易困扰Java开发人员,本文将简单分析基于内存模型的Java并发编程。 The multi-core processor opens a new door for the concurrent programming.You can implement multiple concurrent programs and multiple tasks at the same time simultaneously by Java built-in multithreading mechanism.But the communication between the Java thread is completely transparent to the programmer,which is easy to puzzle the Java developer.In this paper,I will simply analyze the Java concurrent programming based on memory model.
作者 胡泳霞
出处 《电子测试》 2016年第7期89-90,共2页 Electronic Test
关键词 Java并发 内存模型 多线程 同步机制 Java concurrency memory model multi-thread synchronization mechanism
  • 相关文献

参考文献2

二级参考文献14

  • 1Goetz B, Peierls T, Bloch J, et al. Java Concurrency in Practice[M]. Addison WesleyProfessional,2006.
  • 2Corbett J C, Dwyer M B, Hatcliff J, et al. Bandera:Extracting Finite-State Models from Java Source Code[C]//Proe of the 22nd Int' 1 Conf on Software Engineering, 2000: 439-448.
  • 3David Y W Park, Ulrich Stem, Jens U Skakkebak, et al. Java Model Checking[C]//Proc of ASE' 00,2000.
  • 4Havelund K, Pressburger T. Model Checking Programs Using Java Pathfinder[J].International Journal on Software Tools for Technology Transfer, 2000,2(4) : 366-381.
  • 5Gosling J, Joy W, Steele G, et al. The Java Language Specification[M]. Third Edition. Addison Wesley, 2005.
  • 6Clarke E M, Emerson E A, Sistla A P. Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications[J].ACM Trans on Programming Languages and Systems, 1986,8(2) : 244-263.
  • 7Holzmann G J. The Model Checker SPIN [J]. IEEE Trans on Software Engineering, 1997,23(5) : 279-94.
  • 8Holzmann G J. Trends in Software Verifieation[C]//Proc of Int'l Symp of Formal Methods Europe, 2003:40-50.
  • 9Havelund K, Visser W. Program Model Checking as a New Trend [J]. International Journal on Software Tools for Technology Transfer, 2002,4 (1) : 8-20.
  • 10Pugh W. Fixing the Java Memory Model[C]//Proc of the ACM Java Grande Conf, 1999:89-98.

共引文献4

同被引文献12

引证文献2

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部