我在这里提出一个独特的观点来统一异步和同步的概念,即:异步也归入了同步,异步只是同步的一种情况,只是因为既定约束条件的不同导致了同步和异步的区分。
话不多说,直接出我的定义:
所谓同步是指:为了在既定约束条件下获得正确的预期结果、多个自主的角色、随时间变化、为了访问共享的资源、而必须满足的访问时序!
1 既定约束条件:直接举个例子:我希望客户端发起请求后在限定的等待时间内得到响应、我希望客户端发起请求后在未来某个时间得到响应后通知我。其中一个是传统意义上的同步,一个是异步,这里我归为了同步概念的既定约束条件!
2 多个自主角色:理解为多个线程即可
3 随时间变化:一个重要的限定维度!一切都是以时间作为X轴的!我们同步协调的就是时序!
4 共享资源:多个自主角色如果不访问共享资源,谈同步就没有意义了
5 访问时序:这就是我们要实际设计的协调算法,即:合理的使用锁和阻塞来达到我们的正确预期结果!
实际举例:
1 HTTP协议,约束是客户端一个请求后在限定时间内必须得到响应,没得到响应前不能发起第二个请求。
2 MQ,客户端可以多次发消息,在未来某个时间得到响应即可。
以上两种约束导致了同步算法的不同,体现在客户端Connection的使用上的不同(获取连接、发送数据、获得响应等),即同步算法不同!
强调:同步解决的是多线程访问时序问题,和线程等待没有必然关联!
(完)