ADSW - Tema 2
ADSW
Base
Tema 1
Tema 2
Tema 3
Tema 2 - Concurrencia /vídeos
Properties:
correctness:
E1: correct
safety:
E1: unsafe
liveness:
E1: deadlock
correctness:
E2: correct
liveness:
E2: deadlock
fairness:
E3: fair
fairness:
E3: starvation
liveness:
E4: deadlock
liveness:
E4: correct
liveness:
E4: livelock
Trenes
trenes
/ppt /27.3.2013
https://github.com/jmanas/trenes
trenes
/zip /19.3.2015
ejercicios con trenes
/pdf /3.4.2014
Zona crítica (zona de exclusión mútua)
race condition
correcto