Solved a mobility-related deadlock problem, using the new acquire()/release() API for the LADT class. Added a debugging printout to show the (rare) race condition occurring when an agent quickly moves among containers.
Solved a mobility-related deadlock problem, using the new
acquire()/release() API for the LADT class.
Added a debugging printout to show the (rare) race condition occurring
when an agent quickly moves among containers.


ekiwi/jade-mirror,ekiwi/jade-mirror,ekiwi/jade-mirror,ekiwi/jade-mirror