ThoughtWorks 2017技术雷达
2017-12-24

前言:

ThoughtWorks人酷爱技术。我们对技术进行构建、研究、 测试、开源、记述,并始终致力于对其进行改进-以求造福 大众。我们的使命是支持卓越软件并掀起IT革命。我们创建 并分享ThoughtWorks技术雷达就是为了支持这一使命。由 ThoughtWorks中一群资深技术领导组成的ThoughtWorks 技术顾问委员会(TAB)创建了该雷达。他们定期开会讨论 Thoughtworks的全球技术战略以及对行业有重大影响的 技术趋势。

这个雷达以独特的形式记录技术顾问委员会的讨论结果, 为从开发人员到CTO在内的各路利益相关方提供价值。这 些内容只是简要的总结,我们建议您探究这些技术以了解 更多细节。

这个雷达是图形性质的,把各种技术项目归类为技术、工具、平台和语言及框架,如果某个条目可以出现在多个象 限,我们选择看起来最合适的象限。我们还进一步将这些技 术分为四个环以反映我们目前对其的态度。

要了解关于雷达的更多背景,请点击:https://www. thoughtworks.com/radar/faq 

关于技术:

相关解读:

      很多文档都可以被高度可读的代码和测试取代。然而对于演进式架构来说,记录某些设计决策非常重要,这不仅有利于未来的团队成员理解,也有利于外部监督。轻量级架构决策记录是一种用于捕获重要的架构决策及其上下文和结果 的技术。我们建议将这些详细信息进行版本化,而不是wiki 或网站,这样所记录的内容就可以和代码保持同步。对于大 多数项目,我们没有理由不采用这种技术。

      过去12个月里,我们注意到对数字化平台这个主题的关注 发生了急剧的增长。希望快速有效推出新数字解决方案的公司,正在建立内部平台,为交付团队提供自助服务,从而访问那些构建和运营自己的解决方案所必需的业务API、工 具、知识和支持。我们发现当这些平台得到跟外部产品同等的重视时,它们的效率是最高的。将产品管理思维应用于内部平台,意味着与内部消费者(开发人员)建立共情,并在设计上彼此协作。平台的产品经理要建立路线图,确保平台为业务交付价值,为开发者改善体验。一些企业甚至为内部 平台创建了品牌标识,并向同事推销平台的优势。平台产品 经理将负责平台的质量、收集使用指标,并持续改进平台。 将平台作为产品来处理,有助于创造一个蓬勃发展的生态系统,避免构建另一个停滞不前的、未充分利用的面向服务 架构。

适应度函数借鉴自进化计算,被用来衡量方 案对满足目标的适合度。

      适应度函数借鉴自进化计算,被用来衡量方案对满足目标 的适合度。当定义演进式算法时,算法设计者会寻求更优 解,而适应度函数则定义了在此上下文中“更优”的含义。 《演进式架构》一书定义了架构适应度函数的概念,为衡量架构特征提供了一个客观全面的方法,包括已有的验证 标准,比如单元测试、业务指标、监控等等。我们相信架构 师能够验证并维持一套自动化的可持续的架构标准,这是 演进式架构的关键。

CI和CD工具可以用来测试服务配置、服务镜 像构建、环境准备以及环境的集成。(为基础设施即代码使用流水线) 

  在早期的技术雷达中,我们讨论了Netflix的(Chaos Monkey)。 混沌猴可以随机终止生产系统中的运行实例,并对结果进 行度量,从而帮助验证系统在运行时对生产中断的应对能 力。今天,人们有了一个新兴术语来描述这一技术的广泛应 用:混沌工程。在生产环境的分布式系统中运行这些试验, 可以帮助我们建立系统在动荡环境下依旧能够按预期工作 的信心。如果想要更好地理解这个技术方向,请参阅混沌工程原则。

  受DevOps运动的启发,DESIGNOPS是一种文化上的转 变,同时包含了一系列的实践。DesignOps可以帮助组织不 断地重新设计产品,而又无需在质量、服务连贯性和团队 的自主性上妥协。DesignOps提倡创建并演进设计的基础 设施,最大限度降低创造新的UI概念及其变体的工作量, 并与最终用户建立快速且可靠的反馈机制。通过使用诸如 Storybook这样促进紧密协作的工具,对前期分析和规范交 接的需求可以被降至最低。使用DesignOps,设计正在从一 种具体的实践演变成每个人工作的一部分。

      我们已经从引入微服务架构中获得了明显的好处,微服务 架构可以让团队裁剪出独立部署的交付物以及可维护的服务。不幸的是,我们还看到许多团队在后端服务之上创建了 前端单体——一个单一,庞大和杂乱无绪的浏览器应用。我 们首选的(经过验证的)方法是将基于浏览器的代码拆分成 微前端。在这种方法中,Web应用程序被分解为多个特性, 每个特性都由不同的前后端团队拥有。这确保每个特性都 独立于其他特性开发,测试和部署。这样可以使用多种技术 来重新组合特性——有时候是页面,有时候是组件——最终 整合成一个内聚的用户体验。

      使用持续交付流水线来编排软件的发布流程,已经成为了 主流概念。不过,对基础设施代码进行自动化测试还没有被 广泛理解。CI和CD工具可以用来测试服务配置(如Chef的 cookbook,Puppet的模块,Ansible的playbook)、服务镜像 构建(如Packer)、环境准备(Terraform,CloudFormation 等)以及环境的集成。对基础设施即代码使用流水线可以让 错误在进入运维环境,包括开发和测试环境之前就被发现。 这些流水线还能确保基础设施工具能始终如一地运行在CI / CD的Agent上,而不是在特定的工作站上。挑战仍然存在,比 如与容器和虚拟机相关的更长的反馈周期,但我们认为这是 一个有价值的技术。

      无服务器架构迅速得到了需要部署云端应用的组织的认 可,并且有着大量可供选择的部署方式。即便是相对传统 和保守的组织,也在使用一部分无服务器技术。虽然可以 使用的合适的模式仍在不断涌现,但大多数时候我们的讨 论都会走向函数即服务(Functions as a Service)(例 如 AWS Lambda,Google Cloud Functions,Azure Functions)。部署无服务器函数毫无疑问能够减少大量传 统方式特有的,涉及服务器和操作系统配置和编排的工作 量。然而serverless也并不是百试不爽的万金油。当前这个 阶段,因为一些特别的需求,你必须做好能回退至容器化, 甚至是实例化部署的准备。与此同时,无服务器架构的其他 组件,比如后端即服务(Backend as a Service),几乎成为 了默认的选择。

      因为测试驱动开发自身的优势,许多开发团队会在编写代 码时采用这一实践。也有一些团队开始使用容器来打包和部署软件,而通过自动化脚本来构建容器已经是被广为接受的实践。但迄今为止,我们很少看到有团队能将这 两种趋势结合,通过测试来驱动容器脚本的编写。借助 ServerSpec和Goss这样的框架,你可以为独立的或编排 的容器呈现预期的功能,并得到快速反馈。这意味着我们 可以寻求用TDD开发容器脚本。我们在这方面得到的初步体验是十分积极的。 

      近年来IT运维所收集到的数据量一直在增加。例如,微服 务的迅速发展意味着更多的应用程序正在生成自己的操作 数据;而像Splunk,Prometheus或ELK堆栈这样的工具让 数据存储和后续处理变得更容易,从而获得运营洞见。毋庸 置疑,随着机器学习工具的普及,运营人员已经开始将统计 模型和经过训练的分类算法纳入其工具包中。虽然这些算 法并不新颖,而且人们已经进行了各种尝试来自动化服务管 理,但是在了解机器和人员如何协作以便早期识别异常和确 定故障来源这个方向,我们还是先行者。尽管基于算法的IT运维(Algorithmic IT Operations)有过度炒作的风险, 但毫无疑问,机器学习算法的稳步提升将改变未来的数据 中心运营中人类所起到的作用。

      在银行、数字货币、供应链透明化等多个金融科技领域,区 块链技术已经被炒作成“灵丹妙药”。我们曾经在过去的雷 达中推荐过带有智能合约功能的Ethereum,而最近已经看 到Ethereum在去中心化应用的其他领域中得到更多的发展。尽管这一技术非常年轻,我们仍然鼓励你在加密货币和 银行之外的领域,使用它构建去中心化应用。

