Hazard Reduction in Scala Actors
Keyword(s): Parallel programming, concurrency, SCALA, message passing
Abstract: We identify four fine grain data race hazards in the Scala Actors architecture. These hazards are data races that the compiler cannot catch and that the programmer is likely to cause by implementing code in haste to meet a deadline. We present the Actress wrapper for the Actor system which mitigates the risks with the three most dangerous hazards. These hazards are mitigated by a combination of 1. Enabling static type checking support and 2. modifying programming affordances to make the easiest way to implement concurrency the safest way.
External Posting Date: July 6, 2009 [Fulltext]. Approved for External Publication
Internal Posting Date: July 6, 2009 [Fulltext]