公开(公告)号：CN108369500A

公开(公告)日：2018-08-03

申请号：CN201680073554.1

申请日：2016-12-14

申请人： 数据仓库投资有限公司 ,  代表亚利桑那大学的亚利桑那董事会

发明人： 理查德·T·斯诺德格拉斯 ,  索木亚·K·德布雷 ,  张瑞 ,  刘洋

IPC分类号： G06F8/41 ,  G06F9/445

CPC分类号： G06F7/00 ,  G06F8/443 ,  G06F9/44521 ,  G06F12/00

摘要： 公开了传统字段专业化过程的四个扩展。第一个扩展是跨应用值流，其中一个值从一个应用转移出来，然后转移到另一个应用。第二个扩展是一个应用间分析。静态和动态分析由Spiff工具集执行，不仅在单个应用的源代码上，而且跨过由该应用读取和写入的数据。第三个扩展是不变量的跨应用程序终止，验证不变量源自一个应用并终止在一个不同应用的专业化机会中的可能性。第四个扩展涉及运行时代码布局算法，以缓解I-缓存压力和L2-缓存压力的增加。最大驻留算法在DBMS编译之前使用来自提供的工作负载的动态分析的信息，并使用查询评估计划的特定结构来放置运行时代码，从而保持该代码可能的运行时改进。

公开(公告)号：CN107851003A

公开(公告)日：2018-03-27

申请号：CN201680020066.4

申请日：2016-03-31

申请人： 数据仓库投资有限公司 ,  代表亚利桑那大学的亚利桑那董事会

发明人： 理查德·T·斯诺德格拉斯 ,  索木亚·K·德布雷 ,  张瑞 ,  斯蒂芬·托马斯 ,  肖恩·梅森

IPC分类号： G06F8/41 ,  G06F17/30

CPC分类号： G06F17/30466 ,  G06F8/443 ,  G06F17/30474

摘要： 提供了用于提高计算机程序、例如数据库管理系统（DBMS）的性能的系统和方法。这种方法涉及基于程序表示（PR）来识别DBMS代码中的变量的不变间隔。基于PR和DBMS的生态系统规范，推导出DBMS中的程序交互和域断言。基于DBMS代码中的变量的不变间隔、PR、与DBMS相关联的一个或多个执行概要、推导的程序交互和推导的域断言，标识一个或多个候选片段。然后基于一个或多个候选片段生成Spiff。这样的spiff包括谓词查询spiff、Hash-join查询spiff、聚合spiff、页面spiff和字符串匹配spiff。基于由这些spiff生成的专业化代码修改DBMS代码。