A wait-for graph in computer science is a directed graph used for deadlock detection in operating systems and relational database systems. In computer science, a system that allows concurrent operation of multiple processes and locking of resources and which does not provide mechanisms to avoid or prevent deadlock must support a mechanism to detect deadlocks and an algorithm for recovering from them. The wait-for-graph scheme is not applicable to a resource allocation system with multiple instances of each resource type.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Grafo delle attese (it)
- Wait-for graph (en)
- Граф ожидания (ru)
|
| rdfs:comment
| - In informatica, il grafo delle attese (anche detto grafo di Holt), è un grafo orientato diretto. Introdotto a partire dal 1972, è usato per rappresentare gli stati di allocazione tra risorse e processi. (it)
- A wait-for graph in computer science is a directed graph used for deadlock detection in operating systems and relational database systems. In computer science, a system that allows concurrent operation of multiple processes and locking of resources and which does not provide mechanisms to avoid or prevent deadlock must support a mechanism to detect deadlocks and an algorithm for recovering from them. The wait-for-graph scheme is not applicable to a resource allocation system with multiple instances of each resource type. (en)
- Граф ожидания (или граф ожидания транзакций) — инструмент, используемый при разработке СУБД и многопоточных систем и используемый, в частности, для определения ситуации взаимной блокировки (deadlock). Фактически, граф ожидания транзакций представляет собой ориентированный двудольный граф, содержащий вершины двух типов:
* вершины типа , соответствующие транзакциям или выполняющимся потокам. Они образуют первую долю графа.
* вершины типа , соответствующие и объектам, которые могут быть захвачены транзакциями. Они образуют вторую долю графа. Дуги графа ожидания также имеют двоякий смысл: (ru)
|
| foaf:depiction
| |
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| thumbnail
| |
| has abstract
| - In informatica, il grafo delle attese (anche detto grafo di Holt), è un grafo orientato diretto. Introdotto a partire dal 1972, è usato per rappresentare gli stati di allocazione tra risorse e processi. (it)
- A wait-for graph in computer science is a directed graph used for deadlock detection in operating systems and relational database systems. In computer science, a system that allows concurrent operation of multiple processes and locking of resources and which does not provide mechanisms to avoid or prevent deadlock must support a mechanism to detect deadlocks and an algorithm for recovering from them. One such deadlock detection algorithm makes use of a wait-for graph to track which other processes a process is currently blocking on. In a wait-for graph, processes are represented as nodes, and an edge from process to implies is holding a resource that needs and thus is waiting for to release its lock on that resource. If the process is waiting for more than a single resource to become available (the trivial case), multiple edges may represent a conjunctive (and) or disjunctive (or) set of different resources or a certain number of equivalent resources from a collection. The possibility of a deadlock is implied by graph cycles in the conjunctive case, and by knots in the disjunctive case. There is no simple algorithm for detecting the possibility of deadlock in the final case. The wait-for-graph scheme is not applicable to a resource allocation system with multiple instances of each resource type. (en)
- Граф ожидания (или граф ожидания транзакций) — инструмент, используемый при разработке СУБД и многопоточных систем и используемый, в частности, для определения ситуации взаимной блокировки (deadlock). Фактически, граф ожидания транзакций представляет собой ориентированный двудольный граф, содержащий вершины двух типов:
* вершины типа , соответствующие транзакциям или выполняющимся потокам. Они образуют первую долю графа.
* вершины типа , соответствующие и объектам, которые могут быть захвачены транзакциями. Они образуют вторую долю графа. Дуги графа ожидания также имеют двоякий смысл:
* дуги , идущие из вершины-транзакции в вершину-ресурс , обозначают, что данный ресурс уже захвачен транзакцией
* дуги , идущие из вершины-ресурса в вершину-транзакцию обозначают, что транзакция ожидает, пока ресурс будет освобождён. (ru)
|
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)
