📄Работа №57889

Тема: Поиск состояний гонки в приложениях, исполняемых в среде ОС z/OS

📝
Тип работы Бакалаврская работа
📚
Предмет программирование
📄
Объем: 40 листов
📅
Год: 2016
👁️
Просмотров: 131
4375 руб.
🛒 Купить работу
Не подходит эта работа?
Закажите новую по вашим требованиям
Узнать цену на написание
ℹ️ Настоящий учебно-методический информационный материал размещён в ознакомительных и исследовательских целях и представляет собой пример учебного исследования. Не является готовым научным трудом и требует самостоятельной переработки.
📋 Содержание 📖 Введение ✅ Заключение 📕 Литература 🔍 Похожие 🛒 Купить

📋 Содержание

Введение 4
1. Обзор 6
1.1. Статический и динамический анализ 6
1.2. Алгоритмы динамического анализа. Алгоритм Лампорта 10
1.3. Алгоритмы динамического анализа. Алгоритм lockset . . 13
1.4. Направления развития алгоритмов динамического поиска состояния гонки 14
1.5. Динамический анализ в среде ОС z/OS: on-the-fly, post¬mortem 16
1.6. Datacollider 21
2. Реализация прототипа детектора 24
2.1. Общая схема поиска состояний гонки 24
2.2. Инициализатор 25
2.3. Обработчик 29
2.4. Анализатор GTF трассы 31
2.5. Пути развития 33
2.6. Тестирование и границы применимости 33
3. Заключение 37
Список литературы

📖 Введение

Многопоточные приложения становятся все более и более распространенными. Однако ошибки, связанные с параллельным исполнением потоков, являются наиболее неуловимыми и сложными для отладки. А для такой платформы как Mainframe все осложняется тем, что очень многие многопоточные приложения для нее являются достаточно старыми, плохо задокументированными. Тем не менее, их надо поддерживать. Поэтому необходима автоматизация поиска возможных ошибок, связанных с параллельным исполнением потоков. Например, для состояний гонки. Состояние гонки - это ситуация, когда два или более потоков в параллельной программе одновременно обращаются к одной структуре данных в общей памяти, между этими обращениями нет принудительного упорядочивания по времени, и хотя бы одно из этих обращений является записью[1, 20].
Специфика операционной системы z/OS и приложений для нее (в частности, продуктов, разрабатываемых компанией EMC) накладывает определенные ограничения и предъявляет следующие требования к детектору:
• Детектор должен иметь возможность исследовать большие приложения (от миллиона строк кода);
• Детектор должен быть способным находить гонки в приложениях, написанных на языке ассемблера HLASM;
• Детектор должен сохранять реентерабельность исследуемого приложения.
Предполагается, что имеется доступ к исходному коду исследуемого приложения.
Искать состояния гонки можно с помощью либо динамического, либо статического анализа. В данной работе подробно рассматривается динамический анализ кода.
Задачами данной работы являются:
• Анализ способов сбора информации о блокировках и операциях с памятью в среде ОС z/OS;
• Изучение подходов к поиску состояний гонки и реализация прототипа детектора состояний гонки, удовлетворяющего заданным требованиям.

Возникли сложности?

Нужна качественная помощь преподавателя?

👨‍🎓 Помощь в написании
🎓 Дипломные 📘 Магистерские 📙 Диссертации 📗 Курсовые 📝 Статьи 📄 ВКР

✅ Заключение

В результате выполнения бакалаврской работы были решены следующие задачи:
• Произведен обзор способов сбора информации о блокировках и операциях с памятью в ОС z/OS;
• Изучены подходы к поиску состояний гонки;
• Был выбран подход к поиску состояний гонки исходя из критериев его принципиальной реализуемости и применимости к ассемблерным программам, исполняемым в среде z/OS, реализован прототип приложения для поиска состояний гонки и протестирован на реальном проекте.
Прототип детектора отвечает следующим требованиям:
• Детектор способен находить гонки в приложениях, написанных на языке ассемблера HLASM;
• Есть возможность исследовать большие приложения (от миллиона строк кода);
• Не требуется аннотирование исследуемой программы;
• Детектор сохраняет реентерабельность исследуемого приложения.
Продемонстрирована применимость подхода Datacollider к исследованию ассемблерных программ, исполняемых среде ОС z/OS

