写点什么

SAM 模式:构建函数响应式前端架构过程中学到的经验

  • 2016-11-17
  • 本文字数:7260 字

    阅读完需:约 24 分钟

在不断发展的 JavaScript 编程领域,响应式编程技术正变得愈加流行。这一系列文章试图向大家介绍该方法目前的进展,介绍各种可用技术,以及该领域产生的变化。从 Elm 等新语言到 Angular 2 对 RxJS 的支持,无论从事什么工作的开发者均有相关新技术可供使用。

InfoQ 的这篇文章已包含在“响应式JavaScript ”系列文章中。你可以订阅 RSS 并在内容更新后获得通知。

主要结论

  • 前端架构师正在快速向着函数响应式(Functional reactive)的模式跃进。
  • 函数式 HTML、单向数据流或单态树(Single state tree)是该模式的重要元素。
  • RxJS 和不可变性的作用被高估了。
  • SAM 模式的不同之处在于,它主要专注于恰当地实现“应用程序状态突变”。
  • 我们可以使用自己惯用的 Web 框架实现 SAM。

现代化用户体验要求所用架构不仅要能持续“响应”用户输入,而且要能对不同类型的环境(好友和玩家、物理传感器、优步司机抵达乘客上车位置的方式…)做出响应。GUI 通过进化已成为广泛、动态的分布式系统中的一个节点,因此会受到从并发到组件失败等各种系统复杂性的影响。

这种情况下,前端架构师正在以为函数响应式模式为目标经历一次重大的转型。各种框架、库,甚至语言层出不穷,它们试图通过积极主动的竞争领导此次转型:

Jean-Jacques 今年二月发布的一篇文章中描述了一种受到React.js 和TLA+ 启发的全新函数响应式模式: SAM 模式

SAM 建议将图形用户界面底层的业务逻辑分为三个概念:操作(Action)、模型(Model)和状态(State)。操作向模型供值,仅模型可以接受这样的值。一旦接受,将通过状态验证所有订阅方,尤其是视图(视图可看作“状态的具体呈现”)已经获得通知。每个事件可作为“步骤”进行处理,步骤可由提议 / 接受 / 学习流所组成。这种概念为事件排序和效果(如后端 API 调用)的处理提供了一个坚实的基础。

SAM 的使用不依赖具体框架,共同打造这一模式的很多社区成员 1 也陆续开发了一系列开发者工具,并通过不同框架编写了大量范例代码,所用框架涵盖了从 Vanilla JavaScript AWS Lambda 等诸多类型。

本文将介绍我们在实现 SAM 模式的过程中学到的经验。本文的目标并不在于比较或评价各种框架或库的优劣,这种类型的比较已经太多了(例如 Matt Raible 的《 Comparing Hot JavaScript Frameworks 》一书)。

本文将主要专注于在前端架构中,能对最终交付成果与现代化最终用户应用程序的可维护性产生直接影响的,实践层面的内容:

  • 编程模型(基于组件的视图、一致性、副作用…)
  • 连接(RxJS)
  • 架构(通用 JavaScript)

我们打算解决哪些问题?

前端编程模型完全基于事件和回调,传统上这些内容是通过观察者模式(Observer pattern)联系在一起的。

例如当我们需要通过鼠标拖拽手势绘制一个矩形时,与鼠标事件有关的句柄应该是这样的:

复制代码
function onMouseDown(event) {
rectangle = { from: event.position, to: event.position }
isMouseDown = true
}
function onMouseMove(event) {
if (isMouseDown) {
rectangle.to = event.position;
draw(rectangle);
}
}
function onMouseUp(event) {
isMouseDown = false
}

然而在状态管理方面依然留下了一个核心问题

回调驱动的代码会显得迟钝,因为事件句柄只能通过状态与系统中的其他东西通信,[因此一般来说] 会遇到并发错误,包括丢弃事件、数据争用与缺乏。