在银行、数字货币、供应链透明化等多个金 融科技领域,区块链技术已经被炒作成“灵 丹妙药”。

       随着事件流(event streaming)平台(如Apache Kafka)的 兴起,很多人将它们视为消息队列的高级形态,仅用来传输 事件。即便按这种方式使用,事件流仍然具有传统消息队列 无法比拟的优势。然而我们更感兴趣的是,人们如何通过 把平台(特别是Kafka)作为主要存储,把数据保存为不可 变事件,从而将事件流作为正确数据之源。例如,以Event Sourcing方式设计的服务,可以使用Kafka作为事件存储工 具(event store),其他服务可以消费这些事件。这一技术能 够减少本地持久化和集成之间的重复工作。

      主要的云服务提供商(Amazon、Microsoft和Google)正 陷入一场激烈的竞争中,以保持核心能力的均势,虽然 他们的产品只是略有差异。这导致一些组织采用多云 (POLYCLOUD)策略,而不是与一个提供商“全面”合作, 他们正在以最佳组合的方式,将不同类型的工作负载交由不 同的供应商。例如,这可能包括将标准服务放在AWS上,使 用Google进行机器学习,把采用SQL Server的.NET程序部 署在Azure,或者可能使用Ethereum Consortium的区块链 解决方案。这并不等同于致力于供应商间可移植性的“跨云 策略”,后者价格昂贵且会导致迎合大众的想法。多云策略 则专注于使用每个云能提供的最好的服务。 

 服务啮合(service mesh)在服务发现、安全、 跟踪、监控与故障处理方面提供了一致性,且 不需要像API网关或ESB这样的共享资产。

      现在越来越多的大型组织在向更加自组织的团队结构转 型,这些团队拥有并运营自己的微服务,但他们如何在不依 赖集中式托管的基础架构下,确保服务之间必要的一致性与 兼容性呢?为了确保服务之间的有效协作,即使是自组织的 微服务也需要与一些组织标准对齐。服务啮合(SERVICE MESH)在服务发现、安全、跟踪、监控与故障处理方面提供 了一致性,且不需要像API网关或ESB这样的共享资产。服务 啮合的一个典型实现包含轻量级反向代理进程,这些进程 可能伴随每个服务进程一起被部署在单独的容器中。反向 代理会和服务注册表、身份提供者和日志聚合器等进行通 信。通过该代理的共享实现(而非共享的运行时实例),我 们可以获得服务的互操作性和可观测性。一段时间以来,我 们一直主张去中心化的微服务管理方法,也很高兴看到服务 啮合这种一致性模式的出现。随着linkerd和Istio等开源项 目的成熟,服务啮合的实现将更加容易。

      微服务架构中,众多服务将其资产和功能都通过API暴露出 来,同时也扩大了系统的被攻击面。因此一个零信任—— “永不信任,始终验证”的安全架构势在必行。然而,由于 服务代码复杂性的增加以及在多语言环境中缺少库和语言 的支持,服务之间的安全控制往往会被忽略。为了解决这 个复杂性,我们已经看到将安全性委托给进程外Sidecar的 做法,Sidecar是一个独立的进程或一个容器,它与每个服 务一起部署和调度,并共享相同的执行上下文、主机和身 份。Sidecar实现了安全功能,如对服务间的通信作透明加 密、TLS终止,以及对调用方服务或最终用户的鉴权机制。在 实现自己的用于端点安全的SIDECAR之前,我们推荐你先 研究一下Istio、linkerd或者Envoy。

      传统的企业安全方法往往强调锁定事物并减慢变革的步 伐。但众所周知,攻击者对系统实施攻击的时间越长,造成 的损失也就越大。3Rs企业安全:轮换、修复、重建,利用基 础设施自动化和持续交付来消除攻击机会。轮换凭证,一旦 有可用的补丁就立即应用补丁,并且在几分钟或几小时内完 成从已知的安全状态重建系统,这会使攻击者更难获得立 足点。随着现代原生云架构的出现,3RS安全技术变得可 行。当应用程序部署为容器,并通过完全自动化的流水线进 行构建和测试时,安全补丁只不过是又一次通过一个点击, 就可以通过流水线发布的小版本而已。当然,为了保持良 好的分布式系统实践,开发人员需要设计应用以适应意外 的服务器中断。这就和在环境中实施混沌猴所造成的影响 相似。

      Kafka已经是流行的消息解决方案,同时,Kafka Streams也 站到了流式架构的最前沿。不幸的是,随着人们将Kafka作 为数据和应用平台的核心,我们看到一些组织没有将Kafka 的生态组件(如连接器、流处理器等)按产品和服务团队划 分,而是将它们集中管制,这用KAFKA重现了ESB反模式。 这一反模式具有很严重的问题,过多的逻辑、编排、转换被 插入到集中管理的ESB中,使得系统严重依赖于一支中心化 团队。我们特此提出这个问题,希望劝阻这种反模式的更多 实现。