Нужна своя уникальная работа?
Срочная разработка под ваши требования
Рассчитать стоимость
ИЛИ
Поиск аналога

📕 Список литературы

[1] Beckman Nels E. A Survey of Methods for Preventing Race Conditions // Carnegie Mellon School of Computer Science. —
2006. — URL: http://www.cs.cmu.edu/~nbeckman/papers/race_detection_survey.pdf (online; accessed: 12.11.2015).
[2] Boyapati C. Rinard M. A parameterised type system for race-free java programs. — In ACM Conference on Object-Oriented Programming Systems Languages and Applications, 2001.
[3] Dawson Engler Ken Ashcraft. RacerX: effective, static detection of race conditions and deadlocks. — SOSP ’03 Proceedings of the nineteenth ACM symposium on Operating systems principles, 2003.
[4] Eli Pozniansky Assaf Schuster. Efficient On-the-Fly Data Race Detection in Multithreaded C++ Programs. — Concurrency and Computation: Practice Experience - Parallel and Distributed Systems: Testing and Debugging, 2007.
[5] Flanagan C.; Leino K.R.M.; Lillibridge M.; Nelson G.; Saxe R.; Stata J. B. Extended static checking for Java. — Proceedings of the Conference on Programming Language Design and Implementation, 2002. — P. 234-245.
[6] Flanagan C. Freund S. Type-Based Race Detection for Java.— In Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation, 2000. — P. 219-232.
[7] IBM. z/Architecture Principles of Operation. — IBM, 2012.
[8] IBM. High Level Assembler for z/OS z/VM z/VSE Toolkit Feature User’s Guide.-IBM, 2013.
[9] John Erickson Madanlal Musuvathi Sebastian Burckhardt Kirk Olynyk. Effective Data - Race Detection for the Kernel. — USENIX, 2010.
[10] Konstantin Serebryany Timur Iskhodzhanov. ThreadSanitizer - data race detection in practice // WBIA ’09 Proceedings of the Workshop on Binary Instrumentation and Applications.— 2009.— URL: http://static.googleusercontent.com/media/research.google.com/en//pubs/archive/35604.pdf (online; accessed: 21.03.2016).
[11] Lamport Leslie. Time, Clocks, and the Ordering of Events in a Distributed System // Microsoft Research - Turning ideas into reality.— 1978.— URL: http://research.microsoft.com/en-us/um/people/lamport/pubs/time-clocks.pdf (online; accessed: 12.11.2015).
[12] Netzer R. Miller B. What Are Race Conditions? Some Issues and Formalizations. — In ACM Letters On Programming Languages and Systems, 1994. — P. 74-88.
[13] Paul Sack Brian E. Bliss Zhiqiang Ma Paul Petersen Josep Torrellas. Accurate and efficient filtering for the Intel thread checker race detector. — ASID ’06 Proceedings of the 1st workshop on Architectural and system support for improving software dependability, 2006.
[14] Pozniansky E. Schuster A. Efficient On-the-fly Data Race Detection in Multithreaded C++ Programs. — In Proceedings of The Ninth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2003.--P. 179-190.
[15] Savage S. Burrows M. Nelson G. Sobalvarro P. Anderson T. Eraser: A Dynamic Data Race Detector for Multithreaded Programs. -- ACM Transactions on Computer Systems, Vol. 15, No. 4, 1997. — P. 391-411.
[16] Saxena Dawn Song; David Brumley; Heng Yin; Juan Caballero; Ivan Jager; Min Gyung Kang; Zhenkai Liang; James Newsome; Pongsin Poosankam; Prateek. BitBlaze: A New Approach to Computer Security via Binary Analysis // In Proceedings of the 4th International Conference on Information Systems Security
(ICISS).— 2008.— URL: http://bitblaze.cs.berkeley.edu/
papers/bitblaze_iciss08.pdf (online; accessed: 21.03.2016).
[17] Yu Y. Rodeheffer T. Chen W. RaceTrack: Efficient Detection of Data Race Conditions via Adaptive Tracking. — In SOSP, 2005. — P. 221¬234.
[18] А.В Щербаков. Трассировка загрузочного модуля в z/OS // - Математико-механический факультет СПБГУ.— 2014.— URL: se.math.spbu.ru/SE/YearlyProjects/2014/YearlyProjects/2014/444/444-Shcherbakov-report.pdf (дата обращения: 21.03.2016).
[19] А.Ю. Тихонов А.И. Аветисян. Комбинированный (статический и динамический) анализ бинарного кода // Труды Института системного программирования РАН. — 2012.—URL: http://cyberleninka.ru/article/n/
kombinirovannyy-staticheskiy-i-dinamicheskiy-analiz-binarnogo-kc(дата обращения: 21.03.2016).
[20] В.Ю Трифанов. Динамическое обнаружение состояний гонки в многопоточных Java-программах // - Математико-механический факультет СПБГУ. --2013. -- URL: http:
//www.math.spbu.ru/user/dkoznov/papers/vtrifanov.pdf (дата обращения: 12.11.2015).
[21] М.Ю. Кудрин А.С. Прокопенко А.Г. Тормасов. Метод нахождения состояний гонки в потоках, работающих на разделяемой памяти. — ТРУДЫ МФТИ Том 1, № 4, 2009.
[22] Р.С Ефремов. Трассировка многомодульного приложения в среде операционной системы z/OS // - Математико-механический факультет СПБГУ. -- 2015. -- URL: http://se.math.spbu.ru/SE/YearlyProjects/spring-2015/344/344-Efremov-report.pdf/view(дата обращения: 21.03.2016).

