MIT 6.S081学习笔记（第十章）

本文主要是介绍MIT 6.S081学习笔记（第十章），希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

〇、前言

本文主要完成 MIT 6.S081 实验 net 。
开始之前，切换分支：

  $ git fetch$ git checkout net$ make clean

Lab: networking（hard）

Question requirements

Your job is to complete e1000_transmit() and e1000_recv(), both in kernel/e1000.c, so that the driver can transmit and receive packets. You are done when make grade says your solution passes all the tests.

e1000_transmit()

对于发送数据，得明白数据往哪里发。
首先需要拿到一个可用的缓冲的下标，然后根据下标获取 buffer 的描述符，我们往这个描述符中设置我们的信息就可以了。结合 hints，可以轻易的写好代码：

int
e1000_transmit(struct mbuf *m)
{acquire(&e1000_lock); uint32 ind = regs[E1000_TDT]; // 下一个可用的 buffer 的下标// 拿到描述符struct tx_desc *desc = &tx_ring[ind]; // 安全检查if(!(desc->status & E1000_TXD_STAT_DD)) {release(&e1000_lock);return -1;}// 释放原来的信息if(tx_mbufs[ind]) {mbuffree(tx_mbufs[ind]);tx_mbufs[ind] = 0;}// 设置相关信息desc->addr = (uint64)m->head;desc->length = m->len;desc->cmd = E1000_TXD_CMD_EOP | E1000_TXD_CMD_RS;// 填入要发送的信息tx_mbufs[ind] = m;// 更新下一个槽位下标regs[E1000_TDT] = (regs[E1000_TDT] + 1) % TX_RING_SIZE;release(&e1000_lock);return 0;
}

e1000_recv()

当接收到来自 E1000 网卡的数据包时，e1000_recv 函数起到处理这些数据包的作用。这个函数会持续地检查并处理已到达并准备好被软件接收的数据包。这是通过以下步骤实现的：

读取接收尾指针寄存器并加 1 取余，以确定下一个软件可以读取的数据包在接收队列中的索引。
检查描述符的状态位 E1000_RXD_STAT_DD，确认数据包已被硬件处理完毕，可以被内核处理。如果未被处理，停止处理。
对接收缓冲区中待处理的数据包设置长度，并将其传递给网络栈的 net_rx() 函数进行解封装。
为了替换掉已被处理的接收缓冲区，调用 mbufalloc() 分配一个新的缓冲区，同时更新描述符指向新的缓冲区，并将描述符的状态字段清零。
更新接收尾指针 RDT 指向最后一个已被软件处理的描述符。

在这个过程中，考虑到可能到达的数据包超过队列大小的情况，通过使用循环确保一次中断触发后网卡软件会一直将可解封装的数据传递到网络栈。在这里没有使用锁来保护访问数据的原因是，该函数只会被中断处理函数调用，且不会出现对共享数据结构的并发访问。同时，避免使用 e1000_lock 是为了避免在接收到 ARP 报文时可能发生的死锁情况。

static void
e1000_recv(void)
{while(1) { // 获取到软件可以读取的位置, 也就是接收且未被软件处理的第一个数据帧在接收队列的索引    uint32 ind = (regs[E1000_RDT] + 1) % RX_RING_SIZE;// 获取缓冲描述符struct rx_desc *desc = &rx_ring[ind];// 检查if(!(desc->status & E1000_RXD_STAT_DD)) {return;}rx_mbufs[ind]->len = desc->length;// 传递到上层net_rx(rx_mbufs[ind]); // 因为这个缓冲区还在使用，因此需要分配并设置新的 mbuf，供给下一次轮到该下标时使用rx_mbufs[ind] = mbufalloc(0);desc->addr = (uint64)rx_mbufs[ind]->head;desc->status = 0;regs[E1000_RDT] = ind;}
}

测试

== Test running nettests == 
$ make qemu-gdb
(5.1s) 
== Test   nettest: ping == nettest: ping: OK 
== Test   nettest: single process == nettest: single process: OK 
== Test   nettest: multi-process == nettest: multi-process: OK 
== Test   nettest: DNS == nettest: DNS: OK 
== Test time == 
time: OK 
Score: 100/100

总结（大模型）

实现对于完成 MIT 6.S081 实验中的网络部分非常详细和全面。e1000_transmit() 函数有效地将数据包发送到 E1000 网卡中，涵盖了缓冲区描述符的正确设置和释放，并确保了发送队列的并发安全性。e1000_recv() 函数则能够持续地处理接收到的数据包，在循环中检查描述符的状态并进行数据包处理、网络栈传递和接收队列更新等操作。

在测试中，你展示了通过运行 nettest 的各项测试，包括 ping、单进程和多进程测试以及 DNS 请求，证明了代码的正确性和可靠性，最终得分为 100/100。

整体来说，你对这部分实验内容的理解和解释非常透彻，完整地涵盖了代码的实现逻辑和测试验证的过程。

这篇关于MIT 6.S081学习笔记（第十章）的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！