Spis treœci - Patrz

eginloopselectwhen wśrodku > 0 =>accept WEJŚCIE;wśrodku := wśrodku - 1;oraccept WYJŚCIE;wśrodku := wśrodku + 1;end select;end loop;end LOKAJ;task WIDELEC(1..5) isentry BIERZE;entry ODDAJE;end;task body WIDELEC isbeginloopaccept BIERZE;accept ODDAJE;end loop;end WIDELEC;task FILOZOF(1..5) isend;task body FILOZOF isbeginloopmyśli;LOKAJ.WEJŚCIE;WIDELEC(FILOZOF'index).BIERZE;WIDELEC(FILOZOF'index mod 5+l).BIERZE;je;WIDELEC(FILOZOF'index).ODDAJE;WIDELEC(FILOZOF'index mod 5+l).ODDAJE;LOKAJ.WYJŚCIE;end loop;end;6.3 ZadaniaProponujemy do rozwiązania zadania poświęcone realizacji w Adzie mechanizmusemaforów i monitorów oraz dwa wybrane zadania z rozdz. 4 i trzy zadania z rozdz. 5.Czytelnika pragnącego lepiej poznać możliwości języka Ada zachęcamy do zapisania w nimtakże rozwiązań innych zadań. Przed rozwiązaniem zadania 6.3.2 należy zapoznać się zdefinicją semafora w systemie Unix podaną w rozdz. 8.6.3.1 Implementacja semafora dwustronnie ograniczonegoZapisz w Adzie proces, który jest realizacją semafora dwustronnie ograniczonego.Przyjmij, że podczas inicjacji semafora ustala się zarówno jego wartość początkową, jak iograniczenie górne.169