…这会对代码质量产生切实的影响。 Sean Parent 在 2007 年的一份报告中提到,Adobe:

  • 桌面应用程序中有 1/3 的代码被用于事件处理逻辑。
  • 而产品生命周期内上报的所有 Bug 中,有 1/2 位于这些代码中。

来自 EPFL 的 Ingo Maier 和 Martin Odersky提供了一份更详细的问题清单

  • 副作用
  • 封装
  • 可组合性(Composability)
  • 资源管理
  • 关注点分离(Separation of Concern)
  • 数据一致性
  • 均匀性
  • 抽象
  • 语义距离(Semantic Distance)

他们得出的结论是:

用户界面编程领域的很多范例 […] 很难用观察者的方式实现,例如一组项目的选择,在一系列对话框之间的顺序操作,文本的编辑和标记 – 基本上这涵盖了用户执行一系列步骤过程中的每一步操作。

函数响应式编程方法如何解决这一问题?

大体方向是为UI 构造应用一种纯粹的函数响应式方法,其中:

然而显而易见的是:在函数响应式编程模式中,该如何绕过副作用(例如查询和更新)?诸如Cycle.js、Elm,以及某种程度上的 Redux 等框架主要专注于将作用与业务逻辑隔离。Richard Feldman 解释了作用是如何以数据的方式呈现的,以及从功能测试的角度来看,这种方式可提供的收益。SAM 虽然并不强制要求,但也可以支持这样的分隔。然而单元测试(Unit test)的价值还远未得到证实,决定使用单元测试的方法前需要权衡利弊并考虑可能造成的开销。视图与模型之间的函数关系(即函数式HTML )在这方面是如此的强大,可以肯定的是,MVC 模式已经时日无多了。鉴于模板和数据绑定(Data binding)已经成为新的Flash ,业内领先的框架将很快接受这种全新范式,自然而然地实现视图与无状态组件的解耦。

大家必须意识到,函数响应式框架依然在开发过程中,随着努力发现更有效的业务逻辑因子,还可能进行较大规模的重构。仅考虑Redux 社区本身,他们为了解决特定问题所创建的库数量就已大幅增加: redux-sagas redux-gen redux-loop redux-effects redux-side-effects redux-thunks rx-redux redux-rx … 而这甚至并未算上 React 本身、 GraphQL Relay

我们从 SAM 中学到了什么经验?

1. SAM 可以通过你自己惯用的框架来实现

SAM 这种模式本身可以使用大部分流行的前端框架来实现,例如 Angular React

David Fall 提供了一种卓越的双客户端React/Redux 井字棋(Tic-Tac-Toe)实现;就职于 Orange 的 Bruno Darrigues 将 SAM 与 Angular 1.5 配合使用提供了一种 TypeScript 实现;Fred Daoud 提供了一种Cycle.js 实现;Troy Ingram 提供了一种 Knockout.js 实现,还有 Michael Solovyov 的一种Vue.js 实现

更重要的是,我们可以在 Vanilla JavaScript 的基础上实现 SAM 模式。当然,此时需要对跨站点脚本(XSS)付诸更多关注。然而就算React 这样默认Escape 所有值的框架也可能显得很脆弱

2. 语义很重要

SAM 在意图(Intent)和实际的改变(Mutation)之间进行了十分清晰的区分。操作(Action)将值提供给模型(Model),但操作绝对无法控制模型是否产生改变以及如何改变,因为这要求操作必须对整个系统具备全面了解。

例如用户点击了一个按钮。点击操作仅仅代表了用户希望做某事的意图。是否允许执行该操作,以及执行后会发生什么事,这些因素是由模型负责考虑的。

因此 SAM 完全符合软件架构的重要设计原则

  • 关注点分离(Separation of concern):将应用程序拆分为不同的功能,并确保不同部分在功能上的重叠范围尽可能小。此时最重要的因素在于确保交互点(Interaction point)数量保持最小,以实现高内聚和弱耦合。
  • 单一职责(Single Responsibility):每个组件或模块只应承担某一特定功能或特性,或内聚功能的聚合。
  • 最少知识(Least Knowledge):一个组件或对象不应了解其他组件或对象的内部细节。
  • 不要重复自己(Don’t repeat yourself,DRY):只需要在一个位置指定意图。例如在应用程序设计过程中,一个具体的功能只要在一个组件中实现即可,该功能不应重复出现在任何其他组件中。

当然,就算不遵守这些规则也可以写出 Web 应用,然而如果你追求的目标是可维护性、可扩展性,以及可复用性,此时 SAM 将会是一种非常有前景的备选方案。

3. 时间旅行 2.0

Redux 因其时间旅行和实时代码编辑功能而知名。其实SAM 也足够灵活,可以实现类似的功能,并在此基础上进一步提供更多功能。

随着将模型恢复为早先的时点,其状态也会做出响应。如果使用VirtualDOM 库(如React),视图也会对新的状态做出响应。nap() 函数还提供了额外的层。输入新的状态即可触发nap() 函数并可能抛出自己的操作。

因此我们可以使用时间旅行功能测试模型、状态和nap()。 SAM DevTools 还提供了一种实时概念证实的功能。虽然可以返回至某一时点,但无法维持counter == 10 的状态,因为nap() 会立刻触发启动(hasLaunched = true)。

实时代码编辑可通过 webpack 实现。如果使用 React,也可以将 Dan Abramov 的 react-hot-loader 与 SAM 配合使用。该工具还提供了一个服务器端的版本,并已包含在 SAM 的 SAFE 中间件中。

4. 视图可与模型全面解耦

这也许是使用 SAM 所能获得的最大价值。SAM 的一个独特之处在于,不同于 MVx 模式,SAM 模式中的视图是与模型严格隔离的,而这种隔离通常可通过操作和状态函数实现。

V = S(M)
在 SAM 中,状态就是一种纯粹的函数

Thomas J. Buhr解释说

足够好的前端架构应该能让你用尽可能解耦的方式将模块化的函数固定(Pin)至 UI 组件。借此即可按需更换为组件提供支撑的技术,而无须担心影响所有业务逻辑(在已经迟到的下一代框架支配下)

SAM 的模型通常被称之为“应用程序状态”,在 Flux/Redux 中则仅仅被称之为“状态”,模型通常由一组属性值组成。状态函数负责通过模型的属性值构建状态的具体呈现(State Representation)。应用程序的控制状态通常也源自属性值,但并不需要将与视图有关的各类属性也放入模型中。

David Fall 在为自己的井字棋(Tic-Tac-Toe)范例实现“两玩家”对战的过程中解释了这一问题:

可以取消对‘showJoinSessionForm’模型属性的依赖,转为从封装了表单组件的容器组件中推导出可见性。例如可以用一个名为 JoinSession 的状态,如果 gameType === ‘Join Game’,并且 session === undefined,则该状态为 True。组成状态的这两种条件已经足以确定所要显示的表单组件。一旦模型接受了有效的‘session’键,JoinSession 状态将不再为 True,因此不会渲染表单组件。

此外视图也可分解至无状态组件中,这些无状态组件对于要在哪里渲染,以及相关事件如何连接至应用程序的操作全不知情。

SAM 支持(但非强制要求)使用 Virtual-dom 库。这个概念最初是由 React 发扬光大的,随后人们据此开发了很多库,例如 virtual-dom mithril 以及 snabbdom 。Jose Pedro Dias [1] 提供了一种使用Sabbdom 的SAM 实现

5. 通用 JavaScript 亦可毫不费力地实现

SAM 的实现从本质上来说是通用的。该模式的任何元素均可部署在客户端或服务器端,并可按需迁移:

作用可通过操作和模型产生。“博客”范例展示了相同代码(操作、模型、状态)如何以Node.js 形式部署到客户端,甚至以无服务器架构形式部署到 AWS Lambda

