重新审视端到端传输协议:从观念到原则

devtools/2025/1/18 15:19:32/

将一个功能置于一个复杂系统的何处是系统设计中处处遇到的问题。

现在我们都知道传输协议的端到端原则,但在它成为原则之前只是一个观点,曾经有场辩论,有人认为传输协议应该由参与通信的每一跳协同实现,可为什么与此相对的端到端的观点会胜出?核心的点非常现实且容易理解:

  • 早期 ARPAnet 要利用现有网络(比如电话网),因此不能对已有网络的 feature(比如可靠性) 做任何假设,只能在上层隔离实现网络无关的协议特性以支持对网络不同需求的应用,但网络并不知道所有应用对网络的期望。
    • 这导致了 IP 的分离以及 UDP 的构建,因为并不总能预期应用需要可靠的网络,因此需要一个与可靠协议并列的不可靠协议。现在我们知道分层和模块化是影响性能的关键(来自 RFC817 的预见)。
  • 若在网络路由器中支持传输协议,需要采集并保持每条流(or per-packet)状态,为保证状态不丢失,需将其分布式备份,而分布式一致性算法难以构建。反之,仅在通信的主机两端维护这些信息便轻易实现了 “命运共担”。
    • 事后我们知道这个基本点带来的 “巨大正向副作用”,网络的无状态性使主机接入变得异常简单,互联网进而蓬勃发展。而随着计算机工业持续发展,主机端实现复杂传输协议并非难事。这极大解放了网络路由器的算法复杂性和性能,否则随主机应用的接入,路由器复杂性将指数级增长,总有一天不堪重负而垮掉;
  • 如果协议要满足应用的需求,网络自然没有主机更接近从而更了解应用,网络自然没有主机知道如何更能满足应用,换句话说,让最懂的去做,做不好就不做。
    • 这个观点在关注传输性能优化的今天似乎反了过来,网络似乎更懂传输性能的指标和细节,哪里会丢包,哪里在排队,哪里带宽空闲,也已经有了关于跨层优化的大量研究,在细腰模型的约束下,这些研究基本都集中在 “信息如何 report 给传输层” 方面。
  • 网络要保持健壮就要保持简单。如果地图丢了怎么办?最简单的假设是没有地图,靠打听问路到达目的地。要假设被问方只具备最少知识,而最少知识就是邻居,即下一跳。这意味着描述要简单。
    • 这便是经典的 “IP 逐跳路由”。这意味着所有与逐跳路由无关的信息都不会被保存在路由器上。和上述第二个观点一致,这保证了网络可靠性,但使主机软件变得复杂,考虑到上述第二个观点相同的原因,计算机工业以及软件技术的发展抵消了人们对主机软件复杂性的恐惧。

事后看来,端到端原则让互联网获得巨大成功,但端网分离的端到端原则并不总正确。从互联网破晓到爆发式发展时期,TCP/IP 细腰模型让网络有能力迅速扩展,但扩展到全球近饱和后,管理和性能问题逐渐被关注。当 IoT 终端也实现标准接口时,互联网接入开始从买方市场进入卖方市场。

结构决定行为,存量决定结构。早期的对等通信网络结构早已被分发网络颠覆,看看如今的互联网,作为客户端几乎都在 NAT 后,而早期自然的对等通信是不受待见(抢带宽?)甚至非法(比如 P2P)的,即使 P2P 对等网络,绝大多数情况下,其目的竟然也是获取内容而不是通信,这是多么讽刺。
因此,在历史上有过争议的观点双方需要被重新评估。

或许可以通过构建 overlay 网络的方式来支持当时相反的观点,而不是重构整个互联网(这是不可能的)。比如 CDN,PCDN 就很像 TCP/IP-based NDN,自然可将 CDN 多级 cache 节点当作内容 “路由器”,虽然俺这种理解,仍然无助于解决最后一公里拥塞问题。

浙江温州皮鞋湿,下雨进水不会胖。


http://www.ppmy.cn/devtools/151592.html

相关文章

Android adb 调试,不在手机上点击信任 “允许usb调试” 即可连接的方式(手机需root)

前言 不知道大家有没有被这玩意儿困扰过,第一次插上手机进行 adb 调试的时候,总会弹出 “允许usb调试” 的弹窗。 这手机明明就在我的手上,为什么还要弹出这个信任框呢,这不是多此一举吗? 一个场景:我现在…

【Linux】【Vim】vim编辑器的用法

一、vim简介 Vim是一款功能强大且高度可定制的文本编辑器,广泛应用于Linux 和 Unix系统中。 它不仅继承了vi编辑器的所有特性,还增加了许多新的功能,如语法高亮、代码折叠、多级撤销等。 Vim有三种主要的工作模式: 命令模式&am…

vue中 子组件在父组件中因为异步问题导致的的underfind报错问题

问题描述 在首页中展示介个相同样式的卡片组件 其中子组件数据为父组件发送数据请求后获取 使用props进行传值处理 这时候我发现控制台出现了underfind报错 原因 当父组件通过 props 向子组件传递数据时,如果数据在父组件中是异步获取的(例如通过 AP…

Haskell语言的网络编程

Haskell语言的网络编程 引言 随着互联网技术的迅猛发展,网络编程已经成为计算机科学和软件开发领域的重要组成部分。网络编程可以让我们构建各种各样的应用程序,从简单的网页到复杂的分布式系统。而在众多编程语言中,Haskell以其独特的函数…

人工智能领域单词:英文解释

目录 1、前言2、单词组1:15个3、单词组2:15个4、单词组3:15个5、单词组4:15个6、单词组5:15个 1、前言 亲爱的家人们,创作很不容易,若对您有帮助的话,请点赞收藏加关注哦&#xff0…

Conda 常用操作命令与使用示例

0. Miniconda安装 参考&#xff1a;Linux上Miniconda的安装&#xff1a;一步步教你从零开始 1. 环境管理 创建新环境 conda create -n <env_name> python3.8示例&#xff1a;创建一个名为myenv&#xff0c;Python版本为3.8的环境&#xff1a; conda create -n myenv…

异常:o.s.web.servlet.PageNotFound : No mapping for GET

springboot访问接口时&#xff0c;出现异常&#xff1a; This application has no explicit mapping for /error, so you are seeing this as a fallback. o.s.web.servlet.PageNotFound : No mapping for GET 前端报500错误 最后发现原因是SQL语句书写错误

C++/C语言判断重复数组(zznu)⭐

问题描述 如果一个数组中不包含重复的元素&#xff0c;那么我们称这个数组是独ONE无TWO的数组。给定一个数组&#xff0c;请你判断这个数组是否是独ONE无TWO的。 输入 首先输入一个正整数n表示数组的长度&#xff08;0<n<100&#xff09;。 接下来输入n个整数&#xff08…