-
公开(公告)号：CN103365776B
公开(公告)日：2016-04-13
申请号：CN201310269957.1
申请日：2013-06-28
Applicant: 中国科学院计算技术研究所
Abstract: 本发明公开了一种基于确定性重放的并行系统弱一致性的验证方法和系统。包括：数据竞争检测步骤，检测并行测试程序中存在的数据竞争操作，识别所有全局共享变量，对并行测试程序进行两次编译生成第一、二可执行文件,分别注入记录序信息函数和重放序信息函数；记录执行步骤，在待验证的并行系统上，执行第一可执行文件，调用记录序信息函数，记录所有同步操作和数据竞争操作的执行信息生成记录文件，获得全局共享变量值；重放执行步骤，在弱一致性正确的并行系统上，调用重放序信息函数约束执行第二可执行文件，再次获得全局共享变量值；状态比较步骤，如果两次全局共享变量的值相同，此次执行满足弱一致性，否则待验证的并行系统不满足弱一致性。
-
公开(公告)号：CN103365776A
公开(公告)日：2013-10-23
申请号：CN201310269957.1
申请日：2013-06-28
Applicant: 中国科学院计算技术研究所
Abstract: 本发明公开了一种基于确定性重放的并行系统弱一致性的验证方法和系统。包括：数据竞争检测步骤，检测并行测试程序中存在的数据竞争操作，识别所有全局共享变量，对并行测试程序进行两次编译生成第一、二可执行文件,分别注入记录序信息函数和重放序信息函数；记录执行步骤，在待验证的并行系统上，执行第一可执行文件，调用记录序信息函数，记录所有同步操作和数据竞争操作的执行信息生成记录文件，获得全局共享变量值；重放执行步骤，在弱一致性正确的并行系统上，调用重放序信息函数约束执行第二可执行文件，再次获得全局共享变量值；状态比较步骤，如果两次全局共享变量的值相同，此次执行满足弱一致性，否则待验证的并行系统不满足弱一致性。
-
公开(公告)号：CN103294550B
公开(公告)日：2016-08-10
申请号：CN201310206533.0
申请日：2013-05-29
Applicant: 中国科学院计算技术研究所
Abstract: 本发明涉及一种异构多核线程调度方法，包括根据程序的动态特征分别为线程和核生成排序列表，并根据排序列表找出线程和核的最优的稳定匹配，根据该稳定匹配进行线程调度。包括接收运行在该核的线程的特征向量，并据其为该线程给各个核进行选择一个优先级排序；为各个核对各个线程进行排序；接收各个线程和核的排序列表，并找出线程和核的稳定匹配结果；接收该匹配结果，通过操作系统进行调度，将各个线程分配到相应的核上运行。避免了抽样调度带来的巨大开销；将更多影响性能功耗的复杂因素考虑在内，只需要预测的相对关系而非具体值，降低了模型的复杂度的同时也提高了调度的精确性。
-
公开(公告)号：CN103294550A
公开(公告)日：2013-09-11
申请号：CN201310206533.0
申请日：2013-05-29
Applicant: 中国科学院计算技术研究所
Abstract: 本发明涉及一种异构多核线程调度方法，包括根据程序的动态特征分别为线程和核生成排序列表，并根据排序列表找出线程和核的最优的稳定匹配，根据该稳定匹配进行线程调度。包括接收运行在该核的线程的特征向量，并据其为该线程给各个核进行选择一个优先级排序；为各个核对各个线程进行排序；接收各个线程和核的排序列表，并找出线程和核的稳定匹配结果；接收该匹配结果，通过操作系统进行调度，将各个线程分配到相应的核上运行。避免了抽样调度带来的巨大开销；将更多影响性能功耗的复杂因素考虑在内，只需要预测的相对关系而非具体值，降低了模型的复杂度的同时也提高了调度的精确性。
-
-
-
Search Results
4
records
(took 0.025 seconds)
