Симуляция и верификация распределенных программ при использовании транзакционной памяти. Simulation and verication distributed programs using transactional memory.

Abstract

В данной работе исследована модель симуляции распределенных программ с использованием транзакционной памяти. Показаны особенности модели во время симуляции и дальнейшим этапом верификации. Продемонстрирована модель распределенной системы с использованием WSTM, написанной на языке Promela. Проведен анализ результатов выполнения асинхронных компонентов вычислений. Сделано модельное сравнение распределительной системой TORQUE. При выполнении вычисления задач на кластерных компьютерах проанализирована модель распределения ресурсов между узлами и ее верификация с помощью Spin. In this work, investigate model simulation of distributed programs using transactional memory. Shows the feature of the model during simulation, and proceeds to the next stage of verication. Demonstrated a model of a distributed system using WSTM written in language Promela. The results of the asynchronous computing components has been analyzed. The distribution system TORQUE in model comparison is made. In carrying out computation tasks on clustered computers, the distribution model of the nodes is written and analyzed and verication using Spin.