Anonymous
public text v1 · immutableSemaphor zufahrt = 1;
Semaphor bagger = 1;
Semaphor leererLkwBeimBagger = 0;
Semaphor lkwBeimBaggerVoll = 0;
Semaphor platzInBaugrube = 2;
Bagger() {
while (true) do {
P(leererLkwBeimBagger);
LKW beladen()
V(lkwBeimBaggerVoll);
}
}
LKW() {
while (true) do {
P(platzInBaugrube);
P(zufahrt);
in Baugrube einfahren()
V(zufahrt);
P(bagger);
V(leererLkwBeimBagger);
P(lkwBeimBaggerVoll);
V(bagger);
P(zufahrt);
aus Baugrube fahren()
V(zufahrt);
V(platzInBaugrube);
Erde wegbringen()
}
}