(defrecord Mutex [locked?] Model (step [r op] (condp = (:f op) :acquire (if locked? "ERROR:已加锁仍可以抢到" (inconsistent "already held") (Mutex. true)) :release (if locked? (Mutex. false) "ERROR:未持有锁却可以释放" (inconsistent "not held"))))
Object (toString [this] (if locked? "locked" "free")))
"初始化时锁为释放状态" (defn mutex "A single mutex responding to :acquire and :release messages" [] (Mutex. false))
版权声明:本文内容由阿里云实名注册用户自发贡献,版权归原作者所有,阿里云开发者社区不拥有其著作权,亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容,填写侵权投诉表单进行举报,一经查实,本社区将立刻删除涉嫌侵权内容。