【H.264/AVC视频编解码技术具体解释】十三、熵编码算法（3）：CAVLC原理

《H.264/AVC视频编解码技术具体解释》视频教程已经在“CSDN学院”上线。视频中详述了H.264的背景、标准协议和实现，并通过一个实战project的形式对H.264的标准进行解析和实现，欢迎观看！

“纸上得来终觉浅，绝知此事要躬行”。仅仅有自己依照标准文档以代码的形式操作一遍，才干对视频压缩编码标准的思想和方法有足够深刻的理解和体会！

链接地址：H.264/AVC视频编解码技术具体解释

GitHub代码地址：点击这里

---

上下文自适应的变长编码(Context-based Adaptive Variable Length Coding, CAVLC)

1. 引言

在前述的几章节的博文/视频中，我们已经了解到熵编码是利用信息的统计冗余进行数据压缩的无损编码方法。而且已经讨论过了熵编码的基本原理、H.264中使用的语法元素解析算法“指数哥伦布编码”的算法与实践：

• 【H.264/AVC视频编解码技术具体解释】七、 熵编码算法（1）：基础知识
• 【H.264/AVC视频编解码技术具体解释】八、 熵编码算法（2）：H.264中的熵编码基本方法、指数哥伦布编码

在我们已经实现的H.264码流结构（如NAL Unit、Slice Header等）的解析中，大多使用定长编码或者指数哥伦布编码实现。而比如预測残差等占领码流大量体积的数据则必须使用压缩率更高的算法，如CAVLC和CABAC等。前者是我们将在本文中讨论的内容。后者将在兴许内容中详述。

2. CAVLC的基本原理

我们知道。CAVLC的全称叫做“上下文自适应的变长编码Context-based Adaptive Variable Length Coding”。所谓“上下文自适应”，说明了CAVLC算法不是像指数哥伦布编码那样採用固定的码流-码字映射的编码，而是一种动态编码的算法，因而压缩比远远超过固定变长编码UVLC等算法。

在H.264标准中，CAVLC主要用于预測残差的编码。

在本系列第二篇博文中我们给出了H.264的编码流图，当中可知，熵编码的输入为帧内/帧间预測残差经过变换-量化后的系数矩阵。

以4×4大小的系数矩阵为例，经过变换-量化后，矩阵通常呈现下面特性：

1. 经过变换量化后的矩阵通常具有稀疏的特性。即矩阵中大多数的数据已0为主。CAVLC能够通过游程编码高效压缩连续的0系数串；
2. 经过zig-zag扫描的系数矩阵的最高频非0系数一般是值为±1的数据串。CAVLC能够通过传递连续的+1或-1的长度来高效编码高频分量；
3. 非零系数的幅值通常在靠近DC（即直流分量）部分较大。而在高频部分较小。
4. 矩阵内非0系数的个数同相邻块相关；

鉴于上述的特性3和4，针对待编码的系数在系数矩阵中不同的位置，以及相邻块的有关信息，在编码时採用不同的码表进行编码。CAVLC的这样的特性。体现了命名中的“上下文自适应”的方法。

3. CAVLC的编码流程

在CAVLC中，熵编码不是像哈夫曼编码等算法一样针对某一个码元进行编码，而是针对一个系数矩阵进行。如果我们希望对一个例如以下变换系数块进行CAVLC编码：

{
    3,  2, -1,  0,
    1,  0,  1,  0,
    -1, 0,  0,  0,
    0,  0,  0,  0,
}

对于一个4×4大小的变换系数矩阵进行CAVLC编码。首先须要对其进行扫描。将二维矩阵转化为一维数组。

如前一节所讲，扫描依照zig-zag顺序进行。即依照例如以下顺序：

因此，扫描之后变换系数将进行又一次排列，得到的结果为：

[3, 2, 1, -1, 0, -1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0]

在编码过程中须要注意下面重要的语法元素：

• 非零系数的个数(TotalCoeffs)：取值范围为[0, 16]，即当前系数矩阵中包含多少个非0值的元素；
• 拖尾系数的个数(TrailingOnes)：取值范围为[0, 3]，表示最高频的几个值为±1的系数的个数。

  拖尾系数最多不超过3个，若超出则仅仅有最后3个被觉得是拖尾系数，其它被作为普通的非0系数；

