Bir thread ancak aşağıdaki durumları sağlıyorsa iyi yapılandırılmıştır diyebiliriz: Her kritik bölge unique bir Lock objesi ile ilişkilendirilmişse, Kritik bölgeye girmek istediğinde objenin lock() metodunu çağırıyorsa Kritik bölgeden çıkarken de unlock() metodunu kullanıyorsa.