Preliminary communication
PRIMJER SINHRONIZACIJE PARALELNIH PROCESA UPOTREBOM SEMAFORA I OPERACIJA NA SEMAFORIMA
Ratimir Kvaternik
; Faculty of Organization and Informatics, University of Zagreb, Varaždin, Croatia
Abstract
Međusobni odnosi među procesima u kompjuterskom sistemu moraju se regulirati na nivou operativnog sistema. Pomoću operacija poznatih pod nazivom WAIT i SIGNAL na varijablama koje zovemo "semafori" moguće je provesti jednostavno i uspješno sinhroniziranje dvaju ili više procesa, što je prikazano na primjeru sinhronizacije procesa tipa "proizvođač-potrošač". Važno je napomenuti da postoji mogućnost formalnog dokaza točnosti rješenja, što je u ovom primjeru također učinjeno. Ovakvim rješenjem sinhronizacije procesa pomoću semafora i operacija na semaforima uspješno se rješava problem zaposlenog čekanja (busy wait) što nije moguće dobiti drugim metodama.
Keywords
Hrčak ID:
81225
URI
Publication date:
12.12.1980.
Visits: 1.192 *