發送短信: Parameterised linearizability