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