SMS: The pursuit of deadlock freedom