系统中有4个进程，它们都要使用某类资源，每个进程最多需要3个该类资源，那么，系统至少应提供____个该类资源可使系统不发生死锁。