27、实时系统中的交易支持与内核实现

实时系统中的交易支持与内核实现

1. 恢复管理器与拍卖系统概述

恢复管理器（Recovery Manager）在系统中扮演着关键角色，它负责实现恢复策略，并且能够对缓存管理器（Cache Manager）和日志管理器（Log Manager）进行控制。开发人员可以从提供的恢复管理器类层次结构中，挑选出最适合自身应用的恢复策略。

电子拍卖系统是一个典型的动态系统，具有合作与竞争的并发特性。该系统的基本流程如下：
1. 用户注册：用户需向系统提供用户名和密码进行注册，并通常以信用卡号的形式存入一定资金。
2. 登录与操作：注册成功后，用户可以登录系统，查看当前的拍卖信息。用户既可以对心仪的物品进行出价竞拍，也能发起新的拍卖来出售物品。

在拍卖系统中，多个连接的用户会同时参与或发起多个拍卖，这就产生了并发情况。在单个拍卖内部，用户通过出价竞拍物品来进行合作；而在拍卖外部，各个拍卖则会竞争用户账户等外部资源。此外，系统还需要具备动态性，允许用户随时加入正在进行的拍卖。同时，为了确保系统的可靠性，系统必须具备容错能力，例如在出现崩溃故障时，资金从一个账户转移到另一个账户的操作不能只执行一部分。

为了满足这些需求，可以将单个拍卖封装在一个开放的多线程事务中。卖家发起拍卖，有意出价的买家可以加入该拍卖。

2. 拍卖系统的Ada实现

在使用Ada语言实现拍卖系统时，需要进行一系列的初始化操作。以下是系统初始化的代码示例：

with Object_Based_Transaction_Interface;
use Object_Based_T