Automatic parallelization of irregular and pointer-based computations: Perspectives from logic and constraint programming

Hermenegildo, Manuel V.

doi:10.1007/bfb0002715

Cited by 10 publications

(10 citation statements)

References 25 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A particularly interesting optimization performed by CiaoPP, and which is inherited from the &-Prolog system, is automatic parallelization [45,41]. This is specially relevant nowadays given that the wide availability of multicore processors has made parallel computers mainstream.…”

Section: High Performance With Less Effortmentioning

confidence: 99%

“…At the heart of these capabilities are CiaoPP's powerful, modular, and incremental abstract interpretation-based program analyzers. The use of this technology was pioneered by <fc-Prolog and Ciao (it was arguably the ñrst use of abstract interpretation in a real compiler) and we continué to believe it is the most promising nowadays, and they are being adopted or will be adopted by many systems (see, e.g., [45] for further discussion of this topic).…”

Section: An Advanced Integrated Development Environmentmentioning

confidence: 99%

See 1 more Smart Citation

An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy

Hermenegildo¹,

Bueno²,

Carro³

et al. 2008

Concurrency, Graphs and Models

View full text Add to dashboard Cite

Abstract. We describe some of the novel aspects and motivations behind the design and implementation of the Ciao multiparadigm programming system. An important aspect of Ciao is that it provides the programmer with a large number of useful features from different programming paradigms and styles, and that the use of each of these features can be turned on and off at will for each program module. Thus, a given module may be using e.g. higher order functions and constraints, while another module may be using objects, predicates, and concurrency. Furthermore, the language is designed to be extensible in a simple and modular way. Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying that programs comply with specifications, and performing many types of program optimizations. Such optimizations produce code that is highly competitive with other dynamic languages or, when the highest levéis of optimization are used, even that of static languages, all while retaining the interactive development environment of a dynamic language. The environment also includes a powerful auto-documenter. The paper provides an informal overview of the language and program development environment. It aims at illustrating the design philosophy rather than at being exhaustive, which would be impossible in the format of a paper, pointing instead to the existing literature on the system.

show abstract

Section: High Performance With Less Effortmentioning

confidence: 99%

Section: An Advanced Integrated Development Environmentmentioning

confidence: 99%

An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy

Hermenegildo¹,

Bueno²,

Carro³

et al. 2008

Concurrency, Graphs and Models

View full text Add to dashboard Cite

show abstract

“…Observables include changing the solutions that q produces ("correctness") and changing the time that it takes to compute such solutions ("efficiency"). This contrasts with more traditional notions of independence which, because of the characteristics of imperative or functional languages, only need to deal with the preservation of correctness [Hermenegildo 1997].…”

Section: Introductionmentioning

confidence: 95%

Independence in CLP languages

Banda

Hermenegildo

Marriott

2000

ACM Trans. Program. Lang. Syst.

Self Cite

View full text Add to dashboard Cite

Studying independence of goals has proven very useful in the context of logic programming. In particular, it has provided a formal basis for powerful automatic parallelization tools, since independence ensures that two goals may be evaluated in parallel while preserving correctness and efficiency. We extend the concept of independence to constraint logic programs (CLP) and prove that it also ensures the correctness and efficiency of the parallel evaluation of independent goals. Independence for CLP languages is more complex than for logic programming as search space preservation is necessary but no longer sufficient for ensuring correctness and efficiency. Two additional issues arise. The first is that the cost of constraint solving may depend upon the order constraints are encountered. The second is the need to handle dynamic scheduling. We clarify these issues by proposing various types of search independence and constraint solver independence, and show how they can be combined to allow different optimizations, from parallelism to intelligent backtracking. Sufficient conditions for independence which can be evaluated "a priori" at run-time are also proposed. Our study also yields new insights into independence in logic programming languages. In particular, we show that search space preservation is not only a sufficient but also a necessary condition for ensuring correctness and efficiency of parallel execution.

show abstract

“…These capabilities rely (again) on the use of CiaoPP's powerful, modular, and incremental abstract interpretation-based static program analyzers. This approach was pioneered by &-Prolog and Ciao (arguably one of the first direct uses of abstract interpretation in a real compiler), and seems the most promising nowadays, being adopted by many systems (see, e.g., (Hermenegildo 1997) for further discussion).…”

mentioning

confidence: 99%

An overview of Ciao and its design philosophy

Hermenegildo¹,

Bueno²,

Carro³

et al. 2011

Theory and Practice of Logic Programming

112

118

View full text Add to dashboard Cite

We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An important aspect of Ciao is that, in addition to supporting logic programming (and, in particular, Prolog), it provides the programmer with a large number of useful features from different programming paradigms and styles, and that the use of each of these features (including those of Prolog) can be turned on and off at will for each program module. Thus, a given module may be using, e.g., higher order functions and constraints, while another module may be using assignment, predicates, Prolog meta-programming, and concurrency. Furthermore, the language is designed to be extensible in a simple and modular way. Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying that programs comply with specifications, and performing many types of optimizations (including automatic parallelization). Such optimizations produce code that is highly competitive with other dynamic languages or, with the (experimental) optimizing compiler, even that of static languages, all while retaining the flexibility and interactive development of a dynamic language. This compilation architecture supports modularity and separate compilation throughout. The environment also includes a powerful auto-documenter and a unit testing framework, both closely integrated with the assertion system. The paper provides an informal overview of the language and program development environment. It aims at illustrating the design philosophy rather than at being exhaustive, which would be impossible in a single journal paper, pointing instead to previous Ciao literature.

show abstract

Automatic parallelization of irregular and pointer-based computations: Perspectives from logic and constraint programming

Cited by 10 publications

References 25 publications

An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy

An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy

Independence in CLP languages

An overview of Ciao and its design philosophy

Contact Info

Product

Resources

About