|buf1-buf2|如果恒在[m，n]这个区间，（0<m<n）
就是p1向buf1写数据，比p2写数据的次数可以少，但最少不超过m次；也可以多，但做多不能超过n次。反之也成立。
所以：
-m<=buf1-buf2<=n or -m<=buf2-buf1<=n.（ps:根据对称性哦2333）
OS_pv_一点点小记录
原文：https://www.cnblogs.com/dragondragon/p/12633651.html
