| |
| |
| Teori: | concurrent | parallel i betydningen
sideløbende
|
| | parallel | parallel i betydningen samtidig
|
| | action | aktion/handling
|
| | place (Petri Net) | plads/tilstand
|
| | (conditional) atomic action | (betinget) atomar aktion/handling
(ikke "atomisk")
|
| | interleaving | fletning
|
| | interleaving model | flettemodel
|
| | transition | overgang (el. transition)
|
| | liveness property | aktivitetsegenskab
|
| | safety property | sikkerhedsegenskab
|
| | deadlock | baglås (god dansk term - brug den!)
|
| | live-lock | ingen dansk term
|
| | starvation | udsultning
|
| | mutual exclusion | gensidig udelukkelse
|
| | race condition | ingen dansk term (dataræs?)
|
| | obligingness | imødekommenhed
(Andrews: Absence of Unnessary Delay)
|
| | resolution | beslutsomhed
(Andrews: Absence of deadlock/live-lock)
|
| | fairness | retfærdighed (betegner generelt garanti for fremdrift)
|
| | eventually | engang (operator i temporal logik)
|
| | |
|
| |
| Programmering: | passing-the-baton | giv-stafetten-videre, stafet-teknik
|
| | semaphore | semafor (dansk udtale jf. metafor)
|
| | monitor | monitor (engelsk udtale)
|
| | polling | periodisk forespørgsel ("polning")
|
| | |
|
Manglende termer modtages gerne (evt. med forslag til oversættelse!).
