软件事务提交次序和冲突管理制造技术

公开了用于对软件事务存储系统中的事务应用排序的各种技术和方法。软件事务存储系统具备允许为多个事务指定预定提交次序的特征。在运行时使用该预定提交次序来帮助确定提交软件事务存储系统中的事务的次序。当在第一事务和第二事务之间发生冲突时调用争用管理过程。在争用管理过程中使用预定提交次序来帮助确定是该第一事务还是该第二事务应赢得冲突并被允许继续。

【技术实现步骤摘要】
【国外来华专利技术】软件事务提交次序和冲突管理站旦 N眾软件事务存储器(STM)是类似于数据库事务的、用于在并发计算中控制 对共享存储器的访问的并发控制机制。事务存储器的上下文中的事务是执行对 共享存储器的一系列读取和写入的代码片段。STM用作对传统锁定机制的替 换。程序员在代码块周围放置声明性注释(例如，原子的)以指示这些代码需 要的安全特性，并且系统自动保证该块相对于其他受保护的代码区域原子地执 行。软件事务存储器编程模型防止了基于锁的优先级倒置和死锁问题。虽然典型的STM系统具有许多优点，但它们仍然需要程序员仔细地避免 非预期的存储器访问排序。例如，在典型的STM环境中提交事务(即，提交 处理)的次序是不受约束的。事务彼此竞争提交，这意味着无论事务l在事务 2之前还是之后提交通常都是程序的动态调度的产物(并且通常也由程序专用 逻辑来调度)。此外，如果两个事务冲突，诸如通过试图向同一存储器片段写 入等，则它们的提交次序可基于许多可能的争用管理策略中的一个来任意决 定。在这两种情况下，不保证任何特定提交次序；因此确保程序员的程序按任 一次序都正确地运作的负担就落在程序员身上。这使得并行编程非常困难。简化本文档来自技高网...

【技术保护点】
一种用于对软件事务存储系统中的事务应用排序的方法，所述方法包括以下步骤：　提供软件事务存储系统（２４２）；　提供允许为多个事务指定预定提交次序的特征（２４４）；以及　在运行时使用所述预定提交次序来帮助确定提交所述软件事务存 储系统中的多个事务的次序（２４６）。

【技术特征摘要】
【国外来华专利技术】...

【专利技术属性】
技术研发人员：L张，VK格罗弗，MM马格鲁德，D德特勒夫，JJ达菲，G格雷费，
申请(专利权)人：微软公司，
类型：发明
国别省市：US[美国]