module MonitorMixin
在并发编程中,监视器 (monitor) 是一个旨在供多个线程安全使用的对象或模块。监视器的定义特征是其方法以互斥方式执行。也就是说,在任何给定时间点,最多只有一个线程可以执行其任何方法。与需要推理更新数据结构的并行代码相比,这种互斥大大简化了对监视器实现的推理。
您可以在 监视器 (Monitors) 的维基百科页面上阅读有关一般原理的更多信息。
示例
简单对象.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? 时等待生产者线程向 buf 中推送一行。生产者线程(主线程)从 ARGF 读取一行并将其推入 buf,然后调用 empty_cond.signal 来通知消费者线程有新数据。
简单类 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。此类实现为 Array 的子类,它包含了 MonitorMixin 模块。
Public Class Methods
Source
# File ext/monitor/lib/monitor.rb, line 222 def initialize(...) super mon_initialize end
请使用 extend MonitorMixin 或 include MonitorMixin 替代此构造函数。请参阅上面的示例,了解如何使用此模块。
调用超类方法
Public Instance Methods
Source
# File ext/monitor/lib/monitor.rb, line 169 def mon_enter @mon_data.enter end
进入互斥段。
Source
# File ext/monitor/lib/monitor.rb, line 176 def mon_exit mon_check_owner @mon_data.exit end
离开互斥段。
Source
# File ext/monitor/lib/monitor.rb, line 184 def mon_locked? @mon_data.mon_locked? end
如果此监视器被任何线程锁定,则返回 true。
Source
# File ext/monitor/lib/monitor.rb, line 191 def mon_owned? @mon_data.mon_owned? end
如果此监视器被当前线程锁定,则返回 true。
Source
# File ext/monitor/lib/monitor.rb, line 200 def mon_synchronize(&b) @mon_data.synchronize(&b) end
进入互斥段并执行块。当块退出时自动离开互斥段。请参阅 MonitorMixin 下的示例。
也别名为: synchronize
Source
# File ext/monitor/lib/monitor.rb, line 160 def mon_try_enter @mon_data.try_enter end
尝试进入互斥段。如果锁定失败,则返回 false。
也别名为: try_mon_enter
Source
# 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
创建一个与 Monitor 对象关联的新 MonitorMixin::ConditionVariable。
私有实例方法
Source
# File ext/monitor/lib/monitor.rb, line 243 def mon_check_owner @mon_data.mon_check_owner end
确保 MonitorMixin 由当前线程拥有,否则引发异常。
Source
# 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。