1) concurrency model
并发模型
1.
Research on multithread pool concurrency model in message oriented middleware;
消息中间件中多线程池并发模型的研究
2.
This paper firstly discusses and analyzes the concurrency model of a production which is developed by our team.
并发模型对于分布对象中间件具有十分重要的意义。
2) models for concurrency
并发模型
1.
The application of cate- gory theory to the study of some interleaving models for concurrency and the relationships between these models is also suggested.
介绍范畴论不同于集合论的独特思维方式，并探讨将这些概念与思想作为数学工具应用到语义模型研究中的一般方法，最后给出利用范畴论研究并发模型以及模型间关系的应用实例。
3) concurrency control scheme
并发控制模型
1.
To solve the problem of data inconsistency between data warehousing and resource database due to execution order reversion of update transactions,the paper proposed a new concurrency control scheme that was different from former technology and made use of versioning control technology to avoid transactions conflicting and maintain the freshness of data warehouses.
为了解决由于事务冲突使事务执行顺序反转而引起的数据仓库系统与源数据库中数据不一致性的问题,提出了一种区别于已有技术的基于版本化控制技术的并发控制模型(CCS),以最终达到避免事务之间出现冲突并保持数据仓库新鲜度的目的。
4) concurrent object model
并发对象模型
1.
Based on analyzing and comparing typical concurrent object oriented programming languages, this paper gives the framework of a new concurrent object model, which is based on the characteristic function of concurrency and a new approach to handle asynchronous message passing.
在分析和比较典型的并发面向对象程序设计语言的基础上，提出了一个并发对象模型的架构。
5) modeling/concurrent
建立模型/并发
6) parallel searching algorithm model
并发检索模型
补充资料：并发模型
并发模型
models of concurrency
b ingfa moxing并发模型(n加日elsof~~y)描述并发系统行为的数学模型。 若一个系统内部发生的两个事件之间没有因果关系，则称此两个事件是并发的。因果关系不等于事件先后关系，有因果关系者必有先后关系，反之则不一定。存在并发事件的系统称为并发系统。例如操作系统是一个并发系统，人类社会也是一个并发系统。 并发概念由C.A.Petri于1962年首创。他的并发模型严格遵守并发即无因果联系的思想，用此模型描述的系统不含统一的时钟。此外还有另一种并发概念，例如R.Mihier认为:若一个系统内部的两个事件可以按任意次序发生，则称此两个事件是并发的。习惯上称前一种并发为真并发，称后一种并发为交叠式并发。前一种并发概念的描述能力强于后一种并发概念的描述能力，但是在程序设计的大多数场合，后一种并发概念也够用了。 并发模型可分为两个层次:描述性的并发模型和语义性的并发模型。 描述性的并发模型通常是一个形式系统，可以描述并发系统的行为。这种模型大体上有4类。 归约模型:几演算，项重写系统，图重写系统等都是。这类系统中的事件就是归约。它们缺少进程和通信的概念，不能用于分布式系统。 逻辑模型:时序逻辑、动态逻辑、线性逻辑等都是。这类系统中的事件就是逻辑推导。它们能够在进程上作推理，但是缺少有效的通信手段，因此也不适用于分布式系统。 进程代数模型:通倍顺序进程(〔芝尸)、通信系统演算(〔兀S)等都是。这类系统以进程及进程间的通信为主要描述对象。系统中的事件就是进程通信，它们特别适合于描述分布式系统。 佩特里网模型:EN系统，条件或事件系统，位置或变迁系统，有色佩特里网系统等都是。这类系统不直接描述进程和通信，但是可通过并发网络流表示进程和通信。系统中的事件就是事件节点的点火。这类模型不仅用于描述程序系统，也用于描述社会系统。 语义性的并发模型第一类并发模型通常以指称语义中的幂域理论为基础。第二类并发模型常采用Kripke的可能世界理论。第三类并发模型也采用幂域理论，但采用不同的对象作为域的元素。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条