关于平台:

内容解读:

      自我们上次在技术雷达中提到KUBERNETES至今,它已经 成为我们大部分客户将容器部署到服务器集群的默认解决 方案。而能替代它的其他产品不但没有获得如此的客户认 同度,甚至在某些场景中,我们的客户会将他们的“引擎” 都更换成 Kubernetes。Kubernetes已经成为主流公有云平 台上的首选容器编排平台。这些主流公有云平台包括微软的 Azure 容器服务以及 Google Cloud(参见GKE)。此外市面上 还有很多好用的产品,来不断丰富快速扩大的Kubernetes 生态圈。与此同时,那些试图用一层抽象将Kubernetes隐藏 起来的平台尚未成功地证明自己的价值。

      作为一个开源的跨平台软件开发框架,.NET CORE被 越来越多地运用到实际项目中。该框架令 .NET 应用能在 Windows、macOS 以及 Linux 系统上进行开发和部 署。.NET Standard 2.0 的发布增加了跨多个 .NET 平台的标准 API 的数量,这使得往.NET Core迁移的路径变得更为 清晰。有关.NET Core对其上类库的支持性问题正在逐渐减 少。一流的跨平台工具已经涌现出来,用于在非 Windows 平台上进行高效的开发工作。运用Docker镜像,能让.NET Core 服务可以轻松地集成到容器环境中。其社区发展的积 极方向以及来自我们实际项目的反馈,都表明.NET Core现 在已经可以广泛地运用了。

      随着Gatling和Locust等工具的日益成熟,压力测试变得越 来越容易。与此同时,弹性云平台基础设施可以模拟大量客 户端实例来进行压力测试。我们欣喜地看到像 Flood IO 这 样的云平台能越来越深入地应用此类技术。FLOOD IO是一个基于SaaS的压力测试服务。它可以用来向数百台云端 服务器分发测试脚本并在其上执行。我们的团队发现,通过 重用现有的Gatling测试脚本能很简单地将性能测试迁移到 Flood IO。

      随着GOOGLE CLOUD PLATFORM(GCP)在可用地理区 域和服务成熟度方面的扩展,全球的客户在规划云技术策 略时可以认真考虑这个平台了。与其主要竞争对手Amazon Web Services相比,在某些领域, GCP 所具备的功能已经 能与之相媲美。而在其他领域又不失特色——尤其是在可访 问的机器学习平台、数据工程工具和可行的 “Kubernetes 即服务解决方案”(GKE)这些方面。在实践中,我们的团队 对GCP工具和API良好的开发者体验也赞赏有嘉。

随着Google Cloud Platform在可用地理区 域和服务成熟度方面的扩展,全球的客户在 规划云技术策略时可以认真考虑这个平台了。

      在微服务或任何其他分布式架构中,最常见的一个需求 是通过身份验证和授权功能来保护服务或 API。 这正是 Keycloak 所解决的问题。KEYCLOAK是一个开源的身份和 访问管理解决方案,它让保障应用程序和微服务的安全变 得如此简便,以至于几乎不需要编写什么代码。它提供了单 点登录、社交网络登录和一些开箱即用的标准协议——如 OpenID Connect、OAuth 2.0 和 SAML。我们的团队一直在 使用这个工具,并计划继续使用。不过这个平台在安装时需 要做一些工作。由于在初始化和运行时需要通过 API 对其 进行配置,因而必须编写脚本以确保部署是可重复的。

      在之前的雷达中,我们提到由于Unity在一个成熟平台上 提供了一些抽象和工具,因此它已经成为VR和AR应用程 序开发的首选平台。与它的主要替代品Unreal Engine相 比,Unity更容易访问。随着它最近推出的针对iOS平台的 ARKit 和针对安卓平台的 ARCore,这两个主要的移动平台 都已拥有强大的原生SDK,用来构建增强现实应用。但是, 我们觉得很多团队,特别是那些在构建游戏方面没有丰富 经验的团队,都能从利用类似Unity这样的抽象中受益。这 就是为什么我们要提出超越游戏的UNITY。这使得不熟悉 上述开发技术的开发人员可以专注于这个SDK,来进行相 关开发。它还为多设备提供了解决方案,特别是在原生SDK 不支持的安卓端。

      常与WhatsApp被相提并论的微信,在中国正在成为名副其 实的商业平台。很多人可能还不知道,微信还是最流行的线 上支付平台之一。借助微信内置的内容和会员管理系统,一 些小型企业现已完全依赖微信开展其业务。大型组织可以 通过微信的一些功能把内部系统对接给员工使用。作为覆 盖七成以上中国人的平台,微信是每一个想开辟中国市场的 企业都需要考虑的重要商业因素。

      AZURE SERVICE FABRIC是为微服务和容器打造的分布 式系统平台。它不仅可以与诸如Kubernetes之类的容器编 排工具相媲美,还可以支持老式的服务。它的使用方式花样 繁多,既可以支持用指定编程语言编写的简单服务,也可以 支持 Docker 容器,还可以支持基于 SDK 开发的各种服务。 自几年之前发布以来,它不断增加更多功能,包括提供对 Linux 容器的支持。尽管 Kubernetes 已成为容器编排工具的主角,但 Service Fabric 可以作为 .NET 应用程序的首选。 我们正在 ThoughtWorks 的一些项目中使用这个平台,迄今 为止感觉不错。

      CLOUD SPANNER是一个完全托管的关系型数据库服务。 它在提供高可用性和强大的一致性的同时又不会对延迟做 出妥协。Google 在一个名为 Spanner 的全球分布式数据库 上投入了大量时间之后,最近以 Cloud Spanner 的名称将这 个服务对外发布。 这个平台可以将数据库实例在全球范围 从单个节点规模化到数千个节点,而不必担心数据一致性问 题。 Cloud Spanner 通过高可用的分布式时钟 TrueTime,为读取和快照功能提供了强大的一致性。从 Cloud Spanner 读取数据时可以使用标准 SQL,但是在做写入操作时必须 使用其提供的 RPC API。 尽管并不是所有的服务都需要全球范围规模的分布式数据库,但 Cloud Spanner 的对外发 布极大地改变了我们对数据库的认知。其设计正在影响像 CockroachDb 这样的开源产品。

      在经过了彻底探索之后,区块链领域的重要参与者R3意识 到区块链并不契合他们的目的,所以他们创造了CORDA。 Corda是专注于金融领域的分布式账本技术(distributed ledger technology, DLT)平台。 R3具有非常明确的价值主 张,并且知道他们的问题需要务实的技术方法。 这和我们 的经验相符——由于采矿成本较大和运营效率低下,对于某 些商业案例,目前的区块链解决方案可能不是合理的选择。 尽管我们目前在Corda上的开发体验并不非常流畅,而且 v1.0发布后其API并不稳定,我们还是期望看到 DLT 领域能 进一步成熟。

      COSMOS DB是微软于年初发布的全球分布式与多模型数据库服务。虽然大多数新型 NoSQL 数据库都提供可调节 的一致性,但Cosmos DB 却将一致性作为首要特性予以支 持。它提供五种不同的一致性模型。值得强调的是,它还支 持多种数据模型——键值、文档、列族和图——所有这些数 据模型都映射到其内部数据模型,即原子记录序列(atomrecord-sequence, ARS)。Cosmos DB 有趣的一个特点是 能针对其延迟、吞吐、一致性和可用性来提供服务级别协议 (service level agreement, SLA)。其适用性广的特点,给 其他云厂商设置了一个很高的追赶标准。

      随着近来聊天机器人与语音平台的爆发,涌现出一批工具和 平台——它们能够提供一些服务,从文字中挖掘意图,并管 理会话流,以供人使用。Google所收购的DIALOGFLOW (原名为API.ai),就是一种这样的”自然语言理解即服务” 的平台。它在该领域中与Facebook的wit.ai以及Amazon Lex等平台展开了竞争。

      尽管以Kubernetes作为容器编排平台正成为软件开发生 态的主流,但从运维角度看,运行 Kubernetes 集群仍然 很复杂。GKE(Google Container Engine)是一个托管Kubernetes解决方案,用来部署容器化应用程序。它能降 低运行和维护Kubernets集群的运维成本。我们的团队在使 用GKE获得了良好的体验。平台能完成许多繁重的工作,例如安装安全补丁,监控和自动修复节点,以及管理多集群和 多区域网络。根据我们的经验,Google采用了API优先的方 式来开放平台功能,并使用了诸如用OAuth进行服务授权的 行业标准。这些都能够改善开发人员的体验。尽管其开发团 队已经尽力隔离底层变更对使用者的影响,但要意识到GKE 仍在快速开发中。在过去一段时间里我们还是会时不时地 受到变更所带来的影响。我们期待随着Terraform on GKE 及类似工具的出现,“基础设施即代码”这一实践的成熟度 会不断提高。

