Model pro popis sdílených prostředků a jejich závislostí vycházející z OOP principů

Model for description of shared resources and their dependencies based on OOP principles

journal article - other

Czech

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í.

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.

OOP, sdílení prostředků, stav uváznutí, alokace

OOP, resource sharing, deadlock, allocation

VÍTEK, M.; HERMAN, I.

2009

19. 6. 2009

1213-1539

Elektrorevue - Internetový časopis (http://www.elektrorevue.cz)

2009

33

Czech Republic

1

8

8