Virtuellt minne

Den aktuella versionen av sidan har ännu inte granskats av erfarna bidragsgivare och kan skilja sig väsentligt från versionen som granskades den 11 juli 2021; kontroller kräver 3 redigeringar .

Virtuellt minne ( engelska  virtuellt minne ) är en metod för att hantera datorminne som låter dig köra program som kräver mer RAM - minne än vad som finns tillgängligt i datorn genom att automatiskt flytta delar av programmet mellan huvudminnet och sekundärminnet (till exempel en hårddisk ) [1] [2 ] [3] . För ett körande program är denna metod helt transparent och kräver ingen ytterligare ansträngning från programmerarens sida , men implementeringen av denna metod kräver både hårdvarustöd och support från operativsystemet.

I ett virtuellt minnessystem översätts adresserna som används av program , så kallade virtuella adresser , till fysiska adresser i datorns minne. Översättning av virtuella adresser till fysiska utförs av en hårdvara som kallas minneshanteringsenhet . För ett program ser huvudminnet ut som ett tillgängligt och sammanhängande adressutrymme, eller en uppsättning sammanhängande segment , oavsett om datorn har rätt mängd RAM-minne. Hanteringen av virtuella adressutrymmen, kartläggningen av fysiskt och virtuellt minne och förflyttningen av minnesfragment mellan primär och sekundär lagring utförs av operativsystemet (se sida ).

Användningen av virtuellt minne låter dig:

Virtuellt minne stöds för närvarande av hårdvara i de flesta moderna processorer [1] . Samtidigt används virtuellt minne relativt sällan i mikrokontroller och i specialsystem, där antingen mycket snabb drift krävs, eller det finns restriktioner för svarstiden ( realtidssystem ). Dessutom är multitasking och komplexa minneshierarkier mindre vanliga i sådana system .

Historik

1940- och 1950-talen var alla program större än RAM tvungna att innehålla RAM och extern minneshanteringslogik, såsom en överlagring . I detta avseende introducerades virtuellt minne inte bara för att öka mängden RAM, utan också för att göra en sådan ökning den enklaste att använda för programmerare. [4] För att stödja multiprogrammering och multitasking , delade många tidiga datorsystem minne mellan flera program utan virtuellt minne, med hjälp av segmentering (till exempel i PDP-10- datorer ).

Begreppet virtuellt minne introducerades först 1956 av den tyske fysikern Fritz-Rudolf Güntsch ( tyska:  Fritz-Rudolf Güntsch ) vid Berlins tekniska universitet i sin doktorsavhandling "Logic design of a digital computer with multiple asynchronous rotating trums and automatic höghastighetsminneskontroll". Den beskriver en maskin med 6 block av magnetiskt kärnminne med en kapacitet på 100 ord vardera och ett adressutrymme på 1000 block med 100 ord. Maskinens hårdvara flyttar automatiskt block mellan huvud- och externt magnetiskt trumminne . [5] [6] Paging implementerades först vid University of Manchester som ett sätt att utöka minnet av en Atlas -dator genom att kombinera dess 16 000-ords magnetiska kärnminne med 96 000-ords magnetiska trumminne. Den första leveransen av Atlas-maskinen var 1962, men fungerande personsökningsprototyper utvecklades redan 1959. [4] [7] [8] År 1961 släppte Burroughs Corporation självständigt den första industriellt producerade virtuella minnesdatorn, B5000 , med segmentering istället för personsökning. [9] [10] År 1965 implementerades virtuellt minne i den inhemska maskinen BESM-6 , även om den implementerade mekanismen inte tillät att utöka processens 15-bitars adressutrymme och begränsade bekvämligheten med programmering. [elva]

