并发的准分层秩语义

在并发系统的运算语义发展中，关键决策涉及选择合适的执行模型，这基本上等同于选择一种部分秩序，按照该秩序事件沿执行线排列。典型的部分秩序包括总秩序、分层秩序和区间秩序。本文引入准分层秩序（quasi-stratified orders），它们位于分层秩序和区间秩序之间，专为类似交易或层次结构的并发执行而设计。直接处理并发系统的大量执行离开实际并不切实。很久以前就意识到，更有效的方法是考虑更抽象层次的行为规范（通常基于事件之间内在关系，如由因果部分秩序表示的关系），每个这样的规范（通常是关系结构）都包含（大量的）执行。在本文中，我们引入并研究了用于表示准分层秩序所表示的行为的合适规范。我们提出的准分层关系结构模型基于两个事件之间的关系——'之前'关系和'不晚于'关系——可用于表达和分析事件之间的因果性、独立性和同时性。