拆解5G HARQ-ACK码本生成：从DCI解析到比特映射的完整流程（附伪代码）-程序员充电站

5G HARQ-ACK码本生成全流程解析：从DCI解码到比特映射的工程实现

在5G通信系统中，HARQ-ACK反馈机制是确保下行数据传输可靠性的关键环节。Type-2动态码本作为最复杂的反馈模式之一，其生成过程涉及DCI解析、时序计算、虚拟计数器管理等多个技术难点。本文将采用代码工程师的视角，通过伪代码和流程图解构整个码本生成流程，帮助开发者建立可执行的认知模型。

1. 码本生成基础框架

HARQ-ACK码本本质上是一个比特序列，每个比特对应一个特定PDSCH传输的确认状态。Type-2码本的动态特性体现在其长度和内容完全由实际调度情况决定，这要求接收端必须精确跟踪三个核心要素：

时间关系：通过K1参数建立PDSCH接收与HARQ反馈时隙的映射
空间关系：服务小区与PDCCH监测时机的排列组合
状态管理：counter DAI和total DAI构成的虚拟计数系统

以下基础伪代码框架展示了码本生成器的初始化过程：

class HARQACKCodebookGenerator: def __init__(self, ue_config): self.cell_list = ue_config.serving_cells self.k1_set = ue_config.k1_values self.codebook_type = ue_config.codebook_type self.spatial_bundling = ue_config.harq_spatial_bundling self.v_temp = 0 # counter DAI临时值 self.v_temp2 = 0 # total DAI临时值 self.j = 0 # DAI周期计数器 self.bit_positions = set() # 有效ACK比特位置

2. 时序解析与候选PDSCH定位

确定候选PDSCH接收时机是构建码本的第一步，这需要联合处理K1和K0两个关键参数：

K0：从PDCCH到PDSCH的时隙偏移，由DCI中的时域资源分配字段指示
K1：从PDSCH到HARQ反馈的时隙偏移，由PDSCH-to-HARQ定时指示器指定

时序解析算法需要考虑以下特殊情况：

跨时隙调度场景
TDD上下行配置约束
载波聚合下的时隙对齐

def find_candidate_pdsch_slots(ue_config, pdcch_slot): candidate_slots = [] for k1 in ue_config.k1_values: # 计算理论PDSCH时隙 pdsch_slot = (pdcch_slot - k1) % 10240 # 检查时隙有效性 if is_valid_downlink_slot(pdsch_slot, ue_config.tdd_config): # 获取该时隙所有可能的K0值 possible_k0s = get_possible_k0_values(pdcch_slot, pdsch_slot) for k0 in possible_k0s: if verify_k0_constraints(k0, ue_config): candidate_slots.append({ 'pdcch_slot': pdcch_slot, 'pdsch_slot': pdsch_slot, 'k0': k0, 'k1': k1 }) return sort_candidate_slots(candidate_slots)

下表展示了典型参数组合下的时序关系：

PDCCH时隙	K0	PDSCH时隙	K1	HARQ反馈时隙
n	0	n	4	n+4
n	1	n+1	3	n+4
n-1	2	n+1	3	n+2

3. 虚拟计数器系统实现

counter DAI和total DAI共同构成了Type-2码本的核心排序机制。其实现需要处理三个维度的排序：

时间维度：按PDCCH监测时机(m)递增
空间维度：按服务小区索引(c)递增
传输块维度：按PDSCH起始符号排序

虚拟计数器的状态转移逻辑如下：

def update_virtual_counters(self, current_c_dai, current_t_dai): # 处理counter DAI回绕情况 if current_c_dai <= self.v_temp: self.j += 1 # 更新临时值 self.v_temp = current_c_dai self.v_temp2 = current_t_dai if current_t_dai is not None else current_c_dai # 检查total DAI滞后情况 if self.v_temp2 < self.v_temp: self.j += 1

比特位置计算需要考虑传输块数量和空间绑定配置：

def calculate_bit_positions(self, c_dai, tb_count): base_pos = self.t_d * self.j if tb_count == 2 and not self.spatial_bundling: # 每个PDSCH占用2个比特 start_pos = 2 * (base_pos + (c_dai - 1)) return {start_pos, start_pos + 1} else: # 单TB或空间绑定情况 return {base_pos + (c_dai - 1)}

4. 特殊场景处理逻辑

4.1 SPS PDSCH处理

半持续调度PDSCH的ACK比特需要附加在动态码本之后。关键步骤包括：

激活SPS配置验证
时隙对齐检查
混合自动重传进程管理

def add_sps_ack_bits(self, sps_config): if not sps_config.is_active: return for cell in self.cell_list: for harq_process in cell.active_sps_processes: # 计算SPS时隙偏移 sps_slot = get_sps_slot(harq_process) # 验证时隙有效性 if is_valid_sps_slot(sps_slot, cell): self.bit_positions.add(self.o_ack + harq_process.id) self.o_ack += 1

4.2 空间绑定处理

当启用harq-ACK-SpatialBundlingPUCCH时，两个传输块的ACK信息需要合并：

def apply_spatial_bundling(self, tb1_ack, tb2_ack): return tb1_ack and tb2_ack

4.3 码本长度计算

最终码本长度由以下公式决定：

$$ O^{ACK} = \begin{cases} 2 \times (T_D \times j + ((V_{temp2}-1) \mod T_D + 1)) & \text{无空间绑定且2TB} \ T_D \times j + ((V_{temp2}-1) \mod T_D + 1) & \text{其他情况} \end{cases} $$

其中$T_D = 2^{N_{C-DAI}^{DL}}$，$N_{C-DAI}^{DL}$为counter DAI的比特数。

5. 完整工作流程实现

整合各模块后的主处理流程如下：

def generate_codebook(dci_list, ue_config): # 初始化生成器 generator = HARQACKCodebookGenerator(ue_config) # 第一步：按监测时机和服务小区排序DCI sorted_dcis = sort_dcis(dci_list) # 第二步：处理每个有效DCI for dci in sorted_dcis: # 解析DAI值 c_dai = dci.counter_dai t_dai = dci.total_dai # 更新虚拟计数器 generator.update_virtual_counters(c_dai, t_dai) # 计算比特位置 tb_count = 2 if dci.max_cw == 2 else 1 bit_pos = generator.calculate_bit_positions(c_dai, tb_count) # 记录ACK/NACK状态 for pos in bit_pos: generator.bit_positions.add(pos) # 处理SPS PDSCH if ue_config.sps_active: generator.add_sps_ack_bits(ue_config.sps_config) # 生成最终码本 codebook = [NACK] * generator.o_ack for pos in generator.bit_positions: if pos < len(codebook): codebook[pos] = ACK return codebook

实际工程实现中还需要考虑以下优化点：