大厂如何解决分布式事务