Types for X10 Clocks 英文论文文献.docVIP

TypesforX10Clocks FranciscoMartins VascoT.Vasconcelos TiagoCogumbreiro LaSIGEUniversityofLisbon Portugal LaSIGEUniversityofLisbon Portugal LaSIGEUniversityofLisbon Portugal fmartins@di.fc.ul.pt vv@di.fc.ul.pt cogumbreiro@di.fc.ul.pt X10isamodernlanguagebuiltfromthegrounduptohandlefutureparallelsystems,frommulticore machinestoclustercon?gurations. Wetakeacloserlookatapairofsynchronisationmechanisms: ?nishandclocks. Theformerwaitsfortheterminationofparallelcomputations, thelatterallow multiple concurrent activities to wait for each other at certain points in time. In order to better unde