你好,游客 登录 注册 发布搜索
背景:
阅读新闻

使用Freya构建F# Web服务器

[日期:2017-05-19] 来源:InfoQ   作者: [字体: ]

  Freya 是一个专注于HTTP原语和并发的F# Web框架,其中并不提供模板等接口结构(construct)。在F# eXchange 2017大会上, Marcus Griep介绍了Freya 的核心模型。并展示了多种用于性能和并发的机制,例如与Hopac和Kestrel的集成。

  Freya支持多种托管配置。它可以直接使用dotnet run以自托管应用运行,也可以在Kestrel上运行。Freya同时支持.NET Framework和.NET Core。

  出于性能上的考虑,Griep推荐在Kestrel上运行Freya,这样能有效地利用Kestrel的多种优化机制。根据他所给出的基准测试结果,在ASP.NET上运行经典的“Hello World”应用,耗时6毫秒。对于在Hopac上运行的Freya,耗时13毫秒。而对于F# Async上运行的Freya,则需要26毫秒。

  上面的基准测试表明,相比于F# Async, Hopac 可以显著地提高性能。Hopac使用了一种多线程的协同模式,而非抢占式(preemptive)。协同调度产生更少的上下文切换,进而可更加高效地使用CPU。但是种方式并不适于执行长时间运行的任务,因为这些贯穿始终的任务可能会饿死其它等待执行的任务。

  Freya编程模型意在提供一种对HTTP的安全抽象。Freya计算表达式 是对OWIN状态的抽象 。下面给出一个基本例子,实现获取查询字符串的参数,并返回一个结果:

  let name_ = Route.atom_ "name"

  let name =

  freya {

  // 获取查询字符串参数“name”。

  let! name = Freya.Optic.get name_

  match name with

  | Some name -> return name

  | None -> return "World" }

  let sayHello =

  freya {

  let! name = name

  return Represent.text (sprintf "Hello, %s!" name) }

  Freya machine是一种对决策树的抽象。其中的一个决策表示的是部分HTTP规则,例如“是否存在CORS头部?”。一个完整的决策树中可能包含上百个决策,并且还可进一步扩展。machine同样具有自动优化特性,可裁剪所有与给定配置无关的决策。

  Freya machine还可以使用计算表达式定义。继续上面给出的例子,下面代码中的machine设置了与HelloWorld响应的条件。

  let helloMachine =

  freyaMachine {

  methods [GET; HEAD; OPTIONS]

  handleOk sayHello }

  例子代码的最后部分,绑定machine到route:

  let router =

  freyaRouter {

  resource "/hello{/name}" machine }

  本文使用 StackEdit 编写。

收藏 推荐 打印 | 录入:Cstor | 阅读:
本文评论   查看全部评论 (0)
表情: 表情 姓名: 字数
点评:
       
评论声明
  • 尊重网上道德,遵守中华人民共和国的各项有关法律法规
  • 承担一切因您的行为而直接或间接导致的民事或刑事法律责任
  • 本站管理人员有权保留或删除其管辖留言中的任意内容
  • 本站有权在网站内转载或引用您的评论
  • 参与本评论即表明您已经阅读并接受上述条款
热门评论