Language Servers将代码补全、调用分析和 重构等能力提取为一种 API,从而让任何编 辑器都能与编程语言的抽象语法树交互。

      KAFKA STREAMS是一个用于构建流式应用的轻量级库。 它的设计目标在于简化流式处理,让它像为异步服务设计 的主流应用编程模型一样易于访问。当需要应用流式处理 模型来解决问题,又不想陷入运行集群(通常会随着功能完 备的流处理框架而引入)的复杂性时,它会是一个很好的选 择。 新的功能包括在Kafka集群中的“恰好一次”(exactly once)流处理。实现方式是在Kafka生产者端引入幂等性, 并且使用新的事务API跨多个分区实现原子写入。

      大型 IDE 的威力很大程度上源于利用源代码分析出的抽象 语法树(AST)来进一步分析和操作源代码的能力,比如代 码补全,调用分析和重构。语言服务器将这种能力提取到单 独的进程中,从而让任意文本编辑器都可以通过 API 来使 用 AST。微软从他们的 OmniSharp 和 TypeScript 服务器 项目中,提炼并引领了语言服务器协议(Language Server Protocol, LSP)的拟定。编辑器只要使用LSP 协议就可用于 任何具备 LSP 兼容服务器的编程语言的开发。这意味着我 们可以继续使用自己喜爱的编辑器,同时也不必放弃各种编 程语言的高级编辑功能——这对于很多 Emacs 瘾君子来说 尤其利好。

      LORAWAN是一种低功耗广域网,专为低功耗、远距离和 低比特率的通信场景而设计。它提供了边缘设备与网关设 备之间的通信能力,能够通过后者将数据转发至应用程序 或者后台服务。LoRaWAN通常用于分布式传感器组或物联 网这些必须具备长电池寿命和远距离通信能力特点的设备 上。它解决了在使用一般的WiFi进行低功耗广域网通信时 的两个关键问题:通信距离和功耗。LoRaWAN已有若干实 现,其中值得注意的是一个免费的开源实现——The Things Network。

