DEV Community
·
基础设施的设计合约：别再祈祷你的YAML能正常工作
内容提要
现代基础设施如同复杂机器，依赖不可靠代码。设计合约（DbC）为基础设施设定预条件、后条件和不变性，确保代码在部署前后满足合同要求，防止无效状态的部署，并提供可验证文档，提升可靠性。
关键要点
-
现代基础设施如同复杂机器，依赖不可靠代码。
-
设计合约（DbC）为基础设施设定预条件、后条件和不变性。
-
DbC确保代码在部署前后满足合同要求，防止无效状态的部署。
-
基础设施的预条件包括镜像是否发布、秘密是否可用、目标节点是否符合要求。
-
基础设施的后条件包括pod是否达到运行状态、服务是否可达。
-
基础设施的不变性要求每个副本必须在不同的可用区，所有配置必须是有效的JSON。
-
设计合约强制我们正式化期望，防止无效状态的部署。
-
设计合约提供运行时检查，验证合同是否保持满足。
-
设计合约提供机器可验证的文档，说明基础设施的预期行为。
-
设计合约不是政策，合同嵌入系统定义中，执行前后都会检查。
-
目前尚无广泛实施设计合约的实例，Terraform和Pulumi等工具尚缺乏原生合同语义。
-
设计合约不是万灵药，但它比盲目投放生产环境要好得多。
延伸解读
设计合约的必要性
现代基础设施的复杂性使得仅依赖传统的代码管理方式变得不够安全。设计合约（DbC）通过设定明确的预条件和后条件，帮助开发者在部署前后验证基础设施的状态，从而减少因配置错误导致的故障风险。
与传统政策的区别
设计合约与传统的政策不同，后者通常是在问题发生后才进行干预。DbC将合同嵌入系统定义中，确保在执行前后都进行检查，从而在问题发生之前就能发现潜在的错误，提升系统的可靠性。
当前实施的挑战
尽管设计合约的理念具有很大的潜力，但目前在主流工具中尚未得到广泛实施。像Terraform和Pulumi这样的工具虽然提供了一些功能，但仍缺乏原生的合同语义，这使得开发者在实际应用中面临挑战。
延伸问答
什么是设计合约（DbC）？
设计合约（DbC）是一种为代码定义预条件、后条件和不变性的方法，确保代码在部署前后满足合同要求。
设计合约如何提高基础设施的可靠性？
设计合约通过防止无效状态的部署、提供运行时检查和机器可验证的文档来提高基础设施的可靠性。
基础设施的预条件和后条件是什么？
预条件包括镜像是否发布、秘密是否可用、目标节点是否符合要求；后条件包括pod是否达到运行状态、服务是否可达。
设计合约与政策有什么区别？
设计合约是嵌入系统定义中的合同，执行前后都会检查，而政策是外部定义的规则，通常在问题发生后才被强制执行。
目前有哪些工具支持设计合约？
目前尚无广泛实施设计合约的实例，Terraform和Pulumi等工具尚缺乏原生合同语义。
设计合约是否是解决基础设施问题的万灵药？
设计合约不是万灵药，但它比盲目投放生产环境要好得多。
