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:00 38mTalk | 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 Andes Link to publication File Attached | ||
16:38 15mTalk | DDMon: a Monitoring Tool for Distributed Deadlock DetectionLightning Talk Erlang Radosław Jan Rowicki Technical University of Denmark | ||
16:53 15mTalk | Securing Erlang and Elixir applicationsLightning TalkRemote Erlang Melinda Tóth Eötvös Loránd University | ||
17:08 22mDay closing | Closing Remarks Erlang Ákos Hajdu Meta, Kiko Fernandez-Reyes Ericsson, Sweden, Adriana Laura Voinea University of Glasgow, UK | ||
