Una pequeña acotación sobre el ejercicio de transacciones de la ayudantía:
Cuando analizabamos que pasaba con STRICT-2PL vimos el caso en que W(a) y W(c) no compartían recursos y entonces, aunque T3 no podía hacer el exclusive lock sobre a, de todas maneras continuada y tomaba un exclusive lock con c, lo que finalmente resultaba en un deadlock
El otro caso, que me hizo notar uno de sus compañeros (gracias), es que T3 al no poder hacer exclusive lock sobre a, se congela. En ese caso no se produciía un deadlock y todo terminaba correctamente.
Una pequeña acotación sobre el ejercicio de transacciones de la ayudantía:
Cuando analizabamos que pasaba con STRICT-2PL vimos el caso en que
W(a)yW(c)no compartían recursos y entonces, aunque T3 no podía hacer el exclusive lock sobre a, de todas maneras continuada y tomaba un exclusive lock con c, lo que finalmente resultaba en un deadlockEl otro caso, que me hizo notar uno de sus compañeros (gracias), es que T3 al no poder hacer exclusive lock sobre a, se congela. En ese caso no se produciía un deadlock y todo terminaba correctamente.
Espero que esto aclare las dudas!