DDMon: a Monitoring Tool for Distributed Deadlock DetectionLightning Talk
We present DDMon, a proof-of-concept monitoring tool for distributed black-box deadlock detection in Erlang and Elixir systems based on generic servers (gen_server). DDMon acts as a drop-in replacement for the gen_server module, with minimal user intervention required. When activated, DDMon deploys an invisible monitor alongside each gen_server process; the monitors communicate with each other to detect deadlocks, without introducing centralised bottlenecks. In case of a deadlock, DDMon reports the exact set of deadlocked processes without false positives or false negatives: i.e., DDMon only reports real deadlocks, and if some processes become deadlocked, DDMon will report them. DDMon is the implementation and companion artifact of our work accepted at OOPSLA 2025: “Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation”.
Sun 12 OctDisplayed time zone: Perth change
| 16:00 - 17:30 | Distributed BehaviourErlang at Seminar Room 7 Chair(s): Adriana Laura Voinea University of Glasgow, UK | ||
| 16:0038m Talk | Moving Objects and Behavior Safely in Ad hoc Networks Erlang Juan Camilo Bonet Universidad de los Andes, Mateo Sanabria Universidad de los Andes, Nicolás Cardozo Universidad de los AndesLink to publication File Attached | ||
| 16:3815m Talk | DDMon: a Monitoring Tool for Distributed Deadlock DetectionLightning Talk Erlang Radosław Jan Rowicki Technical University of Denmark | ||
| 16:5315m Talk | Securing Erlang and Elixir applicationsLightning TalkRemote Erlang Melinda Tóth Eötvös Loránd University | ||
| 17:0822m Day closing | Closing Remarks Erlang Ákos Hajdu Meta, Kiko Fernandez-Reyes Ericsson, Sweden, Adriana Laura Voinea University of Glasgow, UK | ||
