Вопросы по теме 'mutual-exclusion'

проблема с блокировкой Петерсона в разделяемой памяти
Я реализовал алгоритм Петерсона для взаимного исключения в разделяемой памяти. Я использую разделяемую память между c ++ и java-процессом (используя jni) для связи. Проблема в том, что я все еще как-то вижу состояние гонки. Если я попытаюсь...
966 просмотров

Взаимный алгоритм Петерсона-2
Бесконкурентная сложность двухпроцессного алгоритма Петерсона равна 4 (выполняет 3 двух обращения к памяти совместно используемых регистров в коде входа и один в коде выхода). Как я могу изменить алгоритм 2-proccess Петерсона так, чтобы его...
189 просмотров
schedule 14.10.2021

Замок Петерсона в двоичном дереве
У меня есть некоторые сомнения относительно алгоритма Петерсона в двоичном дереве. Я делаю несколько упражнений из книги «Искусство многопроцессорного программирования» и застрял в главе 2, пример 13: «Другой способ обобщить двухпоточную...
2378 просмотров
schedule 23.09.2021

Что произойдет, если мы изменим порядок команд в алгоритме Петерсона для взаимного исключения?
Я читал об алгоритме Петерсона для взаимного исключения. Затем возник вопрос, что произойдет, если мы изменим порядок первой и второй команд в цикле do ... while? Я не вижу, чтобы что-то происходило, если мы это сделаем ... Кто-нибудь может сказать...
1566 просмотров
schedule 23.10.2021

Алгоритм фильтрации для взаимного исключения: Слабая честность
Я имел в виду примечания к алгоритму этого фильтра: http://cs.nyu.edu/wies/teaching/ppc-14/material/lecture02.pdf В нем говорится, что это обеспечивает слабую справедливость, и некоторые потоки могут быть перехвачены произвольное количество раз....
884 просмотров
schedule 05.06.2022

Как spinlock предотвращает прерывание процесса?
Я прочитал ответ на этом сайте, в котором говорится, что спин-блокировка уменьшает накладные расходы с помощью переключений контекста, и после этого я прочитал утверждение учебника, связанное с этим: Спин-блокировка не позволяет прерывать...
602 просмотров

Ларри, Мо, Керли Взаимное исключение
Постановка задачи: «Ларри, Мо и Керли сажают семена. Ларри выкапывает лунки. Затем Мо кладет семя в каждую лунку. Затем Керли засыпает яму. Есть несколько ограничений синхронизации: Мо не может посадить семя, если не существует хотя...
298 просмотров
schedule 29.08.2022

как моделировать взаимоисключающие атрибуты в UML?
Я работаю над моделью анализа в UML, и я немного застрял, пытаясь представить ограничение на пару атрибутов в диаграмме классов. В следующем классе: +-----------+ | SomeClass | +-----------+ | isFoo | | isBar | | isBaz | | isQuux...
1953 просмотров
schedule 30.01.2023

Взаимное исключение
У меня есть приложение, которое использует коллекцию, в данном случае очередь, из разных потоков. Объект ставится в очередь в одном потоке, а другой удаляется из очереди в другом потоке. Эти действия могут выполняться одновременно, что приведет к...
548 просмотров
schedule 20.02.2023

Взаимное исключение PHP для файла / MySQL, чтение и выполнение операторов из файла с использованием perl
Поэтому мне было интересно, как / если в PHP есть какое-то взаимное исключение при чтении и записи файлов. Вот как я планирую его использовать: Сайт, с которым я работаю, использует платежную службу, которая требует покинуть сервер, что...
540 просмотров
schedule 10.11.2022

Модификация алгоритма Петерсона
Я знаю, что реализация Peterson Algo по умолчанию. предоставляет мне - Взаимное исключение, Прогресс и Ограниченное Ожидание. Обычный алгоритм Петерсона приведен ниже. bool flag[0] = false; bool flag[1] = false; int turn; P0: flag[0] =...
1378 просмотров

Объясните, почему этот алгоритм не гарантирует взаимного исключения
Рассмотрим следующую попытку «занятого ожидания» для алгоритма взаимного исключения. Объясните, почему это не гарантирует взаимного исключения. Я не могу понять, почему это не так, для меня это выглядит так, может кто-нибудь объяснить, почему это не...
194 просмотров
schedule 16.10.2022

Тупик в алгоритме Рикарта-Агравалы, когда логические метки времени совпадают
Я пытаюсь реализовать алгоритм Рикарта-Агравалы для взаимного исключения в распределенной системе. Насколько я понимаю, он использует логическую временную метку...
1558 просмотров

Почему все прерывания должны быть отключены во время работы с семафором?
Я читаю «Концепции операционной системы» Гэлвина. В секции семафора сказано, что все прерывания процессора должны быть отключены при изменении значения семафора . Зачем это нужно?
1079 просмотров

Алгоритм взаимного исключения, использующий только атомарные операции чтения и записи для неизвестного количества процессов и устойчивый к прерыванию процесса
Я пытаюсь придумать алгоритм взаимного исключения, основанный только на атомарном чтении и атомарной записи общей памяти (т.е. без сравнения и замены или подобного). Помимо взаимного исключения и отсутствия взаимоблокировок, он должен выполнять...
134 просмотров
schedule 21.11.2022

Взаимное исключение в MPI (критическая секция)
Я изучаю MPI и делаю программу на C для работы с четырьмя процессами. Каждый процесс имеет доступ к индексу (n), затем он добавляет единицу к этому индексу (обновление), и каждый процесс должен знать последнее вычисленное значение n. Если процесс...
1025 просмотров
schedule 26.07.2023

Как доказать, что параллельный объект линеаризуем?
Есть ли способ доказать, линеаризуем ли объект? Например, для кода ниже. Как доказать, что счетчик линеаризуем? вот алгоритм общего счетчика: CompareAndSet R = new CompareAndSet(0); increment() { Boolean ret; int r; repeat r =...
139 просмотров

Получить блокировку таблицы MySql из PHP-скрипта
У меня есть несколько пользователей, одновременно пытающихся получить доступ к таблице с помощью PHP-скрипта. Вот код: $result = mysql_query("SELECT ID FROM usersPark WHERE isSharing = '1' and email != '$email' and isBooked != 1")...
108 просмотров
schedule 10.04.2024