An approach to formalized development of parallel programs using ontologies and algebra- algorithmic facilities is proposed. Ontology gives opportunity to describe the skeleton of the program representing main objects in the given subject domain, i.e. data, functions to process data and relations between functions. Once the skeleton of the program has been built, further development can be done in automated manner with the Integrated toolkit for Design and Synthesis (IDS) developed by the authors, which is based on using algorithmic algebras facilities. The application of the approach is illustrated with an example of developing parallel MPI program in the subject domain of sorting algorithms.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
W artykule przedstawiono zagadnienia związane z opracowaniem i zastosowaniem narzędzi do analizy jakości działania programów równoległych wykorzystujących paradygmat przesyłania komunikatów, m.in. MPI i PVM. Dla programów równoległych są opracowane specjalne metody badań, których implementacjami są przedstawiane narzędzia i zestawy narzędzi. Przedstawia się pojęcie obserwowalności jakości działania programu oraz jego składowych: zbierania danych, analizy i prezentacji. W ostatnim dziesięcioleciu powstał szereg interesujących rozwiązań programowych i programowo-sprzętowych narzędzi do analizy jakości działania programów aplikacyjnych. Mimo to jest odczuwalny duży brak zintegrowanych i przenośnych narzędzi, przyjaznych dla użytkownika. Zrozumienie przyczyn tego stanu rzeczy wymaga przeprowadzenia oceny istniejących narzędzi, ich możliwości i ograniczeń. Ze względu na skomplikowany mechanizm funkcjonowania narzędzi i interakcji z badaną aplikacją, systemem operacyjnym i użytkownikiem ocena funkcjonalności narzędzi jest procesem złożonym i wymaga uwzględnienia wielu charakterystyk, które odgrywają istotną rolę przy użytkowaniu narzędzi. Wprowadzono zestaw kryteriów opracowanych na podstawie własnych badań oraz prac organizacji, zajmujących się standaryzacją metod i technik budowy narzędzi do badań jakości obliczeń równoległych i rozproszonych. W części szczegółowej artykułu omówiono reprezentatywne narzędzia, opracowane w ostatnim dziesięcioleciu, ich zalety i ograniczenia. Na podstawie wprowadzonych kryteriów przeprowadzono ocenę przedstawionych narzędzi. W podsumowaniu przedstawiono kierunki dalszego rozwoju technik badań nad jakością działania programów równoległych. Zaproponowano własną koncepcję zintegrowanego narzędzia i przedstawiono właściwości jej implementacji.
EN
The article presents a number of issues of designing and implementing performance evaluation tools for message-passing parallel programs, e.g. MPI and PVM. There is a number of special techniques for investigating parallel programs, whose implementations are tools presented. A concept of performance observability is introduced. Although a number of interesting solutions of performace tools was developed in the course of last decade, there is a great demand for portable and integrated tools. Understanding the reason for this situation requires evaluating the state of art of existing tools, their advantages and drawbacks. Due to a complicated mechanism of interactions between a tool and operating system, computer architecture and application, evaluating the tool includes taking into account a large number of features. There is introduced a set of criteria, which enable a thorough evaluation of tools, based on the work of HPC standardizing organizations as well as the author's work. The second part of the article presents the review of features of the particular tools developed over last decade. The tools are being evaluated on the base of the criteria introduced. The features of the PARNAS performance tool project and its implementation are presented. The summary presents further avenues of inquiry in parallel performance evaluation tools.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.