Кіріспе

Қалпына келтіруге бағытталған есептеу (кейде ROC деп қысқартылады) — сенімді Интернет қызметтерін жасау үшін Стэнфорд университеті мен Калифорния университетінде (Беркли) құрылған әдіс. Оның жақтастары компьютерлік қателердің болатынын мойындап, олардың зиянды салдарларын азайтуға ұмтылады. Жобаны Ұлттық ғылым қоры қаржыландырады. Қалпына келтіруге бағытталған есептеуді барлық басқа қателіктерді басқару техникаларынан ерекшелейтін қасиеттері бар.

Оқшаулау және артықшылық

Мұндай жүйелерде оқшаулау үшін резервтік жүйе қажет. Егер жүйенің бір бөлігі істен шықса, резервтік бөлік оның орнына келуі керек. Оқшаулау бағдарламалық немесе адам факторынан туындаған кез келген ақауларға қарамастан, қателерге төзімді болуы тиіс. Жүйенің бөліктерін оқшаулаудың бір жолы – Xen сияқты виртуалды машина мониторларын пайдалану. Виртуалды машина мониторлары физикалық машинада көптеген виртуалды машиналарды іске қосуға мүмкіндік береді, ал егер бір виртуалды машинада мәселе туындаса, физикалық машинаны қайта іске қоспай, оны қайта іске қосуға болады немесе тоқтатып, басқасы оның орнын басады.

Жүйелік қайтаруды қолдау

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

Интегралды диагностикалық қолдау

Интегралды диагностикалық қолдау – қалпына келтіруге бағытталған компьютерде болуы тиіс тағы бір қасиет. Бұл жүйе жүйелік қатенің түпкі себебін анықтай білуі керек. Осыны анықтағаннан кейін, жүйенің басқа бөліктеріне әсер етпеу үшін қатені шектеуге немесе оны жөндеуге қабілетті болуы керек. Жүйенің барлық компоненттері мен модульдері өзін-өзі тексеруден өтуі керек; ол өзінде қандай да бір ақау бар екенін білуі тиіс. Модульдер өзіндегі мәселелерді анықтаумен қатар, оларға тәуелді басқа модульдердің жұмысын да растай білуі керек. Сондай-ақ жүйе модульдердің, ресурстардың және пайдаланушы сұраныстарының жүйе бойынша өзара байланысын қадағалауы керек. Бұл қателерді оқшаулауға мүмкіндік береді.

Онлайн тексеру және өндіріп алу тетіктері

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

Модульділік, өлшеуге қабілеттілік және қайта іске қосу мүмкіндігі

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

Салыстырмалы көрсеткіштер

Бұл жүйелердің сенімділігі мен қолжетімділігін олардың пайдалылығын және қолданылуын негілеу үшін үнемі салыстырып тексеру қажет, осы арқылы олардың прогресін бақылау керек. Мұндай салыстырулар қайта жасалатын, жүйенің сенімділігіне, тұрақтылығына және қолжетімділігіне объективті баға беруге мүмкіндік беруі тиіс.