[ASM] Iemand een idee hoe een semafoor werkt?

[The - DDD]

Laatst op school bezig geweest met semaforen in embedded systems.

Je krijgt natuurlijk in alle omgevingen met I/O te maken met Semaforen.

Maar in ieder geval. Dankzij die les begon ik me een beetje af te vragen hoe een semafoor nou echt werkt. Want ergens moet er een atomic manier zijn om die flag check op die semafoor te kunnen doen.

Ik dacht, ik vraag het maar niet in de les, want dan worden die lui om me heen helemaal knetter gek (ze snappen er nu al weinig van, kun je nagaan zo erg is het niveau van mijn opleiding). Waarschijnlijk zou de docent het ook niet weten, ookal is tie gepromoveerd en al.

Ik heb zelf nog geen manier kunnen verzinnen. Enige wat ik kon verzinnen was een conditionele schrijf instructie naar een bepaald register/adres. Maar euh, ik heb hem in mijn ASM 286 handleiding niet kunnen vinden. Ookal heb ik er de instructie TEST in staan, maar die hebben ze in mijn boekjes niet gedocumenteerd.

Dus iemand enig idee?

[mbravenboer]

Uit mijn boek:

1. Software matig met behulp van mutual exclusion...
2. Interrupt disable.
3. Speciale machine-instructie (dit zal wel het meest gebruikelijk zijn).
4. Met monitoren kan je een semafoor implementeren, maar das niet echt een oplossing denk ik .

[Zoijar]

TSL-instructie (test and lock) je kan in ASM iets van:

CLI
LOCK
TEST [BX],0000000000000001b (oid)

doen. Lock zorgt ervoor dat de bus gelocked wordt en er maar 1 cpu bij kan, verder moet je de interrupts uitschakelen voor 'obvious reasons'. (lock is nodig omdat je de ints alleen op de cpu die je process uitvoert kan uitschakellen)

Wederom "Operating systems: design and implementation - andrew s tanenbaum"

[Killemov]

Dat doe je met een TAS-instructie elke proc heeft hiervan wel een variant. (Test And Set) Dat is nl. de enige manier waarvan je zeker weet dat het niet kan worden onderbroken door een context switch.

[The - DDD]

Dus toch die TEST instructie...
Ik had al zo'n donkerbruin vermoeden.

Thnx lui..

[Zoijar]

nee, test op zich is gewoon een compare. het gaat om dat 'lock' prefix ervoor. Die locked de memory bus voor de volgende instructie, zodat er geen 2e cpu doorheen gaat.

[The - DDD]

Blader, blader...

Yup, Lock staat ook genoemd in m'n ASM boekje, maar niet gedocumenteerd.

In Operating Systems van Stallings staat het ook wel enigzins, maar niet echt in een ASM voorbeeld. (heb dat boek vandaag even in de mediatheek ingekeken)

[Verwijderd]

Snel mijn boek erbij: Semaforen zijn door de Nederlander Dijkstra bedacht. Het wordt beschreven als een protected variable die alleen geinitialiseerd kunnen worden en waar alleen twee bewerkingen op gedaan kunnen worden, P en V. De functies werken als volgt:

code:

function P(S)
  if S>0 
  then S:=S-1
  else (wait on S)

function V(S)
  if(one or more processes are waiting on S)
  then (let one of these processes proceed)
  else S:=S+1

De S staat voor de semafoor variabele.

Ziet er simpel uit, maar is knap ingewikkeld. Maar erug leuk, als je er mee gezich bent

[The - DDD]

Op dinsdag 02 oktober 2001 00:01 schreef Doekman het volgende:
Ziet er simpel uit, maar is knap ingewikkeld. Maar erug leuk, als je er mee gezich bent

Precies, leuk omdat je echt per instructie na moet gaan hoe het nou werkelijk door je chip uitgevoerd wordt, maar daardoor soms ook verrot lastig en verwarrend.

Bitneuken noemen ze dat toch?