• 四川郎酒股份有限公司获第十二届人民企业社会责任奖年度环保奖 2019-05-13
  • 银保监会新规剑指大企业多头融资和过度融资 2019-05-12
  • 韩国再提4国联合申办世界杯 中国网友无视:我们自己来 2019-05-11
  • 中国人为什么一定要买房? 2019-05-11
  • 十九大精神进校园:风正扬帆当有为 勇做时代弄潮儿 2019-05-10
  • 粽叶飘香幸福邻里——廊坊市举办“我们的节日·端午”主题活动 2019-05-09
  • 太原设禁鸣路段 设备在测试中 2019-05-09
  • 拜耳医药保健有限公司获第十二届人民企业社会责任奖年度企业奖 2019-05-08
  • “港独”没出路!“梁天琦们”该醒醒了 2019-05-07
  • 陈卫平:中国文化内涵包含三方面 文化复兴表现在其中 2019-05-06
  • 人民日报客户端辟谣:“合成军装照”产品请放心使用 2019-05-05
  • 【十九大·理论新视野】为什么要“建设现代化经济体系”?   2019-05-04
  • 聚焦2017年乌鲁木齐市老城区改造提升工程 2019-05-04
  • 【专家谈】上合组织——构建区域命运共同体的有力实践者 2019-05-03
  • 【华商侃车NO.192】 亲!楼市火爆,别忘了买车位啊! 2019-05-03
    • / 20
    • 下载费用:20 金币  

    重庆时时彩QQ群里: 一种无损压缩系统依赖图的方法及装置.pdf

    摘要
    申请专利号:

    重庆时时彩单双窍门 www.4mum.com.cn CN201210584770.6

    申请日:

    2012.12.28

    公开号:

    CN103902273A

    公开日:

    2014.07.02

    当前法律状态:

    授权

    有效性:

    有权

    法律详情: 授权|||实质审查的生效IPC(主分类):G06F 9/44申请日:20121228|||公开
    IPC分类号: G06F9/44 主分类号: G06F9/44
    申请人: 华为技术有限公司; 中国科学院计算技术研究所
    发明人: 李丰; 霍玮; 陈聪明; 衷璐洁; 张兆庆; 冯晓兵
    地址: 518129 广东省深圳市龙岗区坂田华为总部办公楼
    优先权:
    专利代理机构: 北京中博世达专利商标代理有限公司 11274 代理人: 申健
    PDF完整版下载: PDF下载
    法律状态
    申请(专利)号:

    CN201210584770.6

    授权公告号:

    103902273B||||||

    法律状态公告日:

    2017.07.07|||2014.07.30|||2014.07.02

    法律状态类型:

    授权|||实质审查的生效|||公开

    摘要

    本发明的实施例提供一种无损压缩系统依赖图的方法及装置,涉及计算机领域,能够实现系统依赖图的无损压缩,并降低系统依赖图的规模,从而降低以系统依赖图为基础的切片算法的开销。其方法为:首先提取程序中所有变量之间的等价关系,而后通过该等价关系将程序中所有变量分为不同的等价类,并根据这些等价类为系统依赖图中的节点设置键值,而后根据系统依赖图中的节点的键值压缩系统依赖图。本发明实施例用于对系统依赖图进行压缩。

    权利要求书

    权利要求书
    1.  一种无损压缩系统依赖图的方法,其特征在于,包括:
    根据别名分析信息获取程序中所有变量间的等价关系,并根据所述等价关系将所有变量分为不同的等价类;其中,所述别名分析信息是根据别名分析算法得到的;
    根据系统依赖图中的各个节点所代表的变量所属的等价类为所述系统依赖图中的各个节点设置键值;
    根据所述系统依赖图中的各个节点的键值对所述系统依赖图进行压缩。

    2.  根据权利要求1所述的无损压缩系统依赖图的方法,其特征在于,所述根据别名分析信息获取程序中所有变量间的等价关系,并根据所述等价关系将所有变量分为不同的等价类包括:
    根据所述别名分析信息建立从第一变量集合到指向所述变量集合中每个变量的指针集合的幂集的映射f,所述第一变量集合为程序中所有变量的集合;
    根据所述映射f建立从所述指针集合的幂集到第二变量集合的映射f′,将所有变量分为不同的等价类;所述第二变量集合为被同一组指针所指向的变量的集合。

    3.  根据权利要求2所述的无损压缩系统依赖图的方法,其特征在于,所述根据所述别名分析信息建立从第一变量集合到指向所述变量集合中每个变量的指针集合的幂集的映射f包括:
    为程序中的每个指针变量建立一个由该指针变量所指向的变量构成的指向集,为所有指向集中出现的每个变量建立一个空集合;
    将每个指针变量添加到该指针变量所指向的变量对应的空集合中,以得到所述映射f。

    4.  根据权利要求2所述的无损压缩系统依赖图的方法,其特征在于,根据所述映射f建立从所述指针集合的幂集到第二变量集合的映射f′,将所有变量分为不同的等价类包括:
    建立第i个空集合,将所述映射f的定义域中一个变量var,以及所有被映射到f(var)的变量添加到所述第i个空集合中,得到第i个等价类,并对所述第i个等价类设置编号,并从所述映射f的定义域中删除添加到所述第i个空集合中的变量,直至映射f的定义域中的变量个数 为0;其中,i的起始值为1,所述变量var表示映射f的定义域中的任意一个变量。

    5.  根据权利要求1至4任意一项所述的无损压缩系统依赖图的方法,其特征在于,所述根据系统依赖图中的各个节点所代表的变量所属的等价类为所述系统依赖图中的各个节点设置键值包括:
    将所述系统依赖图上的各个节点所代表的变量所属的等价类的编号对应设置为所述各个节点的键值。

    6.  根据权利要求1至5任意一项所述的无损压缩系统依赖图的方法,其特征在于,所述根据所述系统依赖图中的各个节点的键值对所述系统依赖图进行压缩包括:
    若所述系统依赖图上的任意一个节点的前驱节点集合或者后继节点集合中的任意两个节点拥有相同的键值,并且所述任意两个节点中有一个是副作用节点,则将所述任意两个节点中的副作用节点的出入边依次转化为所述任意两个节点中另外一个节点的出入边;
    删除所述系统依赖图中所有孤立的节点;
    合并所述系统依赖图上具有相同的源点和汇点的有向边。

    7.  一种系统依赖图无损压缩装置,其特征在于,包括:
    等价类获取???,用于根据别名分析信息获取程序中所有变量间的等价关系,并根据所述等价关系将所有变量分为不同的等价类,其中,所述别名分析信息是根据别名分析算法得到的;
    键值设置???,用于根据系统依赖图中的各个节点所代表的变量所属的等价类为所述系统依赖图中的各个节点设置键值;
    依赖图压缩???,用于根据所述系统依赖图中的各个节点的键值对所述系统依赖图进行压缩。

    8.  根据权利要求7所述的系统依赖图无损压缩装置,其特征在于,所述等价类获取??榘ǎ?BR>映射建立子???,用于根据所述别名分析信息建立从第一变量集合到指向所述变量集合中每个变量的指针集合的幂集的映射f,所述第一变量集合为程序中所有变量的集合;
    等价类获取子???,用于根据所述映射f建立从所述指针集合的幂集到第二变量集合的映射f′,所述第二变量集合为被同一组指针所指 向的变量的集合。

    9.  根据权利要求8所述的系统依赖图无损压缩装置,其特征在于,所述映射建立子??榫咛逵糜冢?BR>为程序中的每个指针变量建立一个由该指针变量所指向的变量构成的指向集,为所有指向集中出现的每个变量建立一个空集合;
    将每个指针变量添加到该指针变量所指向的变量对应的空集合中,以得到所述映射f。

    10.  根据权利要求8所述的系统依赖图无损压缩装置,其特征在于,所述等价类获取子??榫咛逵糜冢?BR>建立第i个空集合,将所述映射f的定义域中一个变量var,以及所有被映射到f(var)的变量添加到所述第i个空集合中,得到第i个等价类,并对所述第i个等价类设置编号,并从所述映射f的定义域中删除添加到所述第i个空集合中的变量,直至映射f的定义域中的变量个数为0;其中,i的起始值为1,所述变量var表示映射f的定义域中的任意一个变量。

    11.  根据权利要求7至10任意一项所述的系统依赖图无损压缩装置,其特征在于,所述键值设置??榫咛逵糜冢?BR>将所述系统依赖图上的各个节点所代表的变量所属的等价类的编号对应设置为所述各个节点的键值。

    12.  根据权利要求7至11任意一项所述的系统依赖图无损压缩装置,其特征在于,所述依赖图压缩??榘ǎ?BR>出入边转化子???,用于若系统依赖图上的某个节点的前驱节点集合或者后继节点集合中的任意两个节点拥有相同的键值,并且所述任意两个节点中有一个是副作用节点,则将所述任意两个节点中的副作用节点的出入边依次转化为所述任意两个节点中另外一个节点的出入边;
    节点删除子???,用于删除系统依赖图中所有孤立的节点;
    合并子???,用于合并系统依赖图上具有相同的源点和汇点的有向边。

    关 键 词:
    一种 无损 压缩 系统 依赖 方法 装置
      专利查询网所有资源均是用户自行上传分享,仅供网友学习交流,未经上传用户书面授权,请勿作他用。
    0条评论

    还可以输入200字符

    暂无评论,赶快抢占沙发吧。

    关于本文
    本文标题:一种无损压缩系统依赖图的方法及装置.pdf
    链接地址://www.4mum.com.cn/p-6120493.html
    关于我们 - 网站声明 - 网站地图 - 资源地图 - 友情链接 - 网站客服客服 - 联系我们

    [email protected] 2017-2018 www.4mum.com.cn网站版权所有
    经营许可证编号:粤ICP备17046363号-1 
     


    收起
    展开
  • 四川郎酒股份有限公司获第十二届人民企业社会责任奖年度环保奖 2019-05-13
  • 银保监会新规剑指大企业多头融资和过度融资 2019-05-12
  • 韩国再提4国联合申办世界杯 中国网友无视:我们自己来 2019-05-11
  • 中国人为什么一定要买房? 2019-05-11
  • 十九大精神进校园:风正扬帆当有为 勇做时代弄潮儿 2019-05-10
  • 粽叶飘香幸福邻里——廊坊市举办“我们的节日·端午”主题活动 2019-05-09
  • 太原设禁鸣路段 设备在测试中 2019-05-09
  • 拜耳医药保健有限公司获第十二届人民企业社会责任奖年度企业奖 2019-05-08
  • “港独”没出路!“梁天琦们”该醒醒了 2019-05-07
  • 陈卫平:中国文化内涵包含三方面 文化复兴表现在其中 2019-05-06
  • 人民日报客户端辟谣:“合成军装照”产品请放心使用 2019-05-05
  • 【十九大·理论新视野】为什么要“建设现代化经济体系”?   2019-05-04
  • 聚焦2017年乌鲁木齐市老城区改造提升工程 2019-05-04
  • 【专家谈】上合组织——构建区域命运共同体的有力实践者 2019-05-03
  • 【华商侃车NO.192】 亲!楼市火爆,别忘了买车位啊! 2019-05-03