Types for X10 Clocks

Details Types for X10 Clocks Types for X10 Clocks

2011-10-19

arxiv.org/abs/1110.4165v1

EPTCS 69, 2011, pp. 111-129

Computer Science

Programming Languages

In Proceedings PLACES 2010, arXiv:1110.3853

Scientific paper

10.4204/EPTCS.69.8

X10 is a modern language built from the ground up to handle future parallel systems, from multicore machines to cluster configurations. We take a closer look at a pair of synchronisation mechanisms: finish and clocks. The former waits for the termination of parallel computations, the latter allow multiple concurrent activities to wait for each other at certain points in time. In order to better understand these concepts we study a type system for a stripped down version of X10. The main result assures that well typed programs do not run into the errors identified in the X10 language reference, namely the ClockUseException. The study will open, we hope, doors to a more flexible utilisation of clocks in the X10 language.

Affiliated with

Also associated with

No associations

Rating

Types for X10 Clocks does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Types for X10 Clocks, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Types for X10 Clocks will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-596716