Allocation.csv Represents the NxM allocation matrix.

Request.csv Represents the NxM request matrix.

Available.csv Represents the $M$ available vector.

Your task is to:

$1-$ Read the input files, and verify that the dimensions are consistent.

$2-$ Detect whether or not there is a deadlock condition.

$3-$ If the system is deadlocked, list the processes that are deadlocked.

$4-$ If not, show a series of process executions that are possible without deadlock.

using cpp