把消息传下去：三PE scan与空分区

PREDICT FIRST

具体问题与独立预期

输入与约定

三PE按顺序持有P0=[2,-1]、P1=[]、P2=[3,4]。每PE存储容量CAP=2，有效长度分别2/0/2。局部计算inclusive scan，再沿东向传累计total，让各节点得到自己前面的offset。每项限定为整数[-1000,1000]，总有效长度至多6；任何前缀绝对值不超过6000，可由f32精确表示。长度超CAP或值域不符先拒绝。

先根据输入写下自己的结果与理由，再展开参考推演；随后运行或检查实现。

机制怎样连接起来

先算每个分区local total，再用前面所有total形成offset。P0没有前驱，以offset=0开始；P1接到1后加本地0，继续发1；P2接到1后把[3,7]改为[4,8]。数值可以为0或负数，不能拿payload==0判断“没收到消息”。

CPU协议模型分别存payload、received标记、sent标记与done。每一条边只发送一个累计标量，extent=1，即使中间有效长度0也如此。固定CAP缓冲中的padding不属于输出，host按同一有效长度表截取，不能用删除零值的方法去padding。

本题host固定容量打包为[2,-1,0,0,3,4]，共6项；每PE传入、回读CAP=2项。回读后按lengths=[2,0,2]分别取各PE的有效前缀，再拼成4项输出。不能把紧凑的4项输入直接用于总共6项的传输；长度不足必须在host先拒绝。

SDK设计在已完成的两PE机制上新增中间节点：左链和右链使用各自明确的color/queue绑定；中间接收完成任务再更新并发送，发送完成后才结束；末节点只接收并完成，不向不存在的东邻发送。layout传每PE有效长度，host从本次编译参数读同一表。没有SDK时完成CPU模型、路由表和公开API映射，不能把它标成CSL运行。

CHOOSE ONE EXECUTION PATH

按手头环境推进

CPU 路径可以先完成。额外的 SDK 或设备验证要有自己的运行记录；本单元的四小时不同时要求完成四个分支。安装等待超过本页预算时，留下阻塞条件，继续可做的数学、代码与协议工作。

READ → BUILD → BREAK → EXPLAIN

四小时，留下一个完整产出

可拆成多个时段。每次停下时保存代码、输入、实际结果和下一步，不用重新读整篇。没有通过当前检查时继续修正，不靠翻页推进。

EXPLICIT ENVIRONMENT / EXPLICIT STATUS

命令与可保存的起点

以下代码按各自环境使用，运行前完成对应步骤并核对版本。编译失败后停止，不运行目录中的旧二进制；每次采集日志使用新的运行目录。设备程序仅运行在你已有且可使用的环境中。

cslc scan_layout.csl --arch=wse2 --fabric-dims=10,3 --fabric-offsets=4,1 --params=P:3,CAP:2,L0:2,L1:0,L2:2 --memcpy --channels=1 -o out-c07

cs_python scan_host.py --name out-c07

sdk_debug_shell visualize

EVIDENCE BEFORE ADVANCING

验收与面试追问

• [2,1,4,8]与展平输入的串行scan一致，padding不混入结果。
• 全空分区仍有完成协议，超CAP先拒绝。
• P1漏发时模型报告等待链；记录的GUI内容只来自本人实际运行，否则明确是纸上预期。
• 输入payload有6项，每PE传/读2项；按[2,0,2]提取有效输出，不过滤值0。整数值域与CAP检查先于传输。

这些是依照本单元机制设计的追问，不是公司真题。个人验收仍依据实际代码、测试、测量与口述。