Pattern Matching of Parallel Values in Bulk Synchronous Parallel ML

We have designed a functional data-parallel language called BSML for programming bulk-synchronous parallel (BSP) algorithms in so-called direct mode. In a directmode BSP algorithm, the physical structure of processes is made explicit. The execution time can then be estimated and dead-locks and indeterminism are avoided. This paper outlines an extension of BSML and of the BSλ-calculus (a calculus of functional bulk synchronous parallel programs) with pattern matching of parallel values.

• Type: Conference
• Year: 2003
• Where: SNPD
• Authors: Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski
• Keywords: Bulk Synchronous Parallel, Functional Data-parallel Language, SNPD 2003, SNPD 2007, So-called Direct Mode