公开(公告)号：CN103699455A

公开(公告)日：2014-04-02

申请号：CN201310739053.0

申请日：2013-12-27

Applicant: 重庆大学

Inventor： 沙行勉 ,  吴剀劼 ,  崔晓通

IPC: G06F11/07

Abstract: 本发明提出了一种多核实时容错系统中获取准确的最晚截止时间的方法，包括如下步骤：根据给定的任务调度，在保持原有数据依赖的基础上，为调度在同一核上的相邻任务增加调度顺序依赖；增加两个执行时间为0的虚拟任务节点，使得在任务调度中，其中一个虚拟节点先于所有任务执行，另外一个后于所有任务执行；假设在任务执行过程中最多出现X个软错误，在原有调度的基础上通过出错任务在同一核上立即重新执行来实现容错，并确定任务集合的关键任务，获取任务集合的准确的最晚截止时间。若任务集合中包含N个任务，并且在执行过程中最多出现X个软错误，本发明能够在O(n^2)时间内确定任务集合的准确的最晚截止时间，保证容错，高效快速。

公开(公告)号：CN103150219A

公开(公告)日：2013-06-12

申请号：CN201310115339.1

申请日：2013-04-03

Applicant: 重庆大学

Inventor： 沙行勉 ,  诸葛晴凤 ,  孙群燕 ,  刘铎

IPC: G06F9/50

Abstract: 本发明涉及到一种在异构资源系统上避免死锁的快速任务分配方法。包括以下步骤，1、将一个具体应用使用任务数据流图的表示，利用任务数据流图的邻接矩阵几何运算获得新矩阵，该新矩阵用于表示节点间的最长路径的长度是否大于或等于2；2、依据新矩阵选择节点间最长路径长度小于2、通信数据量最大的节点对，把节点对合并成节点簇；更新该新矩阵，重复上述节点合并的过程，减小任务数据流图的规模到指定目标；3、利用整数线性规划方程集，分配该任务数据流图到异构资源集合上。本发明具有如下的优点：具有任务执行先后的依赖关系、任务间的通信依赖关系和避免死锁的特点，实现了异构资源系统的总开销最小化。

公开(公告)号：CN102999605A

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

申请号：CN201210474688.8

申请日：2012-11-21

Applicant: 重庆大学

Inventor： 谭玉娟 ,  沙行勉 ,  晏志超 ,  诸葛晴凤 ,  刘铎

IPC: G06F17/30 ,  G06F11/14

Abstract: 本发明涉及一种通过优化数据放置来减少数据碎片的方法。它包括以下步骤：对每个待备份文件进行数据分块，并对每个待备份数据块求取数据块指纹；将多个连续的待备份数据块组织成待备份数据段；对于待备份数据段中的每个待备份数据块，在系统中查找是否有已备份数据段备份过相同的数据块，若没有，则为非重复数据块，进入数据读写步骤，若有，则为重复数据块，进入下一步骤；计算待备份数据段与已备份数据段的数据冗余局部性，将数据冗余局部性定量化，若此数据冗余局部性的值小于预定的阈值，进入数据读写步骤，否则进入下一步骤；从待备份数据段中删除待备份数据段与已备份数据段共享的重复数据块。根据本发明的方法，减少了数据的非顺序化放置和数据碎片，在牺牲极少的数据压缩率的前提下缓解数据碎片的恶化，提升了系统的读写性能。