众核体系结构对Cilk语言的硬件支持及评测研究.pdfVIP

第 31卷 第 11期 计 算 机 学 报 V01．31 No．11 2008年 11月 CHINESEJOURNALOFCOMPUTERS Nov．2008 众核体系结构对 Cilk语言的硬件支持及评测研究 龙国平 张军超 范东睿 (中国科学院计算技术研究所系统结构重点实验室 北京 100190) 摘 要 如何编程众核体系结构是当前一个亟待解决的问题．研究可扩展的硬件机制支持 Cilk编程模型的 目的是 在 良好的编程性和可扩展硬件实现之间达到平衡．Cilk语言是C的精简扩展，程序员编写Cilk程序时和串行编程 近似，且不需关心调度、负载均衡和局部性等系统底层相关的问题．文中以域一致性存储模型为基础，主要工作包 括两方面：首先针对域一致性模型编程性不好的缺点提出一种 以数据为中心维护高速缓存一致性的方法；其次提 出实现 DAGConsistency的缓存一致性协议 ，并在此基础上支持 Cilk编程模型．实验结果表 明，当处理器核数 目较 少 (16)时所有测试程序都能获得 比较好的性能加速 ，并且指出了众核情况下 (16)难 以获得理想加速效果的两 个根本原因：静态路 由导致片上网络带宽利用不均衡以及有限的访存带宽． 关键词 众核体系结构 ；Cilk；域一致性 ；编程模型；存储模型 中图法分类号 TP302 ArchitecturalSupportandEvaluationofCilkLanguageon M any—CoreArchitectures LONG Guo—Ping ZHANG Jun—Chao FAN Dong—Rui (KeyLaboratoryofComputerSystemsandArchitecture，InstituteofComputingTechnology， ChineseAcademyofSciences，Beijing 100190) Abstract How toprogram many—corearchitecturesisacriticalissue．Thispaperstudiesscalable hardwaremechanismstosupportCilkprogrammingmodel，inordertoachieveagoodbalancebe— tweenprogrammabilityandscalablehardwareimplementation．TheCilklanguageisasimpleex— tensiontoC，andwritingCilkprogramsissimilarwithsequentialprogramming．Inaddition，pro— grammersneednotworryaboutsystem dependentissues，suchasscheduling，loadbalancingand datalocality，etc． Thiswork isbasedon scope consistency。Firsta data centricapproach is proposedforimprovingtheprogrammabilityofscopeconsistency．Thenarchitecturalsupportfor DAG consistency isproposed．Experimentalresultson asetofscientificbenchmark programs show goodperformancespeedup forasmallnumberofcores．Experimentalresultsalsoreveal twofundamentalreasonswhich limittheperformancescalabilityofCilkcomputationso