title: Detecting race conditions in C-code by static analysis
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: Menshchikov Maksim
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: кандидат физико-математических наук Т.А. Лепихин
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: Candidate of Physics and Mathematics T.A. Lepikhin
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2016-10-10T02:14:36Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2016-10-10T02:14:36Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2016
metadata.name: dc.identifier.other
metadata.value: 013800
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/4541
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: При написании многопоточных приложений гонки при доступе к данным могут стать серьезной проблемой. В работе ставится задача обнаружения состояний гонки в коде на языке C. Для достижения данной цели предлагается статический подход, основанный на алгоритме Lockset с предварительным заданием семантики системных вызовов целевой операционной системы. Приводятся методы и способы реализации синтаксического и семантического разборов, а также полное описание процесса разработки программы, включающее также и примеры реального использования в коммерческой среде.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: Races while accessing shared variables can be a serious problem when writing multithread applications. This qualifying work attempts to solve the problem of race condition detection. Static analysis based on Lockset algorithm with predefined semantics rules is involved for that purpose. Methods and implementation ways for syntax and semantic analysis are shown, as well as full description of development process, including examples of real-world testing in commercial environment.
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: статический анализ
metadata.lang: ru_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: race conditions
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: static analysis
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: c language
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: detection
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Detecting race conditions in C-code by static analysis
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Обнаружение состояний гонки в коде на Cи методом статического анализа
metadata.lang: ru_RU
resources.filename: main.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/4541/1/main.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 538,07 kB
resources.filename: reviewSV_st001010_Lepixin_Timur_Andreevich_(supervisor)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/4541/2/reviewSV_st001010_Lepixin_Timur_Andreevich_%28supervisor%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewSV
resources.size: 2,4 kB
resources.filename: reviewSV_st001010_Lepixin_Timur_Andreevich_(reviewer)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/4541/6/reviewSV_st001010_Lepixin_Timur_Andreevich_%28reviewer%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewRev
resources.size: 2,07 kB