并发

实时系统, 并发系统, 形式化方法, 理论计算机科学, 计算机科学

时间过程语言 (Temporal Process Language)

TPL, 实时, 并发, 时间过程语言, 过程代数

分布式系统, 并发编程, 数据库, 算法, 计算机科学

因果一致性 (Causal Consistency)

内存一致性, 分布式, 向量时钟, 因果一致性, 并发

多线程, 并发, 操作系统, 编程, 计算机科学

同步 (Synchronization)

同步, 并发, 线程, 进程, 锁

并发编程, 操作系统, 线程, 计算机科学, 进程管理

调度程序激活 (Scheduler Activations)

内核, 并发, 操作系统, 线程, 调度程序

事务处理, 并发控制, 数据一致性, 数据库, 计算机科学

快照隔离 (Snapshot Isolation)

MVCC, 事务, 并发, 快照隔离, 数据库