17、分布式读写系统中的匿名性：入门概述

分布式读写系统中的匿名性：入门概述

在分布式系统中，匿名性是一个重要的研究领域，它涉及到进程匿名和内存匿名等概念。本文将深入探讨这些匿名性类型，以及如何在异步读写系统中应对由此带来的挑战。

1. 并发对象及其进度条件

• 并发对象 ：对象类型由一组有限的操作和描述该类型对象正确行为的规范定义。对象的内部表示对进程是隐藏的，同一类型的多个对象可以有不同的实现。进程访问对象的唯一方式是调用其操作。并发对象可以被多个进程访问，其规范可以是顺序的或非顺序的。
• 进度条件
  • 无死锁（DF） ：在无故障系统中，如果一个或多个进程同时对一个对象调用操作，至少有一个进程会终止其操作。
  • 无饥饿（SF） ：任何操作调用都会终止。
  • 无阻塞（OB） ：如果一个进程 p 调用对象 O 上的操作，并且所有其他对 O 有未决操作的进程暂停足够长的时间，那么进程 p 会终止其操作。
  • 非阻塞（NB） ：如果多个进程同时对一个对象 O 进行调用，并且其中一个进程没有崩溃，那么其中一个调用会终止。
  • 无等待（WF） ：如果一个进程调用对象 O 上的操作并且没有崩溃，它会终止其操作。

2. 匿名系统