使用Scala开发一个DSL来做远程调用-程序员宅基地

问题背景

最近在实施微服务化过程中,发现了一类潜在需求(这就是传说中开发者的敏锐嗅觉=_ =?):


如何快速的来进行远程RPC调用,来进行测试、排查问题?


服务调用方式有两种形式,如下图所示。

0?wx_fmt=png

第一种,传统的方式,服务provider提供SDK,服务consumer在构建环境中引入SDK依赖,并且配置IP:PORT,直连调用。


第二种,改进的方式,服务provider通过平台治理中心来生成SDK,实际就是将API的接口和签名、类定义信息进行统一的schema描述(可以使用proto)后,由平台负责生成SDK,服务consumer可以通过契约schema的方式、或者引入SDK依赖,然后去治理中心订阅服务endpoint的拓扑,来进行调用,这中间的协调者不仅简化了复杂的依赖关系,并且对于依赖的变更,可以有很大的自由度来进行管控。


回到原题,在这种形式下,要发起调用,需要在IDE里或者一些Toolkit来进行,如果是RESTful的HTTP调用,甚至最简陋的可以用wget/curl命令模拟。等等,这么说我要在IDE里专门维护一个project或者专门开发一个toolkit,或者写一个shell脚本?Oh,My god,好像都对快速排查和测试不太友好。



解决方案


我的一个想法是,能够有个Tab自动提示输入的命令行工具直接调?那这样就舒服多了。


解决方案是,前提是我的微服务是用Java语言开发的,使用Scala自带的REPL来做console,引入服务provider的SDK在Classpath下,然后在命令行中调用,摆脱沉重的IDE和需要大量额外开发的Toolkit以及简陋的linux命令。



先名词解释安利下,


  • REPL(Read-eval-print-loop):


交互式的命令行,常见于Python/Ruby等语言原生支持,以及Javascript通过浏览器内置工具支持。


  • Scala:


关键词概括=>兼容Java,类型安全,由JDK编译器作者Martin Odersky创始,函数式编程(FP),OO,优雅的并发模型,较为复杂、灵活的使用方式和高上手门槛的“白领”语言。


  • DSL:


领域特定语言,最简单通俗的理解,诸如2 days ago返回一个前两天的一个Date对象,这看起来就非常DSL。


自行开发的DSL语法结构大致如下:


MSOA {
         on "IP:PORT"} [listserver/desc/call/tojson] classOf[XXXClazz] method(args)


顺畅的读作:微服务(Micro SOA),(可选)在IP:PORT上,

调用XXXClazz的method方法,用args参数,返回结果由REPL保存。


例如,


> val r: GetMediaByAdUnitIdRequest = new GetMediaByAdUnitIdRequest> MSOA call classOf[MediaService] getMediaByAdUnitId(r)


GetMediaByAdUnitIdRequest可以通过import语句和Tab键输入,简单的通过REPL交互式命令行来直接调用,调用完毕,结果缓存到了REPL中,可以使用Scala语言的各种高阶函数、控制语句来操作,很优雅方便不是。


更直观的例子如下图。


0?wx_fmt=png

这个项目的我开源在了github上,源代码可以在这里面找到https://github.com/neoremind/scala-dsl-rpc-client。


一旦有了这样的工具,排查问题、测试调用就方便了很多,直接提高了开发效率。



解决实现深入讲解

github上为了简单,代码我就放在了一个文件中msoaexec.scala。(注意这个工程的某些依赖未开源,因此仅作demo展示)


首先定义一个包命名为msoa,类叫做MSOA,类构造函数含有两个成员变量,第一个是否是online的配置,第二个是一个带有String泛型的Option,默认为空,不为空则为Some("XXX"),扩展自一个trait,叫做UrlDefine。


class MSOA(var isOnline: Boolean = false, var endPoint: Option[String] = None) extends UrlDefine {
         


核心的调用方法如下,就是DSL中的call语法,接收一个Class实例,返回的是这个Class对应的对象。由于要做远程调用,因此这里复用了JDK自带的动态代理,可以通过反射拿到调用上下文信息,包括出入参、调用接口等,然后自行进行RPC,这里不得不说下Scala作为一个函数式编程的新生力军,相比起其纯前辈Haskell和Lisp来说,对于“元编程”的支持不是很强,不过也只能是依托JDK自带的API来做一些工作了。


/**
 * 调用某个微服务
 *
 * @param t 微服务的类型,用classOf[XXX]表示
 * @return 微服务访问代理
 */def call[T](t: Class[T]): T = {
         
    Proxy.newProxyInstance(Thread.currentThread.getContextClassLoader, Array[Class[_]](t), DynamicStubProxy[T](isOnline, endPoint)).asInstanceOf[T]}


然后回到DSL,之所以可以按照类似流式、自然语言的语法来调用,其实是Scala语言支持的,例如一个参数的情况下,可以不写括号(),对象是一等公民,因此语句block的最后一个语句的返回值就是函数的返回值,因此看起来就非常的fluent的不是。


Java中要实例化一个对象,要用new关键词,但是Scala提供了伴生对象(Companion Object),它取消了static,并且本身实现的就是一个单例Singleton对象。因此才可以直接使用MSOA对象,而不用new出来。


/**
 * MSOA微服务化DSL方式调用的伴生对象
 */object MSOA extends MSOA(
  false, Some("")) {
         }


深入刚刚提到的动态代理来看,如下所示,class前面加入case是为了更好的模式匹配,因此默认就会带有一个伴生对象出来,可以看出extends就是实现了JDK的InvocationHandler接口,然后with了两个特质,这相当于Scala提供了一种多重继承的特性。



case class DynamicStubProxy[A](val isOnline: Boolean, var endPoint: Option[String]) extends InvocationHandler with UrlDefine with Constans {
            /**
   * 序列化协议,默认使用protostuff
   */
  private val CODEC: Navi2ProtoCodec = new Navi2ProtoCodec
   /**
   * Processes a method invocation on a proxy instance and returns
   * the result.  This method will be invoked on an invocation handler
   * when a method is invoked on a proxy instance that it is
   * associated with.
   *
   * @param proxy 代理对象
   * @param method 代理方法
   * @param args 方法参数
   * @return 远程访问结果
   
  override def invoke(proxy: Object, method: Method, args: Array[Object]): Object = {
         
    // 获取Stub SDK上的BundleService注解
    val bundle = method.getDeclaringClass.getAnnotation(classOf[BundleService])     // 如果没有设置访问地址的endpoint,则从治理中心获取一个
    if (endPoint.isEmpty || StringUtils.isEmpty(endPoint.get)) {
         
      endPoint = Some(GovernanceHelper.getOneEndPoint(isOnline, bundle, method.getName))
    }     // 构造HTTP请求,包括header以及body,发送POST-HTTP请求到Restful API的服务server
    // 使用Dispatch框架,以及async-http-client和netty做通讯层
    // 返回future回执
    val URL = toServiceUrl(endPoint.get, bundle, method.getName)
    println("Start to call " + URL)
    val req = url(URL).POST
      .addHeader("Content-Type", "application/proto")
      .addHeader("navi2.requestid", "-1")
      .addHeader("navi2.traceid", "9999")
      .addHeader("navi2.spanid", "999")
      .addHeader("navi2.userid", "0")
      .setBody(if (ArrayUtils.isEmpty(args)) new Array[Byte](0) else CODEC.encode(args))
    val response: Future[ResponseWithSC] = Http.configure(_ setConnectionTimeoutInMs CONNECT_TIMEOUT_IN_MILLISECONDS)(MSOARequestHandlerTupleBuilder      (req).build[ResponseWithSC]
      (BytesWithSC))     // 异步非阻塞方式,进行response future的回调,使用模式匹配来打印一些日志
    response onComplete {
         
      case Success(content) => {
         
        printf("Successfully call %s.%s\n", method.getDeclaringClass.getSimpleName, method.getName)
      }
      case Failure(t) => {
         
        throw MSOACallException("An error has occured when calling: " + t.getMessage)
      }
    }     // 等待请求返回后,序列化还原成对象,返回方法
    // 对于http status = 500的响应,还原异常抛出
    Await.result(response, Duration(READ_TIMEOUT_IN_SECONDS, TimeUnit.SECONDS))
    val responseWithSC = response.value.get.get
    if (responseWithSC.statusCode == 200) {
         
      CODEC.decode(responseWithSC.bytes, method.getReturnType).asInstanceOf[Object]
    } else {
         
      val errorInfo = CODEC.decode(responseWithSC.bytes, classOf[ErrorInfo])
      val clazz = Thread.currentThread.getContextClassLoader.loadClass(errorInfo.exceptionType).asInstanceOf[Class[_ <: Throwable]]
      throw ProtoStuffReflect.decode(errorInfo.throwable, clazz)
    }
  } }


实现接口关键字用override,def表示下面是一个函数,参数有三个,分别是被代理接口对象,被调用方法,参数,返回值是个Object。


由于我们内部的msoa框架,会在SDK Stub API的接口上打注解叫做@BundleService,内含该服务的名称、版本信息,因此可以帮助构造RPC调用请求体。


这里的RPC调用采用HTTP RESTful方式,利用了Dispatch这个Scala框架,底层使用了async-http-client,核心的调用语句如下:

val response: Future[ResponseWithSC] = Http.configure(_ setConnectionTimeoutInMs CONNECT_TIMEOUT_IN_MILLISECONDS)(MSOARequestHandlerTupleBuilder      (req).build[ResponseWithSC]
      (BytesWithSC))

Http是一个带有伴生对象的实例,内含apply方法,参数就是MSOARequestHandlerTupleBuilder(req).build[ResponseWithSC](BytesWithSC),这个builder的入参是构造的HTTP Request对象,build函数的参数是一个函数对象,也就是从响应中Response中返回一个对象T,这里的T实际是就是讲一个对象转换为另外一个对象,我们要的是Array[Byte],这样方便后续做反序列化。可以看出,这个就是函数式编程的威力和简介之处,相比Java这种必须带有接口的传入参数,简洁了很多,当然Java8很好的吸收了Scala的这个优势,也可以省略接口了,由编译器做自动推断,也就是lambda表达式了。


使用async-http-client的有点就是纯异步、非阻塞调用,API也是异步的,这就是为什么返回的是一个回执Future,然后利用Scala的模式匹配能力,在future的onComplete方法上做结果匹配,成功了打印,失败了抛异常,注意这里的异常也是一个带有case关键词的伴生对象。


当然我们的调用要做到同步,因此这里用了Await来阻塞住,一旦调用成功即返回,然后拿到成功返回的Array[Byte],也就是HTTP返回的body,做反序列化,这里使用了protobuf技术,最后是服务化框架实现的,对于服务端的异常可以还原到客户端,因此做了一个小分支,如果是HTTP返回码不为200,则尝试还原异常,重新抛出。


case class MSOARequestHandlerTupleBuilder(req: Req) {
         
  def build[T](f: Response => T) =
    (req.toRequest, new MSOAFunctionHandler(f))}


其他的代码这里不做展开,有兴趣的读者可以去github再挖掘。


篇后语


从有这个需求,到完成这个DSL的开发,用时1周左右,期间读了两遍《快学Scala》,真的就是给我这种快速实现上手人量身定做的,使我可以快速入门,虽然暂时还没有时间研究一些Scala实现的名宿,例如Spark,Kafka,但想必为以后也打下了基础。

0?wx_fmt=jpeg

初学的感受总结一下:


1函数是一等公民


正如这句话所说——"Every value is an object in Scala and functions are first class values"。


在函数式编程中,函数就是一等公民,在Scala中函数必须有返回值,即使是空也算个Unit类型。


另外Scala在函数上支持默认参数,带名参数,使用起来也非常方便。


最有意思的一点是,看似是别的语言的操作符重载特性,例如a+b,或者干脆就是内置的操作符,在Scala看来,全是对象,a+b,相当于调用a.+(b)。你调用array(0) = "abc",实际调用的是array.update(0, "abc")。


2高阶函数与集合框架


最典型的例子就是集成框架上的操作,这也就是为什么Spark采用Scala,因为写起实现来太流畅和舒服了。想象一下,用filter、map、foreach等来完成一个Collection的过滤、映射、针对每个输出到文件,一行搞定是多么舒服。


(1 to 9).filter(_ % 2 == 0).map(10 * _).foreach(print _)


可以看出为啥Lisp程序员笑称Java为B&D(Bondage & Disipline 捆绑与管教——SM的一种)的语言,而函数式编程则太优雅了。


还有currying科里化,可以使接受两个参数的函数,变成一个接受一个函数的过程,这无形中可以省去接口定义的冗余。偏函数可以做到固定某几个参数的值。


3再见NPE


这是大名鼎鼎的空指针NullPointerException,使用Option、Some、None来规避,guava也是采用了这种思想来实现其collection框架的。


4再见static


Scala里没有static,取而代之的是伴生对象,默认可以在类前面加入case关键词,表示让编译器自动生成伴生对象,以及apply方法,还可以方便做模式匹配。


5模式匹配


类似switch,然后比这个强大的多,可以在某个对象上做match,类型依次匹配,并且支持apply、unapply、unapplySeq等提取器功能。


def matchTest(x: Any): Any = x match {
         
  case 1 => "one"
  case "two" => 2
  case y: Int => "scala.Int"
  case _ => "many"}


6继承


为了弥补Java中接口只可以有抽象,没有实现以及多重继承的不方便之处,引入了trait,其实JDK8接口里允许实现也是吸取了这个特性。


7隐式转换


以implicit关键字晟敏的带有单个参数的函数,例如在Scala-lib中的Predef中有很多体现,下面就是将一个普通的字符串默认转换为StringOps对象,所以我们就可以用"12345".map(_ + 1)这种来操作字符串了。


@inline implicit def augmentString(x: String): StringOps = new StringOps(x)


8OO特性和兼容Java


Scala是一门给函数式语言和命令式语言搭桥的语言,它同时保有两者的性格。可以把Scala看做基本就是一个在JVM上实现了的Haskell,但一不如Haskell简单,二不如Haskell功能完整。它的发明者Martin Odersky真是编译器的大神,他的Generic Java和javac就是Sun当时选择的方案,同时从pizza这门实验室语言,开发出了Scala,会被编译成为JVM的字节码,这样Scala就可以充分享受Java平台已有的所有成果,并且也同样是类型安全的。


同时简洁的特性也融入到Scala中,试想


case class MyClass(index: Int, name: String)


这个语句等于Java的多少行?


9并发编程


由于函数式编程提倡变量不可变immutable、无side effect以及lazy evaluation,使异步编程变得非常容易。同时Scala提供的Future、Promise等, 和基于Actor模型的akka类库,使得异步、并发编程变得非常容易,无锁,不用JUC那么重,想写出安全的代码容易了许多。


总结一下,上面基本都是开发过程中的一些对于Scala语言的体会和随想,和Java是好兄弟的Scala,其先进性还是非常值得肯定的,另外最近爆出了LinkedIn抛弃Scala,转投Java8,这其中还涉及到商业公司的利益,例如TypeSafe这家Scala的拥有者,anyway,多接触一门语言就对编程多了一份热爱和未知,感受到自己需要进步的还非常的多,路漫漫其修远兮,与君共勉。 


640?wx_fmt=png


版权声明:“并发编程网”所推送文章,除非确实无法确认,我们都会注明作者和来源。部分文章推送时未能与原作者取得联系。若涉及版权问题,烦请原作者联系我们,我们会在24小时内删除处理,谢谢!^_^15701189222


640?wx_fmt=jpeg
微信号:并发编程网
长按、关注
640?wx_fmt=png 640?wx_fmt=jpeg


版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/ifeves/article/details/102606213

智能推荐

什么是内部类?成员内部类、静态内部类、局部内部类和匿名内部类的区别及作用?_成员内部类和局部内部类的区别-程序员宅基地

文章浏览阅读3.4k次,点赞8次,收藏42次。一、什么是内部类?or 内部类的概念内部类是定义在另一个类中的类;下面类TestB是类TestA的内部类。即内部类对象引用了实例化该内部对象的外围类对象。public class TestA{ class TestB {}}二、 为什么需要内部类?or 内部类有什么作用?1、 内部类方法可以访问该类定义所在的作用域中的数据,包括私有数据。2、内部类可以对同一个包中的其他类隐藏起来。3、 当想要定义一个回调函数且不想编写大量代码时,使用匿名内部类比较便捷。三、 内部类的分类成员内部_成员内部类和局部内部类的区别

分布式系统_分布式系统运维工具-程序员宅基地

文章浏览阅读118次。分布式系统要求拆分分布式思想的实质搭配要求分布式系统要求按照某些特定的规则将项目进行拆分。如果将一个项目的所有模板功能都写到一起,当某个模块出现问题时将直接导致整个服务器出现问题。拆分按照业务拆分为不同的服务器,有效的降低系统架构的耦合性在业务拆分的基础上可按照代码层级进行拆分(view、controller、service、pojo)分布式思想的实质分布式思想的实质是为了系统的..._分布式系统运维工具

用Exce分析l数据极简入门_exce l趋势分析数据量-程序员宅基地

文章浏览阅读174次。1.数据源准备2.数据处理step1:数据表处理应用函数:①VLOOKUP函数; ② CONCATENATE函数终表:step2:数据透视表统计分析(1) 透视表汇总不同渠道用户数, 金额(2)透视表汇总不同日期购买用户数,金额(3)透视表汇总不同用户购买订单数,金额step3:讲第二步结果可视化, 比如, 柱形图(1)不同渠道用户数, 金额(2)不同日期..._exce l趋势分析数据量

宁盾堡垒机双因素认证方案_horizon宁盾双因素配置-程序员宅基地

文章浏览阅读3.3k次。堡垒机可以为企业实现服务器、网络设备、数据库、安全设备等的集中管控和安全可靠运行,帮助IT运维人员提高工作效率。通俗来说,就是用来控制哪些人可以登录哪些资产(事先防范和事中控制),以及录像记录登录资产后做了什么事情(事后溯源)。由于堡垒机内部保存着企业所有的设备资产和权限关系,是企业内部信息安全的重要一环。但目前出现的以下问题产生了很大安全隐患:密码设置过于简单,容易被暴力破解;为方便记忆,设置统一的密码,一旦单点被破,极易引发全面危机。在单一的静态密码验证机制下,登录密码是堡垒机安全的唯一_horizon宁盾双因素配置

谷歌浏览器安装(Win、Linux、离线安装)_chrome linux debian离线安装依赖-程序员宅基地

文章浏览阅读7.7k次,点赞4次,收藏16次。Chrome作为一款挺不错的浏览器,其有着诸多的优良特性,并且支持跨平台。其支持(Windows、Linux、Mac OS X、BSD、Android),在绝大多数情况下,其的安装都很简单,但有时会由于网络原因,无法安装,所以在这里总结下Chrome的安装。Windows下的安装:在线安装:离线安装:Linux下的安装:在线安装:离线安装:..._chrome linux debian离线安装依赖

烤仔TVの尚书房 | 逃离北上广?不如押宝越南“北上广”-程序员宅基地

文章浏览阅读153次。中国发达城市榜单每天都在刷新,但无非是北上广轮流坐庄。北京拥有最顶尖的文化资源,上海是“摩登”的国际化大都市,广州是活力四射的千年商都。GDP和发展潜力是衡量城市的数字指...

随便推点

java spark的使用和配置_使用java调用spark注册进去的程序-程序员宅基地

文章浏览阅读3.3k次。前言spark在java使用比较少,多是scala的用法,我这里介绍一下我在项目中使用的代码配置详细算法的使用请点击我主页列表查看版本jar版本说明spark3.0.1scala2.12这个版本注意和spark版本对应,只是为了引jar包springboot版本2.3.2.RELEASEmaven<!-- spark --> <dependency> <gro_使用java调用spark注册进去的程序

汽车零部件开发工具巨头V公司全套bootloader中UDS协议栈源代码,自己完成底层外设驱动开发后,集成即可使用_uds协议栈 源代码-程序员宅基地

文章浏览阅读4.8k次。汽车零部件开发工具巨头V公司全套bootloader中UDS协议栈源代码,自己完成底层外设驱动开发后,集成即可使用,代码精简高效,大厂出品有量产保证。:139800617636213023darcy169_uds协议栈 源代码

AUTOSAR基础篇之OS(下)_autosar 定义了 5 种多核支持类型-程序员宅基地

文章浏览阅读4.6k次,点赞20次,收藏148次。AUTOSAR基础篇之OS(下)前言首先,请问大家几个小小的问题,你清楚:你知道多核OS在什么场景下使用吗?多核系统OS又是如何协同启动或者关闭的呢?AUTOSAR OS存在哪些功能安全等方面的要求呢?多核OS之间的启动关闭与单核相比又存在哪些异同呢?。。。。。。今天,我们来一起探索并回答这些问题。为了便于大家理解,以下是本文的主题大纲:[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-JCXrdI0k-1636287756923)(https://gite_autosar 定义了 5 种多核支持类型

VS报错无法打开自己写的头文件_vs2013打不开自己定义的头文件-程序员宅基地

文章浏览阅读2.2k次,点赞6次,收藏14次。原因:自己写的头文件没有被加入到方案的包含目录中去,无法被检索到,也就无法打开。将自己写的头文件都放入header files。然后在VS界面上,右键方案名,点击属性。将自己头文件夹的目录添加进去。_vs2013打不开自己定义的头文件

【Redis】Redis基础命令集详解_redis命令-程序员宅基地

文章浏览阅读3.3w次,点赞80次,收藏342次。此时,可以将系统中所有用户的 Session 数据全部保存到 Redis 中,用户在提交新的请求后,系统先从Redis 中查找相应的Session 数据,如果存在,则再进行相关操作,否则跳转到登录页面。此时,可以将系统中所有用户的 Session 数据全部保存到 Redis 中,用户在提交新的请求后,系统先从Redis 中查找相应的Session 数据,如果存在,则再进行相关操作,否则跳转到登录页面。当数据量很大时,count 的数量的指定可能会不起作用,Redis 会自动调整每次的遍历数目。_redis命令

URP渲染管线简介-程序员宅基地

文章浏览阅读449次,点赞3次,收藏3次。URP的设计目标是在保持高性能的同时,提供更多的渲染功能和自定义选项。与普通项目相比,会多出Presets文件夹,里面包含着一些设置,包括本色,声音,法线,贴图等设置。全局只有主光源和附加光源,主光源只支持平行光,附加光源数量有限制,主光源和附加光源在一次Pass中可以一起着色。URP:全局只有主光源和附加光源,主光源只支持平行光,附加光源数量有限制,一次Pass可以计算多个光源。可编程渲染管线:渲染策略是可以供程序员定制的,可以定制的有:光照计算和光源,深度测试,摄像机光照烘焙,后期处理策略等等。_urp渲染管线