一种基于同步关系的并行动态数据竞争检测系统

    公开(公告)号:CN103729291A

    公开(公告)日:2014-04-16

    申请号:CN201310716720.3

    申请日:2013-12-23

    Abstract: 本发明公开了一种基于同步关系的并行动态数据竞争检测系统,包括过滤模块、记录模块、向量时钟计算模块以及并行检测模块。过滤模块负责监控待检测程序运行过程中各个线程的内存访问操作,过滤冗余的内存访问以及不可能发生数据竞争的访问,过滤后剩下的访问由记录模块写入到各线程对应的记录文件中。向量时钟计算模块从记录文件中读出程序的内存访问记录,计算内存访问的向量时钟。并行检测模块利用向量时钟将检测任务划分成小的任务分配到多个工作线程中并负责汇总检测结果。本发明只记录可能发生竞争的内存访问并对访问区间进行合并压缩,使得记录量大幅减少,同时数据竞争检测算法的并行度较高,能够充分利用多核硬件实现检测加速。

    用于手机虚拟化的虚拟电池管理方法

    公开(公告)号:CN103685759A

    公开(公告)日:2014-03-26

    申请号:CN201310720077.1

    申请日:2013-12-24

    Inventor: 金海 邵志远 张凯

    CPC classification number: Y02D10/26 Y02D10/28

    Abstract: 本发明公开了一种用于手机虚拟化的虚拟电池管理方法,包括向虚拟机发送低电量通告以及向虚拟机返回虚拟电量两部分。其中,前者包括如下步骤:根据后台虚拟机被调度运行的时间和状态,得到后台虚拟机的平均耗电速率x;根据x以及非虚拟化系统正常运行时前台虚拟机的耗电速率y和低电量模式电量节点p0,得到虚拟化系统提前进入低电量模式的电量节点其中,前台虚拟机在低电量模式下的耗电速率为正常运行时的1/n;当虚拟化系统的实际用电量达到p1时,通知前台虚拟机用电量为p0,使前台虚拟机提前进入低电量模式。该方法能很好地利用已有的成熟的电池管理机制,并使电池免受恶意程序冲击,保证虚拟机的隔离效果,有效延长用户的用电时间。

    嵌入式平台下半虚拟化的快速切换客户操作系统的方法

    公开(公告)号:CN102968342A

    公开(公告)日:2013-03-13

    申请号:CN201210450559.5

    申请日:2012-11-12

    Abstract: 本发明公开了一种嵌入式平台下半虚拟化的快速切换客户操作系统的方法,主要包括以下步骤:采用简单高效的内存管理方案提高客户操作系统的切换速度,对特定设备采用分区缓存和快速影射的方法提高客户操作系统的切换速度,通过快速保存和恢复中央处理器寄存器与硬件设备信息实现客户操作系统的快速切换。本发明能解决现有方法中存在的客户操作系统切换速度慢的问题。

    基于多TCP连接映像的高可用系统

    公开(公告)号:CN1423197A

    公开(公告)日:2003-06-11

    申请号:CN02147870.8

    申请日:2002-12-16

    Abstract: 本发明公开了一种基于多TCP连接映像的高可用系统。该系统中各个服务器均包含有心跳监测模块、IP抢占模块和TCP连接容错模块。其工作流程和方法中运用了状态检测技术、IP地址抢占技术、TCP连接容错技术、选举主服务器技术以及TCP初始连接同步技术。所发明的基于多TCP连接映像的高可用系统与现有的系统相比,不需要做日志,恢复时间更短,可用性更高,同步机制不需要额外的通信开销,能真正做到无缝接管且不需要修改客户端的任何软件。

    一种基于深度卷积生成对抗网络的图结构数据生成方法

    公开(公告)号:CN108053454B

    公开(公告)日:2020-05-19

    申请号:CN201711261769.9

    申请日:2017-12-04

    Abstract: 本发明公开了一种基于深度卷积生成对抗网络的图结构数据生成方法,属于大数据技术领域。本发明方法将深度卷积生成对抗网络应用到图结构数据的生成领域,本发明方法首先将现实的图结构数据转换具有唯一性的网格结构图片;然后通过深度卷积生成对抗网络来学习生成模型;最后,通过学习得到的生成模型,按照输入参数按需生成特定规模的仿真图结构数据。本发明基于深度卷积生成对抗网络的图结构数据生成方法,主要从现实图结构数据提取特征来构造模型,从而使生成的仿真图结构数据具备的属性更加符合现实的图结构数据。

    基于随机和连续磁盘访问的高速核外图处理方法及系统

    公开(公告)号:CN104778077B

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

    申请号:CN201510206124.X

    申请日:2015-04-27

    Inventor: 金海 邵志远 何剑

    Abstract: 本发明公开了一种基于随机和连续磁盘访问的高速核外图处理方法及系统,属于大数据领域的图计算与处理技术领域。本发明包括:应用于I/O操作子模块的核外数据的快速索引机制,采用内存映射的方式快速处理核外数据;应用于算法调度子模块的基于位图管理的同步与异步模型相结合的混合调度策略,达到减少迭代次数并节省内存的目的;应用于数据管理子模块的中间计算数据的“核内”置放与处理策略,达到减少中间计算数据的额外I/O开销的目的,并且该策略将随机I/O接入转化为连续I/O接入,减少了磁盘的空转,提高系统运行效率。

    一种基于图数据处理系统的数据并行访问方法

    公开(公告)号:CN104881840B

    公开(公告)日:2017-10-31

    申请号:CN201510239657.8

    申请日:2015-05-11

    Inventor: 金海 邵志远 侯林

    Abstract: 本发明公开了一种基于图数据处理系统的数据并行访问方法,所述方法包括以下步骤:S1、载入图数据至内存,将图数据各节点平均分配至各处理器上并行处理;S2、各处理器调用图算法并行处理分配至自身的图数据节点,处理过程中对图数据节点进行原子性读写;S3、将经图算法处理后的所有图数据节点写回至硬盘形成完整图数据,判断所有图数据节点是否均收敛,如果收敛,则流程结束;如果不收敛,则返回步骤S1进行下一次循环直到写回至硬盘的所有图数据节点均收敛。本发明可充分利用多核硬件的处理能力,在保证图算法正确性的同时,提高了算法的执行速度,硬件扩展性好。

    一种图算法友善的强连通图划分方法

    公开(公告)号:CN107193899A

    公开(公告)日:2017-09-22

    申请号:CN201710323569.5

    申请日:2017-05-10

    Abstract: 本发明公开了一种图算法友善的强连通图划分方法,包括以下步骤:将图数据分解成若干个集合;利用多源宽度优先搜索算法将大小超过给定阈值的集合进一步划分成多个搜索树;利用启发式算法将搜索树组装成多个子图;本发明提供的强连通图划分方法可将强连通图划分成多个子图,而且与其他以割边即子图之间的边最小化、子图大小均衡为目标的现有hash或METIS划分方法均不同,在划分强连通图时考虑了边的方向和图数据的结构使得划分后的子图内部连通度较好、子图大小相对均衡,从而能有效提高图算法对其处理时的效率,解决在内存大小受限的限定条件下如何将大型强连通图划分成多个大小大致相同、连通度较好的子图的问题。

    一种基于磁盘的大规模图数据中寻找强连通分量的方法

    公开(公告)号:CN105912404A

    公开(公告)日:2016-08-31

    申请号:CN201610268583.5

    申请日:2016-04-27

    CPC classification number: G06F9/5038

    Abstract: 本发明公开了一种基于磁盘的大规模图数据中寻找强连通分量的方法,属于大数据领域的图计算与处理技术领域。本发明采取的措施主要包括:使用任务级的包装来组织整个计算流程,每个任务使用不同的算法来处理一部分数据,最大化每个算法的优势和整体计算速度;提出了一种基于磁盘的处理图结构变化的方法,为每个任务提供独立的数据,提高磁盘的访问效率。本发明能解决当图数据规模超出可用内存容量的情况下无法高时效地寻找图数据中的强连通分量的问题。

Patent Agency Ranking