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

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

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

Popis výsledku v původním jazyce

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

Název v anglickém jazyce

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

Popis výsledku anglicky

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

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2009

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

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

ISSN

1213-1539

e-ISSN

—

Svazek periodika

2009

Číslo periodika v rámci svazku

33

Stát vydavatele periodika

CZ - Česká republika

Počet stran výsledku

8

Strana od-do

—

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—