🛒 Оформить заказ

⚡ Работу высылаем в течении 5 минут после оплаты.

🔍 ПОХОЖИЕ РАБОТЫ ПО ТЕМЕ

Поиск состояний гонки в приложениях, исполняемых в среде ОС z/OS Бакалаврская работа программирование 2016 г. 4700 руб. Нахождение условий гонки в коде на C методом статического анализа Бакалаврская работа информатика 2016 г. 4340 руб. Нахождение условий гонки в коде на C методом статического анализа. Бакалаврская работа информатика 2016 г. 4780 руб. Разработка средства автоматизированного поиска уязвимостей для вебприложений Бакалаврская работа прикладная информатика 2023 г. 4750 руб. РАЗРАБОТКА МОБИЛЬНОГО ПРИЛОЖЕНИЯ ANDROID ДЛЯ РЕКОМЕНДАТЕЛЬНОЙ СИСТЕМЫ САМОКОНТРОЛЯ ПРОЦЕССА ОБУЧЕНИЯ СТУДЕНТА Дипломные работы, ВКР информационные системы 2019 г. 6500 руб. РАЗРАБОТКА ДИЗАЙНА МОБИЛЬНОГО ПРИЛОЖЕНИЯ ДЛЯ ИНФОРМИРОВАНИЯ О КУЛЬТУРНО-ДОСУГОВЫХ МЕРОПРИЯТИЯХ НА БАЗЕ ОПЕРАЦИОННОЙ СИСТЕМЫ ANDROID Бакалаврская работа дизайн 2021 г. 4700 руб. Усовершенствование проекта системы пожарной сигнализации в ГОУ «Кадетская школа-интернат «Кадетский корпус МЧС» поселок Плотниково Кемеровской области Бакалаврская работа экология и природопользование 2016 г. 5900 руб. ВЛИЯНИЕ ИНТЕРКАЛАЦИИ АТОМОВ 3Л- И 4/-ЭЛЕМЕНТОВ НА СТРУКТУРУ И ФИЗИЧЕСКИЕ СВОЙСТВА ДИХАЛЬКОГЕНИДОВ ПЕРЕХОДНЫХ МЕТАЛЛОВ IV И V ГРУПП Диссертация физика 2018 г. 5740 руб. Динамика состояния туристов при посещении особо охраняемых природных территорий Дипломные работы, ВКР туризм 2018 г. 4900 руб. РЕАЛИЗАЦИЯ ПОИСКА ПО ФОРМУЛАМ В МАССИВАХ МАТЕМАТИЧЕСКИХ ДОКУМЕНТОВ Дипломные работы, ВКР информатика 2019 г. 4900 руб.