随着机器学习从试验性使用转向生产环境, 需要一种可靠的方式来托管和部署这些可远 程访问的模型,并能随着消费者数量的增加 而进行扩展。 (TensorFlow Serving)

      MAPD是一个支持SQL的运行在GPU 上的内存列式分析性 数据库。我们对于数据库负载到底是I/O密集所致还是计算 密集所致有过争论。不过GPU的并行能力,结合 VRAM 的充 足带宽,在某些场景下非常有用。MapD可以透明地将最频 繁使用的数据(比如在group-by、过滤、计算操作以及 join 条件中所涉及的列)存放在VRAM中,而将其余的数据存放 在主内存中。通过这种内存管理方式,MapD无需索引即可 达到相当好的查询性能。尽管还有其他GPU数据库提供商, 随着MapD近期开源了其核心数据库,以及通过GPU开放分 析计划(GPU Open Analytics Initiative)的推广,MapD在 这个领域处于领先地位。如果你的分析任务是计算密集型 的,并能够利用GPU的并行性进行加速,且能纳入主内存 中,我们建议评估MapD。

      我们很喜欢那些能很好地解决单个问题的简单工 具。NETLIFY正是这样一个工具。用它可以创建静态网站内容,提交到GitHub,然后网站就能快速、轻松地上线可用了。Netlify提供命令行工具来控制流程,支持 CDN(内容分发网络),可以与Grunt这样的工具协同工 作。更重要的是Netlify支持HTTPS。 

      机器学习模型已经开始渗入到日常的商业应用中。当有足够 的训练数据可用时,这些算法可以解决那些以前可能需要 复杂的统计模型或试探法的问题。随着机器学习从试验性 使用转向生产环境,需要一种可靠的方式来托管和部署这 些可远程访问的模型,并能随着消费者数量的增加而进行 扩展。TENSORFLOW SERVING通过将远程gRPC接口暴 露给一个被导出来的模型,解决了上述部分问题。这支持以 多种方式部署训练完成的模型。TensorFlow Serving也接 受一系列的模型来整合持续的训练更新。其作者维护了一 个Dockerfile来简化部署过程。据推测,gRPC 的选择应与 TensorFlow 执行模型保持一致。但是,我们通常都会对需 要代码生成和本地绑定的协议保持警惕。

      凭借WINDOWS CONTAINERS,微软正在容器化的道路上 奋起直追。截至本期雷达,微软提供了2个可以在Docker容 器中运行的Windows OS的镜像——Windows Server 2016 Server Core和Windows Server 2016 Nano Server。尽管 Windows Container还有提升的空间,比如缩减镜像文件大 小,增强对生态系统的支持,以及完善相关文档,我们的团 队已经开始在其他容器化技术已经成功应用的场景(如构 建代理)中使用它们了。

      在中间件中实现业务逻辑和流程编排,特别是要在其中运 用专业技能和专用工具来将中间件作为一个单点来创建,以 实现规模化和控制,对此我们还是心怀顾虑的。API网关市 场竞争十分激烈,那些供应商们持续地向其产品中添加新 的功能,从而体现产品之间的差异化。这一点令上述趋势得 以持续。但这样会产生出过度庞大的API网关产品。其功能 在本质上就是反向代理,这助长了难以测试和部署的系统 设计。API网关确实可以提供一些处理某些特定问题的实用 程序——例如身份验证和速率限制——但是任何领域业务 逻辑都应该仅出现在应用程序或服务中,而不是网关中。

关于工具:

内容解读:

      我们的团队非常喜欢托管的 CI / CD工具——BUILDKITE, 因为它既简单,搭建速度又快。只需要安装一个轻量级的代 理应用程序来连接构建代理与在Buildkite上所托管的构建 服务,就可以使用私有或云端的机器来执行构建。与使用托 管的代理相比,能在这种级别上对构建代理的配置进行控 制,在多数情况下都是一个优势。

      CIRCLECI是一个持续集成引擎,它既可以在SaaS云服务上 使用,又可以私有部署使用。它已经被我们很多开发团队在 SaaS平台上当作常用CI工具。这些团队需要低摩擦(lowfriction)和易于搭建的构建与部署流水线。CircleCI 2.0的 版本支持构建任务的工作流,并具备扇入(fan-in)和扇出 (fan-out)流模式和手动触发模式,且支持移动开发。它也 允许开发者在本地运行流水线。另外 CircleCI 能很容易地与 诸如Slack及其他通知和报警系统进行集成。就像使用任何 其他承载公司资产的SaaS产品一样,我们建议用户仔细查 看CircleCI的安全实践。

Gopass增加了诸如多用户密码管理、层级式 密码存储、交互式查找、基于时间的一次性 密码(TOTP),以及二进制存储格式等功能.(gopass)

      GOPASS是一个基于GPG和Git的团队密码管理解决方案。 它的前身是pass,并在此基础上增加了诸如多用户密码管 理、层级式密码存储、交互式查找、基于时间的一次性密码 (TOTP),以及二进制存储格式等功能。由于它的存储格式 与pass基本兼容,因此可以直接从pass迁移过来。这意味 着只需调用一次存储密钥就能将其集成到迁移的整备工作 流中。

      从2017年中开始,Chrome 用户有了一个在Headless模式 下运行浏览器的新选择。这非常适合执行那些依赖浏览器 的前端测试,而不必在屏幕上显示操作的结果。而在此之前,这属于 PhantomJS 的地盘,但Headless Chrome正在迅速取代那种用 JavaScript 驱动 WebKit 引擎的方法。测试在 Headless Chrome 浏览器中的运行速度要快得多,而且在行为上更贴近真实的浏览器,但我们的团队也发现它 比 PhantomJS 要占用更多内存。 基于上述优点,针对前端测试的HEADLESS CHROME 很可能成为这个领域的事 实标准。

      如果正在寻找用Go和Java编写的高性能 JSON 编码/解码 工具,那就试试开源库JSONITER,它与Go语言中的标准 JSON编码包相兼容。

