算法语言程序的对象事务模型

DOI:

EDN:

评审日期

出版日期

注解: 本文致力于基于使用边际部分事务性内存（包括单个事务性单元和许多普通单元）的思想，使用形式主义用算法语言编写的程序的可表示性问题。 假设这种形式主义是基于表示解决问题的主要和辅助元素的对象网络的概念。 对象在指定类型的内存中起作用，执行包含专门分支代码的方法，没有循环。 在这种方法中，周期被多个特殊对象网络重新协商所取代，类似于在经典事务性内存中实现的方法。 基于对某一主题领域解决问题的过程的最一般的思想，首次引入了对象-事务模型的概念，并制定了它们的基本属性。 采用离散数学方法和算法理论来制定对象事务模型功能的结构和基本原理。 引入了边际部分事务性内存的概念，包含具有特殊匹配的单个事务性单元。 描述了在所提出的模型的背景下匹配这种存储器的特征。 对使用对象事务模型的任意算法的可行性提出了一个假设。 描述了这些模型功能的基本原理，并制定了它们的基本属性。 介绍了边际非并行和并行模型的概念。 证明了限制非并行模型能够执行任意图灵可解算法。 证明了k+2节点的极限并行模型相当于K个并行图灵机系统，因此能够执行任意的图灵可解算法，这意味着存在K个并行分支。 因此，论文中提出的关于任意算法可行性的假设得到了证明。

出版日期: