当前位置: 首页 > article >正文

2025 cs144 Lab Checkpoint 3: TCP Receiver

文章目录

  • 1 关于TCP Sender
    • 1.1 关键机制
      • 重传超时(RTO)与定时器
  • 2 实现TCP Sender
    • 2.1 void push( const TransmitFunction& transmit );
      • const TransmitFunction& transmit 函数型参数?
      • 从哪里读取字节?
      • input_里的数据是哪来的?
      • 实现
    • 2.2 void receive( const TCPReceiverMessage& msg );
      • 窗口大小是用来限制每次发送的段的大小,还是所有要发送的数据的大小?
      • 实现
    • 2.3 void tick( uint64 t ms since last tick, const TransmitFunction& transmit );
      • 实现
      • 谁来调用tick()?
    • TCPSenderMessage make empty message() const;
      • 实现
    • 几个疑问
      • TCP是单工通信还是双工通信?
      • 数据流是如何传输的

1 关于TCP Sender

核心职责:

  • 跟踪接收方窗口的ackno、window_size
  • 尽可能地填充窗口,直到窗口已满或发送完毕
  • 管理未确认的段、超时未确认则重传(ARQ机制
  • 处理SYN、FIN标志,确保流的正确开始和结束

1.1 关键机制

重传超时(RTO)与定时器

TCPSender 的 owner 会周期性地调用 TCPSender 的 tick 方法,表示时间的流逝。TCPSender 负责查看其未完成的 TCPSenderMessages 集合,并确定最早发送的 segment 是否在没有确认的情况下未完成太长时间(即,没有确认其所有序列号)。如果是这样,则需要重新传输 (再次发送) 。

2 实现TCP Sender

2.1 void push( const TransmitFunction& transmit );

要求 TCPSender 从出站字节流填充窗口:它从流中读取并发送尽可能多的 TCPSenderMessages,只要窗口中有要读取的新字节和可用空间。它通过调用提供的 transmit() 函数来发送它们。
您需要确保您发送的每个 TCPSenderMessage 都完全适合接收者的窗口。使每条消息尽可能大,但不要大于 TCPConfig::MAX PAYLOAD SIZE 给出的值。

const TransmitFunction& transmit 函数型参数?

跳转到定义:

  /* Type of the `transmit` function that the push and tick methods can use to send messages */using TransmitFunction = std::function<void( const TCPSenderMessage& )>;

作用是,当发送器生成一个待发送的段(如 SYN 段、数据段、FIN 段)时,通过调用 transmit(segment) 将段传递给框架,segment的类型是TCPSenderMessage

从哪里读取字节?

当然是从TCPSender类里自己的字节流input_里读取,此时,TCPSender作为发送方

input_里的数据是哪来的?

构造TCPSender类时放入的,构造TCPSender时,同时还会给定Initial_RTO和ISN

实现

void TCPSender::push(const TransmitFunction& transmit)
{// 首先检查Writer是否存在错误并设置错误状态,有错误的话停止push,并返回空的messageif (writer().has_error()) {_has_error = true;cerr << "DEBUG: writer has error, setting _has_error = true" << endl;}if (_has_error) {cerr << "DEBUG: _has_error is true in push(), sending RST message" << endl;TCPSenderMessage rst_msg = make_empty_message();transmit(rst_msg);return;}// 如果没有错误,正常处理...// 如果可接收的窗口大小为0且没有要重传的消息,则设置窗口大小为1uint64_t effective_window = (received_msg.window_size == 0 && outstanding_bytes == 0) ? 1 : received_msg.window_size;//如果当前的窗口大小可以容纳待重传的消息,则处理数据while (outstanding_bytes < effective_window) {TCPSenderMessage msg;//发送SYN消息if (isSent_ISN == false) {msg.SYN = true;msg.seqno = isn_;isSent_ISN = true;  // 立即设置标志} else {msg.seqno = Wrap32::wrap(abs_seqno, isn_);}// 计算可用窗口大小(考虑已发送但未确认的字节)size_t remaining_window = effective_window - outstanding_bytes;// 如果是SYN消息,需要减去一个字节,因为SYN占用一个序列号if (msg.SYN) {remaining_window = remaining_window > 0 ? remaining_window - 1 : 0;}// 计算可以发送的数据大小size_t payload_size = min(remaining_window, TCPConfig::MAX_PAYLOAD_SIZE);payload_size = min(payload_size, writer().reader().bytes_buffered());// 读取数据read(writer().reader(), payload_size, msg.payload);// 修改FIN逻辑:只有当发送完所有数据后,且确保FIN的一个字节也能放入窗口时才添加FINif (writer().is_closed() && !isSent_FIN && writer().reader().bytes_buffered() == 0 && outstanding_bytes + msg.sequence_length()  < effective_window) {isSent_FIN = true;msg.FIN = true;}if (!msg.sequence_length()) break;outstanding_collections.push_back(msg);outstanding_bytes += msg.sequence_length();  // 确保正确计算序列号占用abs_seqno += msg.sequence_length();// 立即发送创建的消息transmit(msg);// 如果有未确认的数据,启动计时器if (outstanding_bytes > 0 && !is_start_timer) {is_start_timer = true;cur_RTO_ms = initial_RTO_ms_;}}
}

2.2 void receive( const TCPReceiverMessage& msg );

从接收器接收一条消息,传达窗口的新左边缘 (= ackno) 和右边缘 (= ackno + 窗口大小)。TCPSender 应查看其未完成的 segment 集合,并删除任何现已完全确认的 segment(ackno 大于 segment 中的所有序列号)。
左边缘:告知发送方 “已确认的数据边界”,释放已处理的段。
右边缘:告知发送方 “可接收的数据边界”,限制发送速率和数据量。

窗口大小是用来限制每次发送的段的大小,还是所有要发送的数据的大小?

后者。因为之前window_size设置的是TCPReceiver的字节流可以接受的最大字节数量。
那段的大小是由谁限制来着?
《自顶向下》上说是MSS(最大报文长度)。

实现

void TCPSender::receive(const TCPReceiverMessage& msg)
{// 检查收到的RST标志if (msg.RST) {_has_error = true;// 还需要设置底层writer的错误状态const_cast<Writer&>(writer()).set_error();return;}if (_has_error) {return;  // 如果有错误,不执行任何操作}received_msg = msg;primitive_window_size = msg.window_size;if (msg.ackno.has_value() == true) {uint64_t ackno_unwrapped = static_cast<uint64_t>(msg.ackno.value().unwrap(isn_, abs_seqno));if (ackno_unwrapped > abs_seqno) return;while (outstanding_bytes != 0 && static_cast<uint64_t>(outstanding_collections.front().seqno.unwrap(isn_, abs_seqno)) + outstanding_collections.front().sequence_length() <= ackno_unwrapped) {outstanding_bytes -= outstanding_collections.front().sequence_length();outstanding_collections.pop_front();consecutive_retransmissions_nums = 0;cur_RTO_ms = initial_RTO_ms_;if (outstanding_bytes == 0) is_start_timer = false;else is_start_timer = true;}}
}

2.3 void tick( uint64 t ms since last tick, const TransmitFunction& transmit );

Time has passed — 自上次调用此方法以来的一定毫秒数。发送方可能需要重新传输未完成的段;它可以调用 transmit() 函数来执行此作。(提醒:请不要尝试在代码中使用实际的 “clock” 或 “gettimeofday” 函数;对时间传递的唯一引用来自 ms since last tick 参数。

实现

关键点:

  • 重传判断
  • 指数退避
void TCPSender::tick(uint64_t ms_since_last_tick, const TransmitFunction& transmit)
{if (_has_error) {return;  // 如果有错误,不执行任何操作}// 只有当有未确认的数据且计时器启动时才减少时间if (is_start_timer && outstanding_bytes > 0) {if (cur_RTO_ms <= ms_since_last_tick) {// 超时,重传第一个未确认的段transmit(outstanding_collections.front());consecutive_retransmissions_nums++;if (primitive_window_size) cur_RTO_ms = (1UL << consecutive_retransmissions_nums) * initial_RTO_ms_;else cur_RTO_ms = initial_RTO_ms_;} else {cur_RTO_ms -= ms_since_last_tick;}}
}

谁来调用tick()?

发送数据时,push中发现有需要重传的消息,就会启动定时器

if (outstanding_bytes > 0 && !is_start_timer) {is_start_timer = true;cur_RTO_ms = initial_RTO_ms_;
}

只是启动,不是调用,真正的调用tick是在测试框架的上层模块

TCPSenderMessage make empty message() const;

TCPSender 应生成并发送一条序列号设置正确的零长度消息。如果 Peer 节点想要发送 TCPReceiverMessage(例如,因为它需要确认来自 Peer 节点的发送者的某些内容)并且需要生成 TCPSenderMessage 来配合它,这将非常有用。

实现

注意RST的设置

TCPSenderMessage TCPSender::make_empty_message() const
{TCPSenderMessage msg;msg.seqno = Wrap32::wrap(abs_seqno, isn_);// 检查是否有错误,无论是来自内部标志还是Writerbool has_error = _has_error || writer().has_error();cerr << "DEBUG: make_empty_message called, _has_error = " << (_has_error ? "true" : "false") << ", writer().has_error() = " << (writer().has_error() ? "true" : "false") << endl;if (has_error) {msg.RST = true;}return msg;
}

几个疑问

TCP是单工通信还是双工通信?

全双工,“一对流量控制的字节流”。
Sender和Recevier各自独立存在一个字节流,支持双向数据传输。

数据流是如何传输的

留个坑

相关文章:

2025 cs144 Lab Checkpoint 3: TCP Receiver

文章目录 1 关于TCP Sender1.1 关键机制重传超时&#xff08;RTO&#xff09;与定时器 2 实现TCP Sender2.1 void push&#xff08; const TransmitFunction& transmit &#xff09;;const TransmitFunction& transmit 函数型参数&#xff1f;从哪里读取字节&#xff1…...

【学习笔记】深入理解Java虚拟机学习笔记——第5章 调优案例分析与实战

第5章 调优案例分析与实战 5.1 概述 略 5.2 案例分析 5.2.1 大内存硬件上的程序部署策略 为防止大内存一次Full GC时间过长&#xff0c;可以考虑使用响应速度优先的垃圾回收器&#xff0c;还可以通过将一个10GB堆内存的应用分解为5个2GB堆内存应用&#xff0c;并通过负载均…...

Vue 3 Teleport 实战:优雅实现模态框、通知和全局组件

Vue 3 Teleport&#xff1a;突破 DOM 层级限制的组件渲染利器 在 Vue 应用开发中&#xff0c;组件通常与其模板的 DOM 结构紧密耦合。但当处理模态框&#xff08;Modal&#xff09;、通知&#xff08;Toast&#xff09;或全局 Loading 指示器时&#xff0c;这种耦合会成为障碍…...

使用高斯朴素贝叶斯算法对鸢尾花数据集进行分类

高斯朴素贝叶斯算法通常用于特征变量是连续变量&#xff0c;符合高素分布的情况。 使用高斯朴素贝叶斯算法对鸢尾花数据集进行分类 """ 使用高斯贝叶斯堆鸢尾花进行分类 """ #导入需要的库 from sklearn.datasets import load_iris from skle…...

vue中ref的详解以及react的ref对比

文章目录 1. ref是什么2. ref的使用3. ref的特性4. 使用场景5. 注意事项6. 与 React 的对比7. 动态 ref8. 函数式组件中的 ref9. 组合式 API 中的 ref10. 总结 1. ref是什么 ref 被用来给元素或子组件注册引用信息。引用信息将会注册在父组件的 $refs 对象上。可以通过实例对象…...

【笔记】解决MSYS2安装后cargo-install-update.exe-System Error

#工作记录 cargo-install-update.exe-System Error The code execution cannot proceed because libgit2-1.9.dll wasnot found. Reinstalling the program may fix this problem. …...

[论文阅读] 人工智能+软件工程 | MemFL:给大模型装上“项目记忆”,让软件故障定位又快又准

【论文解读】MemFL&#xff1a;给大模型装上“项目记忆”&#xff0c;让软件故障定位又快又准 论文信息 arXiv:2506.03585 Improving LLM-Based Fault Localization with External Memory and Project Context Inseok Yeo, Duksan Ryu, Jongmoon Baik Subjects: Software Engi…...

银行卡二三四要素实名接口如何用PHP实现调用?

一、什么是银行卡二三四要素实名接口 输入银行卡卡号、姓名、身份证号码、手机号&#xff0c;验证此二三四要素是否一致。 二、核心价值 1. 提升风控效率 通过实时拦截冒用身份开户&#xff0c;银行卡二三四要素实名接口显著降低了人工审核成本&#xff0c;效率提升50%以上…...

itvbox绿豆影视tvbox手机版影视APP源码分享搭建教程

我们先来看看今天的主题&#xff0c;tvbox手机版&#xff0c;然后再看看如何搭建&#xff1a; 很多爱好者都希望搭建自己的影视平台&#xff0c;那该如何搭建呢&#xff1f; 后端开发环境&#xff1a; 1.易如意后台管理优化版源码&#xff1b; 2.宝塔面板&#xff1b; 3.ph…...

Docker load 后镜像名称为空问题的解决方案

在使用 docker load命令从存档文件中加载Docker镜像时&#xff0c;有时会遇到镜像名称为空的情况。这种情况通常是由于在保存镜像时未正确标记镜像名称和标签&#xff0c;或者在加载镜像时出现了意外情况。本文将介绍如何诊断和解决这一问题。 一、问题描述 当使用 docker lo…...

Redis 集群批量删除key报错 CROSSSLOT Keys in request don‘t hash to the same slot

Redis 集群报错 CROSSSLOT Keys in request dont hash to the same slot 的原因及解决方案 1. 错误原因 在 Redis 集群模式下&#xff0c;数据根据 哈希槽&#xff08;Slot&#xff09; 分散存储在不同的节点上&#xff08;默认 16384 个槽&#xff09;。当执行涉及多个 key …...

网页抓取混淆与嵌套数据处理流程

当我们在网页抓取中&#xff0c;遇到混淆和多层嵌套的情况是比较常见的挑战。混淆大部分都是为了防止爬虫而设计的&#xff0c;例如使用JavaScript动态加载、数据加密、字符替换、CSS偏移等。多层嵌套则可能是指HTML结构复杂&#xff0c;数据隐藏在多层标签或者多个iframe中。 …...

高性能MYSQL:复制同步的问题和解决方案

一、复制的问题和解决方案 中断MySQL的复制并不是件难事。因为实现简单&#xff0c;配置相当容易&#xff0c;但也意味着有很多方式会导致复制停止&#xff0c;陷入混乱并中断。 &#xff08;一&#xff09;数据损坏或丢失的错误 由于各种各样的原因&#xff0c;MySQL 的复制…...

如何通过外网访问内网服务器?怎么让互联网上连接本地局域网的网址

服务器作为一个数据终端&#xff0c;是很多企事业单位不可获缺的重要设备&#xff0c;多数公司本地都会有部署服务器供测试或部署一些网络项目使用。有人说服务器就是计算机&#xff0c;其实这种说法不是很准确。准确的说服务器算是计算机的一种&#xff0c;它的作用是管理计算…...

大话软工笔记—架构模型

1. 架构模型1—拓扑图 &#xff08;1&#xff09;拓扑图概念 拓扑图&#xff0c;将多个软件系统用网络图连接起来的表达方式。 &#xff08;2&#xff09;拓扑图分类 总线型结构 比较普遍采用的方式&#xff0c;将所有的系统接到一条总线上。 星状结构 各个系统通过点到…...

javaweb -html -CSS

HTML是一种超文本标记语言 超文本&#xff1a;超过了文本的限制&#xff0c;比普通文本更强大&#xff0c;除了文字信息&#xff0c;还可以定义图片、音频、视频等内容。 标记语言&#xff1a;由标签"<标签名>"构成的语言。 CSS:层叠样式表&#xff0c;用于…...

spring task定时任务快速入门

spring task它基于注解和配置&#xff0c;可以轻松实现任务的周期性调度、延迟执行或固定频率触发。按照我们约定的时间自动执行某段代码。例如闹钟 使用场景 每月还款提醒&#xff0c;未支付的订单自动过期&#xff0c;收到快递后自动收货&#xff0c;系统自动祝你生日快乐等…...

搭建nginx的负载均衡

1、编写一个configMap的配置文件 events {worker_connections 1024; # 定义每个worker进程的最大连接数 }http {# 定义通用代理参数&#xff08;替代proxy_params文件&#xff09;proxy_set_header Host $host;proxy_set_header X-Real-IP $remote_addr;proxy_set_header X-F…...

Appium+python自动化(八)- 认识Appium- 下章

1、界面认识 在之前安装appium的时候说过我们有两种方法安装&#xff0c;也就有两种结果&#xff0c;一种是有界面的&#xff08;客户端安装&#xff09;&#xff0c;一种是没有界面的&#xff08;终端安装&#xff09;&#xff0c;首先我们先讲一下有界面的&#xff0c;以及界…...

LabVIEW的MathScript Node 绘图功能

该VI 借助 LabVIEW 的 MathScript Node&#xff0c;结合事件监听机制&#xff0c;实现基于 MathScript 的绘图功能&#xff0c;并支持通过交互控件自定义绘图属性。利用 MathScript 编写脚本完成图形初始化&#xff0c;再通过LabVIEW 事件结构响应用户操作&#xff0c;动态修改…...

互斥锁与消息队列的架构哲学

更多精彩内容请访问&#xff1a;通义灵码2.5——基于编程智能体开发Wiki多功能搜索引擎更多精彩内容请访问&#xff1a;更多精彩内容请访问&#xff1a;通义灵码2.5——基于编程智能体开发Wiki多功能搜索引擎 一、资源争用的现实镜像 当多个ATM机共用一个现金库时&#xff0c;…...

每日Prompt:治愈动漫插画

提示词 现代都市治愈动漫插画风格&#xff0c;现代女子&#xff0c;漂亮&#xff0c;长直发&#xff0c;20岁&#xff0c;豆沙唇&#xff0c;白皙&#xff0c;气质&#xff0c;清纯现代都市背景下&#xff0c;夕阳西下&#xff0c;一位穿着白色露脐短袖&#xff0c;粉色工装裤…...

stress-ng 服务器压力测试的工具学习

一、stress-ng (下一代压力测试) 介绍 项目地址&#xff1a;https://github.com/ColinIanKing/stress-ng stress-ng 将以多种可选方式对计算机系统进行压力测试。它旨在锻炼计算机的各种物理子系统以及各种操作系统内核接口。stress-ng 的特点&#xff1a; 360 压力测试100 …...

6.8 note

paxos算法_初步感知 Paxos算法保证一致性主要通过以下几个关键步骤和机制&#xff1a; 准备阶段 - 提议者向所有接受者发送准备请求&#xff0c;请求中包含一个唯一的编号。 - 接受者收到请求后&#xff0c;会检查编号&#xff0c;如果编号比它之前见过的都大&#xff0c;就会承…...

面试心得 --- 车载诊断测试常见的一些面试问题

我是穿拖鞋的汉子,魔都中坚持长期主义的汽车电子工程师。 老规矩,分享一段喜欢的文字,避免自己成为高知识低文化的工程师: 做到欲望极简,了解自己的真实欲望,不受外在潮流的影响,不盲从,不跟风。把自己的精力全部用在自己。一是去掉多余,凡事找规律,基础是诚信;二是…...

Vue项目PDF目录功能集成【一】——方案深度思考

文章目录 项目背景一、方案一&#xff1a;数据透传 外部开发模式二、方案二&#xff1a;内置组件 黑盒模式三、方案三&#xff1a;激活官方实现 可控定制总结 项目背景 本项目是Vue 3 项目&#xff0c;需要使用文件预览组件&#xff08;pdfjs 当前是作为sdk二次封装引入&am…...

服务器中僵尸网络攻击是指什么?

随着网络业务的不断发展&#xff0c;网络攻击的手段也变得越来越多&#xff0c;各个企业都会受到网络攻击的威胁&#xff0c;其中常见的网络攻击主要有DDOS攻击和CC攻击等类型&#xff0c;今天小编则为大家来介绍僵尸网络攻击是指什么&#xff01; 僵尸网络主要是指采用一种或者…...

Java编程中常见的条件链与继承陷阱

格式错误的if-else条件链 典型结构与常见错误模式 在Java编程中,if-else条件链是一种常见的多条件处理模式,其标准结构如下: if (condition1) {// 处理逻辑1 } else if (condition2) {// 处理逻辑2 } else...

跟进一下目前最新的大数据技术

搭建最新平台 40C64G服务器&#xff0c;搭建3节点kvm&#xff0c;8C12G。 apache-hive-4.0.1-bin apache-tez-0.10.4-bin flink-1.20.1 hadoop-3.4.1 hbase-2.6.2 jdk-11.0.276 jdk8u452-b09 jdk8终于可以不用了 spark-3.5.5-bin-hadoop3 zookeeper-3.9.3 trino…...

ubuntu 系统分区注意事项

ubuntu 系统分区大小&#xff0c;注意事项&#xff1a; 安装ubuntu系统时&#xff0c;需要进行分区&#xff0c;手动分区时&#xff0c;有一点需要注意。一开始我也没有注意&#xff0c;长时间使用后才发现的问题。 需要注意一点&#xff0c;如果不对 /usr 进行单独分区&…...