Форум программистов, компьютерный форум, киберфорум
Алгоритмы
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
Заблокирован

механизмы синхронизации

14.01.2017, 13:02. Показов 550. Ответов 6

Студворк — интернет-сервис помощи студентам
Есть проблема доступа к совместным ресурсам. Я вот не пойму, это реальная проблема, или она надумана?

Создается такое впечатление, что дезигнеры сами наплодили проблем, и затем сами же пытаются их безуспешно решить.

Пусть есть условная ячейка памяти, которую разные процессы могут инкрементить. Как принято представлять эту модель? Процесс №1 считывает текущее значение из памяти(допустим - это 0), прибавляет к нему единицу, а затем записывает в память получившееся значение вместо предыдущего. Соответственно пока процесс №1 производит операцию сложения, процесс №2 может считать значение памяти, и начать свою операцию сложения. Затем, после того как процесс №1 записал результат(1) в память, процесс № 2 также записывает свой результат(1) в память, и результат 2-х инкрементов -- 1.

Отсюда проистекает необходимость введения механизмов блокировок, которые, в свою очередь порождают уже другие проблемы.

Это все выглядит уродливо, как кровавое месиво.

Давайте посмотрим на это с другой стороны.

Есть условная ячейка, к которой имеет доступ только один процесс, который умеет ее инкрементить. Остальные процессы могут послать сообщения этому процессу, с "просьбой" инкрементации. При этом, эти мессенджеры абстрагированны от текущего значения счетчика, нет нужды считывать значения и производить собственные операции над этим значением, их дело -- послать собщение и все. Они не имеют никакого доступа к этой памяти.

То есть, обычная инкапсуляция. И нет никакой проблемы.

Если это так просто, то зачем городить огород? Зачем решать несуществующие проблемы? Может это выгодно всякого рода горе-дезигнерам, делать вид, что существует проблема, нет проблемы -- нет и хлебушка с маслицем?
0
cpp_developer
Эксперт
20123 / 5690 / 1417
Регистрация: 09.04.2010
Сообщений: 22,546
Блог
14.01.2017, 13:02
Ответы с готовыми решениями:

Механизмы инфов (виртуальных помошников)
Здравствуйте. Сейчас заинтересовался темой программирования так называемых инфов. Инфы - это такие виртуальные помощники, обладающие...

Распределённые системы. Как именно реализовываются механизмы масштабируемости?
Пишу простую распределённую систему. Её задача - связать каждый узел с каждым гарантированно за конечное время в том смысле, что, взяв...

Новые механизмы в С++
Задание 1.Продемонстрировать использование лямбда выражений. При этом должно быть реализовано: - захват внешней переменной по...

6
1969 / 825 / 115
Регистрация: 01.10.2012
Сообщений: 4,892
Записей в блоге: 2
14.01.2017, 15:46
Цитата Сообщение от asmquest Посмотреть сообщение
Давайте посмотрим на это с другой стороны.
Есть условная ячейка, к которой имеет доступ только один процесс, который умеет ее инкрементить. Остальные процессы могут послать сообщения этому процессу, с "просьбой" инкрементации.
Не процессы, а "потоки" (threads) у которых общее адресное пр-во. В случае же процессов ничего другого и не остается как слать сообщения. Но и для потоков и для процессов посылка сообщения - весьма дорогая, затратная операция.

Цитата Сообщение от asmquest Посмотреть сообщение
Отсюда проистекает необходимость введения механизмов блокировок, которые, в свою очередь порождают уже другие проблемы.
Здесь грамотно использовать не блокировку, а атомарный инкремент. При этом безопасное увеличение счетчика - всего лишь одна из решаемых задач, часто не главная

Цитата Сообщение от asmquest Посмотреть сообщение
Если это так просто, то зачем городить огород? Зачем решать несуществующие проблемы? Может это выгодно всякого рода горе-дезигнерам, делать вид, что существует проблема, нет проблемы -- нет и хлебушка с маслицем?
Вы бы лучше сначала разобрались, а потом уж дармоедов искали (если не пропадет охота)
2
 Аватар для krapotkin
6849 / 4676 / 1464
Регистрация: 14.04.2014
Сообщений: 20,667
Записей в блоге: 21
14.01.2017, 20:21
прямо интересно, если я дизайнер, то сколько я получу с использования вами синхронизации ? )))
0
Заблокирован
14.01.2017, 20:43  [ТС]
krapotkin, решать проблемы, которые сам же и порождаешь -- самый выгодный бизнес
0
Модератор
Эксперт функциональных языков программирования
3135 / 2282 / 469
Регистрация: 26.03.2015
Сообщений: 8,884
15.01.2017, 04:17
Цитата Сообщение от asmquest Посмотреть сообщение
Это все выглядит уродливо
Почему это выглядит более уродливо, чем отправка сообщений?
И почему Вы считаете, что Ваша функция отправки сообщений не использует внутри себя блокировки?
0
Заблокирован
15.01.2017, 08:37  [ТС]
Цитата Сообщение от Shamil1 Посмотреть сообщение
И почему Вы считаете, что Ваша функция отправки сообщений не использует внутри себя блокировки?
это не важно, использует или не использует. Если мы все говно убрали на уровень реализации, все ок
0
1969 / 825 / 115
Регистрация: 01.10.2012
Сообщений: 4,892
Записей в блоге: 2
15.01.2017, 12:45
Цитата Сообщение от asmquest Посмотреть сообщение
это не важно, использует или не использует. Если мы все говно убрали на уровень реализации, все ок
Такая замена совсем не адекватна (или не эквивалентна), ф-ционал существенно отличается. Псевдокод
C++
1
2
3
4
atomic<int> theCount;
..
int slot = ++theCount;
CalculateSlot(slot);
Этот код безопасен при выполнении 2 и более нитками, каждая получит свой slot, и каждый slot будет получен ровно 1 раз. А с посылкой ничего подобного Вы не достигнете
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
raxper
Эксперт
30234 / 6612 / 1498
Регистрация: 28.12.2010
Сообщений: 21,154
Блог
15.01.2017, 12:45
Помогаю со студенческими работами здесь

Механизмы онлайн игр
Как в онлайн играх происходит одновременое отображение действий персонажа, к примеру, на всех экранах играющих? Игрок, к примеру,...

Механизмы репликации базы
Привет. Подскажиет как работают механизмы репликации. Задача такая: есть табличка, там поля id и verStamp, id - соответственно...

Механизмы передачи параметров
Составить алгоритм и программу, реализующую разные механизмы передачи параметров, на примере нахождения значений функций: 1) Функция...

Механизмы Access в своей программе
я делаю на C# программу для загрузки текста метод db.table.Rows.Add(drAddedRow); на маленьких файлах(100) все работает на средних...

Механизмы создания макросов и функционалов
Используя макросы и функции высших порядков (функционалы), составить программу, способную к динамическому само модификации, с гибкой...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
7
Ответ Создать тему
Новые блоги и статьи
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами
8Observer8 20.02.2026
Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .
Конвертировать закладки radiotray-ng в m3u-плейлист
damix 19.02.2026
Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .
Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI
Eddy_Em 18.02.2026
Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .
Камера Toupcam IUA500KMA
Eddy_Em 12.02.2026
Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу
zbw 12.02.2026
И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.
«Знание-Сила»
zbw 12.02.2026
«Знание-Сила» «Время-Деньги» «Деньги -Пуля»
SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров
8Observer8 12.02.2026
Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .
SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image)
8Observer8 11.02.2026
Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru