| S.-B. Scholz. On dening application-specic high-level array operations by means of shape-invariant programming facilities. In Proceedings of the ACM International Conference on Array Programming Languages, 1998. |
....but fewer allow for the specication of arbitrary reductions. Languages like NESL [3] and ZPL prior to our introduction of this mechanism) supply a number of built in reductions such as those 1 mentioned above, but do not let programmers dene their own. Though languages like C [12, 13] and SAC [16] have user dened reductions, the mechanisms do not allow for reductions to be written as efciently as with the mechanism we introduce. The rest of this paper is organized as follows. In Section 2 we consider the trade offs between various programming approaches to reductions. In Section 3 we ....
....and using the location information on a global scale. 8 6 Related Work The idea of a construct for user dened reductions is not new, though it remains surprisingly absent from many highlevel languages. When they are supported, it is often not as efcient as possible. They are supported in SAC [16], but in a limited form. Only one function is speciable for both the global and local parts of the reduction. This makes reductions like the minten reduction difcult to write in an efcient manner for reasons discussed in Section 4.2. Viswanathan and Larus [20] developed a powerful mechanism for ....
S.-B. Scholz. On dening application-specic high-level array operations by means of shape-invariant programming facilities. In Proceedings of the ACM International Conference on Array Programming Languages, 1998.
....arrays and approaches the speed of hand coded C for simple examples. 1. INTRODUCTION Functional programming languages typically focus on lists rather than arrays due to the more elegant algebraic properties of the former. Notable exceptions are special purpose languages like Sisal [8] SAC [36], and FISh [19] which target applications from computational science and engineering that are conventionally implemented in array centred languages, such as Fortran. Consequently, these languages tend to have a syntax closely modelled after their imperative predecessors; in fact, SAC is an ....
S.-B. Scholz. On dening application-specic high-level array operations by means of shape-invariant programming facilities. In Proceedings of APL'98, pages 40-45. ACM Press, 1998.
....at all. 6. 3 Other Parallel Functional Languages Generally, there exists a wide range of parallel languages that are based on the model of functional programming as, for example, witnessed in [17] Ranging from languages that just support purely regular computations, such as Sisal [16] and SAC [30], over languages based on the idea of skeletons [13] such as [14] to control parallel languages, such as Concurrent Clean [26] The one parallel language that is closest to Nepal in terms of the parallel programming model is certainly Nesl [5] which has been the starting point of our ....
S.-B. Scholz. On dening application-specic high-level array operations by means of shape-invariant programming facilities. In Proceedings of APL'98, pages 40-45. ACM Press, 1998.
....Flattening in its current form is geared towards handling irregular parallelism, at the expense of not optimising regular parallelism. It would be preferable to recognise regular structures and treat them specially. Particularly interesting seem shape based approaches, e.g. those of SAC [25] and GoldFISh [14] as attening already distinguishes between shape and data. 3. A LAMBDA CALCULUS WITH PARALLEL ARRAYS We formalise our extended attening transformation based on a simply typed lambda calculus supporting parallel arrays; we call the calculus PA . We exclude parametrised ....
S.-B. Scholz. On dening application-specic high-level array operations by means of shape-invariant programming facilities. In Proceedings of APL'98, pages 40-45. ACM Press, 1998.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC