异步是一种程序设计的思想，使用异步模式设计的程序可以显著减少线程等待，从而在高吞吐量的场景中，极大提升系统的整体性能，降低请求时延。
同步设计流程
我们假设要做一个转账的业务，即从账户A中转账100元到账户B中，它包含2步：
- 从A的账户中减少100元
- 给B的账户增加100元
我们可以设计2个Service：
- Transfer服务，负责转账，接口是Transfer(A, B, 100)
- Account服务，负责账户管理，接口是Add(A, -100)和Add(B, 100)
转账业务的伪代码如下：
Transfer(accountFrom, accountTo, amount){
Add(accountFrom, -1*amount)
Add(accountTo, 1*amount)
return OK
}
假设Add操作的平均响应时延是50ms，那么我们的Transfer操作平均实验大约是100ms。在实际运行过程中，每处理一次Transfer操作，需要耗时100ms，并且在100ms内需要独占一个线程，即每个线程每秒最多可以处理10次Transfer操作。
假设我们在一个服务器上同时打开的线程数量上限是10000，那么这个服务器每秒可以处理的请求上限是：10000*10 = 100000次。
当客户请求数量超过上限时，请求就需要排队，那么Transfer操作的响应时延变成：排队等待时延+处理时延（100ms），即在大量请求的场景中，我们的服务响应时延增加了。
但是，在这种情况下，服务器的资源并没有被消耗很多，例如CPU、内存、网卡等资源都很空闲，我们的100000个线程大部分时间在等待Add操作返回结果。
上面就是同步设计方式，在这种情况下，整个服务器的所有线程大部分时间都没有在工作，而是在等待。
异步设计流程
对于同样的业务场景，我们来看一下异步方式下的伪代码：
TransferAsync(accountFrom, accountTo, amount, OnComplete){
AddAsync(accountFrom, -1*amount, OnDebit(accountTo, 1*amount, OnAllDone(OnComplete)))
}
OnDebit(amountTo, amount, OnAllDone(OnComplete)){
AddAsync(accountTo, amount, OnAllDone(OnComplete))
}
OnAllDone(OnComplete){
OnComplete()
}
这里TransferAsync和之前的Transfer相比，增加了一个参数，这个参数是一个回调方法OnComplete()。
上面方法的语义：请帮我执行转账操作，当转账完成后，请调用OnComplete（）方法，调用TransferAsync的线程不必等待转账完成就可以立即返回，当转账结束后，OnComplete()方法会被调用来执行后续的工作。
上面代码中，我们定义了2个回调方法：
- OnDebit()：扣减账户accountFrom完成后调用的回调方法
- OnAllDone()：转入账户accountTop完成后调用的回调方法
整个异步操作的语义如下：
- 异步从accountFrom的账户中减去相应的钱数，然后调用OnDebit方法
- 在OnDebit方法中，异步把减去的钱数加到accountTop账户中，然后执行OnAllDone方法
- 在OnAllDone方法中，调用OnComplete方法
采用异步方式后，整个流程的时序和同步实现是完全一样的，区别在于线程模型由同步顺序调用改为异步调用和回调的机制。
由于流程的时序和同步方式相同，在低请求量的场景下，平均响应时延还是100ms，在超高请求量的场景下，异步机制不需要线程等待执行结果，只需要个位数的线程，即可实现同步场景大量线程一样的吞吐量。
在异步模式下，由于没有了线程数量上的限制，总体吞吐量上限会大大超过同步实现，并且在服务器CPU、网络带宽资源达到极限之前，响应时延不会随着请求数量增加而显著升高，几乎可以一直保持100ms左右的响应时延。
异步框架：CompletableFuture
Java语言中常用的异步框架包括CompletableFuture和RxJava，我们主要来看CompletableFuture。
它是Java 8中新增的一个强大的异步编程的类，包括了我们在开发异步程序过程中需要的大部分功能。
针对上述的转账场景，我们来看一下如何使用CompletableFuture实现。
首先定义2个接口：
public interface AccountService {
CompletableFuture<Void> add(int account, int amount);
}
public interface TransferService {
CompletableFuture<Void> transfer(int fromAccount, int toAccount, int amount);
}
然后实现转账功能：
public class TransferServiceImpl implements TransferService {
@Inject
private AccountService accountService;
@Override
public CompletableFuture<Void> transfer(int fromAccount, int toAccount, int amount) {
return accountService.add(fromAccount, -1 * amount)
.thenCompose(v -> accountService.add(toAccount, amount));
}
}
客户端调用TransferService时，可以使用同步方式，也可以使用异步方式：
public class Client {
@Inject
private TransferService transferService;
private final static int A = 1000;
private final static int B = 1001;
public void syncInvoke() throws ExecutionException, InterruptedException {
// 同步调用
transferService.transfer(A, B, 100).get();
System.out.println("转账完成！");
}
public void asyncInvoke() {
// 异步调用
transferService.transfer(A, B, 100)
.thenRun(() -> System.out.println("转账完成！"));
}
}
异步设计的思想：当我们要执行一项比较耗时的操作时，不去等待操作结束，而是给这个操作一个命令：“当操作完成后，接下来去执行什么”。
使用异步编程带来的好处是可以减少或者避免线程等待，只用很少的线程就可以达到超高的吞吐能力。
使用异步编程带来的问题是复杂度增加，代码可读性和可维护性会下降。
网友评论