最初由Soundcloud开发的监控和时序数 据库工具Prometheus,不仅在进行持续 改进,而且其使用率也获得了一些提升。 (Prometheus)

      最初由Soundcloud开发的监控和时序数据库工具 Prometheus,不仅在进行持续改进,而且其使用率也获 得了一些提升。PROMETHEUS主要支持基于“拉动” 的HTTP模型,同时也能支持告警,这令其能够成为运维 工具箱中经常得到使用的工具。在本期技术雷达编撰过 程中,Prometheus 2.0正处于预发布阶段,并且还在不 断演进。Prometheus的开发者们正专注于核心时序数 据库以及各种可用的度量指标之上。对于Prometheus 用户来说,Grafana已成为首选的仪表板可视化工具,且 可以购买该工具的技术支持服务。我们的技术团队还发 现,Prometheus在索引和搜索能力上能够作为Elastic Stack很好的补充。

      APEX是一个能够轻松构建、部署和管理AWS Lambda 函 数的工具。有了Apex,就能使用AWS尚未原生支持的包括 Golang、Rust等在内的编程语言来编写函数。这一点是通过 Node.js shim来实现的。它会创建一个子进程,并通过标准 输入和输出来处理各种事件。Apex还有很多不错的特性,可 以改善开发者的体验。我们特别欣赏它能在本地测试函数 的能力,以及在将变更运用到AWS资源之前能对其进行预 演的能力。

      ASSERTJ-SWAGGER 是一个 AssertJ 工具库,能够用来验 证API的实现是否符合其契约规格。当 API 端点的实现发生 了更改但未更新其 Swagger 规格,或未能发布更新后的文 档时,我们的团队就能通过使用 assertj-swagger 来捕获这 些问题。

      修复 CI 上失败的端到端自动化测试会是一段痛苦的经历, 尤其是在 headless 模式下。而CYPRESS是一个很有用的 工具,它能帮助开发人员轻易地构建端到端自动化测试,并且把测试的步骤录制在一个 MP4 文件里。这使得开发者可 以通过查看测试视频来修复测试,而不是在headless模式 下去重现问题。Cypress 不仅是一个测试框架,更是一个强 大的测试平台。当前我们已经把其 CLI 集成到了我们项目的 headless CI 里。

      FLOW是一个针对 Javascript 的静态类型检查工具,它可 以为整个代码库逐步增加类型检查。不同于通过定义另一 种语言来实现静态类型检查的 Typescript 语言,Flow 可以 被逐步添加到支持 ECMAScript 第5、第6 以及 第7版的已有 Javascript 代码库中。我们建议把 Flow 添加到持续集成部 署流水线中,并从最关注的代码开始做静态类型检查。使用 Flow 能使代码更清晰,重构更可靠,并在构建过程的早期 就捕获到类型相关的代码缺陷。

      过去几年间,我们注意到分析笔记本应用(analy tics notebooks)的流行度在持续上升。这些应用都是从 Mathematica应用中获得灵感,能够将文本、数据可 视化和代码活灵活现地融入到一个具备计算能力的文档 中。在上个版本的技术雷达中我们所提到的基于Clojure 的GorillaREPL,就属于此类工具。但随着人们对机器 学习的兴趣不断增加,以及该领域中的从业者们逐渐将 Python作为首选编程语言,大家开始集中关注Python分 析笔记本了。其中JUPYTER看起来在ThougthWorks团队 中格外引人注目。

      Kong是一个由Mashape公司搭建和支持的开源API网关。该 公司也提供企业级产品,来将Kong与其专有的 API 分析和开 发者门户工具相结合。它们能以各种配置进行部署,来作为 边缘API网关或内部 API 代理。Kong 所基于的 OpenResty 通过其Nginx模块和用于扩展的Lua插件,为其强大和高效 的功能奠定了基础。Kong 既可以使用PostgreSQL进行单一 区域部署,也可以使用 Cassandra 进行多区域配置。我们的 开发人员已经享受到 Kong 的高性能、API 优先的方式 (能使其配置自动化)以及易于容器化部署的种种好处。不 像过度庞大的API网关那样,KONG API 网关只拥有更少的 功能,但实现了关键的API网关功能,如流量控制、安全性、 日志记录、监控和身份验证。 我们很高兴能在不久的将来 以一个 sidecar 配置的方式对 Kong 进行评估。

      KOPS是用于在生产环境上创建和管理高可用性 Kubernetes集群的命令行工具。 最初它针对AWS,但现在 已经对其他供应商提供了试验性支持。它可以快速地启动并 运行。虽然某些功能(如滚动升级)尚未开发完毕,但其社 区令人印象深刻。

      谷歌编写的LIGHTHOUSE工具可用于评估Web应用程 序是否遵守Progressive Web App标准。今年,新发布的 Lighthouse 2.0 向其基本工具集中新增了性能指标和可访 问性检查这些功能。这些新增功能现在已经被纳入 Chrome 标准开发者工具的 audit 选项卡下。Lighthouse 2.0 也是 Chrome headless 模式的另一个受益者。 鉴于该工具可以 由命令行直接执行,或作为Node.js应用程序独立运行,因此 Pa11y及类似工具提供了一种能在持续集成流水线中运行可 访问性检查的替代方案。

JavaScript Web 富应用的一个老问题是如 何使这些页面的动态渲染部分可供搜索引擎 检索。无法渲染JavaScript的爬虫机器人可 以被路由到Rendertron服务器来进行渲染。 (Rendertron)

      JavaScript Web 富应用的一个老问题是如何使这些页面 的动态渲染部分可供搜索引擎检索。为此开发人员采用了 各种各样的技巧,包括使用React.js的服务端渲染,外部服 务或预渲染内容。现在谷歌 Chrome 新的 headless 模式 又贡献了一个新的技巧—— RENDERTRON,即 Chrome 的headless 渲染解决方案。它在一个 Docker 容器中封装 了一个 headless 的 Chrome 实例,可以作为独立的HTTP 服务器来部署。无法渲染JavaScript的爬虫机器人可以被 路由到此服务器来进行渲染。 虽然开发人员也可以部署 自己的 headless Chrome代理并配置相关的路由机制,但 Rendertron 简化了配置和部署过程,并提供了令爬虫机器 人进行检测和路由的中间件示例代码。

      SONOBUOY是一个以非破坏性的方式在任何Kubernetes 群集上运行端到端“合规性测试”的诊断工具。由两位 Kubernetes项目发起者创办的Heptio公司的团队构建了这 个工具,来确保各种Kubernetes发行版和配置都符合最佳 实践,同时遵循开源标准化原则以实现集群互操作性。我们 正在尝试使用Sonobouy作为“基础设施即代码”构建流水 线的一部分,并对Kubernetes安装进行持续监控,以验证整 个集群的行为和健康状况。

      如果用Spring框架来实现Java服务,那么可以考虑用 SPRING CLOUD CONTRACT来进行消费者驱动的契约测 试。目前,该工具的生态系统支持根据契约来验证客户端的 调用以及服务器端的实现。与Pact (一个开源的消费者驱 动契约测试工具集)相比,它不支持契约代理,也不支持其它编程语言。不过它能与Spring生态系统完美集成,比如使 用Spring Integration进行消息路由。

关于语言和框架:

内容解读:

      在往期的雷达中,我们不确定是否应该强烈推荐 ANGULAR,因为从本质上来说,它是一个新的、整体上 没那么让人兴奋的框架,仅仅是和那个我们曾经喜爱过 的 AngularJS 同名而已。目前已经进化到第5个版本的 Angular,在提供向后兼容性的同时,有了稳定的改进。我 们的一些团队已经在生产环境上应用 Augular,他们很满 意最终的效果。基于这个原因,在这一期雷达中,我们把 Angular 移到了“试验”阶段,来表示我们的一些团队现在 把它当作不二之选。然而我们的大多数团队,仍然会更倾向 于选择React, Vue 或者Ember。

      ASSERTJ是一个提供流式断言接口的Java库,可以很容易 在测试代码中传达测试的意图。AssertJ提供了可读的错误 信息、软断言以及改进过的对集合和异常支持。我们看到一 些团队默认选择使用它,而不是JUnit和Hamcrest组合。

