Reentrancy

I datavitenskap er reentrancy egenskapen til en funksjon av å være brukbar samtidig av flere brukeroppgaver. Reentrancy gjør det mulig å unngå duplisering i RAM av et program som brukes samtidig av flere brukere. Hvis en funksjon av flere tråder må få tilgang til en global variabel, er det tilstrekkelig å omgi den med Mutexes.

Å skrive reentrant-kode pleide å være En veldig vanskelig oppgave. Det er forenklet med gjeldende språk som tillater:

• den dynamiske tildelingen av minne ,
• separasjonen, i forskjellige segmenter , av koden og dataene,
• batteristyring .

Den kjerne av et operativsystem har ofte ikke-innadgående deler for å unngå sjenerende komplikasjoner (uoverensstemmelse av kritiske data, tap av ytelse). Skriften av moduler som skal utføres i kjerneplassen forblir av denne grunn delikat.

Reentrance og programmeringsspråk

Den reentrancy av funksjoner er ikke nødvendigvis garantert av alle programmeringsspråk . Dermed vil for eksempel en funksjon skrevet i Ada alltid være reentrant mens en funksjon skrevet i C ikke er som standard . Ikke-reentrancy av en funksjon er sjelden et problem i single-task programmering, men kan gi katastrofale resultater i samtidig programmering .

Forholdet til "trådsikker"

De to begrepene reentrancy og trådsikker gjelder måten funksjoner styrer ressurser på. Begrepet reentrancy har innvirkning på funksjonens eksterne grensesnitt, mens begrepet trådsikkert gjelder koding av funksjonen.

• I de fleste tilfeller, for å transformere en ikke-reentrant-funksjon til en reentrant-funksjon, må dens eksterne grensesnitt modifiseres slik at alle dataene blir levert av innringeren av funksjonen (erstatning av eventuelle globale variabler som brukes i funksjonen med lokale variabler).
• For å gjøre en ikke-trådsikker funksjon trådsikker, er det nok med en kodeendring. Vanligvis brukes tillegg av et synkroniseringspunkt som en kritisk seksjon eller en semafor for å beskytte tilgangen til en delt ressurs fra samtidig tilgang fra en annen oppgave / tråd.

Merk at ingen av disse egenskapene innebærer den andre:

• En trådsikker funksjon er ikke nødvendigvis nyinnflyttende (problemet oppstår alltid når det gjelder kode som utføres av en tråd og en avbruddshåndterer).
• En reentrant-funksjon er ikke nødvendigvis trådsikker.

Merknader og referanser

Se også

• Bivirkning
• Deterministisk funksjon
• Ren funksjon
• Rekursiv funksjon
• Idempotens
• Referansetransparens
• Trådsikkerhet
• Kritisk seksjon
• Java har i sin programvare bibliotek av klasser spesialisert til å håndtere problemene med reentrancy