2018-03-04 10:09:32 -05:00
|
|
|
require_relative '../../spec_helper'
|
2017-05-07 08:04:49 -04:00
|
|
|
require 'thread'
|
|
|
|
|
|
|
|
describe "ConditionVariable#wait" do
|
|
|
|
it "returns self" do
|
|
|
|
m = Mutex.new
|
|
|
|
cv = ConditionVariable.new
|
|
|
|
in_synchronize = false
|
|
|
|
|
|
|
|
th = Thread.new do
|
|
|
|
m.synchronize do
|
|
|
|
in_synchronize = true
|
|
|
|
cv.wait(m).should == cv
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
# wait for m to acquire the mutex
|
|
|
|
Thread.pass until in_synchronize
|
|
|
|
# wait until th is sleeping (ie waiting)
|
|
|
|
Thread.pass while th.status and th.status != "sleep"
|
|
|
|
|
|
|
|
m.synchronize { cv.signal }
|
|
|
|
th.join
|
|
|
|
end
|
2018-08-17 05:51:26 -04:00
|
|
|
|
2018-08-18 02:33:49 -04:00
|
|
|
it "the lock remains usable even if the thread is killed" do
|
2018-08-17 05:51:26 -04:00
|
|
|
m = Mutex.new
|
|
|
|
cv = ConditionVariable.new
|
|
|
|
in_synchronize = false
|
|
|
|
|
|
|
|
th = Thread.new do
|
|
|
|
m.synchronize do
|
|
|
|
in_synchronize = true
|
2018-08-18 02:33:49 -04:00
|
|
|
cv.wait(m)
|
2018-08-17 05:51:26 -04:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
# wait for m to acquire the mutex
|
|
|
|
Thread.pass until in_synchronize
|
|
|
|
# wait until th is sleeping (ie waiting)
|
|
|
|
Thread.pass while th.status and th.status != "sleep"
|
|
|
|
|
|
|
|
th.kill
|
|
|
|
th.join
|
|
|
|
|
2018-08-18 02:33:49 -04:00
|
|
|
m.try_lock.should == true
|
|
|
|
m.unlock
|
2018-08-17 05:51:26 -04:00
|
|
|
end
|
|
|
|
|
2018-08-18 02:33:49 -04:00
|
|
|
it "lock remains usable even if the thread is killed after being signaled" do
|
2018-08-17 05:51:26 -04:00
|
|
|
m = Mutex.new
|
|
|
|
cv = ConditionVariable.new
|
|
|
|
in_synchronize = false
|
|
|
|
|
|
|
|
th = Thread.new do
|
|
|
|
m.synchronize do
|
|
|
|
in_synchronize = true
|
2018-08-18 02:33:49 -04:00
|
|
|
cv.wait(m)
|
2018-08-17 05:51:26 -04:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
# wait for m to acquire the mutex
|
|
|
|
Thread.pass until in_synchronize
|
|
|
|
# wait until th is sleeping (ie waiting)
|
|
|
|
Thread.pass while th.status and th.status != "sleep"
|
|
|
|
|
|
|
|
m.synchronize {
|
|
|
|
cv.signal
|
|
|
|
# Wait that the thread is blocked on acquiring the Mutex
|
|
|
|
sleep 0.001
|
|
|
|
# Kill the thread, yet the thread should first acquire the Mutex before going on
|
|
|
|
th.kill
|
|
|
|
}
|
|
|
|
|
|
|
|
th.join
|
2018-08-18 02:33:49 -04:00
|
|
|
m.try_lock.should == true
|
|
|
|
m.unlock
|
2018-08-17 05:51:26 -04:00
|
|
|
end
|
|
|
|
|
|
|
|
it "supports multiple Threads waiting on the same ConditionVariable and Mutex" do
|
|
|
|
m = Mutex.new
|
|
|
|
cv = ConditionVariable.new
|
|
|
|
n_threads = 4
|
|
|
|
events = []
|
|
|
|
|
|
|
|
threads = n_threads.times.map {
|
|
|
|
Thread.new {
|
|
|
|
m.synchronize {
|
|
|
|
events << :t_in_synchronize
|
|
|
|
cv.wait(m)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
Thread.pass until m.synchronize { events.size } == n_threads
|
|
|
|
Thread.pass while threads.any? { |th| th.status and th.status != "sleep" }
|
|
|
|
m.synchronize do
|
|
|
|
threads.each { |t|
|
|
|
|
# Cause interactions with the waiting threads.
|
|
|
|
# On TruffleRuby, this causes a safepoint which has interesting
|
|
|
|
# interactions with the ConditionVariable.
|
|
|
|
bt = t.backtrace
|
|
|
|
bt.should be_kind_of(Array)
|
|
|
|
bt.size.should >= 2
|
|
|
|
}
|
|
|
|
end
|
|
|
|
|
|
|
|
cv.broadcast
|
|
|
|
threads.each(&:join)
|
|
|
|
end
|
2017-05-07 08:04:49 -04:00
|
|
|
end
|