摘要
路径表达式(Path expression)是一种非过程化的共享资源并发存取控制的描述工具。本文介绍了几种路径表达式的语法、语义及表达能力,重点介绍开放谓词路径表达式在分布式环境下的实现技术,对这种路径表达式用于共享资源并发存取控制的优点进行了讨论。结论是路径表达式是一种适合于分布式环境的高级同步机构。
Path expression is a specification language for the synchronization of concurrent access to shared data. Several kinds of path expressions:open path expression (OPE), predicate path expression (PPE) and open predicate path expression (OPPE) are introduced and their syntax, semantics and implementation technique are described. Their advantages and expression powers are also discussed. It is concluded that path expression is a high-level synchronization mechanism suitable for the distributed environment.
关键词
路径表达式
并发存取
共享资源
path expression
distributed system
synchronization mechanism
shared data
