汇编实现的Grayscale滤镜在小尺寸图像上失效问题咨询

核心问题本质 #

你碰到的大图像正常、小图像（比如5x1）灰度计算错误、颜色异常的问题，根源就是边界像素内存访问越界。大图像没出问题的原因很简单：

• 大位图的行字节数会做4字节对齐，多余的填充数据一般是0或重复值，越界读了也看不出明显异常；
• 小图像尤其是1行的窄图，越界后直接读到栈上的其他变量或无关内存数据，计算出的灰度值完全错误，就会出现黄、浅蓝这类奇怪颜色。

常见坑点排查（结合汇编实现） #

针对BGR格式的位图处理，汇编代码容易踩这些坑：

1. 行步长计算错误
   位图的行字节数必须是4的倍数，哪怕实际像素宽度×3不是4的倍数。比如5x1的图，5×3=15字节，系统会自动补成16字节。要是你直接拿宽度×3当行步长，处理最后几个像素时就会越界到不存在的下一行，读的都是内存垃圾。
2. 循环边界判断出错
   处理小图像时，循环计数器的初始化或终止条件容易出错，比如用cx计数时，没考虑无符号/有符号的区别，导致多跑或少跑循环，超出数组范围读数据。
3. BGR通道偏移算错
   每个像素占3字节（B、G、R顺序），要是把像素索引×3写成像素索引×4或者其他值，小图像的短数组会立刻越界，大图像的长数组可能前期不会暴露问题。
4. 内存对齐问题（如果用SIMD优化）
   要是你用了MMX/SSE这类SIMD指令，要求内存地址按16字节对齐。小图像的缓冲区起始地址可能没对齐，导致读错相邻内存数据。

具体解决步骤 #

1. 修正行步长计算
   先算出对齐后的行字节数，公式是行步长 = ((宽度×3 + 3) // 4) × 4，汇编里可以这么写：

   mov eax, [width]
   imul eax, 3          ; 宽度×3得到原始行字节数
   add eax, 3
   shr eax, 2           ; 除以4取整
   shl eax, 2           ; 乘以4得到对齐后的行步长
   mov [row_stride], eax
   

2. 严格控制循环边界
   处理像素时，确保计数器从0跑到总像素数-1，别超出数组范围。比如处理5个像素，计数器从0到4：

   mov ecx, [total_pixels]  ; total_pixels = width × height
   xor esi, esi             ; esi作为像素索引，从0开始
   pixel_loop:
      ; 计算当前像素的BGR地址：缓冲区基地址 + esi×3
      mov ebx, esi
      imul ebx, 3
      add ebx, [image_buffer]
      ; 读取B、G、R通道值
      mov bl, [ebx]         ; B通道
      mov bg, [ebx+1]       ; G通道
      mov br, [ebx+2]       ; R通道
      ; 用整数运算算灰度值：gray = (B*0.114 + G*0.587 + R*0.299)
      mov eax, bl
      imul eax, 117         ; 0.114×1024≈117，用1024是方便右移代替除法
      mov edx, bg
      imul edx, 601         ; 0.587×1024≈601
      add eax, edx
      mov edx, br
      imul edx, 307         ; 0.299×1024≈307
      add eax, edx
      shr eax, 10           ; 除以1024得到灰度值
      ; 把灰度值赋值给B、G、R通道，实现灰度化
      mov [ebx], al
      mov [ebx+1], al
      mov [ebx+2], al
      ; 计数器递增，继续循环
      inc esi
      loop pixel_loop
   

   注意：用loop指令时，要确保ecx初始值是正确的总像素数，别搞反了。
3. 检查索引偏移逻辑
   确认每个像素的BGR偏移是esi×3，别写成esi×4或者其他值。小图像里哪怕偏移错1字节，立刻就会读到数组外的数据。
4. 处理SIMD对齐问题（如果用到）
   要是用了SIMD指令，得确保图像缓冲区起始地址是16字节对齐的。C#里可以用Marshal.AllocHGlobal分配对齐内存，或者在汇编里先处理开头几个未对齐的像素，再用SIMD处理对齐部分。

验证方法 #

用5x1的测试图调试时，在C#里打印处理前后的像素值，或者在汇编里加调试输出，检查每个像素的BGR值是不是正确读取，灰度计算是不是符合预期。比如2黑3白的输入，每个像素的灰度值应该是0（黑）或255（白），要是出现其他值，说明读了错误的内存数据。

内容的提问来源于stack exchange，提问作者Filip Rudy