【发布时间】:2011-04-01 09:01:41
【问题描述】:
如果我绘制了一个图形来表示对阻塞函数(java 同步方法)的所有可能调用,并且我在这个图形中没有任何循环,我可以确定死锁是不可能的。 petri-nets 不是这样工作的吗?
我不是在寻找这样的答案:使用一些怪物框架等等。
我想用同步方法处理我的多线程。
EDIT1:箭头表示一个类调用另一个类的任何同步方法 EDIT2:klick@这里的例子,显示一个循环
【问题讨论】:
标签: java synchronization deadlock petri-net