2018-03-04 15:09:32 +00:00
|
|
|
require_relative '../../spec_helper'
|
2017-05-07 12:04:49 +00:00
|
|
|
|
|
|
|
describe "Mutex#synchronize" do
|
|
|
|
it "wraps the lock/unlock pair in an ensure" do
|
|
|
|
m1 = Mutex.new
|
|
|
|
m2 = Mutex.new
|
|
|
|
m2.lock
|
|
|
|
synchronized = false
|
|
|
|
|
|
|
|
th = Thread.new do
|
2019-07-27 12:40:09 +02:00
|
|
|
-> do
|
2017-05-07 12:04:49 +00:00
|
|
|
m1.synchronize do
|
|
|
|
synchronized = true
|
|
|
|
m2.lock
|
|
|
|
raise Exception
|
|
|
|
end
|
|
|
|
end.should raise_error(Exception)
|
|
|
|
end
|
|
|
|
|
|
|
|
Thread.pass until synchronized
|
|
|
|
|
|
|
|
m1.locked?.should be_true
|
|
|
|
m2.unlock
|
|
|
|
th.join
|
|
|
|
m1.locked?.should be_false
|
|
|
|
end
|
2018-11-27 20:38:57 +00:00
|
|
|
|
|
|
|
it "blocks the caller if already locked" do
|
|
|
|
m = Mutex.new
|
|
|
|
m.lock
|
2019-07-27 12:40:09 +02:00
|
|
|
-> { m.synchronize { } }.should block_caller
|
2018-11-27 20:38:57 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
it "does not block the caller if not locked" do
|
|
|
|
m = Mutex.new
|
2019-07-27 12:40:09 +02:00
|
|
|
-> { m.synchronize { } }.should_not block_caller
|
2018-11-27 20:38:57 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
it "blocks the caller if another thread is also in the synchronize block" do
|
|
|
|
m = Mutex.new
|
|
|
|
q1 = Queue.new
|
|
|
|
q2 = Queue.new
|
|
|
|
|
|
|
|
t = Thread.new {
|
|
|
|
m.synchronize {
|
|
|
|
q1.push :ready
|
|
|
|
q2.pop
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
q1.pop.should == :ready
|
|
|
|
|
2019-07-27 12:40:09 +02:00
|
|
|
-> { m.synchronize { } }.should block_caller
|
2018-11-27 20:38:57 +00:00
|
|
|
|
|
|
|
q2.push :done
|
|
|
|
t.join
|
|
|
|
end
|
|
|
|
|
|
|
|
it "is not recursive" do
|
|
|
|
m = Mutex.new
|
|
|
|
|
|
|
|
m.synchronize do
|
2019-07-27 12:40:09 +02:00
|
|
|
-> { m.synchronize { } }.should raise_error(ThreadError)
|
2018-11-27 20:38:57 +00:00
|
|
|
end
|
|
|
|
end
|
2017-05-07 12:04:49 +00:00
|
|
|
end
|