• 拖尾系数的符号：以1 bit表示，0表示+。1表示-；
• 当前块值(numberCurrent)：用于选择编码码表。由上方和左側的相邻块的非零系数个数计算得到。

  设当前块值为nC，上方相邻块非零系数个数为nA。左側相邻块非零系数个数为nB，计算公式为nC = round((nA + nB)/2);对于色度的直流系数，nC = -1;

• 普通非0系数的幅值(level)：幅值的编码分为prefix和suffix两个部分进行编码。

  编码过程依照反序编码。即从最高频率非零系数開始。

• 最后一个非0系数之前的0的个数(TotalZeros);
• 每一个非0系数之前0的个数(RunBefore):依照反序编码，即从最高频非零系数開始；对于最后一个非零系数（即最低频的非零系数）前的0的个数。以及没有剩余的0系数须要编码时。不须要再继续进行编码。

在上述各类型数据中，编码非零系数的level相对最为复杂。

其主要过程为：

1. 确定suffixLength的值：
   
   • suffixLength初始化：通常情况下初始化为0；当TotalCoeffs大于10且TrailingOnes小于3时，初始化为1；
   • 若已经编码好的非零系数大于阈值，则suffixLength加1。该阈值定义为3 << ( suffixLength − 1 )。编码第一个level后。suffixLength应加1；
2. 将有符号的Level值转换为无符号的levelCode:
   
   • 若level > 0，levelCode = (level << 1) - 2;
   • 若level < 0，levelCode = -(level << 1) - 1;
3. 编码level_prefix：level_prefix的计算方法为：level_prefix = levelCode/(1 << suffixLength);level_prefix到码流的相应关系由9-6表示；
4. 确定后缀的长度：后缀的长度levelSuffixSize通常情况下等于suffixLength。例外情况有：
   
   • level_prefix = 14时。suffixLength = 0, levelSuffixSize = 4;
   • level_prefix = 15时，levelSuffixSize = 12;
5. 计算level_suffix的值：level_suffix = levelCode%(1 << suffixLength);
6. 依照levelSuffixSize的长度编码level_suffix;

在上述的系数矩阵中，非零系数个数TotalCoeffs=6,拖尾系数个数TrailingOnes=3,最后一个非零系数之前0的个数TotalZeros=2;如果nC=0。

1. 在H.264标准协议文档的表9-5中查得，coeff_token的值为0x00000100;
2. 编码拖尾系数的符号，从高频到低频，拖尾系数符号为+、-、-，因此符号的码流为011。
3. 编码非零系数的幅值，三个普通非零系数分别为1、2、3；
   
   1. 编码1：suffixLength初始化为0；levelCode=0;level_prefix=0，查表得相应的码流为1。suffixLength=0，因此不正确后缀编码；
   2. 编码2：suffixLength自增1等于1。levelCode=2;level_prefix=1，查表可知相应的码流为01;suffixLength=1，level_suffix=0，因此后缀码流为0。
   3. 编码3：suffixLength不满足自增条件，依旧为1。levelCode=4;level_prefix=2。查表可知相应的码流为001。suffixLength=1。level_suffix=0，因此后缀码流为0；
   4. 综上所述，非零系数的幅值部分的码流为10100010。
4. 编码最后非零系数之前0的个数TotalZeros： TotalCoeffs=6,TotalZeros=2时。在表9-7中可知码流为111。
5. 编码每一个非零系数前0的个数：从高频到低频，每一个非零系数前0的总个数(zerosLeft)分别为2、1、0、0、0、0，每一个非0系数前连续0的个数(run_before)分别为1、1、0、0、0、0。依据标准文档表9-10可得：
   
   • run_before=1。zerosLeft=2，相应码流为01；
   • run_before=1。zerosLeft=1，相应码流为0；
   • 全部的0系数都已经编码完毕，无需再继续进行编码；

综上所述。整个4×4系数矩阵经过CAVLC编码之后，输出码流为：0000010001110100010111010。