SPSC và FKH chắc chắn