Model for description of shared resources and their dependencies based on OOP principles
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F09%3APU80970" target="_blank" >RIV/00216305:26220/09:PU80970 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Model pro popis sdílených prostředků a jejich závislostí vycházející z OOP principů
Original language description
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í.
Czech name
Model pro popis sdílených prostředků a jejich závislostí vycházející z OOP principů
Czech description
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í.
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2009
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Elektrorevue - Internetový časopis (http://www.elektrorevue.cz)
ISSN
1213-1539
e-ISSN
—
Volume of the periodical
2009
Issue of the periodical within the volume
33
Country of publishing house
CZ - CZECH REPUBLIC
Number of pages
8
Pages from-to
—
UT code for WoS article
—
EID of the result in the Scopus database
—