modeling-resource-allocation-graph.html
* created: 2025-06-22T19:06
* modified: 2025-07-14T09:11
title
Resource Allocation Graph
description
A Resource Allocation Graph models the relation between processes and their resources. It can be used to identify deadlocks.
related notes
Modeling resource allocation between processes
We use a resource allocation graph to model the relation between processes and their respective resources. This can be helpful when looking for potential Deadlocks.
Resources and instances
A resource is denoted with a rectangle and an instance of a resource is denoted with a small circle inside the resource.
Processes
A process is denoted as a circle and can hold an instance of a resource, or wait for an instance if it's currently used by another.
Deadlocks
If this this holding and waiting circular manner there is a good chance that we run into a Deadlock.
