Кіріспе

Есептеу процесі

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

Негізгі түсініктер

Оқиғаларды бақылау оқиғалардың пайда болуын көздерден тұтынушыларға жеткізу үшін логикалық шинаны қолданады, онда оқиға көздері оқиғалардың пайда болуын барлық оқиға тұтынушыларына хабарлайды және оқиға тұтынушылары оқиғалардың пайда болуын қабылдайды. Оқиға шинасы жеке компьютерлік жүйелер сияқты физикалық түйіндер жиынтығында орналасуы мүмкін. Оқиға шиналарының нақты мысалдары X Window System, Microsoft Windows сияқты графикалық жүйелерде, сондай-ақ SDT сияқты дамыту құралдарында кездеседі. Оқиғаларды жинау – талдау үшін сүзгіленген оқиға журналына оқиғалардың пайда болуын жинау процесі. Сүзгіленген оқиға журналы – болашақта маңызды болуы мүмкін оқиғалардың тіркелген жазбалары; егер олар болашақта пайдасыз болса, оқиғалардың тіркелген жазбалары сүзгіленген оқиға журналынан алынып тасталуы мүмкін. Оқиға журналын талдау – оқиғалардың пайда болуын жинақтау немесе оқиғаның пайда болуын хабарлау қажеттігін шешу үшін сүзгіленген оқиға журналын талдау процесі. Оқиғаны хабарлау – оқиға шинасы арқылы оқиғалардың пайда болуын хабарлау процесі. Бақыланатын нәрсе – бақыланатын объект деп аталады; мысалы, қосымша, операциялық жүйе, деректер базасы, аппараттық құралдар және т.б. бақыланатын объектілер болып табылады. Бақыланатын объект оқиғаларды бақылауға мүмкіндік беру үшін оқиға сенсорларымен дұрыс жабдықталуы керек, яғни объект бақыланатын объект болу үшін оқиға сенсорларымен жабдықталуы тиіс. Оқиға сенсорлары – оқиға орын алғанда оқиғаның пайда болуын хабарлайтын сенсорлар. Бір нәрсені бақылағанда, зерттеу әсерін басқару қажет.

Бақыланатын объектілер мен зонд эффектісі

Гейттің айтуынша, объект бақыланғанда оның мінез-құлқы өзгереді. Әсіресе, параллель жұмыс істейтін процестері бар кез келген бір мезгілдегі жүйеде бұл ерекше мәселе тудырады. Себебі, жүйеге сенсорлар қосылғанда процестер басқа ретпен орындалуы мүмкін. Мысалы, егер біз ақауды анықтауға тырыссақ және жүйені бақылау арқылы оның мінез-құлқын өзгертетін болсақ, онда ақау сәтсіздікке алып келмейді; мәнінде, жүйені бақылау арқылы ақауды жасыруға болады. Зонд эффектісі – бақыланатын объект пен құралдарсыз аналогы арасындағы мінез-құлықтың айырмашылығы. Шютцтің сөзінше, зонд эффектісінен аулақ болуға, оны толықтыруға немесе назарда ұстамауға болады. Нақты уақыттық жүйелерде, онда уақтылылық (яғни, жүйенің мерзімдер сияқты уақыт шектеулерін орындау қабілеті) маңызды, болдырмау – жалғыз мүмкіндік. Мысалы, егер біз жүйені сынау үшін құрастырсақ, содан кейін жеткізу алдында құралдарды алып тастасақ, бұл толық жүйеге негізделген көптеген сынақтардың нәтижелерін күштен шығарады. Аз маңызды нақты уақыттық жүйелерде (мысалы, медиаға негізделген жүйелерде) өтемақы, мысалы, өнімділікті сынау үшін қабылдануы мүмкін. Бір мезгілде жұмыс істемейтін жүйелерде назарда ұстамауға болады, себебі орындалу ретіне қатысты мінез-құлық өзгертілмейді.

Оқиғалар журналын талдау

Оқиғалар журналын талдау белсенді дерекқорларда оқиғалар құрамы, жасанды интеллектте хрониканы тану, ал нақты уақыт жүйелерінде – нақты уақыт логикасын бағалау ретінде танылады. Көбінесе оқиғалар журналын талдау үлгілерді анықтау, оқиғалардың пайда болуын сүзу және оқиғалардың пайда болуын біріктіріп, күрделі оқиғалар жасау үшін қолданылады. Әдетте, алгоритмдерден алынған динамикалық бағдарламалау стратегиялары бұрынғы талдаулардың нәтижелерін келешекте пайдалану үшін сақтауға мүмкіндік береді, себебі, мысалы, бір үлгі бірнеше тізбекті талдау кезінде бірдей оқиғалармен сәйкес келуі мүмкін. Басқа фактілерден жаңа фактілерді шығару үшін қолданылатын жалпы ережелерді өңдеуге (мысалы, қорытынды шығару жүйесі) қарағанда, оқиғалар журналын талдау алгоритмдері көбінесе ашкөздік принципімен жұмыс істейді; мысалы, егер күрделі оқиға орын алды деп есептелсе, бұл факт ашкөздік алгоритмде кері қайтарылмайды. Оқиғалар журналын талдау үшін бірнеше механизмдер ұсынылған: соны күйдегі автоматтар, Петри желілері, процедуралық (императивті немесе объектіге бағытталған бағдарламалау тілдеріне негізделген), Бойер-Мур тізбектік іздеу алгоритмінің өңделген нұсқасы және қарапайым уақыт желілері.