Жүйедегі қателерді талдау мен қайта өңдеу

Жоғары деңгейден берiлген қате ақпарат бiр мүмкiн бұзылған анық, немесе қатедегi бiрнеше тексерiстерi. Әдетте өйткенi керексiз қателердi бiрнеше индикаций енгiзген екен, жобалаушы дегенмен қателiк туралы хабарларды басымдылық орнатуы керек. Басымдылыққа жағдай әйтеуiр операциялар тiзбегi әсер етедi, бiр жағынан жобалаушы мүмкiн деп ойла төменгi деңгейлермен берiлген (немесе қате) қателердi негiзде әр түрлi қателер туралы хабарлау керек. Айтарлықтай мұнда онда, тексерiстердi көп әжептәуiр, үшiн мүмкiн қателер бәрi қамту. Бұл мүмкiн қате обнаружена модульдың шақыруын нәтиженiң өзгерiс, болып табылатындары, модуль бол шектеулердi бұзусыз бұл бола алатындай бiр де бiр болғанын бiлдiредi. Тiптi, (егер бар бол) функцияның мағынасы белгiсiз болмағанын кепiлдiк бер (егер бар бол) функцияның мағынасы белгiсiз болмағанын кепiлдiк беру тиiстi қателiк туралы хабар болмайтын айғақ.

Және шектеулердi бұзылысы артынан қателiк туралы хабарды жеңiлдеу табатынын анық болу тиiстi әйтеуiр, қарағанда ресурспен жұмыстың тетiгiнде қате артынан болатын хабарлама. Және де, жағдай көпшiлiгiнде анықтама үшiн қол жететiн дұрыс ақпарат жоқ, не болып қалды, өйткенi қолданушысы iшкi жүйенiң бiр бөлiктерiне рұқсаты болма олардың түсiнбейдi. Тезiрек барлығы, бiз математикалық қамтамасыз етудiң нақты бөлiмшесiне қарауатын қатенiң жiктеуiн қолданушы беруiмiз керек. Кейбiр бас-сирақтар айқын ақпарат қол жетпес соншама апатты бола алады, немесе бiрден елеусiз. Жүйе алайда анықтауға азаптандыруы керек, мейлiнше, қатенiң табы сол үшiн, үшiн кодтардың бiр бөлiктерiнiң iздестiруiн шектесiн немесе қате шақыратын мәлiметтерлер.

Ендеше, дұрыс қателiктердi өңдеу барлық жүйенiң бiр бөлiктерiндегi қателерiн талдауға жүйелi түрде тәсiл талап етедi. Әуелден жобалаушы жүйеде қателiктердi өңдеудiң спецификациясы жазуы керек. Тiптi, өңдеу жүйенiң төменгi деңгейлерiмен басталуы керек, әйтпесе нәтижеде қателердi анықтамада сәтсiздiк болады және олары туралы хабар.

1.5. Басқару жүйесiнiң жобалауының тексерiсiне тәсiл.

ЭЕМ қауiпсiздiктiң тұратын уақыт бiлдiрiлетiн назар және мәлiметтерлердi құпиялық, бағанағыдай заңдар талап етедi және үкiмет ережелерi, әрекеттерге қазiргi басқару жүйелерiн қайтадан қарастырып, сонымен бiрге дәлелденген қауiпсiздiк бар жаңа жүйелердi жобалауға әкелдi. Қорғаныстың тетiктерi микроэвм үшiн операциялық системдердi жағдайда және қауiпсiздiктi қамтамасыз ету тиiмдiлiктiң пiкiрi баса алады. Дегенмен мұндай тетiктер өздiгiнен көп қолданушы орта жұмыс iстейтiн үлкен системдер үшiн мини-ЭЕМ қажеттi.

Ақау туралы болжамдарды  әдiстемелiк қателердi талдаудың позициясынан операциялық системдердiң спецификацияларының қарастыруына тәсiлдi бередi. Басқару жүйесi, қателерi бар, болып көрiнген сонымен бiрге осал жерi анық, өйткенi қате сол ену шабуыл нысана қызмет ете алады. Жүйенiң шабуылы облыстарды анықтама, мүмкiн болса, мәлiметтерлердi структур қате, бөлшектердiң iшкi жүйелерiнiң интерфейстерiнiң талдауында тексерiстердi әзiрлеу үшiн нұсқауды жақсы бередi және қателердi қызмет көрсету.

