Spec-Zone.ru › Ruby 3.3

модуль MonitorMixin

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

Дополнительную информацию о общих принципах можно найти на странице Википедии для Мониторов.

Примеры

Простой object.extend

require 'monitor.rb'

buf = []
buf.extend(MonitorMixin)
empty_cond = buf.new_cond

# consumer
Thread.start do
  loop do
    buf.synchronize do
      empty_cond.wait_while { buf.empty? }
      print buf.shift
    end
  end
end

# producer
while line = ARGF.gets
  buf.synchronize do
    buf.push(line)
    empty_cond.signal
  end
end

Поток-потребитель ожидает, пока поток-производитель не запишет строку в буфер, при этом buf.empty?. Поток-производитель (главный поток) считывает строку из ARGF и записывает её в буфер, а затем вызывает empty_cond.signal для уведомления потока-потребителя о новых данных.

Простой Class include

require 'monitor'

class SynchronizedArray < Array

  include MonitorMixin

  def initialize(*args)
    super(*args)
  end

  alias :old_shift :shift
  alias :old_unshift :unshift

  def shift(n=1)
    self.synchronize do
      self.old_shift(n)
    end
  end

  def unshift(item)
    self.synchronize do
      self.old_unshift(item)
    end
  end

  # other methods ...
end

SynchronizedArray реализует Array с синхронизированным доступом к элементам. Этот Class реализован как подкласс Array, который включает модуль MonitorMixin.

Методы публичного класса

extend_object(obj) Показать исходный код
# File ext/monitor/lib/monitor.rb, line 152
def self.extend_object(obj)
  super(obj)
  obj.__send__(:mon_initialize)
end
Вызывает метод суперкласса
new(...) Показать исходный код
# File ext/monitor/lib/monitor.rb, line 222
def initialize(...)
  super
  mon_initialize
end

Используйте extend MonitorMixin или include MonitorMixin вместо этого конструктора. Обратитесь к примерам выше, чтобы понять, как использовать этот модуль.

Вызывает метод суперкласса

Публичные методы экземпляра

mon_enter() Показать исходный код
# File ext/monitor/lib/monitor.rb, line 169
def mon_enter
  @mon_data.enter
end

Вход в секцию с эксклюзивным доступом.

mon_exit() Показать исходный код
# File ext/monitor/lib/monitor.rb, line 176
def mon_exit
  mon_check_owner
  @mon_data.exit
end

Выход из секции с эксклюзивным доступом.

mon_locked?() Показать исходный код
# File ext/monitor/lib/monitor.rb, line 184
def mon_locked?
  @mon_data.mon_locked?
end

Возвращает true, если монитор заблокирован каким-либо потоком.

mon_owned?() Показать исходный код
# File ext/monitor/lib/monitor.rb, line 191
def mon_owned?
  @mon_data.mon_owned?
end

Возвращает true, если монитор заблокирован текущим потоком.

mon_synchronize(&b) Показать исходный код
# File ext/monitor/lib/monitor.rb, line 200
def mon_synchronize(&b)
  @mon_data.synchronize(&b)
end

Вход в секцию с эксклюзивным доступом и выполнение блока. Выход из секции с эксклюзивным доступом автоматически происходит при выходе из блока. См. пример в MonitorMixin.

Также алиас: synchronize
mon_try_enter() Показать исходный код
# File ext/monitor/lib/monitor.rb, line 160
def mon_try_enter
  @mon_data.try_enter
end

Попытка входа в секцию с эксклюзивным доступом. Возвращает false, если блокировка не удалась.

Также алиас: try_mon_enter
new_cond() Показать исходный код
# File ext/monitor/lib/monitor.rb, line 209
def new_cond
  unless defined?(@mon_data)
    mon_initialize
    @mon_initialized_by_new_cond = true
  end
  return ConditionVariable.new(@mon_data)
end

Создаёт новую MonitorMixin::ConditionVariable, связанную с объектом Monitor.

synchronize(&b)
Алиас для: mon_synchronize
try_mon_enter()

Совместимость со старыми версиями

Алиас для: mon_try_enter
END_OF_DOCUMENT_MARKER

Закрытые методы экземпляра

mon_check_owner() Показать исходный код
# File ext/monitor/lib/monitor.rb, line 241
def mon_check_owner
  @mon_data.mon_check_owner
end
mon_initialize() Показать исходный код
# File ext/monitor/lib/monitor.rb, line 229
def mon_initialize
  if defined?(@mon_data)
    if defined?(@mon_initialized_by_new_cond)
      return # already initialized.
    elsif @mon_data_owner_object_id == self.object_id
      raise ThreadError, "already initialized"
    end
  end
  @mon_data = ::Monitor.new
  @mon_data_owner_object_id = self.object_id
end

Инициализирует MonitorMixin после включения в класс или при расширении объекта с помощью MonitorMixin

Ruby Core © 1993–2022 Yukihiro Matsumoto
Licensed under the Ruby License.
Ruby Standard Library © contributors
Licensed under their own licenses.

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API