introduce lock req. 'all_alive', use in leader