CSS网络布局(CSS Grid Layout)是一个二维(two-dimensional)的基于网格的布局系统, 它所提供的机制使用了一组可预测的尺寸调整行为,将布局的可用空间划分为行和列 

      即使CSS没有为创建布局提供明确的支持,但它依然是 网页布局的首选。Flexbox提供了更简单的,一维(onedimensional)的布局, 但开发人员通常还是会采用一些 库和工具包实现更复杂的布局。CSS网格布局(CSS GridLayout)是一个二维(two-dimensional)的基于网格的布局 系统, 它所提供的机制使用了一组可预测的尺寸调整行为, 将布局的可用空间划分为行和列。它不需要任何额外的库, 并能与Flexbox和其他CSS元素集成得很好。然而, 由于IE11 仅支持其部分规范, 所以目前仍然依赖 Windows 7上IE浏览 器的用户需求会被忽略。

      大多数大型CSS代码库都需要复杂的命名机制来避免全局 命名空间中的冲突。CSS MODULES通过为每个CSS文件中 的所有class创建局部作用域来解决这些问题。当这个文件 被导入到一个JavaScript模块,其中的CSS class可以通过名 称字符串来引用。然后,在构建工具(Webpack,Browserify 等)中,class名称被替换为自动生成的全局唯一字符串。这 是一个重大的职责转换。以前,人们不得不通过管理全局命 名空间来避免class命名冲突的问题,现在这个职责移交给 构建工具。我们在CSS Modules遇到了一点小麻烦:功能测 试经常会超出局部作用域,因此不能通过CSS文件中定义的 名称来引用class。针对这个问题,我们建议使用ID或是data 属性作为替代方案。 

Jest是一个“零配置”的前端测试工具,具有 诸如模拟和代码覆盖之类的开箱即用特性, 主要用于React和其他JavaScript框架。

      我们团队对采用JEST做前端测试的结果非常满意。它提 供了一种“零配置”的开发体验,并具备诸多开箱即用的功 能,比如 mock 和代码覆盖率。你不仅可以将此测试框架 应用于React.js应用程序,也可以应用于其他 JavaScript 框 架。Jest 经常被夸大的特性之一是 UI 快照测试。快照测试 可以作为测试金字塔上层一个很好的补充,但请记住,单元 测试仍然是坚实的基础。

Jest系列教程

      对Android的完美支持为迅速发展的KOTLIN语言提供了 额外的推动力,我们也正在密切关注Kotlin / Native(基于LLVM,可以将Kotlin代码编译为原生可执行文件)的进展。在 使用Anko库开发Android应用时,我们已经尝到了空指针安 全、数据类和易于构建DSL的甜头。尽管初始编译速度慢, 且只有IntelliJ才提供一流的IDE支持,但我们仍然建议尝试 一下这种新颖简洁的现代语言。

      SPRING CLOUD在持续演进的过程中增加了许多有趣的 新特性。例如在spring-cloud-streams项目中,对Kafka Streams绑定的支持让采用Kafka和RabbitMQ通过连接 器构建消息驱动的应用变得相对容易。正在使用该特性的 ThoughtWorks的团队都认同它能在使用像Zookeeper这样 的复杂基础设施时提供便捷性,也对构建分布式系统时需 要解决的常见问题提供支持,例如使用spring-cloud-sleuth 进行跟踪。目前我们已成功将它应用在多个项目中,不过大家仍然需要注意其适用场景。

      一直以来,Google的Android文档实例缺乏架构和结构。 随着ANDROID架构组件的发布,这种状况有所改善,这 是一组有主见的库,它们帮助开发者用更好的架构创建 Android 应用程序。 它们解决了Android开发的长期痛点: 处理生命周期,分页,SQLite数据库以及配置变更时的数据 持久化。这些库无须一起使用,你可以选择最需要的集成到 现有项目中。

      我们在移动增强现实中看到了很多令人激动的活动,其中 大部分来自ARKIT(Apple提供的原生AR库)/ARCORE(Google提供的原生AR库)的加持。 这些库将移动AR技术 带入主流,让后者得到大量采用。尽管如此,各大公司在寻 找真实的用户场景(而非一些花哨的Demo)和真正增强用 户体验的解决方案方面还是面临挑战。

      多应用策略备受争议,尤其现在越来越少的用户愿意再下 载新的应用程序。不同于推出一个新的应用然后为下载量 而努力,许多团队必须通过一个已经被广泛安装的应用来 发布新的功能,这给应用程序的架构带来了挑战。ATLAS 和BEEHIVE是分别用于Android和iOS的模块化解决方案。 它们能让多个团队工作于物理隔离的不同模块,并且从一 个门面应用中重新组装或者动态加载这些模块。它们都是 Alibaba的开源项目,因为Alibaba也曾面临同样的下载量减 少和单个应用架构挑战的问题。

      “你并不需要一个规则引擎”,这常常是选择规则引擎时的 首要法则,因为我们已经见到太多的人基于一些臆想的理 由,将自己绑定在难以测试的黑盒的的规则引擎上——原本 定制化应该是更好的解决方案。虽说如此,在一些规则引擎 确实适用的场合,我们采用 CLARA RULES 取得了很好的 成功。不同于其他的规则引擎,它使用简单的 Clojure 代码 来表达和执行规则,这意味着规则可以被很好地重构、测试 和版本化。比起追求“业务人员可以直接编辑业务规则”的 错觉,Clara Rules 能够很好地驱动业务专家和开发人员之 间的合作。

      CSS IN JS是一种用JavaScript编写CSS样式的技术,通 过鼓励采用一种通用模式,编写样式以及应用样式的 JavaScript组件,使样式和逻辑的关注点得到统一。该领域 中的新秀——诸如JSS,emotion和styled-components,依 靠工具来将CSS-in-JS代码转化成独立的CSS样式表,从而 适合在浏览器里运行。这是在JavaScript中编写CSS的第二 代方法,与以前的方法不同,它不依赖于内联样式,这意味 着它能支持所有CSS特性,使用npm生态共享CSS以及跨 平台使用组件。我们的团队发现styled-components很适 合像React这样基于组件的框架,并且可以使用jest-styledcomponents做CSS的单元测试。这是个新兴的领域且变化 迅速。用该方法时,在浏览器里人工调试生成的class名称会 需要费些功夫,并且可能不适用于那些前端架构不支持重用 组件并需要全局样式的项目。

      DIGDAG是一个在云中构建、运行、调度和监控复杂数据管 道的工具。你可以使用丰富的开箱即用操作符在YAML中定 义这些管道,也可以通过API构建属于自己的管道。Digdag 具有数据管道解决方案中的大多数常见功能,例如依赖关 系管理、易于复用的模块化工作流、安全的密码管理和多语 言支持。我们最感兴趣的功能是它对多种云平台的支持,这 允许你通过AWS RedShift,S3和Google BigQuery等服务来 移动和连接数据。随着越来越多的云提供商提供相互竞争 的数据处理解决方案,我们认为Digdag(以及类似的工具) 是充分利用这些平台的最佳选择。

      DRUID是一个具有丰富的监控特性的JDBC连接池。它有一 个内置的SQL解析器,提供了对数据库中执行的SQL语句语 义级别的监控。注入或可疑的SQL语句将被拦截,并直接在 JDBC层记录下来。查询也可以基于它们的语义进行合并。 这是一个阿里巴巴开源的项目,它反映了阿里巴巴从自己的 数据库系统中学到的教训。

