undefined | Better HN

0 pointssenderista6y ago0 comments

Message passing without selective receive does eliminate deadlocks. See: Pony.

0 comments

Single threaded service a sends a call request to service b, as a part of handling the request, service b requests back to service a. Deadlock.

You may not have control over service b.

signa116y ago

huh :) if you have async-messages without any blocking semantics you are just fine.

dnautics6y ago

My point is just that it's possible to construct one in any system that static analysis will be unable to detect or prevent. If you can construct it, it can also happen by accident.

2 more replies

j / k navigate · click thread line to collapse

0 comments

dnautics6y ago

Single threaded service a sends a call request to service b, as a part of handling the request, service b requests back to service a. Deadlock.

You may not have control over service b.

signa116y ago

huh :) if you have async-messages without any blocking semantics you are just fine.

dnautics6y ago

My point is just that it's possible to construct one in any system that static analysis will be unable to detect or prevent. If you can construct it, it can also happen by accident.

2 more replies

j / k navigate · click thread line to collapse