14、监管合规性检查与死锁处理技术解析

监管合规性检查与死锁处理技术解析

监管合规性检查

在监管合规性检查领域，研究人员开发了一个检查器的原型实现。该实现主要涉及两个方面：法规与跟踪之间的接口（模式）以及跟踪检查器。

模式构成了法规和跟踪之间的接口。模式是一组类和类型定义，类可以继承其他类，并且具有原子类型、元组、类型联合、指向其他对象的指针或值集等属性。

当前的跟踪检查器实现是静态的，整个跟踪信息存储在磁盘（NDBM 数据库）中。每个状态下的对象都属于给定模式中的类。法规会根据相同的模式进行类型检查，并使用特定技术进行编译，然后在每个状态下进行评估。不过，该检查器没有进行特殊的速度优化，对象以字符串形式存储，每次加载到内存时都需要重新解析。检查器会针对所有变量赋值评估每个义务，每次只将一个变量赋值加载到内存中。

为了对该实现进行初步评估，研究人员的目标是检查能否处理具有大量对象的跟踪，而非非常长的跟踪。他们基于 CFR 创建了一个模式，涵盖了捐赠者、多种类型的捐赠以及各种测试。然后检查了多个合成（最终）状态的合规性。具体操作如下：
1. 根据模式，为原子属性随机选择值来生成一组捐赠者。
2. 为每个捐赠者再次随机选择属性值来生成一组捐赠。
3. 对每个捐赠进行随机测试：有 0.3 的概率对所有疾病进行测试且结果为阴性，有 0.3 的概率对疾病进行测试并得到随机结果，否则不进行测试。

在法规方面，研究人员为 CFR 610.40 的一部分创建了逻辑公式。总共使用了 12 个句子和 6 种疾病名称的列表。在这 12 个句子中，7 个是义务，5 个是许可。总共使用了 8 个引用公式，其中 3 个引用了列表项。移除引用的编译步骤耗时 26 秒，总共进行了