'Sincronizadas' las interrupciones, usa solo un lock.
Implementados los algoritmos de asignacion. Falta cotejar la posibilidad de que no haya hueco disponible.