[论文解读] Towards Microservices and Beyond: An incoming Paradigm Shift in Distributed Computing

Manuel Mazzara, Ruslan Mustafin+2 more|arXiv (Cornell University)|Oct 6, 2016

Software System Performance and Reliability参考文献 9被引用 5

一句话总结

本文提出在分布式计算中向微服务架构的范式转变，强调松耦合、有界上下文和组件独立性，以提升软件的可维护性和可扩展性。它将Jolie定位为一种基础性编程语言，通过形式化、基于消息传递的设计，支持正确性构建（correctness-by-construction），从而降低集成复杂性。

ABSTRACT

The microservice architecture is a style inspired by service-oriented computing that has recently started gaining popularity and that promises to change the way in which software is perceived, conceived and designed. In this paper we offer a short overview intended as a collection of bibliographic references and links in the field of Microservices Science and Engineering (MSE).

研究动机与目标

• 分析微服务架构作为一种分布式系统设计范式转变的新兴趋势。
• 识别支撑有效微服务设计的关键架构原则——有界上下文、粒度大小和独立性。
• 考察编程语言如Jolie如何通过形式化和正确性构建支持这一范式转变。
• 强调尽管工业界和学术界兴趣日益增长，安全、工具链和形式化验证方面仍存在开放挑战。
• 将微服务定位为并非激进的颠覆，而是面向服务和面向对象原则的演进，强化了模块化和部署灵活性。

提出的方法

• 分析编程范式向分布、模块化和松耦合演进的过程。
• 引入Jolie作为专为服务组合设计、具有形式化基础的编程语言，强调基于消息传递和无副作用。
• 应用核心微服务原则：通过有界上下文封装业务能力，通过粒度限制确保服务的适当细粒度，通过接口通信强制实现独立性。
• 回顾Jolie的最新进展，包括静态类型检查、增强的类型系统和自动生成文档，以提升开发效率和工具链支持。
• 将微服务与SOA和OOP等先前范式进行比较，展示微服务如何在继承其优势的基础上进行优化和扩展。
• 通过批判性分析工业界和学术界的发展，识别当前实践中的差距，特别是在安全性和可验证软件方面。

实验结果

研究问题

• RQ1 有界上下文、粒度大小和独立性等微服务架构原则如何促进软件可维护性和可扩展性的提升？
• RQ2 Jolie编程语言在多大程度上支持微服务开发的正式化、正确性构建方法？
• RQ3 推动现代分布式系统中微服务日益普及的关键技术与产业驱动力是什么？
• RQ4 微服务范式如何与SOA和OOP等早期范式相关联并实现演进？
• RQ5 在微服务生态系统中，仍存在哪些关键挑战——尤其是安全性和形式化验证方面？

主要发现

• 微服务架构正成为分布式系统中的主导范式，其驱动力包括有界上下文、细粒度服务大小和基于接口的通信。
• Jolie通过基于消息传递的形式化服务组合方法，减少了副作用，并支持正确性构建。
• Jolie的近期改进——如静态类型检查、增强的类型系统和自动生成文档——显著提升了其可用性和工业吸引力。
• 尽管采用率持续上升，关键挑战依然存在，尤其是在微服务部署的安全性和实现完全可验证软件系统方面。
• 向微服务的转变并非对先前范式的激进背离，而是SOA和OOP原则的演进，更加强调模块化、部署简便性和运行时独立性。
• 研究界和产业界正在积极应对微服务领域中的开放问题，特别是在工具链、安全性和形式化验证方面，表明该生态系统正在走向成熟。