Data race detection in z/OS еnvironment

Abstract

Состония гонки – одни из самых неприятных ошибок, с которыми сталкиваются разработчики многопоточных приложений. Данная работа посвящена детекции состояний гонок в приложениях, исполняемых на такой платформе, как Мейнфрейм. Мейнфреймы компании IBM популярны в среде крупного бизнеса, обладают весьма длинной историей и полной обратной совместимостью. Первые многопоточные приложения для этой платформы появились более 20 лет назад, и некоторые из них все еще используются и требуют поддержки. Например, компания EMC поставляет legacy приложения, состоящие из тысяч строк кода, который должен быть свободен от подобных ошибок. Для сокращения расходов и упрощения анализа кода можно использовать детектор. Работа описывает его прототип, основанный на алгоритме Datacollider. Детектор позволяет проверять код, работающий с разделяемой памятью, с помощью увеличения вероятности вхождения в состояние гонки и подготовки окружения приложения к регистрации этого события.

When writing multi-threaded applications, one of the most common problems experienced are data races. This paper describes a way to detect data races in Mainframe environment. IBM Mainframes are the most popular computers for enterprise corporations and their architecture has very long history. For example, multithreading come to mainframe applications more than 20 years ago. Some of them are still running and require maintenance. EMC sells huge applications with thousands lines of HLASM code that has to be supported. To reduce maintenance costs and simplify code analysis data race detector can be used. The paper introduces a prototype based on Datacollider algorithm. The detector allows to check a shared memory for data races by increasing of probability of catching a race.