jcsp
- abbr.参谋长联席会议出版物(Joint Chiefs of Staff Publication)
![jcsp](../cache/249142.jpg)
-
JCSP defines two interfaces for reading from and writing to channels .
JCSP定义了两个接口用于从通道读取对象和向通道写入对象。
-
In this third part I 'll simply give you a few more reasons to investigate JCSP .
在第3部分中,我只是给您提供了更多的研究JCSP理由。
-
A barrier is a JCSP event that acts as a synchronization mechanism between multiple processes .
barrier是一个JCSP事件,可以充当多个进程之间的同步机制。
-
Broadly , JCSP provides three types of guards
大体来说,JCSP提供了三类警卫
-
Because channels are an important concept in JCSP , let 's make sure you understand how they work before going further .
因为通道在JCSP中是重要的概念,所以在进行下一步之前,要确定您确实理解了它们的工作方式。
-
See the JCSP library download ( in Resources ) for further documentation of these constructs , including usage examples .
请参阅JCSP库的下载(在参考资料中),以获得这结构造的更多文档,包括用例。
-
I used several working examples to demonstrate the use of essential JCSP constructs such as processes , channels , and guards .
我用了几个实例演示了基本的JCSP构造(例如进程、通道和警卫等)的使用。
-
Although JCSP is currently implemented using the standard Java API , it need not be , and in the future it may well not be .
虽然JCSP目前是用标准JavaAPI实现的,但是并不需要这样,而且在未来可能真的不需要这样。
-
Building applications with JCSP results in clean interfaces and lack of hidden side-effects which makes the resulting product resilient to maintenance and technology changes .
用JCSP构建系统会产生干净的接口,很少有会造成产品不好维护和技术变化这类隐藏的副作用。
-
For most of the remainder of the article , I will focus on how CSP concepts are implemented in JCSP .
对于本文余下的大部分内容来说,我会把重点放在CSP概念在JCSP中的实现方式上。
-
Because a formal CSP model for Java exists , it is also possible to analyze and formally verify any multithreaded Java application built using JCSP constructs .
因为存在正式的针对Java的CSP模型,所以可以分析并正式地验证用JCSP构造构建的任何多线程Java应用程序。
-
Next time you find yourself considering ( and perhaps shying away from ) a multithreaded application design , you may want to turn instead to the JCSP library .
下次您会发现,在您自己考虑(也可能要在躲避)多线程应用程序设计时,您可能想转而采用JCSP库。
-
As the next ( and final ) working example will show , non-determinism is an equally powerful concept-at-work in the JCSP library .
因为下一个(也是最后一个)实例将显示,非确定性在JSP中也是同样强大的实用概念。
-
I conclude this introduction to JCSP with a simple example that demonstrates the use of JCSP guards to facilitate non-determinism in concurrent applications .
我用一个简单的示例,演示如何用JCSP警卫实现并发应用程序中的非确定性,借此总结对JCSP的介绍。
-
To help you understand exactly how JCSP works , I explain the internal implementation of some of the JCSP library classes in terms of these Java constructs .
为了帮助您正确地理解JCSP的工作方式,我将从这些Java构造的角度对JCSP库中某些类的内部实现进行了解释。
-
Note that JCSP implements process priorities in terms of the underlying thread 's priority mechanism ; so how the priorities actually work out depends on the underlying JVM implementation .
注意,JCSP以底层线程的优先级机制实现进程的优先级;所以优先级实际的工作方式取决于底层的JVM实现。
-
In the specific context of JCSP , an abstract class called Guard is provided , which must be subclassed by event objects that are competing for selection by a process .
在JCSP的特定上下文中,提供了一个叫作Guard的抽象类,竞争进程选择的事件必须继续它。
-
I start with an overview of the theory of CSP and then introduce you to the Java-based JCSP library implementation , which has CSP engineered into it .
我将从CSP理论的概述开始介绍,然后介绍基于Java的JCSP库实现,JCSP的核心是CSP。
-
A plug-and-play JCSP process called FibonacciInt that is available out-of-the-box with the JCSP library will be used to generate the sequence of Fibonacci numbers for the third column .
一个即插即用的叫作FibonacciInt的JCSP进程(随JCSP库一道立即可用)可以用来为第三列生成斐波纳契数系列。
-
If you 've been reading along with this series from the beginning , you should agree by now that CSP is a programming paradigm worth investigating and the JCSP library a worthy addition to your toolkit .
如果您从开始就一直阅读这个系列,那么到了现在,您应当同意CSP是一个值得研究的编程范式,而JCSP库则值得您添加到工具包中。
-
Note that the examples in the following sections are based on and / or derived from those documented in the javadocs for the JCSP library and / or the presentation slides available on the JCSP home page .
注意,后续章节中的示例基于或来自JCSP库的Javadoc文档,或者基于可以在JCSP主页上得到的演示文稿。