...非共有事件不需要同步.考虑连接 器的形式化描述,可以将连接器定义为其中所 有role和glue的并发. 进程标记(process labeling):标记为z的进 程P表示为z:P.则进程中所有的事件也标记 上与其所属进程相同的名字. 在进程表达式中一的优先级高于口,Ⅱ,l 操...
基于12个网页-相关网页
它首先使用简单的文本标签标记所有进程、文件和网络流量。
It begins by labeling all processes, files, and network traffic with simple text labels.
首先,这是将任务标记为其他任务所阻碍的任务的一个简单进程。
First, it is a simple process to mark a task as being blocked by another task.
当VCS的进程(HAD)被杀死,其他集群中的系统通过将所有重启系统中的服务组标记为持续联线来实现自动禁用。
When the VCS process (HAD) is killed, other systems in the cluster mark all service groups capable of going online on the rebooted system as autodisabled.
应用推荐