Hatékony diagnosztikai algoritmusok a multiprocesszoros rendszerek rendszerszintű önellenőrzésében