Ақау туралы болжамдарды  әдiстемелiк бiрнеше кезеңдерде жүзеге асырылады: 1) жүйелiк басқарушы структурлердi өнер-бiлiм

2) мүмкiн ақауларды тiзiмнiң құрастыруы

3) ақау туралы болжамдарды растау және

4) мысалдарымен қаралатын ақауларды болып көрiнген жүйенiң айқындалған әлсiздiктерiнiң жалпылауы.

Енудiң жүргiзуi үшiн жүйелiк басқарушы структурлердi өнер-бiлiм керек. Бұл ақпарат құжаттама жолымен мұқият жүйелiк талдау мүмкiн алыну. Файлдардың тiзiмдемелерi, қондырудың басқаруының ережелерiмен жүйелiк басқарушы объектiлермен қорғанған зерттеулерi көмекпен (дисктер, файлдар, парольдар) бағалы объектiлер анықталынған бола алады, және д.) өйткенi. Қауiпсiздiктiң объектiсi мүмкiн да рекурсия жүйелiк басқаратын объект болсын, өзiнен арашалаушы деп. Қорғаныстың объектiлерiн тiзiм сiз жүйенiң жобалауында жасай аласыз және объект, қорғаныспен басқарушы. Бұл тiзiмнен сүйене, сiз жүйенiң басқарушы структурлерiн концептуалды ұсыну жасай аласыз.

Келесi адым жүйелiк басқарушы  құрылымдарға шабуылдардың — нүктелерiнiң ақауларын тiзiмнiң құрастыруын болып көрiнедi. Ақау туралы болжам бiр тұрады немесе басқарушы объектiге шабуыл стратегиялардың көпшiлiктерi және белгiлi басымдылық әдетте ие болады және жетiстiктiң ықтималдығы. Бол жүйелерде жүйенiң кодтарын басып шығаруды мүмкiн зерттеуге «қаскүнем», үшiн шабуылдың дәл әдiсiн талдау. Жобалаушы функционалдық жобалау хабар талдау абстрактiлi деңгейден астамға әдетте көздiң нүктесiмен тиiстi және жүйенiң спецификациялары.

Немесе атқарылған жолымен  ойша эксперимент мүмкiн болған ақау туралы болжамның растауы келесi адым, немесе нақты тексерiстермен. Табысты ену «құдайы қонақ» басқарушы объект басып қалатынында тұрады, басқарушы құрылымға әсер етедi және анығында супервизор жүйенiң басқаруы деңгейде алады. Нақты тексерiстер ақауда шынымен (бұл теңбе-тең емес құжаттама артынан мүмкiн болу) болғанын растай алады. Жүйенiң тестеуi арқылылар жобалаушы үшiн жүйелiк спецификациялар сәйкессiздiкте тексеруi керек болған растау алуға керек, және қайшылық.

Көп ақауларды — жалпылау соңғы қадам, - расталған кемшiлiктер ортақ әлсiздiктердiң анықтауы үшiн талдау жүргiзедi. Егер бұл мүмкiн болса, әлсiздiк бұл зерттеулердi нәтижелер жоспарлауған мұндай сияқтылар, қол жеткiзудiң бақылауы бойымен санатта бөлiн бол системдердiң ақауларын түзету үшiн қолдана аладуға тағы сол сияқтылар, немесе жаңа жүйенi жобаның түрлендiруi.

Қалай бұрын белгi соқтырды, тестеуге мұндай тәсiл және жүйеге қауiпсiздiк  дұрысыраққа хабар басқару жүйесiнiң жобасын анықтау мүмкiн көздiң нүктесiмен. Егер жүйе мамандарды тобымен жобаланса, онда бiрiсi әуелден мүмкiн ролдi ойнауға тапсырылады «iбiлiс» және жобаға шабуылдау. Ерте игеру сатыларға ену алдын ала жүргiзiлетiн талдау және өткiзу программалық қателiктердiң c кiшiсi санына мүмкiн әкелсiн және соңынан талқылаудың уақытының қысқартуына.