Innan virtuellt minne kunde användas i vanliga operativsystem behövde ett antal problem lösas. Dynamisk adressöversättning krävde dyr och svårtillverkad specialutrustning. Tidiga implementeringar saktade ner minnesåtkomsten. [4] Det fanns farhågor om att nya systemomfattande algoritmer som använder externt minne skulle vara mindre effektiva än tidigare använda applikationsspecifika algoritmer. År 1969 var debatten om virtuellt minne för industriella datorer över: ett team av IBM-forskare ledda av David Sayre visade att deras virtuella minnessystem var överlägset på alla sätt de bästa manuellt styrda systemen. [4] [12] Den första minidatorn som använde virtuellt minne var norska Norsk Data ( n. ) Nord-1 ( n. ). På 1970-talet dök virtuella minnesimplementationer upp i andra minidatorer, den mest kända var VAX , som körde operativsystemet VMS .  

Virtuellt minne på x86- arkitekturen implementerades med tillkomsten av det skyddade läget för 80286-processorn , men det använde minnessegmentering och segmentsökningsmetoden skalade inte bra för stora segmentstorlekar. 80386 -processorn introducerade stöd för personsökning utan att orsaka ett dubbelfel om ett sidfelundantag inträffar medan ett annat undantag bearbetas. Ovanpå personsökningssystemet fungerade den befintliga minnessegmenteringsmekanismen. Att ladda segmentbeskrivningar var dock en kostsam operation, vilket tvingade operativsystemutvecklare att förlita sig enbart på personsökningsmekanismen snarare än en kombination av personsökning och segmentering.

Personsökning av virtuellt minne

I de flesta moderna operativsystem organiseras virtuellt minne med hjälp av personsökning. RAM är uppdelat i sidor: minnesområden med en fast längd (till exempel 4096 byte [13] ), som är den minsta enheten för tilldelat minne (det vill säga, även en begäran om 1 byte från en applikation kommer att resultera i en sida minne som allokeras till den). En processorexekverande användartråd får åtkomst till minnet med hjälp av en virtuell minnesadress dividerat med sidnumret och förskjutningen inom sidan. Processorn översätter det virtuella sidnumret till dess motsvarande fysiska sidadress med hjälp av översättningsassocieringsbufferten (TLB). Om han misslyckades med att göra detta krävs buffertpåfyllning genom att hänvisa till sidtabellen (den så kallade Page Walk ), vilket kan göras antingen av processorn själv eller av operativsystemet (beroende på arkitekturen) [14] . Om sidan har bytts ut från RAM byter operativsystemet sidan från hårddisken under bearbetningen av sidfelhändelsen (se byte , sökning). När du begär minnesallokering kan operativsystemet "spola" sidor till hårddisken som inte har nåtts på länge. Kritiska data (till exempel koden för program som körs och körs, koden och minnet för systemkärnan ) finns vanligtvis i RAM (undantag finns, men de gäller inte de delar som är ansvariga för att bearbeta hårdvaruavbrott, arbeta med sidtabell och använda växlingsfilen).

Segmentorganisation av virtuellt minne

En mekanism för att organisera virtuellt minne, där det virtuella utrymmet är uppdelat i delar av godtycklig storlek - segment. Denna mekanism gör det möjligt att till exempel dela upp processdata i logiska block. [15] För varje segment, såväl som för sidan, kan åtkomsträttigheter till det för användaren och hans processer tilldelas. När en process laddas placeras några av segmenten i RAM (för vart och ett av dessa segment letar operativsystemet efter en lämplig bit ledigt minne), och några av segmenten placeras i diskminnet. Segment av ett program kan uppta icke sammanhängande områden i RAM. Vid uppstart skapar systemet en tabell med processsegment (liknande en sidtabell ), i vilken för varje segment den fysiska startadressen för segmentet i RAM, segmentstorleken, åtkomstregler, ett tecken på modifiering, ett tecken på åtkomst till detta segment under det senaste tidsintervallet, och viss annan information anges. . Om de virtuella adressutrymmena för flera processer inkluderar samma segment, gör segmenttabellerna för dessa processer referenser till samma RAM-sektion i vilken detta segment laddas i en enda instans. Ett system med en segmentorganisation fungerar på samma sätt som ett system med en personsökningsorganisation: då och då uppstår avbrott på grund av bristen på nödvändiga segment i minnet, om minnet behöver frigöras laddas vissa segment av, med varje åtkomst till RAM, den virtuella adressen omvandlas till en fysisk. Vid åtkomst till minne kontrolleras det dessutom om åtkomst av önskad typ tillåts till detta segment.

