digital_filter_mutex