Одан басқа, олар шабуылдың  табысты стратегияларының терулерiн анықтады. Бұл ақаулардың кейбiрi және шабуыл ақау туралы болжамдарды әдiстемелiктiң пайдалануы бойымен бастапқы жәрдемақы таныстырады.

Ортақ функционалдық ақаулар. Шындықтың анықтауы. Қолданушы басқару жүйесi және аппаратура олар болуы керек болған нақ сол ретiнде растау алу мүмкiндiгi алуы керек. Өз аппаратураны аппаратураның жеке құрамдас бөлiктерiн бiрдейлендiрудiң сұлбасын систем бәрiмiзге ортақ болмайды немесе нобайдың жүйесiнiң модульдарының тексерiстiң сұлбасы немесе басқа модульдардың мәнi.

Құжаттау. Құжаттау күрделi тiл мүмкiн жазылсын немесе сыни облыстар жеткiлiксiз сипаттамасы болу.

Қателердi табылу. Қорғанысының тетiктерi қатенiң нәтижесiнде тосқауыл қойылған бола алады және тиiстi әрекеттердi орындаудан кейiн қайта орнатпаған.

Өткiзу. Жақсы ойластырылған жоба және спецификация жаман өткiзу бүлiнген бола алады. Қай жүйе iске асыратын бағдарламашыда возложены шешiм, спецификацияларына ерген мүмкiн болмауы мүмкiн немесе шарт бәрi тексермедi.

Анықталмаған сенiм. X модульды модуль Y параметрлерi дұрыс жорию, себебi Y модуль жүйелiк болып көрiнедi ; процесс.

Ойдағы бөлiну. Жүйе мәлiметтердi сақталады немесе көрсеткiш, сонымен бiрге кеңiстiкте параметрлерге қарайды - жадтың кемшiлiгi қолданушы болғандықтан.

Заңдылығын тексеру. Қолданушының параметрлерi, мүмкiн, ; жеке алғанда параметрдiң ерекше мағынасын мүмкiн ескермеюге керектi мөлшерде тексермейдi. Параметрлердi тапсырудың тетiктерi. Параметрдiң мағынасы регистрде алып беру қауiпсiзiрек, қарағанда параметрге көрсеткiш. Сiлтемемен тапсыру — анықталмаған бөлiну кемшiлiкке мүмкiн әкелу, өйткенi параметр заңдылығын тексерудiң орындауына дейiн қолданушының кеңiстiгiнен жөнелте алмайды. Парольдар. Әр түрлi басқарушы объектiлерiн пароль жеңiл табылатын болуға, шектелген символдар жиынынан тұра алады немесе синтаксис бос тұру ие болу.

Басымдылық. Көп жүйелiк модульдарға белгiлi жүйелiк кестелерге қол жеткiзудiң жеңiлдiгi үшiн супервизордың артықшылығын бередi. Қарағанда модуль артық супервизор режимiнде орындайды, енудiң мүмкiндiктерi сол артық және сол жүйе әлсiзiрек. Қалдық ақпарат. Ақпарат қол жететiн мүмкiн бол қызмет көрсетудiң жаман ұйымы артынан «қаскүнемге» және жүйенiң жобасын немқұрайдылық.

Утилита. Утилиталардың жобалауы мұндай басқа жүйенiң бiр бөлiк тәптiштiлiкпен жиi жүргiзбейдi. Утилита жүйеге адекватты тексерiссiз жиi қосылады немесе бақылау.

Шабуылдың ортақ стратегиялары. Бейсинхронды процестер. Бiр мезгiлде  орындайтын бiрнеше процестер болған iс тексерiлген параметрлердi өзгертуге  азаптандырады, бiрақ пайдаланылған  болған iсi әлi десi.

Қарап шығу. Есептеуiш жүйеде жабық ақпаратты қолданушымен iздестiру.

