Need to initialize @mutex and @proceed before calling start_server() to avoid possible thread-race