- Tytuł:
- Zastosowanie wybranych reprezentacji graficznych do analizy aplikacji wielowątkowych
- Autorzy:
-
Giebas, D.
Wojszczyk, R. - Powiązania:
- https://bibliotekanauki.pl/articles/118333.pdf
- Data publikacji:
- 2018
- Wydawca:
- Politechnika Koszalińska. Wydawnictwo Uczelniane
- Tematy:
-
reprezentacja graficzna
Sieci Petriego
Control Flow Graph
Systemy Współbieżnych Procesów
aplikacja wielowątkowa
graphical representation
Petri Network
Concurrent Processing Systems
multithreaded applications - Opis:
-
Artykuł zawiera zestawienie reprezentacji graficznych, do których możliwa jest transformacja kodu źródłowego aplikacji wielowątkowych. Zestawienie powszechnie wykorzystywanych reprezentacji, jakimi są Control Flow Graph i Sieci Petriego, pozwoliło na analizę tych reprezentacji, pod kątem przydatności do znajdywania popularnych i niepożądanych zjawisk w aplikacjach wielowątkowych. Jako alternatywa dla Control Flow Graph i Sieci Petriego przedstawiono reprezentację Systemów Współbieżnych Procesów. Wszystkie trzy reprezentacje zostały wykorzystane do reprezentacji przykładowej aplikacji napisanej w języku C, zawierającej zjawisko race condition. W podsumowaniu dokonana została ocena, która zależała od tego czy dana reprezentacja pozwoli odnaleźć wspomniane zjawisko.
The article contains a list of graphical representations to which it is possible to transform the source code of multithreaded applications. Comparison of commonly used representations, such as Control Flow Graph and Petri Network, allowed to analyze these representations in terms of their usefulness in finding popular and undesirable phenomena in multithreaded applications. As an alternative to Control Flow Graph and Petri Network, the representation of Concurrent Processing Systems is presented. All three representations were used to represent a sample Clanguage application containing race condition. In conclusion, an assessment was made, which depended on whether the representation would allow to find the phenomenon. - Źródło:
-
Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej; 2018, 13; 5-25
1897-7421 - Pojawia się w:
- Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej
- Dostawca treści:
- Biblioteka Nauki
Artykuł