tutorial-europar04

Some Techniques for Automated,Resource-Aware Distributed and MobileComputing in a Multi-ParadigmProgramming System1;2 3 1 1M. Hermenegildo , E. Albert , P. L¶opez-Garc¶‡a , and G. Puebla1 School of Comp. Sci., Technical U. of Madridfherme,pedro,germang@fi.upm.es2 Depts. of Comp. Sci. and Elec. and Comp. Eng., U. of New Mexico (UNM)herme@unm.edu3 School of Comp. Sci., Complutense U. of Madridelvira@sip.ucm.esAbstract. Distributed parallel execution systemsspeed up applicationsby splitting tasks into processes whose execution is assigned to difierentreceiving nodes in a high-bandwidth network. On the distributing side,a fundamental problem is grouping and scheduling such tasks such thateach one involves su–cient computational cost when compared to thetask creation and communication costs and other such practical over-heads. On the receiving side, an important issue is to have some assur-ance of the correctness and characteristics of the code received and alsoof the kind of load the particular task is going to pose, which can bespecifled by means of certiflcates. In this paper we present in a tutorialway a number of general solutions to these problems, and illustrate themthrough their implementation in the Ciao multi-paradigm language andprogram development environment. This system includes facilities forparallel and distributed execution, an assertion language for specifyingcomplexprogramsproperties(includingsafetyandresource-relatedprop-erties), and ...