SMP系统理论及实现