Title: Besturingssystemen

Naam: geef alle manieren om access rights weg te nemen bij de capability-list implementatie
Welke types zijn er?: reacquisition: proces moet regelmatig capability terugvragen, OS kan toegangsrecht in de tussentijd wijzigen
indirection: capability wijst naar entry in globale tabel, tabel verwijst naar object. Revocation is het verwijderen van de entry in de tabel
back-pointers: voor elk proces wordt een lijst met pointers naar alle capabilities bijgehouden. Verwijderen van een capability gebeurt via die pointer
keys: aanmaken van een capability is het kopieren van een master key, om die te gebruiken wordt deze met de master key vergeleken. Bij revocation wordt de master key veranderd
Pagina: 626

Naam: shared files
Wat is/doet het?: bestand in meerdere mappen tegelijk
Hoe werkt het?: lin als entry in directory: wijzer naar locatie in bestand
Welke types zijn er?: hard link: verwijderen van een hard link decrementeert "reference count" van een file; als deze nul wordt, wordt het bestand verwijderd
symbolic link: enkel een pointer, verwijderen van de link verwijdert het bestand niet en omgekeerd
Waar gebruikt?: acyclic/general graph structure
Voordelen: flexibel
Nadelen: - verschillende padnamen/bestandsnamen kunnen naar hetzelfde bestand verwijzen
- verwijdering: verwijderen als het uit 1 van de twee verwijderd wordt? zo nee, wat met pointers die nog naar het disk-adres wijzen?
Alternatieven: kopieren van bestanden
Pagina: 475
Figuur: 10.12

Naam: consistency sematics
Wat is/doet het?: hoe moeten verschillende gebruikers tegelijk met een gedeeld bestand werken
Welke types zijn er?: - UNIX: writes zijn onmiddellijk zichtbaar voor alle users, current location pointer is voor iedreen tegelijk
- Open AFS: geen wijzigingen zichtbaar tot close() call
- immutable shared files: gedeelde bestanden kunnen niet worden gewijzigd
Pagina: 484