jcsp

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主页上得到的演示文稿。