Android架构组件是一组有主见的类库,能 够帮助开发者用更好的架构创建 Android 应用程序。 (Android架构组件)

      ECHARTS是一个轻量级的图表库,对不同类型的图表和交 互有丰富的支持。ECharts完全基于Canvas API,因此即使 处理100k +数据点也具有令人难以置信的性能,并且还针对 移动用户进行了优化。 凭借其扩展项目ECharts-X,它还可 以支持3D绘图。ECharts 是一个百度开源项目。

      Go语言能够被编译为裸片上运行的目标程序,这使得嵌入 式系统开发领域对它的兴趣与日俱增 。GOBOT是一个用于 机器人、物理计算和物联网(IoT)的框架,它基于Go语言编 写,并且支持多个平台。我们在一个对实时性响应没有要求 的实验性机器人项目中使用了GoBot,并且用GoBot创建了 开源的软件驱动。GoBot的HTTP API使其与移动设备的集 成十分容易,从而能创建更丰富的应用。

      ThoughtWorks的许多移动开发团队对一款可以检测 Android和Java中令人讨厌的内存泄漏工具LEAKCANARY 感到非常兴奋。LeakCanary与App集成非常简单,同时它也 提供能够清晰回溯内存泄漏原因的通知。把它加到你的工 具包,它可以帮你节省在多个设备上排查内存泄漏的时间。

      PYTORCH是Lua机器学习框架Torch在Python语言下的 完整重写版。比起Tensorflow,它还很新不够成熟,但在 程序员的眼里它却很好用。 因其面向对象的特性和原生 的Python实现,模型可以表达得更加清晰简洁,并可以 在执行过程中调试。尽管最近涌现出了许多这类框架,但 PyTorch拥有Facebook和广泛合作伙伴的支持,包括应该 会继续支持CUDA架构的NVIDIA。ThoughtWorks的团队发 现,PyTorch在模型的设计开发及试验阶段拥有着明显的 优势,但在大规模的生产环境中的训练及实现仍然离不开 TensorFlow。

      SINGLE-SPA是一个JavaScript元框架,它允许我们使用 不同的框架构建微前端,而这些框架可以共存于单个应用 中。 一般来说,我们不建议在单个应用中使用多个框架, 但有时却不得不这么做。 例如当你在开发遗留系统时,你 希望使用现有框架的新版本或完全不同的框架来开发新功 能,single-spa就能派上用场了。鉴于很多JavaScript框架都 昙花一现,我们需要一个解决方案来应对未来框架的变化, 以及在不影响整个应用的前提下进行局部尝试。在这个方向 上,single-spa是一个不错的开始。

      智能合约编程需要一种比交易处理脚本更具表现力的语 言。在众多为智能合约设计的新编程语言中,SOLIDITY是最受欢迎的。这是一种面向合约的静态类型语言,其语法类似于JavaScript。 它抽象了智能合约中自我实现的业务逻辑。围绕Solidity的工具链也在快速成长。如今,Solidity是 Ethereum平台的首选编程语言。鉴于已部署智能合约的不 可变性,对依赖的严格测试和审计是至关重要的。

      TENSORFLOW MOBILE使开发人员可以将各种理解和分 类技术融入其iOS或Android应用程序。 考虑到手机上可用 的传感器数量及其可收集的数据范围,这一点尤其有用。预先训练好的TensorFlow模型可以加载到移动应用程序 中,并应用于实时视频帧,文本,语音等输入的处理中。手机 为实现这些计算模型提供了一个令人惊讶的合适的平台。 TensorFlow模型导出和加载的文件格式都是protobuf文件, 这可能会为实现者带来一些问题。 Protobuf的二进制格式 让检查模型很难,并要求你将正确的protobuf库版本链接到 移动应用程序。但是,本地模型的执行,提供了一个很有吸 引力的针对TensorFlow Serving的替代方案,这可以节省远 程执行的通信开销。

我们在适合规则引擎的场景采用 Clara Rules 取得了很好的成功。我们喜欢通过它 用简单的 Clojure 代码来表达和执行规则, 这意味着规则可以被很好地重构、测试和版 本化。 (Clara rules) 

      TRUFFLE是一个开发框架。它将现代化的 Web 开发体验 带到了Ethereum平台。Truffle 接管了智能合约编译、库链 接和部署,以及在不同区块链网络中处理制品的工作。我 们喜爱 Truffle 的原因之一就是它鼓励开发者为智能合约编 写测试。这一点非常值得重视,因为智能合约的编写通常 涉及到金钱。得益于其内置的测试框架以及与TestRPC 的 集成,Truffle 可以允许我们使用 TDD 的方式来编写智能合 约。我们期望出现更多像 Truffle 的技术能促进在区块链领 域中的持续集成实践。

      WEEX是一套跨平台移动应用开发方案,采用了Vue.js的组 件化语法。对于那些偏爱Vue.js简洁性的开发者,Weex是 一个开发原生移动应用切实可行的选择,但同时也能胜任 非常复杂的应用。已经有大量的复杂的应用构建于Weex框 架,其中包括中国最流行的两款移动应用程序——天猫和淘 宝。Weex最初由阿里巴巴开发,目前是Apache孵化项目。

 

 写在最后:

  关于技术雷达可访问thoughtworks官网获取最新,也可添加订阅:https://www.thoughtworks.com/cn/radar