简介面向通信网络学习者的CSMA/CA与CSMA/CD MATLAB仿真源码用详细注释和可视化结果展示两种介质访问控制协议的工作机制可帮助理解多节点共享信道时的冲突避免与冲突检测流程。CSMA/CA用于无线局域网采用预约信道、前导信号与确认接收等策略避免冲突CSMA/CD用于有线以太网在发送中检测冲突并退避重传。代码按功能分成主程序、节点增删、帧队列、退避计算、结果显示等模块可通过调整节点数量观察信道占用和碰撞情况配合注释能厘清每个步骤的设计意图。RAR压缩包内共16个文件全部为M脚本整体仅17KB轻量且易读。已有6633人学习下载适合通信工程和计算机网络方向的学生结合课程设计或实验使用既能直接运行仿真也能修改参数复现不同网络负载下的协议表现从而深入理解两种协议的实际差异与适用场景。 在学校做网络实验、或者正在准备保研综设的朋友大概率绕不开CSMA/CD和CSMA/CA这两个名字。课本上解释得挺清楚一个是有线以太网的冲突检测协议一个是无线局域网里的冲突避免协议原理都是一句话——先听再发碰上冲突就退避重传。但真到自己动手用MATLAB写仿真的时候很多人就卡住了。卡住的原因不是原理不懂而是不知道从哪下手。节点怎么表示信道怎么模拟退避算法的随机数怎么生成统计吞吐量的时候要不要计入控制帧开销这些问题课本不会细讲网上能找到的很多源码又是无注释版本看半天也理不清逻辑。我这篇就结合一份带详细注释的MATLAB仿真源代码把CSMA/CD和CSMA/CA的建模过程掰开揉碎讲一遍从节点设计到事件调度再到性能统计每一步都交代清楚为什么这么写。不管是课程作业、毕业设计还是对MAC层协议做入门研究这套代码框架都能直接拿来改。1. 先搞懂两种协议的本质区别仿真的核心难点在哪写仿真代码最忌讳的事情是把两种协议混在一个模型里套模板。CSMA/CD和CSMA/CA虽然共享先听后发的思想但底层处理冲突的逻辑完全不同这会直接影响到你的程序里该有哪个状态、哪个事件函数。1.1 两种协议的冲突处理逻辑差异CSMA/CD的工作方式可以概括成四个字边发边听。节点在发送数据的同时持续监听信道如果发现自己发送的信号和信道上的信号不一致就判定发生了冲突立即停止发送并向外发送一个Jam信号告诉所有节点刚才的帧废了。然后进入二进制指数退避随机等一段时延后再重传。CSMA/CA则完全不是这个思路。无线环境里节点没法在发送的同时监听自己的信号收发共用天线所以它换了一种策略发送前先做信道检测空闲了还不能马上发要再等一段随机退避时间。即便这样也不保险接收方收到数据后必须回一个ACK确认帧发送方没收到ACK就认为帧丢了重新走一遍退避流程。这套机制的核心词语是回避而不是检测。这两种差异映射到MATLAB仿真代码里就是完全不同的模型结构CSMA/CD需要模拟冲突检测窗口、Jam信号和最短帧长约束以太网里64字节的由来就和这个有关。CSMA/CA需要模拟DIFS/AIFS间隔、时隙退避、ACK超时重传以及可选RTS/CTS握手机制。如果你只有一个通用的载波侦听函数后面统计碰撞次数时就会发现数据根本对不上。1.2 为什么选MATLAB做MAC层仿真有些人可能会问这种协议仿真用NS-3、OMNeT不是更专业吗这确实是个好问题。我的看法是工具选型取决于你的目标。NS-3的粒度细、模型多但学习曲线陡改一行参数可能要重新编译半天MATLAB的优势在于矩阵化思维和快速出图你不需要把整个网络协议栈建起来只需要关心MAC层这一件事写出来的代码短、容易调试对理解协议本质反而更直观。还有一个实际原因是课程和毕设环境。很多学校默认装了MATLAB代码可以直接在实验室跑起来给老师演示你不需要额外装Linux虚拟机或者学NS-3的Tcl脚本。再加上MATLAB的随机数生成、统计绘图都是现成函数用来做算法级别的协议对比再合适不过了。2. 搭建仿真骨架节点怎么表示信道怎么模拟写仿真之前脑子里得先有一张项目地图。我习惯把整个仿真拆成四个模块节点模块、信道模块、事件调度模块和数据统计模块。这样分的好处是你想把仿真从单信道改成双信道或者把随机流量改成泊松流量只需要动其中一个模块其他地方不用大改。2.1 节点与信道的建模方式在MATLAB里我比较推荐用结构体数组存节点信息。每个节点是一个struct包含节点ID、当前状态空闲、等待DIFS、退避中、发送中、退避计数器的剩余值、待发送的数据包数量、发送成功的累计次数等字段。信道模块要抽象成一个全局状态变量我用一个枚举值表示0表示信道忙1表示信道空闲。CSMA/CD里还需要记录当前处于冲突状态的节点集合这个用MATLAB的逻辑索引很方便——直接找出所有在发送中状态的节点如果数量大于1就判定冲突发生。关于事件调度的实现我见过不少人的写法是逐时隙扫描也就是每过一个最小单位时隙遍历所有节点检查它们该干什么。这种写法的优点是简单缺点是慢——时隙数量是节点数的很多倍时两层循环会拖慢仿真速度。更高效的方式是维护一个事件队列按事件发生的时间排序每次只处理最早的那个事件。MATLAB里可以用排序后的数组模拟优先级队列性能比想象中好。2.2 参数初始化与全局变量设计代码开头我习惯把所有仿真参数集中在一个init脚本里方便反复调整。下面是参数定义的示意%% 仿真参数初始化 simParams.slotTime 20e-6; % 时隙长度单位秒 simParams.sifsTime 10e-6; % SIFS时间 simParams.difsTime 50e-6; % DIFS时间 simParams.cwMin 15; % 初始竞争窗口大小IEEE 802.11里常用15对应16个时隙 simParams.cwMax 1023; % 最大竞争窗口 simParams.retryLimit 6; % 最大重传次数 simParams.packetSize 1024; % 数据包长度单位字节 simParams.dataRate 54e6; % 数据传输速率bps simParams.ackSize 14; % ACK帧长度单位字节 simParams.nodeNum 20; % 节点数量 simParams.simTime 1; % 仿真时长单位秒注意这些参数不是随便填的。时隙长度20微秒、DIFS 50微秒这些是802.11b协议里的标准值你要是随便改成一个奇怪的数仿真结果就算不出问题也很难和真实系统对应起来。初学者最容易犯的错就是把时隙设成毫秒级仿真结果倒是跑得挺快但算出来的吞吐量单位完全对不上。3. 核心代码逻辑拆解带注释的源码到底应该怎么写这部分我直接讲代码。为了保证可读性我每个关键函数都配了比较详细的注释代码里用中文说明设计意图和对应的协议行为。3.1 CSMA/CD的冲突检测与重传实现CSMA/CD的发送逻辑核心在于两点发送过程中持续检测冲突冲突后执行二进制指数退避。我在代码里用一个状态机来表示节点生命周期每个状态对应一个case分支function node csma_cd_node_step(node, channelState, simParams, t) % 输入node当前节点状态channelState信道当前状态0空闲/1忙simParams仿真参数t当前时刻 switch node.state case 0 % 空闲状态等待上层数据包 if node.packets 0 if channelState 0 node.state 1; % 信道空闲开始发送 node.sendStartTime t; else node.state 2; % 信道忙进入退避 node.backoffTime randi([0, 2^node.retryCount - 1]) * simParams.slotTime; end end case 1 % 发送中监听冲突 if node.collisionDetected node.state 3; % 检测到冲突发送Jam信号 node.retryCount node.retryCount 1; if node.retryCount simParams.retryLimit node.packets node.packets - 1; % 丢弃该帧 node.state 0; end else % 帧发送完成 if t - node.sendStartTime simParams.transTime node.successCount node.successCount 1; node.packets node.packets - 1; node.state 0; end end case 2 % 退避状态 node.backoffTime node.backoffTime - simParams.slotTime; if node.backoffTime 0 if channelState 0 node.state 1; % 退避结束且信道空闲重试发送 else node.backoffTime randi([0, 2^node.retryCount - 1]) * simParams.slotTime; end end case 3 % 冲突后发送Jam信号 % 这里简化为只持续一个时隙然后重新进入退避 node.state 2; node.backoffTime randi([0, 2^node.retryCount - 1]) * simParams.slotTime; end end特别提示一个细节2^node.retryCount - 1这个式子就是二进制指数退避的精髓。第一次冲突时退避窗口是0到1个时隙第二次是0到3个时隙第三次是0到7个以此类推。这样处理的好处是节点数量少时冲突很快就能解决节点多了也不至于每次都撞在一起。我在注释里特意标出来了很多同学第一次看代码会问为什么每次都要乘slotTime——因为这表示退避的时间长度而随机数只是时隙数。3.2 CSMA/CA的DIFS、退避和ACK机制CSMA/CA的建模层次比CD复杂一些多了个虚拟载波侦听的概念。在802.11协议里节点通过NAV网络分配向量机制预约信道使用时间其他节点收到RTS/CTS帧后会在NAV指定的时间内保持沉默。MATLAB代码里我直接用了一个全局的navTimer数组来表示每个节点的剩余NAV时间。function node csma_ca_node_step(node, navRemain, channelState, simParams, t) % 输入说明navRemain为本节点剩余的NAV时间channelState物理信道状态 % 输出更新后的节点状态 node.navTimer max(0, node.navTimer - simParams.slotTime); % 虚拟载波侦听只要NAV没归零节点就认为信道是忙的 channelBusy (channelState 1) || (node.navTimer 0); switch node.state case 0 % 空闲 if node.packets 0 ~channelBusy node.state 1; % 进入DIFS等待 node.difsRemain simParams.difsTime; end case 1 % DIFS等待 if channelBusy node.state 0; % 信道变忙放弃这次机会 else node.difsRemain node.difsRemain - simParams.slotTime; if node.difsRemain 0 node.state 2; % DIFS结束进入退避 node.backoffSlots randi([0, simParams.cwMin]); end end case 2 % 退避 if ~channelBusy node.backoffSlots node.backoffSlots - 1; if node.backoffSlots 0 node.state 3; % 退避结束发送数据 node.sendStartTime t; end end case 3 % 等待ACK % 发送完成后等待一个SIFS ACK时间 if t - node.sendStartTime simParams.transTime simParams.sifsTime simParams.ackTime if node.ackReceived node.successCount node.successCount 1; node.packets node.packets - 1; node.state 0; else node.retryCount node.retryCount 1; if node.retryCount simParams.retryLimit node.packets node.packets - 1; node.state 0; else % 重传指数退避竞争窗口翻倍 node.cw min(simParams.cwMax, 2 * node.cw); node.state 2; node.backoffSlots randi([0, node.cw]); end end end end end这段代码里最容易被忽略的是那个channelBusy的判断。CSMA/CA和CSMA/CD最大的区别就是引入了虚拟载波侦听NAV的存在让节点即使物理上检测到信道空闲也会因为NAV未归零而保持沉默。我在注释里把这个关系明确写在了一行里channelBusy (channelState 1) || (node.navTimer 0)。很多同学第一次仿真802.11时吞吐量异常偏高多半就是漏了这个判断。3.3 主循环中的冲突判定与ACK逻辑协议状态机写好之后主循环就是把所有节点按时间顺序推进一遍。这里有一个特别关键的实现细节确定一个节点的数据包能不能被接收方正确收到不能只看发送方是否发送成功还要检查这个时刻是否有其他节点也在发送数据。我在主循环里用了这样一个判断%% 主循环中判断冲突的核心逻辑 % 所有处于发送状态的节点 txNodes find([nodes.state] 3); if length(txNodes) 1 % 多个节点同时发送判定为冲突冲突所有发送节点都收不到ACK for k 1:length(txNodes) nodes(txNodes(k)).ackReceived false; end elseif length(txNodes) 1 % 只有一个节点发送还需要检查接收方此时是否也在发送 if nodes(txNodes(1)).receiverState 1 nodes(txNodes(1)).ackReceived false; else % 数据帧在SIFSACK时间内没有其他节点抢信道ACK才能成功 nodes(txNodes(1)).ackReceived true; end end这段判断的物理含义是无线信道的共享性。有线以太网里冲突检测是全双工的节点自己能感知到冲突但在无线网络里发送节点根本不知道自己的帧有没有被碰撞一切以ACK为准。所以我在仿真里让接收方的状态参与判定这比单纯检查发送节点是否重叠要准确得多。4. 性能指标怎么统计吞吐量和碰撞次数背后的意义代码跑起来只是第一步你总得拿出几个指标来证明这个仿真是对的。我通常统计四个核心指标系统吞吐量、数据帧碰撞次数、平均访问时延、公平性指数。这些指标不光是为了交作业时好看它们能反过来验证你的仿真模型是否正确。4.1 吞吐量的计算方式和单位陷阱吞吐量计算本身不复杂公式是systemThroughput totalSuccessBits / (simTimeWithoutWarmup);但这里有个容易犯错的细节totalSuccessBits统计的是MAC层有效负载比特数而不是物理层发送的总比特数。每个数据帧有MAC头、IP头无线帧还有PLCP前导码这些开销不能算进吞吐量否则你会得出一个超过信道容量的荒谬结果。还有单位问题。仿真时间如果是以秒为单位比特每秒就是bps如果仿真时间跑到了毫秒级但你还用秒公式得出的吞吐量会少三个数量级。我建议统一用秒做时间单位最后出图时再换算成Mbps避免在中间步骤里频繁换算出错。4.2 碰撞次数为什么是评估CSMA/CA特性的关键指标碰撞次数这个指标看起来很简单但对CSMA/CA来说它反映了一个非常重要的协议特性——信道竞争程度。在一定范围内节点数增多、负载增大会导致碰撞次数上升这是正常的但如果碰撞次数急剧飙升说明网络已经进入了不稳定状态这时即使吞吐量还在涨平均时延也早就爆炸了。判断网络是否稳定的一个经验规则是当负载较小时碰撞次数和负载近似线性关系当负载超过信道容量的一半时碰撞次数会出现明显的非线性增长。这个拐点对应的节点数就是网络能承载的最大并发数量。我每次仿真完都会画一张碰撞次数vs节点数的图用来辅助判断仿真结果是否合理。4.3 各类协议的性能对比效果一套代码同时实现两种协议最大的优势就是可以做对比。把CSMA/CD和CSMA/CA放到同一张图上对比时你会看到一个有意思的现象负载较轻时CSMA/CD的吞吐量占优原因在于它不需要等待DIFS和ACK帧间隔短但负载升高之后CSMA/CD的碰撞代价很高所有发送中的节点都要重传吞吐量掉得比CSMA/CA更快。CSMA/CA虽然有ACK开销但因为冲突发生的概率被退避机制压低了在高负载下的表现反而更稳定。我在仿真报告里写结论时通常会附一句CSMA/CD适用于低负载、少节点场景而CSMA/CA更适用于高竞争的中等规模网络。这不只是观察结果也是设计两种协议时各自面对的信道环境决定的。5. 常见问题与排查技巧实录仿真代码写得再顺也难免踩坑。我把这几年被问得最多的问题整理成一个速查表每条都是我或者身边的人实际碰到过的。现象可能原因排查方法吞吐量超过信道容量统计时没扣MAC头/ACK/DIFS开销检查totalSuccessBits统计位置和帧结构定义碰撞次数为0退避窗口设置过小或信道检测逻辑缺失打印节点状态变化日志确认节点是否真正进入了退避状态仿真结果每次运行不一样随机数种子未固定在开头设置rng(1)或指定种子变量节点数增大后吞吐量反而下降退避重传次数超过上限导致丢包过多检查retryLimit和cwMax的设置有些场景需要调大上限程序跑得很慢时隙扫描用了全局循环没有用事件驱动统计每个时隙内处于各状态的节点数看循环次数是不是无效空转5.1 随机数种子对可复现性的影响这个问题看着小实际影响很大。你在论文里写了仿真结果老师想复现结果他一跑跟你的结果完全不一样第一反应就是你造假了。其实只是随机数种子的问题。我习惯在代码开头加一行rng(42); % 固定随机数种子保证每次运行结果可复现这样做也有个额外好处调试的时候问题可复现。你要是发现某个节点的退避行为异常用相同的种子跑一遍断点就能停在同一个位置定位效率高很多。5.2 帧长度的坑为什么有些包永远发不出去我用CSMA/CD仿真时碰到过一个特别隐蔽的问题当数据帧很短、传输时间小于一个时隙长度时冲突检测窗口还没打开帧就已经发完了。这导致仿真显示零冲突但实际协议里这是不可能的——以太网规定最短帧长64字节就是为了确保发送时间大于传播时延的两倍节点才有足够时间检测到冲突。如果只是做课程仿真你可以硬设一个最短传输时间比如所有帧至少占用两个时隙。但更严谨的做法是检查发送节点的传输时间是否满足if simParams.transTime 2 * simParams.propagationDelay error(数据帧太短无法保证冲突检测生效请增加帧长或降低速率); end这个检查其实是在帮你把协议的物理约束写进仿真模型里非常典型的一种教科书知识变成代码约束的过程。5.3 画图出奇怪结果时先怀疑数据统计而不是代码逻辑很多同学一看到结果不对就拼命改协议实现代码改了半天没效果结果问题是出在统计部分。比如统计吞吐量时数组索引写错了一位前十个节点的数据全计成了节点编号偏移。我的建议是调试时先把所有中间统计量都打出来看一眼确认每个节点的成功次数是否合理再用这些数据画图。只要每层数据都对得上绘图结果自然就能解释清楚。MATLAB里有个很便捷的功能是条件断点你可以在统计成功帧数量那行设置条件nodes(i).successCount 10再断住看看是不是有节点异常超标。这比在大循环里加一句disp高效得多。6. 从仿真到理解这段代码还能怎么扩展整套源码跑通之后你实际上已经拥有了一套完整的MAC层仿真实验平台。继续往下走有几个很自然的扩展方向按难度递增排列给节点加数据包到达率泊松到达模拟非饱和流量场景把单信道改成多信道加信道切换逻辑在CSMA/CA基础上增加优先级类别如语音、视频、尽力而为实现简单的QoS区分把退避算法从802.11标准的二进制指数退避改成Q-learning自适应退避调研一下机器学习在MAC层的应用。其中加泊松到达是最推荐的下一步。现在的模型是每个节点始终有数据包要发饱和状态这算的是系统上限现实网络不会一直饱和加个到达率就能算出延迟vs负载曲线这也是论文里最常出现的图之一。实现起来只需要在初始化时为每个节点生成一个到达时间列表在状态机里增加等待新包的判断即可。我在这套代码上反复改过很多版本最大的体会是仿真不是把协议流程背下来写出来就算完而是把协议里的每个时间参数、每个状态转移条件都变成代码逻辑这个过程本身就是对协议的一次深度复习。如果你能顺着手里的CSMA/CA仿真把802.11的DCF机制从NAV到退避全讲清楚面试时被问到MAC层相关的问题基本不会慌。退一步说就算只是课程作业能用代码把课本案例复现出正确的曲线那份这玩意儿真的能跑的踏实感也比背十遍概念来得实在。本文还有配套的精品资源点击获取
CSMA/CD与CSMA/CA的MATLAB仿真建模全解析
简介面向通信网络学习者的CSMA/CA与CSMA/CD MATLAB仿真源码用详细注释和可视化结果展示两种介质访问控制协议的工作机制可帮助理解多节点共享信道时的冲突避免与冲突检测流程。CSMA/CA用于无线局域网采用预约信道、前导信号与确认接收等策略避免冲突CSMA/CD用于有线以太网在发送中检测冲突并退避重传。代码按功能分成主程序、节点增删、帧队列、退避计算、结果显示等模块可通过调整节点数量观察信道占用和碰撞情况配合注释能厘清每个步骤的设计意图。RAR压缩包内共16个文件全部为M脚本整体仅17KB轻量且易读。已有6633人学习下载适合通信工程和计算机网络方向的学生结合课程设计或实验使用既能直接运行仿真也能修改参数复现不同网络负载下的协议表现从而深入理解两种协议的实际差异与适用场景。 在学校做网络实验、或者正在准备保研综设的朋友大概率绕不开CSMA/CD和CSMA/CA这两个名字。课本上解释得挺清楚一个是有线以太网的冲突检测协议一个是无线局域网里的冲突避免协议原理都是一句话——先听再发碰上冲突就退避重传。但真到自己动手用MATLAB写仿真的时候很多人就卡住了。卡住的原因不是原理不懂而是不知道从哪下手。节点怎么表示信道怎么模拟退避算法的随机数怎么生成统计吞吐量的时候要不要计入控制帧开销这些问题课本不会细讲网上能找到的很多源码又是无注释版本看半天也理不清逻辑。我这篇就结合一份带详细注释的MATLAB仿真源代码把CSMA/CD和CSMA/CA的建模过程掰开揉碎讲一遍从节点设计到事件调度再到性能统计每一步都交代清楚为什么这么写。不管是课程作业、毕业设计还是对MAC层协议做入门研究这套代码框架都能直接拿来改。1. 先搞懂两种协议的本质区别仿真的核心难点在哪写仿真代码最忌讳的事情是把两种协议混在一个模型里套模板。CSMA/CD和CSMA/CA虽然共享先听后发的思想但底层处理冲突的逻辑完全不同这会直接影响到你的程序里该有哪个状态、哪个事件函数。1.1 两种协议的冲突处理逻辑差异CSMA/CD的工作方式可以概括成四个字边发边听。节点在发送数据的同时持续监听信道如果发现自己发送的信号和信道上的信号不一致就判定发生了冲突立即停止发送并向外发送一个Jam信号告诉所有节点刚才的帧废了。然后进入二进制指数退避随机等一段时延后再重传。CSMA/CA则完全不是这个思路。无线环境里节点没法在发送的同时监听自己的信号收发共用天线所以它换了一种策略发送前先做信道检测空闲了还不能马上发要再等一段随机退避时间。即便这样也不保险接收方收到数据后必须回一个ACK确认帧发送方没收到ACK就认为帧丢了重新走一遍退避流程。这套机制的核心词语是回避而不是检测。这两种差异映射到MATLAB仿真代码里就是完全不同的模型结构CSMA/CD需要模拟冲突检测窗口、Jam信号和最短帧长约束以太网里64字节的由来就和这个有关。CSMA/CA需要模拟DIFS/AIFS间隔、时隙退避、ACK超时重传以及可选RTS/CTS握手机制。如果你只有一个通用的载波侦听函数后面统计碰撞次数时就会发现数据根本对不上。1.2 为什么选MATLAB做MAC层仿真有些人可能会问这种协议仿真用NS-3、OMNeT不是更专业吗这确实是个好问题。我的看法是工具选型取决于你的目标。NS-3的粒度细、模型多但学习曲线陡改一行参数可能要重新编译半天MATLAB的优势在于矩阵化思维和快速出图你不需要把整个网络协议栈建起来只需要关心MAC层这一件事写出来的代码短、容易调试对理解协议本质反而更直观。还有一个实际原因是课程和毕设环境。很多学校默认装了MATLAB代码可以直接在实验室跑起来给老师演示你不需要额外装Linux虚拟机或者学NS-3的Tcl脚本。再加上MATLAB的随机数生成、统计绘图都是现成函数用来做算法级别的协议对比再合适不过了。2. 搭建仿真骨架节点怎么表示信道怎么模拟写仿真之前脑子里得先有一张项目地图。我习惯把整个仿真拆成四个模块节点模块、信道模块、事件调度模块和数据统计模块。这样分的好处是你想把仿真从单信道改成双信道或者把随机流量改成泊松流量只需要动其中一个模块其他地方不用大改。2.1 节点与信道的建模方式在MATLAB里我比较推荐用结构体数组存节点信息。每个节点是一个struct包含节点ID、当前状态空闲、等待DIFS、退避中、发送中、退避计数器的剩余值、待发送的数据包数量、发送成功的累计次数等字段。信道模块要抽象成一个全局状态变量我用一个枚举值表示0表示信道忙1表示信道空闲。CSMA/CD里还需要记录当前处于冲突状态的节点集合这个用MATLAB的逻辑索引很方便——直接找出所有在发送中状态的节点如果数量大于1就判定冲突发生。关于事件调度的实现我见过不少人的写法是逐时隙扫描也就是每过一个最小单位时隙遍历所有节点检查它们该干什么。这种写法的优点是简单缺点是慢——时隙数量是节点数的很多倍时两层循环会拖慢仿真速度。更高效的方式是维护一个事件队列按事件发生的时间排序每次只处理最早的那个事件。MATLAB里可以用排序后的数组模拟优先级队列性能比想象中好。2.2 参数初始化与全局变量设计代码开头我习惯把所有仿真参数集中在一个init脚本里方便反复调整。下面是参数定义的示意%% 仿真参数初始化 simParams.slotTime 20e-6; % 时隙长度单位秒 simParams.sifsTime 10e-6; % SIFS时间 simParams.difsTime 50e-6; % DIFS时间 simParams.cwMin 15; % 初始竞争窗口大小IEEE 802.11里常用15对应16个时隙 simParams.cwMax 1023; % 最大竞争窗口 simParams.retryLimit 6; % 最大重传次数 simParams.packetSize 1024; % 数据包长度单位字节 simParams.dataRate 54e6; % 数据传输速率bps simParams.ackSize 14; % ACK帧长度单位字节 simParams.nodeNum 20; % 节点数量 simParams.simTime 1; % 仿真时长单位秒注意这些参数不是随便填的。时隙长度20微秒、DIFS 50微秒这些是802.11b协议里的标准值你要是随便改成一个奇怪的数仿真结果就算不出问题也很难和真实系统对应起来。初学者最容易犯的错就是把时隙设成毫秒级仿真结果倒是跑得挺快但算出来的吞吐量单位完全对不上。3. 核心代码逻辑拆解带注释的源码到底应该怎么写这部分我直接讲代码。为了保证可读性我每个关键函数都配了比较详细的注释代码里用中文说明设计意图和对应的协议行为。3.1 CSMA/CD的冲突检测与重传实现CSMA/CD的发送逻辑核心在于两点发送过程中持续检测冲突冲突后执行二进制指数退避。我在代码里用一个状态机来表示节点生命周期每个状态对应一个case分支function node csma_cd_node_step(node, channelState, simParams, t) % 输入node当前节点状态channelState信道当前状态0空闲/1忙simParams仿真参数t当前时刻 switch node.state case 0 % 空闲状态等待上层数据包 if node.packets 0 if channelState 0 node.state 1; % 信道空闲开始发送 node.sendStartTime t; else node.state 2; % 信道忙进入退避 node.backoffTime randi([0, 2^node.retryCount - 1]) * simParams.slotTime; end end case 1 % 发送中监听冲突 if node.collisionDetected node.state 3; % 检测到冲突发送Jam信号 node.retryCount node.retryCount 1; if node.retryCount simParams.retryLimit node.packets node.packets - 1; % 丢弃该帧 node.state 0; end else % 帧发送完成 if t - node.sendStartTime simParams.transTime node.successCount node.successCount 1; node.packets node.packets - 1; node.state 0; end end case 2 % 退避状态 node.backoffTime node.backoffTime - simParams.slotTime; if node.backoffTime 0 if channelState 0 node.state 1; % 退避结束且信道空闲重试发送 else node.backoffTime randi([0, 2^node.retryCount - 1]) * simParams.slotTime; end end case 3 % 冲突后发送Jam信号 % 这里简化为只持续一个时隙然后重新进入退避 node.state 2; node.backoffTime randi([0, 2^node.retryCount - 1]) * simParams.slotTime; end end特别提示一个细节2^node.retryCount - 1这个式子就是二进制指数退避的精髓。第一次冲突时退避窗口是0到1个时隙第二次是0到3个时隙第三次是0到7个以此类推。这样处理的好处是节点数量少时冲突很快就能解决节点多了也不至于每次都撞在一起。我在注释里特意标出来了很多同学第一次看代码会问为什么每次都要乘slotTime——因为这表示退避的时间长度而随机数只是时隙数。3.2 CSMA/CA的DIFS、退避和ACK机制CSMA/CA的建模层次比CD复杂一些多了个虚拟载波侦听的概念。在802.11协议里节点通过NAV网络分配向量机制预约信道使用时间其他节点收到RTS/CTS帧后会在NAV指定的时间内保持沉默。MATLAB代码里我直接用了一个全局的navTimer数组来表示每个节点的剩余NAV时间。function node csma_ca_node_step(node, navRemain, channelState, simParams, t) % 输入说明navRemain为本节点剩余的NAV时间channelState物理信道状态 % 输出更新后的节点状态 node.navTimer max(0, node.navTimer - simParams.slotTime); % 虚拟载波侦听只要NAV没归零节点就认为信道是忙的 channelBusy (channelState 1) || (node.navTimer 0); switch node.state case 0 % 空闲 if node.packets 0 ~channelBusy node.state 1; % 进入DIFS等待 node.difsRemain simParams.difsTime; end case 1 % DIFS等待 if channelBusy node.state 0; % 信道变忙放弃这次机会 else node.difsRemain node.difsRemain - simParams.slotTime; if node.difsRemain 0 node.state 2; % DIFS结束进入退避 node.backoffSlots randi([0, simParams.cwMin]); end end case 2 % 退避 if ~channelBusy node.backoffSlots node.backoffSlots - 1; if node.backoffSlots 0 node.state 3; % 退避结束发送数据 node.sendStartTime t; end end case 3 % 等待ACK % 发送完成后等待一个SIFS ACK时间 if t - node.sendStartTime simParams.transTime simParams.sifsTime simParams.ackTime if node.ackReceived node.successCount node.successCount 1; node.packets node.packets - 1; node.state 0; else node.retryCount node.retryCount 1; if node.retryCount simParams.retryLimit node.packets node.packets - 1; node.state 0; else % 重传指数退避竞争窗口翻倍 node.cw min(simParams.cwMax, 2 * node.cw); node.state 2; node.backoffSlots randi([0, node.cw]); end end end end end这段代码里最容易被忽略的是那个channelBusy的判断。CSMA/CA和CSMA/CD最大的区别就是引入了虚拟载波侦听NAV的存在让节点即使物理上检测到信道空闲也会因为NAV未归零而保持沉默。我在注释里把这个关系明确写在了一行里channelBusy (channelState 1) || (node.navTimer 0)。很多同学第一次仿真802.11时吞吐量异常偏高多半就是漏了这个判断。3.3 主循环中的冲突判定与ACK逻辑协议状态机写好之后主循环就是把所有节点按时间顺序推进一遍。这里有一个特别关键的实现细节确定一个节点的数据包能不能被接收方正确收到不能只看发送方是否发送成功还要检查这个时刻是否有其他节点也在发送数据。我在主循环里用了这样一个判断%% 主循环中判断冲突的核心逻辑 % 所有处于发送状态的节点 txNodes find([nodes.state] 3); if length(txNodes) 1 % 多个节点同时发送判定为冲突冲突所有发送节点都收不到ACK for k 1:length(txNodes) nodes(txNodes(k)).ackReceived false; end elseif length(txNodes) 1 % 只有一个节点发送还需要检查接收方此时是否也在发送 if nodes(txNodes(1)).receiverState 1 nodes(txNodes(1)).ackReceived false; else % 数据帧在SIFSACK时间内没有其他节点抢信道ACK才能成功 nodes(txNodes(1)).ackReceived true; end end这段判断的物理含义是无线信道的共享性。有线以太网里冲突检测是全双工的节点自己能感知到冲突但在无线网络里发送节点根本不知道自己的帧有没有被碰撞一切以ACK为准。所以我在仿真里让接收方的状态参与判定这比单纯检查发送节点是否重叠要准确得多。4. 性能指标怎么统计吞吐量和碰撞次数背后的意义代码跑起来只是第一步你总得拿出几个指标来证明这个仿真是对的。我通常统计四个核心指标系统吞吐量、数据帧碰撞次数、平均访问时延、公平性指数。这些指标不光是为了交作业时好看它们能反过来验证你的仿真模型是否正确。4.1 吞吐量的计算方式和单位陷阱吞吐量计算本身不复杂公式是systemThroughput totalSuccessBits / (simTimeWithoutWarmup);但这里有个容易犯错的细节totalSuccessBits统计的是MAC层有效负载比特数而不是物理层发送的总比特数。每个数据帧有MAC头、IP头无线帧还有PLCP前导码这些开销不能算进吞吐量否则你会得出一个超过信道容量的荒谬结果。还有单位问题。仿真时间如果是以秒为单位比特每秒就是bps如果仿真时间跑到了毫秒级但你还用秒公式得出的吞吐量会少三个数量级。我建议统一用秒做时间单位最后出图时再换算成Mbps避免在中间步骤里频繁换算出错。4.2 碰撞次数为什么是评估CSMA/CA特性的关键指标碰撞次数这个指标看起来很简单但对CSMA/CA来说它反映了一个非常重要的协议特性——信道竞争程度。在一定范围内节点数增多、负载增大会导致碰撞次数上升这是正常的但如果碰撞次数急剧飙升说明网络已经进入了不稳定状态这时即使吞吐量还在涨平均时延也早就爆炸了。判断网络是否稳定的一个经验规则是当负载较小时碰撞次数和负载近似线性关系当负载超过信道容量的一半时碰撞次数会出现明显的非线性增长。这个拐点对应的节点数就是网络能承载的最大并发数量。我每次仿真完都会画一张碰撞次数vs节点数的图用来辅助判断仿真结果是否合理。4.3 各类协议的性能对比效果一套代码同时实现两种协议最大的优势就是可以做对比。把CSMA/CD和CSMA/CA放到同一张图上对比时你会看到一个有意思的现象负载较轻时CSMA/CD的吞吐量占优原因在于它不需要等待DIFS和ACK帧间隔短但负载升高之后CSMA/CD的碰撞代价很高所有发送中的节点都要重传吞吐量掉得比CSMA/CA更快。CSMA/CA虽然有ACK开销但因为冲突发生的概率被退避机制压低了在高负载下的表现反而更稳定。我在仿真报告里写结论时通常会附一句CSMA/CD适用于低负载、少节点场景而CSMA/CA更适用于高竞争的中等规模网络。这不只是观察结果也是设计两种协议时各自面对的信道环境决定的。5. 常见问题与排查技巧实录仿真代码写得再顺也难免踩坑。我把这几年被问得最多的问题整理成一个速查表每条都是我或者身边的人实际碰到过的。现象可能原因排查方法吞吐量超过信道容量统计时没扣MAC头/ACK/DIFS开销检查totalSuccessBits统计位置和帧结构定义碰撞次数为0退避窗口设置过小或信道检测逻辑缺失打印节点状态变化日志确认节点是否真正进入了退避状态仿真结果每次运行不一样随机数种子未固定在开头设置rng(1)或指定种子变量节点数增大后吞吐量反而下降退避重传次数超过上限导致丢包过多检查retryLimit和cwMax的设置有些场景需要调大上限程序跑得很慢时隙扫描用了全局循环没有用事件驱动统计每个时隙内处于各状态的节点数看循环次数是不是无效空转5.1 随机数种子对可复现性的影响这个问题看着小实际影响很大。你在论文里写了仿真结果老师想复现结果他一跑跟你的结果完全不一样第一反应就是你造假了。其实只是随机数种子的问题。我习惯在代码开头加一行rng(42); % 固定随机数种子保证每次运行结果可复现这样做也有个额外好处调试的时候问题可复现。你要是发现某个节点的退避行为异常用相同的种子跑一遍断点就能停在同一个位置定位效率高很多。5.2 帧长度的坑为什么有些包永远发不出去我用CSMA/CD仿真时碰到过一个特别隐蔽的问题当数据帧很短、传输时间小于一个时隙长度时冲突检测窗口还没打开帧就已经发完了。这导致仿真显示零冲突但实际协议里这是不可能的——以太网规定最短帧长64字节就是为了确保发送时间大于传播时延的两倍节点才有足够时间检测到冲突。如果只是做课程仿真你可以硬设一个最短传输时间比如所有帧至少占用两个时隙。但更严谨的做法是检查发送节点的传输时间是否满足if simParams.transTime 2 * simParams.propagationDelay error(数据帧太短无法保证冲突检测生效请增加帧长或降低速率); end这个检查其实是在帮你把协议的物理约束写进仿真模型里非常典型的一种教科书知识变成代码约束的过程。5.3 画图出奇怪结果时先怀疑数据统计而不是代码逻辑很多同学一看到结果不对就拼命改协议实现代码改了半天没效果结果问题是出在统计部分。比如统计吞吐量时数组索引写错了一位前十个节点的数据全计成了节点编号偏移。我的建议是调试时先把所有中间统计量都打出来看一眼确认每个节点的成功次数是否合理再用这些数据画图。只要每层数据都对得上绘图结果自然就能解释清楚。MATLAB里有个很便捷的功能是条件断点你可以在统计成功帧数量那行设置条件nodes(i).successCount 10再断住看看是不是有节点异常超标。这比在大循环里加一句disp高效得多。6. 从仿真到理解这段代码还能怎么扩展整套源码跑通之后你实际上已经拥有了一套完整的MAC层仿真实验平台。继续往下走有几个很自然的扩展方向按难度递增排列给节点加数据包到达率泊松到达模拟非饱和流量场景把单信道改成多信道加信道切换逻辑在CSMA/CA基础上增加优先级类别如语音、视频、尽力而为实现简单的QoS区分把退避算法从802.11标准的二进制指数退避改成Q-learning自适应退避调研一下机器学习在MAC层的应用。其中加泊松到达是最推荐的下一步。现在的模型是每个节点始终有数据包要发饱和状态这算的是系统上限现实网络不会一直饱和加个到达率就能算出延迟vs负载曲线这也是论文里最常出现的图之一。实现起来只需要在初始化时为每个节点生成一个到达时间列表在状态机里增加等待新包的判断即可。我在这套代码上反复改过很多版本最大的体会是仿真不是把协议流程背下来写出来就算完而是把协议里的每个时间参数、每个状态转移条件都变成代码逻辑这个过程本身就是对协议的一次深度复习。如果你能顺着手里的CSMA/CA仿真把802.11的DCF机制从NAV到退避全讲清楚面试时被问到MAC层相关的问题基本不会慌。退一步说就算只是课程作业能用代码把课本案例复现出正确的曲线那份这玩意儿真的能跑的踏实感也比背十遍概念来得实在。本文还有配套的精品资源点击获取
