proces synkronisering

Forestil dig 2 processer A og B. De ønsker begge at bruge en resource R (som kun kan bruges af én process ad gangen).

wait/signal:
  A opnår eneret på R
  B prøver at få eneret på R
    Det går ikke, R er optaget
    B sætter sig og venter
  A er færdig med R
    A signalerer at R er ledig
  B rejser sig og prøver at få eneret på R
  [..osv..]

tak det hjalp lidt på forståelsen

Ideen er at der i koden er en kritisk sektion, som kræver at have eneret på en resource for at kunne udføres korrekt.

Et eksempel er en tæller.
  A tæller én op - inc()
  B tæller én ned - dec()

kode (Java):
public void inc()
{
[1]  int temp = count;
[2]  count = temp + 1;
}

public void dec()
{
[3]  int temp = count;
[4]  count = temp - 1;
}

Problemet opstår i det øjeblik at
  A kører inc
  Der sker et kontext switch efter linie 1.
  B kører dec
  Kontext switch efter B har kørt dec færdig
  A kører resten af inc

Så vil count få forkert værdi.

det begynder at lysne men hvordan fungerer det med semaphores

Løsning på ovenstående problem med en semafor.
Med en binær semafor har man enten adgang eller ikke adgang.

public void inc()
{
[1]  if(semafor.down())
[2]  {
[3]    int temp = count;
[4]    count = temp + 1;
[5]    semafor.up();
[6]  }
}

public void dec()
{
[1]  if(semafor.down())
[2]  {
[3]    int temp = count;
[4]    count = temp - 1;
[5]    semafor.up();
[6]  }
}

semafor.down() får værdien 0 når metoden er kørt.
Hvis der sker et kontext switch inden semafor.up() kaldes så vil der ikke ske noget, da if sætningen fejler.

Ideen er så at up og down metoderne udføres atomisk - dvs. der ikke er mulighed for kontext switch idet variablerne ændres.

mange tak for svaret det hjalp gevaldigt på forståelsen nu tror jeg at jeg forstår hvad der sker