Программная реализация задачи

· В данном фрагменте кода создается процесс «стрелки»:

int main(int argc, char* argv[]) {

hWatchdog = CreateSemaphore(NULL, 0, 1, "watchdog");

// запускаем процессы стрелков

for(int i = 0; i < COUNT; i++) {

processes[i] = startProcess(i);

}

· Создание процесса «офицер»:

PROCESS_INFORMATION startProcess(int index) {

std::stringstream ss;

ss << "Rifleman.exe " << index << " " << COUNT;

STARTUPINFO cif;

ZeroMemory(&cif,sizeof(STARTUPINFO));

PROCESS_INFORMATION pi;

CreateProcess(NULL, (LPTSTR)ss.str().c_str(), NULL,

NULL, FALSE, CREATE_NEW_CONSOLE,

NULL, NULL, &cif, &pi);

return pi;

}

· Взаимодействие двух процессов – «офицер» и «стрелки»:

HANDLE hFirstRiflemanSemaphore =

OpenSemaphore(SEMAPHORE_ALL_ACCESS, FALSE, "rifleman0");

ReleaseSemaphore(hFirstRiflemanSemaphore, 1, NULL);

· Уничтожение процесса «стрелки»:

for(int i = 0; i < COUNT; i++) { // завершаем процессы стрелков

TerminateProcess(processes[i].hProcess, NO_ERROR);

}

return 0;

· Уничтожение процесса «офицер»:

while (1) {

...

else if (GetAsyncKeyState(VK_ESCAPE)) {

break;

}

На рисунке 4 отображено графическое решение задачи о стрелках.

Рисунок 4 – Фрагмент работы программы

ЗАКЛЮЧЕНИЕ

В данной работе были освещены такие темы, как процессы и их взаимодействия, критические секции и принцип их взаимоисключения, а так же рассмотрели алгоритм Деккера и алгоритм Петерсона.

Алгоритм Деккера – первое известное корректное решение проблемы взаимного исключения в конкурентном программировании. Он позволяет двум потокам выполнения совместно использовать неразделяемый ресурс без возникновения конфликтов, используя только общую память для коммуникации. Но алгоритм Деккера неудобен в случае использования более 2 процессов, более удобной будет являться его модификация, известная как алгоритм Петерсона. Одним из преимуществ алгоритма является то, что он не требует специальных Test-and-set инструкций и вследствие этого он легко переносим на разные языки программирования и архитектуры компьютеров. Таким образом, данный алгоритм оптимизирует управление работой многозадачных операционных и многопроцессорных вычислительных систем.

Современные операционные системы предоставляют примитивы синхронизации более общие и гибкие по сравнению с алгоритмом Деккера. Тем не менее, следует отметить, что в случае отсутствия реальной конкуренции между двумя процессами, операции входа в критическую секцию и выхода из неё будут являться очень эффективными при использовании этого алгоритма.

В ходе работы была решена задача "О синхронизации стрелков". В ней было продемонстрировано взаимодействие двух процессов с помощью семафоров, а именно взаимодействие процесса «офицер» и процесса «стрелки».

СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ

1. А. О. Ключев, П. В. Кустарев, Д. Р. Ковязина, Е. В. Петров. Программное обеспечение встроенных вычислительных систем. Учебное пособие. ИТМО. Санкт-Петербург, 2009. 92-95 с.

2. А. А. Безбогов, А. В. Яковлев, Ю. Ф. Мартемьянов. Безопасность операционных систем. Учебное пособие. Издательство «Машиностроение-1». Москва, 2007

3. Э. Таненбаум. Современные операционные системы, 2 издание. Издательство «Питер». Санкт-Петербург, 2002

4. Ю. В. Кочержинская. Курс лекций по дисциплине «Теория вычислительных процессов», 2014г.

5. «Средства коммуникации процессов» - [Электронный ресурс]. URL: http://txt.rushkolnik.ru/docs/index-7896.html (дата обращения 09.12.2014)

Дата добавления: 2014-12-16