6.5 Pmf实现