事务型处理过程的数据流分析

摘要

提供一种XLANG/s编译方法，它用一个程序信号流图的数据流分析来确定一个数据对象的使用周期。根据抽象计算机指令创建一个信号流图。对基本程序块指定一个深度优先次序并确定基本程序块两两之间的支配关系。确定信号流图内是否存在循环，如果存在循环，标识该循环。还确定关于数据对象的一个创建点，撤消点和锁定点。在计算机代码中插入指令以在创建点创建数据对象，在撤消点撤销数据对象和在锁定点锁定数据对象。

主权项

1.一种编译计算机代码的计算机执行方法，包括：根据抽象计算机指令创建一个信号流图，其中该信号流图具有多个基本程序块和至少一个数据对象，其中将抽象指令转换成由计算机代码形成的一个语义分析树；对多个基本程序块指定一个深度优先次序；确定多个基本程序块两两之间的支配关系；确定信号流图内是否存在有循环，如果存在有循环，标识该循环；确定至少一个数据对象的应用；根据该应用，标识的循环，基本程序块的支配关系和深度优先次序来为至少一个数据对象确定一个创建点，撤消点和锁定点；以及在计算机代码中插入指令以在创建点创建至少一个数据对象，在撤消点撤消至少一个数据对象并在锁定点锁定至少一个数据对象。