search

geraintpalmer / DetectingDeadlockInQingNetworkSimulation

0 stars 0 forks source link

How do simul8, simpy etc handle deadlock #1

Open drvinceknight opened 9 years ago

drvinceknight commented 9 years ago

Perhaps look at a dummy example in each.

geraintpalmer commented 9 years ago

Simul8 does not have deadlock detection. When deadlock happens, the clock is automatically set to the max simulation time.

drvinceknight commented 9 years ago

I don't understand. How does it not have deadlock detection if it knows when it happens? (And automatically set the clock to max sim time).

On Mon, Jun 15, 2015 at 11:40 AM Geraint Palmer notifications@github.com wrote:

Simul8 does not have deadlock detection. When deadlock happens, the clock is automatically set to the max simulation time.

— Reply to this email directly or view it on GitHub https://github.com/geraintpalmer/DetectingDeadlockInQingNetworkSimulation/issues/1#issuecomment-112015199 .

geraintpalmer commented 9 years ago

http://www.argesim.org/uploads/tx_compdb/simul8_24_39.pdf

"The insight we got was that there is no explicit deadlock detection but the event handler sets the simulation time to the final value."

I have verified this through building a simple network that'll reach deadlock. I'm guessing when a blockage happens it sets the next event time as max sim time for the blocked node. Deadlock happens when all nodes have next event time as max event time.

drvinceknight commented 9 years ago

Cool, makes sense :)

On Mon, Jun 15, 2015 at 11:58 AM Geraint Palmer notifications@github.com wrote:

http://www.argesim.org/uploads/tx_compdb/simul8_24_39.pdf

"The insight we got was that there is no explicit deadlock detection but the event handler sets the simulation time to the final value."

I have verified this through building a simple network that'll reach deadlock. I'm guessing when a blockage happens it sets the next event time as max sim time for the blocked node. Deadlock happens when all nodes have next event time as max event time.

— Reply to this email directly or view it on GitHub https://github.com/geraintpalmer/DetectingDeadlockInQingNetworkSimulation/issues/1#issuecomment-112017755 .