Джинкс Отладчик

Jinx представлял собой параллельный отладчик , который детерминированно контролировал чередование рабочих нагрузок между ядрами процессора, уделяя особое внимание взаимодействиям с общей памятью. Используя этот детерминистический подход, Jinx стремилась увеличить частоту возникновения неуловимых ошибок общей памяти, иногда называемых Heisenbugs . Джинкс больше не доступен. Компания Corensic, разрабатывавшая Jinx, была куплена F5 Networks , и проект Jinx был закрыт.

Джинкс работал, динамически создавая набор потенциальных чередований (т. е. альтернативных событий или сценариев выполнения, которые возникнут при некоторых будущих условиях), которые с наибольшей вероятностью приведут к ошибкам параллелизма, и быстро протестировал эти пути выполнения, чтобы выявить проблемы параллелизма, такие как взаимоблокировки. , состояния гонки и нарушения атомарности, обнаруженные в многопроцессорных приложениях.

В отличие от средств проверки моделей, Jinx не требовал указания спецификации модели. В отличие от методов динамического и статического анализа кода, Jinx отличался отсутствием ложных срабатываний (ложных отчетов об ошибках). Это произошло потому, что Jinx тестировала сценарии, которые могут оказаться ошибками, а не просто делала выводы об этих сценариях путем анализа исходного кода или наблюдения за выполнением программы.

Jinx был реализован в виде гипервизора , что дало ему возможность наблюдать за влиянием всех элементов программной среды на чередование потоков. Jinx работал независимо от каких-либо языков программирования, библиотек или инструментов потоковой обработки.

Jinx был разработан (ныне несуществующей) компанией Corensic в Сиэтле, штат Вашингтон, на основе исследований, проведенных в Вашингтонском университете. и первоначально представлен на конференции ASPLOS в 2009 году.