En virtuell adress med en segmenterad minnesorganisation kan representeras av ett par (g, s), där g är segmentnumret och s är förskjutningen i segmentet. Den fysiska adressen erhålls genom att addera den fysiska startadressen för segmentet, som finns i segmenttabellen vid nummer g, och offset s.

Nackdelen med denna metod för minnesallokering är fragmentering på segmentnivå och långsammare adressöversättning jämfört med personsökning.

Det finns också en hybrid sidsegmentorganisation av virtuellt minne [13] .

Se även

Anteckningar

  1. 1 2 E. Tannenbaum. Datorarkitektur = Strukturerad datororganisation. - 5:e uppl. - St Petersburg. : Peter, 2013. - S. 476. - 884 sid. - ISBN 978-5-469-01274-0 .
  2. C. Caps. R. Stafford. VAX: Assembly language programmering and architecture = VAX assembly language and architecture. - M . : Radio och kommunikation, 1991. - S. 310. - 416 sid. — ISBN 5-256-00706-8 .
  3. Mors S.P., Albert D.D. Mikroprocessorarkitektur 80286 = 80286-arkitekturen. - M . : Radio och kommunikation, 1990. - S.  167 . — 304 sid. — ISBN 5-256-00466-2 .
  4. 1 2 3 4 Peter J. Denning. Innan minnet var virtuellt  // In the Beginning: Recollections of Software Pioneers. — 1997.
  5. Elke Jessen. Ursprunget till det virtuella minneskonceptet // IEEE Annals of the History of Computing. - 2004. - T. 26 , nr. 4 . - S. 71-72 .
  6. Elke Jessen. Die Entwicklung des virtuellen Speichers // Informatik-Spektrum. - Springer-Verlag, 1996. - T. 19 , nr. 4 . — S. 216–219 . — ISSN 0170-6012 . - doi : 10.1007/s002870050034 .
  7. RJ Creasy. Ursprunget till VM/370-tidsdelningssystemet  // IBM Journal of Research & Development. - 1981. - T. 25 , nr 5 . - S. 486 .
  8. Atlas design inkluderar virtuellt minne Arkiverad 13 maj 2016 på Wayback Machine  - Computer50, University of Manchester 1996
  9. Ian Joyner på Burroughs  B5000
  10. Harvey G. Cragon. Minnessystem och pipeline-processorer . - Jones and Bartlett Publishers, 1996. - S. 113. - ISBN 0-86720-474-5 .
  11. Korolev L. N. Arkitektur för BESM-6-datorn . Från boken av L. N. Korolev "Datorstrukturer och deras matematiska programvara" (1978) . PARALLEL.RU - Informations- och analyscentrum för parallell beräkning:. Hämtad 21 november 2016. Arkiverad från originalet 13 april 2001. ()
  12. D. Sayre. Är automatisk "vikning" av program tillräckligt effektiv för att förskjuta manuellt? // Kommunikation från ACM. - ACM, 1969. - T. 12 , nr. 12 . - S. 656-660 . — ISSN 0001-0782 . - doi : 10.1145/363626.363629 .
  13. 1 2 Harvey G. Cragon. Minnessystem och pipeline-processorer . - Jones and Bartlett Publishers, 1996. - S. 121. - ISBN 0-86720-474-5 .
  14. Patterson , Hennessy Datororganisation och design. Gränssnitt för hårdvara programvara. 4:e upplagan. ISBN 9780080886138 Kapitel 5.4 , sida 503  
  15. ↑ I Microsoft Windows- familjen av operativsystem används inte segmentadressering och ersätts av uppdelningen av minnet i sektioner, vilket i huvudsak är nästan samma sak.

Litteratur

Länkar