hokud: regular mutex is fine for topk for now
hokud: hoku sketch needs a mutex