# banker's algorithm