Организация добровольных вычислений на платформе BOINC на примере проектов OPTIMA@home и SAT@home

О.С. Заикин, М.А. Посыпкин, А.А. Семёнов, Н.П. Храпов

Статья посвящена вопросам организации проектов добровольных вычислений, базирующихся на платформе BOINC (boinc.berkeley.edu) и предназначенных для решения задач в распределенных средах с низкой интенсивностью обменов между вычислительными узлами. Детали и особенности процесса проиллюстрированы на примере реально функционирующих проектов добровольных вычислений OPTIMA@home и SAT@home. Первый предназначен для решения задач глобальной оптимизации, второй – для решения комбинаторных задач, сведенных к задачам о булевой выполнимости (SAT)...