CS420 Bankers algorithm implementation