proportional disk sharing algorithm