title: Data race detection in z/OS еnvironment
metadata.name: dc.contributor.advisor
metadata.value: Терехов Андрей Николаевич
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Ефремов Ростислав Сергеевич
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Efremov Rostislav
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: Доктор физико-математических наук, профессор А.Н.Терехов
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: Doctor of Physics and Mathematics, Professor A.N.Terekhov
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2016-10-10T02:13:12Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2016-10-10T02:13:12Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2016
metadata.name: dc.identifier.other
metadata.value: 012358
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/4313
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: Состония гонки – одни из самых неприятных ошибок, с которыми сталкиваются разработчики многопоточных приложений. Данная работа посвящена детекции состояний гонок в приложениях, исполняемых на такой платформе, как Мейнфрейм. Мейнфреймы компании IBM популярны в среде крупного бизнеса, обладают весьма длинной историей и полной обратной совместимостью. Первые многопоточные приложения для этой платформы появились более 20 лет назад, и некоторые из них все еще используются и требуют поддержки. Например, компания EMC поставляет legacy приложения, состоящие из тысяч строк кода, который должен быть свободен от подобных ошибок. Для сокращения расходов  и упрощения анализа кода можно использовать детектор. Работа описывает его прототип, основанный на алгоритме Datacollider. Детектор позволяет проверять код, работающий с разделяемой памятью, с помощью увеличения вероятности вхождения в состояние гонки и подготовки окружения приложения к регистрации этого события.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: 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.
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.name: dc.subject
metadata.value: Мейнфрейм
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: динамический поиск состояний гонки
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: Mainframe
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: Dynamic Data Race Detection
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Data race detection in z/OS еnvironment
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Поиск состояний гонки в приложениях для операционной системы z/OS
metadata.lang: ru_RU
resources.filename: EFREMOV_THISIS.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/4313/1/EFREMOV_THISIS.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 253,15 kB
resources.filename: reviewSV_st003585_Terexov_Andrej_Nikolaevich_(supervisor)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/4313/2/reviewSV_st003585_Terexov_Andrej_Nikolaevich_%28supervisor%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewSV
resources.size: 5,59 kB
resources.filename: reviewSV_reviewEfremovScan.jpg
resources.url: https://dspace.spbu.ru/bitstream/11701/4313/6/reviewSV_reviewEfremovScan.jpg
resources.format: JPEG
resources.description: ReviewRev
resources.size: 437,69 kB
resources.filename: reviewSV_st003585_Terexov_Andrej_Nikolaevich_(reviewer)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/4313/7/reviewSV_st003585_Terexov_Andrej_Nikolaevich_%28reviewer%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewRev
resources.size: 3,96 kB