Model pro popis sdílených prostředků a jejich závislostí vycházející z OOP principů
Loading...
Date
2009-06-19
Authors
Vítek, Martin
Herman, Ivo
ORCID
Advisor
Referee
Mark
Journal Title
Journal ISSN
Volume Title
Publisher
International Society for Science and Engineering, o.s.
Abstract
As part of any modern object-oriented programming (OOP) language are techniques that help to manage access to shared resources (objects) used parallel by processes or threads. These techniques are usually based on objects locking and their allocation to thread. In environment where Coffman's conditions are met the techniques can lead to deadlock state. It is therefore appropriate to address the sharing of resources at a higher level of abstraction. The proposed model described in this article is the formal description of resources. The model is based on the principles of object oriented programming in order to be easily implemented and shows the basic algorithm to prevent the occurrences of the deadlock state.
Součástí každého moderního objektově orientovaného programovacího (OOP) jazyka jsou techniky, pomocí kterých lze řídit přístup ke sdíleným prostředkům (objektům) při paralelním využívání tohoto prostředku více procesy nebo vlákny. Tyto techniky jsou obvykle založeny na uzamčení objektů a jejich alokaci danému vláknu, což při nevhodném pořadí těchto alokací v prostředích, kde jsou splněny Coffmanovy podmínky, může vést ke stavu uváznutí. Proto je vhodné řešit sdílení prostředků na vyšší úrovni abstrakce. Navrhovaný model popsaný v tomto článku představuje vlastní formální popis prostředků vycházející z principů OOP (aby jej bylo možné snadno a přirozeně implementovat) a ukazuje základní algoritmus zamezující vzniku stavu uváznutí.
Součástí každého moderního objektově orientovaného programovacího (OOP) jazyka jsou techniky, pomocí kterých lze řídit přístup ke sdíleným prostředkům (objektům) při paralelním využívání tohoto prostředku více procesy nebo vlákny. Tyto techniky jsou obvykle založeny na uzamčení objektů a jejich alokaci danému vláknu, což při nevhodném pořadí těchto alokací v prostředích, kde jsou splněny Coffmanovy podmínky, může vést ke stavu uváznutí. Proto je vhodné řešit sdílení prostředků na vyšší úrovni abstrakce. Navrhovaný model popsaný v tomto článku představuje vlastní formální popis prostředků vycházející z principů OOP (aby jej bylo možné snadno a přirozeně implementovat) a ukazuje základní algoritmus zamezující vzniku stavu uváznutí.
Description
Citation
Document type
Peer-reviewed
Document version
Published version
Date of access to the full text
Language of document
cs
Study field
Comittee
Date of acceptance
Defence
Result of defence
Document licence
(C) 2009 Elektrorevue