对于诸如 Elm、React/Redux 以及 Cycle.js(也受到了 Elm 所用方法的影响)等框架,人们在副作用方面进行了大量的研究。对于这些问题, redux-side-effect 的作者 Greg Weber 解释说:

需要注意的是,redux 受到了 Elm 的启发。在最新版 Elm 中,Reducer 可返回新状态以及作用。[redux-side-effect] 库会在 Javascript 和 Redux 的约束下尽可能模拟 Elm 中的作用处理方式。

redux-effects 库针对下列类型的作用提供了驱动:

  • setTimeout/setInterval/requestAnimationFrame
  • HTTP 请求
  • Cookie get/set
  • 位置(window.location)绑定和设置
  • 生成随机数
  • 抛出操作,作为对 window/document 事件(如滚动 / 调整大小 / 弹出状态等)的回应
  • localStorage 作用驱动
  • 如果 URL 与某一模式相匹配,自动使用状态中存储的凭据对 Fetch 请求进行补充。

另一方面,SAM 并不强制要求进行如此清晰的分隔,而是专注于实现更可靠的应用程序状态变化。SAM 的语义(继承自 TLA+ 符合 Paxos 协议的要求:

操作提供的值由模型接受(或拒绝),状态使得系统了解这些变化。

对于 SAM 来说,状态的变化仅受到模型的控制,对操作和状态本身是不可见的。这意味着需要由操作对允许发起 HTTP 请求的用户意图进行充实(Enrich)和验证,并仅在返回 HTTP 请求的情况下将结果呈现给模型。同理,并没有什么特别的理由需要我们对模型之外的持久层进行更新(例如通过专门的 Elm 任务),因为应用程序状态通常取决于更新结果是否成功或失败,而中间状态的体现(“更新”)可能对用户是无关的,用户只关心最终结果。

当然,在此类代码的可测试性方面还有一些争议,但是,举例来说,我们可以使用诸如 MounteBank 等 API 虚拟化工具(而非构建 Stub)创建受控的可测试环境。

Redux 社区目前已经取得了唯一的压倒性优势,建议使用(有状态)“ Sagas ”以处理副作用。在某种程度上,这个选择让人有些吃惊,毕竟Sagas 并未遵守Redux 和现代化函数响应式前端架构的第一个基本原则,即并没有基于单一状态书树。SAM 的“next-action-predicate(下一步操作预测)”(nap() 函数)提供了类似的能力,尽管它使用了一种函数式(例如无状态)的方法。换句话说,nap() 函数需要依赖应用程序的当前状态(模型的属性值)来决定是否需要触发某个自动化操作。它并不像Sagas 那样会维持自己的状态。当然,“下一步操作”可能需要运行较长时间,并有可能产生副作用,但最终依然能将数据提供给模型。

7. SAM 独一无二的“步骤”概念

Lamport 博士曾解释说:

编程语言未能给程序的步骤提供精确定义的概念。

由于以 TLA+ 为基础,SAM 支持用于对状态的变化进行封装所用的“步骤(Step)”这一概念。SAM 的步骤流始终包含三个阶段:提议(操作)、接受(模型),以及学习(状态 / 视图)。作为对比,在 Elm 的任务 / 命令或 Redux Sagas 中,并不具备有关“步骤”的概念,甚至可在与特定状态转换(如某个操作)无关的情况下随意触发效果。

步骤这一概念使得 SAM 可以支持一般的操作授权和取消机制。这些概念是通过 SAM 的 State Action Fabric Element (SAFE)实现的。

8. 将 RxJs 用作连接机制的做法被高估了

RxJS 是一种流行的库,可用于为 JavaScript 实现响应式扩展。人们现在/ 曾经广泛认为RxJs 和事件流是“连接”诸如 Cycle.js 等框架中不同元素的一种方法:

Cycle.js 实际上就是一种构建响应式 Web 应用的架构:提供了一系列帮你使用 RxJS 确定应用构造的想法。

甚至谷歌的 Angular Team也在使用 ng-rx ”,Netflix 的 Ben Lesh 最近还发布了一个 redux-observable 中间件。

RxJS 的问题在于,连接是通过订阅的形式进行的。当我们创建一个“可观察”的变量后,程序中的部分内容需要进行订阅,而有订阅就必然需要退订。更糟的是,如果对同一个可观测变量订阅两次,实例化过程中通常将需要两个执行线程

最近一篇文章中,André Medeiros 提到:

在 Cycle.js 中,我们只允许 [负责处理作用的] 驱动内部执行 subscribe()。这意味着应用程序 [逻辑] 对订阅完全不知情。当开发者假设来自驱动的每个可观察目标只有一个执行时,应用程序将变得难以理解和调试。

MobX 的创建者Michel Weststrate 补充说:

在管理这些订阅时肯定会出错,可能订阅过量(持续订阅组件中不再使用的值或存储)或订阅不足(忘记侦听更新导致产生不易察觉的老旧 Bug)。

对于基于观察者的编程模型,最常见的问题在于无法理所当然地产生用于接受所提议变化的临界区段(Critical section)。它们太“响应式”了。这使得我们开始再次面对前端架构最初的问题:事件(现在已经封装为可观察目标或流)直接连接至需要通过某种方式对操作进行同步的事件处理方。

作为对比,以TLA+ 为基础的SAM 提供了一系列侧重于决定特定时间“允许”执行哪些操作的语义。SAM 的语义甚至可以在可发起的操作,和已经发起过并能用于提供数据(操作的取消)的操作之间进行明确的区分。这个判断完全基于应用程序的当前状态(始于最后一个步骤),而无须考虑这个状态是通过什么路径到达的。SAM 语义可以帮助我们更容易地推理,因为其语义仅基于“当下”,而不像Rx 或Saga 语义那样需要了解过去(曾订阅的内容)。

结论

前端架构正在快速演化:似乎每周都会出现新的库,以及现有库的常量重构。对函数响应式基础的广泛关注似乎还会继续持续下去,不过我们可能需要对这种方式的真正含义做出更精确的定义。函数式HTML、单向数据流,以及单一状态树等概念已经带来了巨大的价值,而响应式扩展(连接)以及作用的处理似乎还需要进一步研究。在这一过渡过程中,模板和数据绑定似乎还没有什么进展。

和目前所用的方法相比,SAM 提供了三个关键的语义。首先,SAM 要求在提议和接受模型的变化之间进行清晰的分隔(借此简化副作用的管理)。其次,SAM 鼓励开发者将系统事件转换为专门的操作(打造模块化程度更高的代码)。最后,SAM 引入了状态函数这一概念,可通过解释模型的属性值推导出状态的呈现和下一步操作。总的来说,这些语义可以帮助我们控制模型变化的顺序,对于包含在更广泛的动态分布式系统中的GUI,这一点非常重要。

若想进一步了解SAM 模式请访问这里,并在这里下载SAFE 中间件。此外欢迎加入我们在Gitter 上的讨论区

关于本文作者

Gunar C. Gessner是一位软件工程师,过去八年来一直从事着 Web 开发工作。他对于软件质量怀有极高热情,目前主要专注于 JavaScript,并主要使用 ES2016、Node 和 React。他有着电子工程专业工程学士学位,之前的工作主要围绕嵌入式电子设备领域。

** Jean-Jacques Dubray ** 是 xgen.io gliiph 的创始人。过去 15 年来,他一直在构建面向服务的架构和 API 平台。他曾是 HRL 的研究员,以博士学位从普罗旺斯大学(Luminy 校区)毕业,Prolog 语言正是从这里诞生的。同时他也是 BOLT 方法论的发明者。

在不断发展的 JavaScript 编程领域,响应式编程技术正变得愈加流行。这一系列文章试图向大家介绍该方法目前的进展,介绍各种可用技术,以及该领域产生的变化。从 Elm 等新语言到 Angular 2 对 RxJS 的支持,无论从事什么工作的开发者均有相关新技术可供使用。

InfoQ 的这篇文章已包含在“响应式JavaScript ”系列文章中。你可以订阅 RSS 并在内容更新后获得通知。

作者 Gunar C. Gessner, Jean-Jacques Dubray 阅读英文原文 The SAM Pattern: Lessons Learned Building Functional Reactive Front-End Architectures


[1] SAM 社区成员,贡献了大量代码范例 Jose Pedro Dias Fred Daoud Troy Ingram Gunar C. Gessner 、Bruno Darrigues、 Michael Solovyov Son Ngoc ,以及 Robert Blixt、 David Fall

2016-11-17 16:053457
用户头像

发布了 283 篇内容, 共 97.3 次阅读, 收获喜欢 57 次。

关注

评论

发布
暂无评论
发现更多内容

深度解读企业云上办公利器「无影云电脑」

阿里云弹性计算

阿里云 无影云电脑

x86架构应用如何向Arm架构低成本迁移

北京好雨科技有限公司

白话大数据 | 元宇宙来了,但是你了解元数据吗?

星环科技

元数据

Form 表单在数栈的应用(上): 校验篇

袋鼠云数栈

大数据 前端

【量化投资入门】带你通过恒有数数据接口来实战量化指标

恒生LIGHT云社区

量化策略 量化投资 量化交易 量化

阿里云消息队列 2021 新功能新特性重要里程碑

阿里巴巴云原生

kafka 阿里云 RocketMQ 云原生 消息队列

CODING 携手 Thoughtworks 助力老百姓大药房打造“自治、自决、自动”的敏捷文化

CODING DevOps

敏捷 thoughtworks CODING 项目协同 老百姓大药房

Sql server之sql注入篇

喀拉峻

网络安全 信息安全 SQL注入

Web or Native 谁才是元宇宙的未来(上)?

Orillusion

开源 WebGL 元宇宙 Metaverse webgpu

【量化】量化交易入门系列5:量化交易学习书籍推荐(一)

恒生LIGHT云社区

金融科技 量化策略 量化投资 量化交易 量化

如何帮助金融客户“用好云”?

金融 混合云 数智化

如何高效上架HarmonyOS原子化服务?这个平台帮你搞定!

HarmonyOS开发者

HarmonyOS

恒源云(GPUSHARE)_CV领域有关【直方图】的论文小记

恒源云

深度学习 CV

复旦大学陈平博士:网络攻击猖獗,如何应对数据安全与内生安全挑战?

星环科技

网络安全

AI+CFD:面向空天动力的科学机器学习新方法与新范式

百度开发者中心

飞桨

Sophon联邦学习,让数据发挥真正的价值

星环科技

联邦学习

为企业选择合适的CRM系统的技巧

低代码小观

CRM 客户关系管理 CRM系统 客户关系管理系统 企业管理软件

netty系列之:让TCP连接快一点,再快一点

程序那些事

Java Netty 程序那些事 1月月更

12 Prometheus之监控Kubernetes

穿过生命散发芬芳

Prometheus 1月月更

如何保证redis与数据库一致性

zdd

redis

便捷、高效、智能—从运维视角看星环科技大数据基础平台TDH

星环科技

大数据

反直觉投资--《香帅中国财富报告》摘录(4/100)

hackstoic

投资

Golang:定时器的终止与重置

CRMEB

【数据库】查询优化之子连接优化

恒生LIGHT云社区

数据库 sql SQL子查询 子查询

阿里云视频云vPaaS低代码音视频工厂:极速智造,万象空间

阿里云视频云

音视频 低代码 视频云 视频开发

热门链游GameFi项目Radio Caca 联手Hoo虎符撒空投

区块链前沿News

Hoo 虎符交易所 链游 RACA

激发数字化时代权益运营新动能

鲸品堂

运营 数字化 通信运营商

SAM模式:构建函数响应式前端架构过程中学到的经验_JavaScript_Jean-Jacques Dubray_InfoQ精选文章