📎 БАКАЛАВРСКАЯ РАБОТА ПО ПРЕДМЕТУ «ПРОГРАММИРОВАНИЕ»

Найдено работ: 479

Менеджер паролей с усиленной безопасностью и шифрованием данных Бакалаврская работа программирование 2025 г. 4710 руб. Создание автоматизации управления проектами в условиях многозадачности с интеграцией данных о функционале и договорах (на примере АО «Эр-Стайл СофтЛаб») Бакалаврская работа программирование 2025 г. 3700 руб. Разработка программного обеспечения информационной системы управления заказами ремонтной мастерской Бакалаврская работа программирование 2024 г. 4490 руб. Применение лепестковых диаграмм для снижения размерности признакового пространства Бакалаврская работа программирование 2020 г. 4450 руб. Разработка мобильного приложения обучающей игры Бакалаврская работа программирование 2025 г. 4440 руб. Разработка веб-приложения для оптимизации процессов электронного документооборота Бакалаврская работа программирование 2025 г. 4550 руб. Разработка информационной системы по организациям для справочной службы (на примере ООО «CFS») Бакалаврская работа программирование 2021 г. 4780 руб. Разработка мобильного приложения для учёта сотрудником Центра цифровых компетенций статуса движения документов Бакалаврская работа программирование 2024 г. 4410 руб. Разработка программного обеспечения информационной системы для анализа медицинских данных Бакалаврская работа программирование 2024 г. 4430 руб. Разработка приложения «Конфигуратор ПК» Бакалаврская работа программирование 2023 г. 4900 руб. DESIGN AND DEVELOPMENT OF AN ATTENDANCE SYSTEM Бакалаврская работа программирование 2025 г. 4500 руб. РАЗРАБОТКА БИБЛИОТЕКИ ЧАТОВ ДЛЯ ПЛАТФОРМЫ IOS Бакалаврская работа программирование 2023 г. 4710 руб. РАЗРАБОТКА ТРЕБОВАНИЙ К СИСТЕМЕ АВТОМАТИЗАЦИИ СКОРИНГА СТРОИТЕЛЬНЫХ ПРОЕКТОВ Бакалаврская работа программирование 2024 г. 4610 руб. ИНТЕГРАЦИЯ СИСТЕМЫ ДЛЯ ПРОВЕДЕНИЯ ОПРОСА О СОСТОЯНИИ ПОЛЬЗОВАТЕЛЯ В ПРИЛОЖЕНИЕ ДЛЯ ОКАЗАНИЯ МЕДИЦИНСКИХ УСЛУГ Бакалаврская работа программирование 2022 г. 4570 руб. МОДЕРНИЗАЦИЯ ВЕБ-САЙТА КОМПАНИИ «ИНДОРСОФТ» Бакалаврская работа программирование 2025 г. 4710 руб.
📋 Содержание 📖 Введение ✅ Заключение 📕 Литература 🔍 Похожие 🛒 Купить ⬆️

Оценка стоимости

Это краткая форма заказа. После ее заполнения вы перейдете на полную форму заказа работы

Каталог работ (208935)

Поиск работ


©2026 Cервис помощи студентам в выполнении работ
.