0

У меня в приложении есть модуль с настройками, где каждый параметр представлен std::atomiс. Сейчас я начал задавать каждому такому параметру memory_order и например вместо station_id_ приходится писать station_id_.load(std::memory_order_relaxed). Т.к. таких обращений в коде очень много, это очень сильно стало раздувать код. Есть ли в С++ какой-то механизм который позволит задавать memory_order при инициализации объекта std::atomiс?

4
  • механизм наследования?) 6 авг 2019 в 14:51
  • 1
    Не уверен, что это хорошая идея. Во первых это может запутать людей, которые этот код читают. Во вторых с трудом представляются сценарии, где для экземпляра атомика везде будет стоять одинаковое слабое. И если вы где-то забудете поменять дефолтное сейчас, программа будет чуть медленней работать, а если поставить дефолтные слабое требование и забыть его поменять, будет неприятный плавающий баг. 6 авг 2019 в 15:01
  • Ввести свой тип с переопределенными оператороми присваивания и приведения типа, инкапсулирующий atomic?
    – Chorkov
    6 авг 2019 в 15:13
  • @Chorkov тут появляется вопрос про оверхэда. Во-первых, это однозначно больше по памяти (я в ней немного ограничен в этом проекте, хоть и не сильно). Во-вторых т.к. это оператор доступа к элементу то увеличение времени доступа даже на 1 такт будет катастрофой и нивелируют всю прибыль, которую я пытаюсь тут наивно получить от использования смены модели доступа к памяти (компиляторы не всегда инлайнят функции доступа). Я сейчас думаю над коментарием Дмитрий Зиненко. Ему удалось посеять зерно сомнения в мои мысли =)
    – Rivand
    6 авг 2019 в 15:25

1 ответ 1

1

Нельзя. Потому что нет никакого порядка по умолчанию у атомарных объектов. Есть порядок по умолчанию для конкретных операций, который зашит в интерфейсе соответствующих функций. Разумеется, по умолчанию всегда используется порядок, который не вызовет удивления у пользователя при использовании этих операций.

Любой порядок, отличный от последовательной согласованности, никогда не должен являться порядком по умолчанию, т.к. порождает неинтуитивное поведение. Поэтому нет никакого смысла делать класс std::atomic, в котором поведение по умолчанию разрешалось бы менять. Более того, load(std::memory_order_relaxed) это не захламление кода и информационный шум, наоборот — это хороший индикатор того, что к коду возможно стоит приглядеться. А вот если всё это скрыть, то специалист, который [может] будет искать баг связанный с многопоточностью, просто не заметит, что никакой синхронизации не происходит.

1
  • Забавный факт. Когда вы написали свой ответ, я читал очень хорошую статью о том как работает std::atomic на scrutator.me. Смотрю на ваш ник, и понимаю, что видел его где-то 2 минуты назад, но не могу вспомнить где. А потом до меня доходит что я читаю вашу статью =)
    – Rivand
    7 авг 2019 в 6:07

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.