Бүркеме код. «Басқару жүйесiне жамау немесе утилитаның бағдарламасын бол «амал».

Енуге рухсат бермеу. Жүйенiң  физикалық ресурстарын өте ие бол бөлiк ; негiзгi мақсат ресурстарға заңды қол жеткiзуде қолданушыны қабыл алмауға заңсыз елiктiргiш бағдарлама жазылады.

Қатенiң түрiнде қармақ жем. Қате әдейi шақыратын бағдарлама, үшiн күйдiң келесi векторы жүйелiк ақпаратта болды.

Шабуыл «NAK». Қолданушы  қолданушы процестiң қайта бастауына  дейiн операциясын орындауға содан  соң рұқсат берген орындайтын процесс асинхрондық үзу шақырады. Жүйе ағымында үзу, мүмкiн, ашық күйде көрсетедi.

Оператордың мистификациясы. Эем қабылданған қызмет көрсетудiң  рәсiмi айналып өтуге талпыныстар жасалады, немесе жүйенiң қауiпсiздiгiн мүмкiн бұзылған оператордың әрекетi. Троя аты. Кiретiн нүктенiң қондыруы немесе жүйеге тiркелмегенетiн қол жеткiзу ендiгәрi ие болуға мүмкiндiк беретiн басқару жүйесiнде амал.

 

2. Кезекпен басқарылулар.

Операциялық системдердi қазiргi жобаны негiз кезектермен басқаруды болып көрiнедi. Ресурстарды сан үлкен жүйеге мультипроцесснойға кез-келген процеске бөлу үшiн түсiнiктi және процесс әдетте пул первую ресурстың сауалында алады .ресурстың қол жететiн бiрлiгiн. Ресурстың бiрлiгi басқа процесс азат етiлмегенше егер ресурстың еркiн бiрлiктерi жоқ болса, керiсiнше, онда процесс (ретке келтiрiлген бейнемен) күтуi керек. Бiр мезгiлде бiрнеше процестер ресурс күте алады. Жоспарлауышының — кезегiнiң орталық процессордың пайдалануына кезек күтiл процестерiн — көп классикалық мысал.

— ресурс процесс дихотомияның екi аспектiсi күтуде негiзделедi, және тiптi, — кезектiң ретке келтiрiлген күтуiнде. Өкiнiшке орай, пәлендей қарапайым мiндет басқару жүйесiнде кезектермен басқару. Санын көбеюiн өлшем бойымен және кезектерiнiң бiр түрлерiнiң тиiстi құрылымдары бәрi күрделiрек болады.

Мұндай (кейбiр өзгерiстермен) тәсiлi кезектердiң структурi негiзi қаралатын төменде сияқты пайдаланады. Бөлiм бұл негiзгi құрылымдар суреттеледi және қорытылған кезектердiң басқаруын өткiзу қаржы алгоритмдары. Талқыланады да басқару жүйесiнiң функционалдық модульдарының әр түрлi талап шақырылған әдiстiң тиiстi вариациялары.

2.1. Қорытылған кезектiң құрылымы.

Әр басқару жүйесiнiң кезегi құрылымның суреттемесiн өз дескриптора— талап етедi. Дескриптор қорытылған кезекте бес элементтердi тiзiм қосқан словтан мәлiметтерлерiн — блок кезектiң тақырыбы сияқты қояды.

Кезектер үшiн байланыстырудың  екi негiзгi тетiктерiнде болады: (бiрiншi — бiрiншi кел шықты) бiртiндеп қызмет көрсету және екi жақты кезек. Бiр байланыспен кезекте тiзiм элементi бiрiншiге көрсеткiште болады. Әр элемент өз қолдаушы, тең бол көрсеткiш қоспағанда соңғы элементте көрсеткiште болады, немесе нөлге, немесе (циклдiк кезек) кезектiң элементiн бiрiншiнiң мекен-жайына. Екi байланыстары бар кезек ақпараттың алуында үлкен иiлгiштiктердi бередi, керiсiнше өңдеудiң уақытының бiрге болатын көбеюi және жадқа талаптары.

3. Семафорлармен басқару.

Қазiргi басқару жүйе сипаттайтын  басқа маңызды қағидат өзара жұмыс iсте процестердi синхронизацияның басқаруы үшiн семафордың тұжырымдамасын пайдалануды болып көрiнедi. Бұл тұжырымдамасы Дейкстройдың алғаш ұсынылған хо годовына болды. Өткiзу арналған семафордың тұжырымдамасын талқылау, пiкiр және өзара жұмыс iсте процестерге қолдану [89 ] оның жұмысында табуға болу.

Дейкстра семафор суреттейдi бұл терiс емес бүтiн айнымалылар. Анықталынған екi операцияның семафорлары үшiн:

Егер мүмкiн болса бiрлiкке семафордың — кiшiрейтуi Р. Кiшiрейту мүмкiн болмап жатқанда егер нөлге тең бол семафор болса, оны мүмкiн емес кiшiрейту, және операция шақырған процесс күтедi.

V — семафор кез-келген  басқа процестердi семафорға қол жеткiзу алдын алған бiр нұсқаумен бiрлiкке үлкеедi, операция орындайтын процесс қоспағанда.

Риаларды операция V пайда  болды тек эем команд жүйе жақында көпшiлiгiнде. Болған iсте бұл операциялар ұқсатқан эем алғашқылардың бiрлерi, топтама эем Univac 1108 болды. Эем бұл екiлiк семафордың операциясын процесс: бiрдеңе етiп тексеруге «шикi күйiнде» жүзеге асыруға рұқсат берген екi әмiр ие болады, - (TEST - AND) орнатсын және нөлге теңестiрсiн - бiрдеңе етiп тексерiлсiн - (CLEAR - AND) орнату. Әмiрiн Обь олар маңыздың неде бөлiнбейтiн тоқтай алмайды.

3.1. Өзара шығару семафорларды қолдану.

Семафорлардың пайдалануы өзара  шығаруды мәселенiң шешiмi бос тұруды жүзеге асыруға рұқсат бередi. Процестердi птiң бiрi 3.1, өзара шығару тарауға айтылғандай қалай әлдебiр басқа процесс орындай алатын код қауiптi секция сол алдында толық орындауға рұқсат бередi. Процестерге шешiм параллель бейсинхронды бейне жұмыс iстеуге рұқсат бередi.

Мейлi мағына 0 бар S — екiлiк семафор немесе 1. S семафор сыни сегменттiң қарапайым құлыбы қызмет көрсетедi. Процесс қашан S = 0, әлдебiр сыни сегменттi орындайды. Себебi процесс жалаң S нөлге дейiн мүмкiн кiшiрейтсiн, барлық басқа процестердi өзара шығаруды кепiлдiк бередi. Басқа жағынан, атап өтiлген мүмкiн емес, өйткенi АЖ қинайтын процестер. сыни сегменттi толтырсын, дәйектi түрде орындайды, қашан S= 1.

3.2. Семафор бұл ресурстарды санауыш және синхронизаторлар.

Семафор жағдайда екi функцияны мүмкiн орындау. Бiрiншiден, ол өндiрiс абайлаушы ресурстың санауышын мүмкiн сияқты пайдалансын және ресурстарды тұтынумен. Екiншiден, ол мүмкiн синхронизатор болсын, үйлестiретiн өндiрiс және ресурстарды тұтыну. Процесс ресурс, Р орындай - семафор үстiнде операция ресурсқа қатысты тұтынады, және ресурс, семафор үстiнде операция сол орындай өндiредi. Семафор санауыш өткiзуiнде әр Рдiң жанында бiрлiкке азаяды - операция және жанында бiрлiкке әр операция үлкеедi. Оғанға санауыштың инициализациясының жанында мағына, қол жететiн ресурстарды тең санды тағайындайды. Егер ресурс қол жетпес болса, онда процесс кезекке күту үшiн мүмкiн орналастыру. Кезекте процесс бiрiншiнi ресурстың босауында активтендiредi, және оған ресурспен басқару жеткiзiлiп берiледi.