Zastosowanie konstrukcji deklaratywnych do rozpraszania i optymalizacji przetwarzania danych

• Autorzy: Dąbkiewicz M. , Koszela J.

Warianty tytułu

EN

Applying declarative constructions for distributing and optimizing data processing

• Języki publikacji: PL

Abstrakty

PL

W artykule zostanie przedstawiona koncepcja rozszerzenia własności imperatywnych języków programowania o elementy konstrukcji deklaratywnych, które pozwalają na oszacowanie kosztów przetwarzania wraz z możliwością określenia niezależnych kroków przetwarzania, które mogą podlegać rozproszeniu zarówno w obrębie danego węzła przetwarzania (np. GPU lub różne rdzenie CPU), jak i całego systemu rozproszonego, biorąc pod uwagę efektywność całego procesu przetwarzania (optymalizacja).

EN

In that article will be shown concept of extending imperative properties of programming languages with declarative constructions. Those constructions allow estimate the cost of processing with the ability to declare independent processing steps. Steps can be then dispersed within the processing node (i.e. GPU or different cores of CPU) as well as whole distributed system. Effectiveness of whole computation process (optimization) is taken into consideration during that distribution.

Słowa kluczowe

PL

język programowania; rozproszenie przetwarzania; optymalizacja przetwarzania

EN

programming language; distributing of data processing; optimizing of data processing

• Wydawca: Wydawnictwo Politechniki Śląskiej
• Czasopismo: Studia Informatica
• Rocznik: 2012
• Tom: Vol. 33, nr 2A
• Strony: 241--254
• Opis fizyczny: Bibliogr. 10 poz.

Twórcy

autor

Dąbkiewicz M.

autor

Koszela J.

• Wojskowa Akademia Techniczna, Wydział Cybernetyki, ul. Kaliskiego 2, 00-908 Warszawa 49, Polska,

Bibliografia

• 1. Chudy M.: Wybrane zagadnienia podstaw informatyki. Wojskowa Akademia Techniczna, Warszawa2005.
• 2. Hopcroft J., Ullman J.: Wprowadzenie do teorii automatów, języków i obliczeń. PWN, Warszawa 2003.
• 3. Siedlecki K.: Algorytmy wyszukiwania drobno- i gruboziarnistej równoległości w pętlach programowych z zależnościami afinicznymi. Portal Zachodniopomorskiej Biblioteki Cyfrowej, http://zbc.ksiaznica.szczecin.pl/dlibra/doccontent?id=4621&dirids=32, 2008.
• 4. Stencel K.: Półmocna kontrola typów w językach programowania baz danych. PJWSTK, Warszawa 2006.
• 5. Subieta K.: Teoria i konstrukcja obiektowych języków zapytań. PJWSTK, Warszawa 2004.
• 6. Diaconescu R.: Object Based Concurrency for Data Parallel Applications: Programmability and Effectiveness. Department of Computer and Information Science, Norwegian University of Science and Technology, http://www.idi.ntnu.no/grupper/su/publ/phd/roxana-thesis.pdf, 2002.
• 7. Hellerstein J. M.: The Declarative Imperative, Experiences and Conjectures in Distributed Logic. University of California, Berkeley, http://db.cs.berkeley.edu/papers/sigrecl0-declimperative.pdf, 2010.
• 8. Koszela J. et al.: Executive environment of Distributed Object Database MUTDOD. Studia Informatica, Vol. 32, No. 3B(99), Wydawnictwo Politechniki Śląskiej, Gliwice 2011, s. 77-87.
• 9. Fahland D. et al.: Declarative versus Imperative Process Modeling Languages: The Issue of Understandability. 10th Workshop on Business Process Modeling, Development, and Support (BPMDS 2009) and 14th International Workshop on Exploring Modeling Methods in Systems Analysis and Design (EMMSAD 2009), Amsterdam 2009, http://www.mendling.com/publications/09-EMMSAD-Declare.pdf.
• 10. http://www.odbms.org/odmg/.