virtual address space

Angol

virtual address space (tsz. virtual address spaces)

(informatika) A virtual address space (magyarul: virtuális címtér) az operációs rendszerekben és modern számítógép-architektúrákban használt fogalom, amely a programok számára biztosított címtartományt jelenti, amelyet a program használhat memóriacímezésre.

A virtuális memória részeként az operációs rendszer a fizikai memória (RAM) fölé egy absztrakt, elkülönített címtartományt hoz létre minden egyes folyamat számára.
Ez a címtér lehetővé teszi, hogy a folyamat úgy érzékelje, mintha neki saját, folyamatos és izolált memóriaterülete lenne.
A virtuális címeket a hardver (pl. MMU – memória kezelő egység) és az operációs rendszer leképezi fizikai címekre.

Memória izoláció: Egy folyamat nem férhet hozzá más folyamat memóriájához.
Biztonság: Megakadályozza, hogy hibás vagy rosszindulatú kód megsértse a rendszer vagy más folyamatok memóriáját.
Memória menedzsment: Egyszerűbb a memória kiosztás és kezelése.
Nagyméretű memória kezelése: Lehetővé teszi, hogy egy program nagyobb memóriát használjon, mint amennyi fizikailag rendelkezésre áll (lapozással).

A program a virtuális címet használja memóriacímzésre.
Az MMU (Memory Management Unit) leképezi a virtuális címet egy fizikai címre a lapok (pages) vagy szegmensek (segments) alapján.
Ha a szükséges adat nincs a fizikai memóriában (page fault), az operációs rendszer betölti azt a háttértárról.

Fogalom	Leírás
Virtual address space	Minden folyamat elkülönített, absztrakt memóriacímeinek tartománya
Funkciók	Izoláció, biztonság, memóriahatékony kezelés
Kapcsolat	Virtuális cím → fizikai cím leképezése MMU segítségével

v t e data types
uninterpreted	bit byte trit tryte word bit array
numeric	arbitrary-precision or bignum complex decimal fixed point block floating point floating point reduced precision minifloat half precision bfloat16 single precision double precision quadruple precision octuple precision extended precision long double integer signedness interval rational
pointer	address physical virtual reference
text	character string null-terminated
composite	algebraic data type generalized array associative array class dependent equality inductive intersection list object metaobject option type product record or struct refinement set union tagged
other	boolean bottom type collection enumerated type exception function type opaque data type recursive data type semaphore stream strongly typed identifier top type type class empty type unit type void
related topics	abstract data type boxing data structure generic kind metaclass parametric polymorphism primitive data type interface subtyping type constructor type conversion type system type theory variable