was的性能优化