Операцион тизим қуриш тамойиллари

Виртуаллаштириш принципи. Бу тизим ягона марказлашган схемадан фойдаланиб, тизим структурасини, жараёнларни режалаштирувчилар (планировшиклар) ва ресурс (мониторлари) тақсимловчилари маълум мажмуаси кўринишида тасвирлашга имкон беради. Виртуаллик концепцияси, виртуал машина тушунчасида аксланади. Ихтиёрий ОТ, ҳақиқатда, фойдаланувчидан, реал аппарат ва бошқа ресурсларни яшириб, уларни маълум абстракциялар билан алмаштиради. Натижада, фойдаланувчилар виртуал машинани, уларнинг дастурларини қабул қилувчи ва уларни бажариб, натижа берувчи етарли даражадаги абстракт қурилма сифатида фойдаланадилар ва тасаввур қиладилар. Фойдаланувчини, умуман ҳисоблаш тизими реал конфигурацияси ва унинг компоненталаридан самарали фойдаланиш қизиқтирмайди. Бир нечта параллел жараёнлар учун, бир вақтнинг ўзида реал тизимда мавжуд бўлмаган нарсадан бир вақтда фойдаланиш тасаввури ҳосил қилинади.
ВМ, реал архитектурани ҳам акс эттириши мумкин, аммо бу ҳолда архитектура элементлари кўпинча система билан ишлашни соддалаштирувчи, мукаммалаштирувчи янги параметрлар билан чиқадилар. Фойдаланувчи нуқтаи-назарида, идеал машина қуйидагиларга эга бўлиши керак:

• 
  ишлаши мантиқи жихатидан бир хил тарздаги, чегараланмаган хажмга эга бўлган виртуал хотира;
  
• 
  параллел равишда бир-бирига таъсир қиладиган ва ишлай оладиган виртуал процессорларнинг ихтиёрий миқдори;
  
• 
  виртуал машина хотирасига кетма-кет ва параллел, синхрон ва асинхрон мурожаат этишга қодир бўлган виртуал ташқи қурилмаларнинг ихтиёрий миқдори (сони) маълумотлар хажми чегараланмаганда идеал машинага яқинлаштирилган, ОТ томонидан амалга ошириладиган виртуал машина қанчалик катта бўлса, яъни архитектурали мантиқий характеристикаси реалдан қанчалик фарқ қилса, демак виртуалликнинг шунчалик юқори даражасига эришилган бўлади. ОТ бир-бири ичига жойлаштирилган ВМ иерархияси сифатида қурилади. Дастурларнинг қуйи сатҳи машинанинг аппарат воситаларидир.
  

Кейинги сатҳ эса дастурий бўлиб, қуйи сатҳ билан биргаликда, машина янги хоссаларга эга бўлишига ёрдам беради. Ҳар бир янги сатҳ маълумотларга ишлов бериш функция имкониятларини кенгайтириш имконини бериб, қуйи сатҳларга мурожаатни осонлаштиради.
ВМ ларни иерархик тартибга солиш устунликларга эга бўлиш, яъни лойиха доимийлиги, дастур тизимлари ишончлилиги, ишлаб чиқиш муддатлари қисқариши, қатор муаммоларга эга. Уларнинг асосийлари: виртуаллаштириш сатҳлари сонини ва ҳоссаларини аниқлаш, ОТ нинг ҳар бир сатҳига зарурий қисмларни киритиш қоидаларини аниқлаш. Абстрактлаштириш (виртуализация) алоҳида сатҳлари хоссалари:

1. 
   Ҳар бир сатҳда, юқори сатҳлар мавжудлиги ва хоссалари тўғрисида хеч нарса маълум эмас.
   
2. 
   Ҳар бир сатҳда, бошқа сатҳлар ички тузилиши тўғрисида хеч нарса маълум эмас. Улар орасидаги боғланиш олдиндан белгиланган қатъий қоидалар орқали олиб борилади.
   
3. 
   Ҳар бир сатҳ бир нечта модулдан иборат, уларнинг баъзилари ички ҳисобланади ва уларга бошқа сатҳлар мурожаат қилиши мумкин. Қолган модуллар номи юқори сатҳларга маълум ва шу сатҳлар билан боғлана олади.
   
4. 
   Ҳар бир сатҳ маълум ресурсларга эга, у ўз ресурслари абстракцияларини (виртуал ресурсларни) бошқа сатҳлардан яшириши ёки таклиф қилиши мумкин.
   
5. 
   Ҳар бир сатҳ, тизимда маълумотларнинг маълум абстракциясини таъминлайди.
   
6. 
   Ҳар бир сатҳда, бошқа сатҳга нисбатан қилинаяпган таклиф минимал бўлиши шарт.
   
7. 
   Сатҳлар орасидаги боғланиш аниқ аргументлар, бир сатҳдан иккинчисига узатил адиган аргументлар билан чегараланган бўлиши керак.
   
8. 
   Глобал маълумотлардан бир нечта сатҳлар фойдаланиши мумкин эмас.
   
9. 
   Ҳар бир сатҳ бошқа сатҳлар билан мустахкамроқ ва кучсиз боғланиши керак.
   
10. 
    Абстракция сатҳи орқали бажариладиган ҳар қандай функция ягона киришга эга бўлиши керак.
    

Дастурий таъминотни ташқи қурилмаларга боғлиқ эмаслиги (мустақиллиги) принципи. Бу принцип, дастурнинг аниқ қурилмалар билан боғланиши, даструларни трансляция даражасида эмас, балки ундан фойдаланишни режалаштириш давридалигидан иборатдир. Дастурларнинг янги қурилмалар билан ишлаши вақтида, қайта компиляция қилиниши талаб қилинмайди. Бу принцип кўпгина ОТларда амалга оширилади.