post: peterson's algorithm