发明申请
WO2015155294A1 SYSTEME DE CALCUL DISTRIBUE METTANT EN ŒUVRE UNE MEMOIRE TRANSACTIONNELLE MATERIELLE DE TYPE NON-SPECULATIF ET SON PROCEDE D'UTILISATION POUR LE CALCUL DISTRIBUE
审中-公开
基本信息:
- 专利标题： SYSTEME DE CALCUL DISTRIBUE METTANT EN ŒUVRE UNE MEMOIRE TRANSACTIONNELLE MATERIELLE DE TYPE NON-SPECULATIF ET SON PROCEDE D'UTILISATION POUR LE CALCUL DISTRIBUE
- 专利标题（英）：Distributing computing system implementing a non-speculative hardware transactional memory and a method for using same for distributed computing
- 专利标题（中）：分布式计算系统实现非参数硬件交易存储器和使用相同方式进行分布式计算
- 申请号：PCT/EP2015/057733 申请日：2015-04-09
- 公开(公告)号：WO2015155294A1 公开(公告)日：2015-10-15
- 发明人： PEETERS, Julien , VENTROUX, Nicolas , SASSOLAS, Tanguy , SHAPIRO, Marc
- 申请人： COMMISSARIAT A L'ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES
- 申请人地址： 25 rue Leblanc Bâtiment "Le Ponant D" F-75015 Paris FR
- 专利权人： COMMISSARIAT A L'ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES
- 当前专利权人： COMMISSARIAT A L'ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES
- 当前专利权人地址： 25 rue Leblanc Bâtiment "Le Ponant D" F-75015 Paris FR
- 代理机构： PRIORI, Enrico et al.
- 优先权： FR1453216 20140410
- 主分类号： G06F9/46
- IPC分类号： G06F9/46 ; G06F9/52
摘要：
Système de calcul distribué comprenant une pluralité d'unités de calcul (UC) et une mémoire partagée (MP) entre lesdites unités de calcul, caractérisé en ce qu'il comprend au moins un module matériel de détection des conflits d'accès (INSP) desdites unités de calcul à ladite mémoire partagée; ledit ou chaque dit module matériel de détection des conflits étant configuré pour : mémoriser au moins une structure de données probabiliste, indicative de la totalité des adresses de ladite mémoire partagée impliquées dans la totalité des transactions en cours; recevoir au moins un message indicatif d'une requête d'accès, par une dite unité de calcul, à au moins une adresse de ladite mémoire partagée; déterminer, à partir de ladite structure de données probabiliste, si ladite adresse est déjà impliquée dans une transaction en cours, et transmettre à ladite unité de calcul un message de présence ou absence de conflits d'accès; recevoir au moins un message indicatif ou confirmatif d'une réservation ou d'une libération d'au moins une dite adresse de ladite mémoire partagée, et mettre à jour ladite structure de données probabiliste pour que les adresses réservées et les adresses libérées soient considérées, respectivement, comme étant/n'étant pas impliquées dans une transaction en cours. Procédé d'utilisation d'un tel système.
摘要（中）：
本发明涉及包括在所述处理单元之间共享的多个处理单元（UC）和共享存储器（MP）的分布式计算系统，其特征在于，其包括用于检测所述处理的访问冲突（INSP）的至少一个硬件模块 单位表示共享内存; 所述或者每个所述冲突检测硬件模块被配置为：存储指示所有当前事务中涉及的所述共享存储器的所有地址的至少一个概率数据结构; 通过一个所谓的算术单元将指示访问请求的至少一个消息接收到所述共享存储器的至少一个地址; 从所述概率数据结构确定所述地址是否已经参与当前事务，并且向所述处理单元发送指示存在或不存在访问冲突的消息; 接收指示或确认所述共享存储器的至少一个这样的地址的预留或释放的至少一个消息，以及更新所述概率数据结构，使得所分配的地址和释放的地址分别被涉及/不涉及 在当前交易中。 本发明还涉及一种使用这种系统的方法。