Верификация алгоритма поддержки транзакционной памяти
Авторы:
Аннотация:
Представлены результаты автоматической верификации одного из алгоритмов программной реализации транзакционной памяти для многоядерных процессоров. В алгоритме была обнаружена и исправлена тонкая ошибка, которая в некоторых специальных случаях могла привести к серьезным программным сбоям.