Uma engenheira de software precisa verificar a existência e tratar deadlocks no controle de concorrência de um banco de um servidor de arquivos, no seguinte contexto de processos:
o processo A está esperando por C e D o processo B está esperando por C o processo C não está em espera o processo D está em espera por C
Nessas condições, para o servidor funcionar, será necessário