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.
EN
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.
This article contains a brief description of existing graphical methods for presenting multithreaded applications, i.e. Control Flow Graph and Petri nets. These methods will be discussed, and then a way to represent multithreaded applications using the concurrent process system model will be presented. All these methods will be used to present the idea of a multithreaded application that includes the race condition phenomenon. In the summary, all three methods will be compared and subjected to the evaluation, which will depend on whether the given representation will allow to find the mentioned phenomenon.
W artykule przedstawiono autorską koncepcję opracowania rozwiązania aplikacyjnego w środowisku mapy cyfrowej, które pozwala na przedstawienie dowolnej struktury geologicznej zarówno podczas drążenia wyrobisk udostępniających jak i wyrobisk eksploatacyjnych, co jest zagadnieniem o wysokim stopniu złożoności. Zastosowano technologię bloków dynamicznych w połączeniu z metodami obiektu pozwalającymi na wprowadzanie niezbędnych modyfikacji do reprezentacji graficznej bloku dynamicznego. Założono, iż poszczególne obiekty będą generowane na wyznaczonych warstwach w systemie „AutoCAD” bez wykorzystania bardziej zaawansowanych wersji.
EN
The article presents an original concept for the development of an application solution in the environment of a digital map, which allows to present any geological structure, both during drilling of opening up workings as well as active workings, which is a problem with a high degree of complexity. The technology of dynamic blocks was applied in conjunction with the methods of the object allowing to make any necessary modifications to the graphical representation of a dynamic block. It was assumed that the individual objects will be generated on the designated layers in the „AutoCAD” system without the use of more advanced versions.
4
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The results of research into construction of a method that generates an IE-graph [8] representation of hand postures are presented in the paper. The method allows one to represent hand postures of the Polish Sign Language with a class of graphs that can be parsed with an efficient ETPL(k) graph syntax analyzer introduced in [6].
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ć.