added mutex_mgr to ji_mutex for release_array_range