Jinx Debugger - Jinx Debugger

Джинкс болды параллельдік түзеткіш жадтың өзара әрекеттесуіне баса назар аудара отырып, процессорлық ядролардағы жүктемелердің өзара әрекеттесуін детерминирленген түрде басқарады. Осы детерминирленген тәсілді қолдана отырып, Jinx кейде деп аталатын жалпыға қол жетімді емес қателіктердің пайда болу жиілігін арттыруға бағытталған Гейзенбугс. Jinx енді жоқ. Jinx-ті дамытатын Corensic компаниясын сатып алды F5 желілері және Jinx жобасы жойылды.[1]

Jinx параллельдік ақауларға әкелуі мүмкін ықтимал өзара байланыстар жиынтығын (яғни баламалы оқиғалар немесе орындалу сценарийлері) динамикалық түрде құру арқылы жұмыс жасады және параллель проблемалары сияқты орындалу жолдарын тез сынап көрді. тығырықтар, жарыс шарттары және атомдықты бұзу көпөңдеу қосымшалар.

Модель дойбыларынан айырмашылығы, Jinx модельдің сипаттамасын қажет етпеді. Айырмашылығы жоқ динамикалық және статикалық кодты талдау әдістері, Jinx-тің жалған позитивтер жасамауымен ерекшеленді (қате туралы қате туралы есептер). Себебі, Jinx сценарийлерді бастапқы кодты талдау немесе бағдарламаның орындалуын қадағалау арқылы шығарудан гөрі қате болуы мүмкін сценарийлерді тексерді.

Jinx ретінде жүзеге асырылды гипервизор оған бағдарламалық ортаның барлық элементтерінің жіптер қатарына әсерін байқауға мүмкіндік береді. Jinx кез-келген бағдарламалау тілінен немесе ағынды кітапханалардан немесе құралдардан тәуелсіз жұмыс істеді.

Jinx-ті Вашингтон университетінде жүргізілген зерттеулер негізінде Сиэтлдегі (қазір жұмыс істемейтін) Коренсик (Вашингтон) компаниясы жасаған.[2] және бастапқыда 2009 жылғы ASPLOS конференциясында ұсынылды.

Әдебиеттер тізімі

  1. ^ Бартош Милевски [@BartoszMilewski] (23 қыркүйек 2014). «@double_thunk Corensic-ті F5 сатып алды, ал Jinx жойылды. Кешіріңіз!» (Tweet) - арқылы Twitter.
  2. ^ http://sampa.cs.washington.edu/sampa/Projects#Deterministic_Shared_Memory_Multiprocessing_.28DMP.29