How much non-strictness do lenient programs require?

Schauser, Klaus E.; Goldstein, Seth Copen

doi:10.1145/224164.224208

Cited by 16 publications

(4 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…This pervasiveness of laziness makes it difficult to predict the behavior and time/space performance of lazy programs. As several researchers noticed [2,6,15,16,23], however, most programs need only a small amount of laziness. In response, people have repeatedly proposed lazy programming in strict functional languages [1,8,20,25,27].…”

Section: Laziness In a Strict Worldmentioning

confidence: 99%

“…We approach strict-lazy programming from the other, relatively unexplored, end of the spectrum, starting with a strict language and then only adding laziness as needed. This seems worthwhile since empirical studies indicate that most promises in a lazy language are unneeded [6,15,16,23]. Starting with a strict language also alleviates many disadvantages of lazy evaluation such as difficulty reasoning about space/time consumption.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Laziness by Need

Chang

2013

Programming Languages and Systems

View full text Add to dashboard Cite

Lazy functional programming has many benefits that strict functional languages can simulate via lazy data constructors. In recognition, ML, Scheme, and other strict functional languages have supported lazy stream programming with delay and force for several decades. Unfortunately, the manual insertion of delay and force can be tedious and error-prone. We present a semantics-based refactoring that helps strict programmers manage manual lazy programming. The refactoring uses a static analysis to identify where additional delays and forces might be needed to achieve the desired simplification and performance benefits, once the programmer has added the initial lazy data constructors. The paper presents a correctness argument for the underlying transformations and some preliminary experiences with a prototype tool implementation.

show abstract

Section: Laziness In a Strict Worldmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Laziness by Need

Chang

2013

Programming Languages and Systems

View full text Add to dashboard Cite

show abstract

“…Because there is no single PC, we can employ a third, and more elegant solution, in hardware by using leniency [91] to solve this problem. By definition, a lenient operation expects all of its inputs to arrive eventually, but it can compute its output using only a subset of its inputs.…”

Section: Lenient Evaluationmentioning

confidence: 99%

Spatial computation

et al. 2004

View full text Add to dashboard Cite

This paper describes a computer architecture, Spatial Computation (SC), which is based on the translation of high-level language programs directly into hardware structures. SC program implementations are completely distributed, with no centralized control. SC circuits are optimized for wires at the expense of computation units.In this paper we investigate a particular implementation of SC: ASH (Application-Specific Hardware). Under the assumption that computation is cheaper than communication, ASH replicates computation units to simplify interconnect, building a system which uses very simple, completely dedicated communication channels. As a consequence, communication on the datapath never requires arbitration; the only arbitration required is for accessing memory. ASH relies on very simple hardware primitives, using no associative structures, no multiported register files, no scheduling logic, no broadcast, and no clocks. As a consequence, ASH hardware is fast and extremely power efficient.In this work we demonstrate three features of ASH: (1) that such architectures can be built by automatic compilation of C programs;(2) that distributed computation is in some respects fundamentally different from monolithic superscalar processors; and (3) that ASIC implementations of ASH use three orders of magnitude less energy compared to high-end superscalar processors, while being on average only 33% slower in performance (3.5x worst-case).

show abstract

“…Σε αυτό το σημείο πρέπει να αναφέρουμε τη γλώσσα ροής δεδομένων Id, η οποία είχε αρχικά υλοποιηθεί σε αρχιτεκτονικές ροής δεδομένων με ετικέτες [194], στη συνέχεια οδήγησε στην ανάπτυξη της pHluid [91] και της Parallel Haskell (pH) [50,196], οι οποίες στόχευαν στην υλοποίηση σε παράλληλο υλικό υπολογιστών αρχιτεκτονικής von Neumann. Η pH είχε τη σύνταξη της Haskell και ήταν μη αυστηρή αλλά ακολουθούσε μια παράλληλη στρατηγική αποτίμησης (parallel evaluation ή lenient evaluation) [2], η οποία διαφέρει αρκετά από την οκνηρή αποτίμηση [250]. Σε αυτήν τη στρατηγική αποτίμησης, οι παράμετροι των συναρτήσεων μπορούν να αποτιμηθούν παράλληλα, ακόμα και αν δεν χρειάζεται η τιμή τους εκείνη τη στιγμή• η υλοποίηση εξασφαλίζει ότι άχρηστοι υπολογισμοί που γίνονται παράλληλα δεν επηρεάζουν το τελικό αποτέλεσμα του προγράμματος.…”

Section: νοηματικός μετασχηματισμός και αρχιτεκτονικές ροής δεδομένωνunclassified

Ο Νοηματικός Μετασχηματισμός Ως Τεχνική Υλοποίησης Συναρτησιακών Γλωσσών Προγραμματισμού

Φουρτούνης¹

View full text Add to dashboard Cite

Οι γλώσσες προγραμματισμού με μη αυστηρή σημασιολογία χρησιμοποιούνται για τη συγγραφή προγραμμάτων στα οποία μια έκφραση μπορεί να αντιστοιχίζεται σε ένα όνομα, χωρίς όμως να υπολογίζεται στο σημείο της δέσμευσης. Γλώσσες αυτού του τύπου χρησιμοποιούνται αρκετά σε ερευνητικά θέματα αλλά και σε πρακτικές εφαρμογές γιατί επιτρέπουν τη συγγραφή γρήγορων και κομψών προγραμμάτων, όπου οι υπολογισμοί ορίζονται όπου έχει νόημα αλλά εκτελούνται μόνο όταν χρειάζονται.Αυτή η διδακτορική διατριβή εξετάζει τον νοηματικό μετασχηματισμό (intensional transformation) ως εναλλακτική τεχνική υλοποίησης μη αυστηρών συναρτησιακών γλωσσών, καταλήγοντας στα εξής αποτελέσματα:(1) Περιγράφεται ο γενικευμένος νοηματικός μετασχηματισμός, το βασικό νέο θεωρητικό αποτέλεσμα που αποτελεί γενίκευση του κλασικού νοηματικού μετασχηματισμού και, σε συνδυασμό με τον μετασχηματισμό απαλοιφής συναρτήσεων (defunctionalization), επιτυγχάνει να μετασχηματίσει προγράμματα υψηλότερης τάξης με αυθαίρετες δομές δεδομένων σε προγράμματα ροής δεδομένων (dataflow) μηδενικής τάξης.(2) Αποδεικνύεται η εκφραστική ισοδυναμία των δύο κλασικών εκδοχών του νοηματικού μετασχηματισμού (πρώτης τάξης και υψηλότερης τάξης) χρησιμοποιώντας τον μετασχηματισμό defunctionalization.(3) Δίνεται μια αποδοτική υλοποίηση του γενικευμένου νοηματικού μετασχηματισμού με τη μορφή ενός μεταγλωττιστή για τη γλώσσα Haskell. Η υλοποίηση είναι κατάλληλη για δημοφιλείς αρχιτεκτονικές υλικού και μπορεί να συγκριθεί σε ταχύτητα με άλλους διαθέσιμους μεταγλωττιστές της Haskell.(4) Περιγράφεται μια νέα, οικονομική σε μνήμη, κωδικοποίηση των δομών του χρόνου εκτέλεσης, για την αρχιτεκτονική υλικού AMD64. Αυτή η κωδικοποίηση βελτιώνει την ταχύτητα και τη χρήση κρυφής μνήμης των προγραμμάτων που παράγονται, με αποτέλεσμα η υλοποίηση να είναι συγκρίσιμη σε ταχύτητα με τον μεταγλωττιστή GHC, ο οποίος αποτελεί την ντε φάκτο υλοποίηση της Haskell.(5) Ως σήμερα, ο μετασχηματισμός defunctionalization και ο νοηματικός μετασχηματισμός έχουν περιγραφεί ως μετασχηματισμοί χωρίς δυνατότητα ξεχωριστής μεταγλώττισης. Στη διατριβή αυτή αποδεικνύεται πώς αυτό το χαρακτηριστικό μπορεί να προστεθεί και στους δύο, ώστε να μπορούν να επεξεργαστούν προγράμματα με τη μορφή μονάδων κώδικα Haskell, φτάνοντας έτσι στον τμηματικό νοηματικό μετασχηματισμό και στον τμηματικό μετασχηματισμό defunctionalization.

show abstract

How much non-strictness do lenient programs require?

Abstract: Lenientlanguages, such as Id90, have been touted as among

Cited by 16 publications

References 27 publications

Laziness by Need

Laziness by Need

Spatial computation

Ο Νοηματικός Μετασχηματισμός Ως Τεχνική Υλοποίησης Συναρτησιακών Γλωσσών Προγραμματισμού

Contact Info

Product

Resources

About