When does a correct mutual exclusion algorithm guarantee mutual exclusion?

著录项

• 来源
  《Information Processing Letters》 |2000年第3期|p.131-134|共4页
• 作者

  Leslie Lamport; Sharon Perl; William Weihl;

  展开▼
• 作者单位

  展开▼
• 收录信息 美国《科学引文索引》(SCI);美国《工程索引》(EI);
• 原文格式 PDF
• 正文语种 eng
• 中图分类 计算技术、计算机技术;
• 关键词

  Concurrency; Mutual exclusion; Synchronization; Shared memory; Memory consistency;

  机译：并发互斥;同步;共享内存;内存一致性;