Java 中的纤程库 – Quasar

Posted 张伯雨

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了Java 中的纤程库 – Quasar相关的知识,希望对你有一定的参考价值。

来源:鸟窝,

colobu.com/2016/07/14/Java-Fiber-Quasar/

如有好文章投稿,请点击 → 这里了解详情


最近遇到的一个问题大概是微服务架构中经常会遇到的一个问题:


服务 A 是我们开发的系统,它的业务需要调用 B、C、D 等多个服务,这些服务是通过http的访问提供的。 问题是 B、C、D 这些服务都是第三方提供的,不能保证它们的响应时间,快的话十几毫秒,慢的话甚至1秒多,所以这些服务的Latency比较长。幸运地是这些服务都是集群部署的,容错率和并发支持都比较高,所以不担心它们的并发性能,唯一不爽的就是就是它们的Latency太高了。



系统A会从Client接收Request, 每个Request的处理都需要多次调用B、C、D的服务,所以完成一个Request可能需要1到2秒的时间。为了让A能更好地支持并发数,系统中使用线程池处理这些Request。当然这是一个非常简化的模型,实际的业务处理比较复杂。


可以预见,因为系统B、C、D的延迟,导致整个业务处理都很慢,即使使用线程池,但是每个线程还是会阻塞在B、C、D的调用上,导致I/O阻塞了这些线程, CPU利用率相对来说不是那么高。


当然在测试的时候使用的是B、C、D的模拟器,没有预想到它们的响应是那么慢,因此测试数据的结果还不错,吞吐率还可以,但是在实际环境中问题就暴露出来了。


1 概述


最开始线程池设置的是200,然后用HttpUrlConnection作为http client发送请求到B、C、D。当然HttpUrlConnection也有一些坑,比如Persistent Connections、Caveats of HttpURLConnection,跳出坑后性能依然不行。


通过测试,如果B、C、D等服务延迟接近0毫秒,则HttpUrlConnection的吞吐率(线程池的大小为200)能到40000 requests/秒,但是随着第三方服务的响应时间变慢,它的吞吐率急剧下降,B、C、D的服务的延迟为100毫秒的时候,则HttpUrlConnection的吞吐率降到1800 requests/秒,而B、C、D的服务的延迟为100毫秒的时候HttpUrlConnection的吞吐率降到550 requests/秒。


增加http.maxConnections系统属性并不能显著增加吞吐率。


如果增加调用HttpUrlConnection的线程池的大小,比如增加到2000,性能会好一些,但是B、C、D的服务的延迟为500毫秒的时候,吞吐率为3800 requests/秒,延迟为1秒的时候,吞吐率为1900 requests/秒。


虽然线程池的增大能带来性能的提升,但是线程池也不能无限制的增大,因为每个线程都会占用一定的资源,而且随着线程的增多,线程之间的切换也更加的频繁,对CPU等资源也是一种浪费。


切换成netty(channel pool),与B、C、D通讯的性能还不错, latency为500ms的时候吞吐率能达到10000 requests/秒,通讯不成问题,问题是需要将业务代码改成异步的方式,异步地接收到这些response后在一个线程池中处理这些消息。


下面列出了一些常用的http client:


  • JDK’s URLConnection uses traditional thread-blocking I/O.


  • Apache HTTP Client uses traditional thread-blocking I/O with thread-pools.


  • Apache Async HTTP Client uses NIO.


  • Jersey is a ReST client/server framework; the client API can use several HTTP client backends including URLConnection and Apache HTTP Client.


  • OkHttp uses traditional thread-blocking I/O with thread-pools.


  • Retrofit turns your HTTP API into a Java interface and can use several HTTP client backends including Apache HTTP Client.


  • Grizzly is network framework with low-level HTTP support; it was using NIO but it switched to AIO .


  • Netty is a network framework with HTTP support (low-level), multi-transport, includes NIO and native (the latter uses epoll on Linux).


  • Jetty Async HTTP Client uses NIO.


  • Async HTTP Client wraps either Netty, Grizzly or JDK’s HTTP support.


  • clj-http wraps the Apache HTTP Client.


  • http-kit is an async subset of clj-http implemented partially in Java directly on top of NIO.


  • http async client wraps the Async HTTP Client for Java.


这个列表摘自 High-Concurrency HTTP Clients on the JVM,不止于此,这篇文章重点介绍基于java纤程库quasar的实现的http client库,并比较了性能。我们待会再说。


回到我前面所说的系统,如何能更好的提供性能?有一种方案是借助其它语言的优势,比如Go,让Go来代理完成和B、C、D的请求,系统A通过一个TCP连接与Go程序交流。第三方服务B、C、D的Response结果可以异步地返回给系统A。



Go的优势在于可以实现request-per-goroutine,整个系统中可以有成千上万个goroutine。 goroutine是轻量级的,而且在I/O阻塞的时候可以不占用线程,这让Go可以轻松地处理上万个链接,即使I/O阻塞也没问题。Go和Java之间的通讯协议可以通过Protobuffer来实现,而且它们之间只保留一个TCP连接即可。


当然这种架构的修改带来系统稳定性的降低,服务A和服务B、C、D之间的通讯增加了复杂性。同时,因为是异步方式,服务A的业务也要实现异步方式,否则200个线程依然等待Response的话,还是一个阻塞的架构。


通过测试,这种架构可以带来稳定的吞吐率。 不管服务B、C、D的延迟有多久,A的吞吐率能维持15000 requests/秒。当然Go到B、C、D的并发连接数也有限制,我把最大值调高到20000。


这种曲折的方案的最大的两个弊病就是架构的复杂性以及对原有系统需要进行大的重构。 高复杂性带来的是系统的稳定性的降低,包括部署、维护、网络状况、系统资源等。同时系统要改成异步模型,因为系统业务线程发送Request后不能等待Go返回Response,它需要从Client接收更多的Request,而收到Response之后它才继续执行剩下的业务,只有这样才不会阻塞,进而提到系统的吞吐率。


将系统A改成异步,然后使用HttpUrlConnection线程池行不行?


HttpUrlConnection线程池还是导致和B、C、D通讯的吞吐率下降,但是Go这种方案和B、C、D通讯的吞吐率可以维持一个较高的水平。


考虑到Go的优势,那么能不能在Java中使用类似Go的这种goroutine模型呢?那就是本文要介绍的Java纤程库: [Quasar](http://docs.paralleluniverse.co/quasar/)。


实际测试结果表明Go和Netty都是两种比较好的解决方案,而且Netty的性能惊人的好,不好的地方正如前面所讲,我们需要将代码改成异步的处理。线程池中的业务单元用Netty发送完Request之后,不要等待Response, Response的处理交给另外的线程来处理,同时注意不要在Netty的Handler里面处理业务逻辑。要解决的问题就变成如何更高效的处理Response了,而不是第三方系统阻塞的问题。


2 quasar初步


以下介绍Java的另一个解决方案,也就是Java中的coroutine库,因为最近刚刚看这个库,感觉挺不错的,而且用它替换Thread改动较少。


Java官方并没有纤程库。但是伟大的社区提供了一个优秀的库,它就是Quasar。


创始人是Ron Pressler和Dafna Pressler,由Y Combinator孵化。


Quasar is a library that provides high-performance lightweight threads, Go-like channels, Erlang-like actors, and other asynchronous programming tools for Java and Kotlin.


Quasar提供了高性能轻量级的线程,提供了类似Go的channel,Erlang风格的actor,以及其它的异步编程的工具,可以用在Java和Kotlin编程语言中。Scala目前的支持还不完善,我想如果这个公司能快速的发展壮大,或者被一些大公司收购的话,对Scala的支持才能提上日程。


你需要把下面的包加入到你的依赖中:


  • Core (必须) co.paralleluniverse:quasar-core:0.7.5[:jdk8] (对于 JDK 8,需要增加jdk8 classifier)


  • Actor co.paralleluniverse:quasar-actors:0.7.5


  • Clustering co.paralleluniverse:quasar-galaxy:0.7.5


  • Reactive Stream co.paralleluniverse:quasar-reactive-streams:0.7.5


  • Kotlin co.paralleluniverse:quasar-kotlin:0.7.5


Quasar fiber依赖java instrumentation修改你的代码,可以在运行时通过java Agent实现,也可以在编译时使用ant task实现。


通过java agent很简单,在程序启动的时候将下面的指令加入到命令行:


-javaagent:path-to-quasar-jar.jar


对于maven来说,你可以使用插件maven-dependency-plugin,它会为你的每个依赖设置一个属性,以便在其它地方引用,我们主要想使用 ${co.paralleluniverse:quasar-core:jar}:


<plugin>

    <artifactId>maven-dependency-plugin</artifactId>

    <version>2.5.1</version>

    <executions>

        <execution>

            <id>getClasspathFilenames</id>

            <goals>

                <goal>properties</goal>

            </goals>

        </execution>

     </executions>

</plugin>


然后你可以配置exec-maven-plugin或者maven-surefire-plugin加上agent参数,在执行maven任务的时候久可以使用Quasar了。


官方提供了一个Quasar Maven archetype,你可以通过下面的命令生成一个quasar应用原型:


git clone https://github.com/puniverse/quasar-mvn-archetype

cd quasar-mvn-archetype

mvn install

cd ..

mvn archety

以上是关于Java 中的纤程库 – Quasar的主要内容,如果未能解决你的问题,请参考以下文章

nodejs中的fiber(纤程)库详解

Chains (链 )

C高级 跨平台协程库

Swoole系列4.1Swoole协程系统

libco协程库上下文切换原理详解

java 虚拟线程Loom/纤程/轻量级线程和异步编程Future,哪个是未来?