MeowOS-SDK

163 Commits 2 Branches 0 Tags

2 Commits

Include renames

Author	SHA1	Message	Date
AskaEth	d84dd949c7	SDK: 图片解码真缩解后端 —— JPEG DCT 域 / PNG 逐行 / BMP 跳行（M23） stb 的 stbi_load_scaled 是「先整幅解、再重采样」：2000x3000 baseline 峰值 10.07MB、渐进式 25.84MB、1600x2400 PNG 25.65MB，真机解码余量只有 ~4.2MB。新增解码后端在解码期只算目标分辨率，峰值只与输出尺寸相关： - meow_jpeg.c：自写纯 C JPEG 解码（baseline + progressive，Huffman）。按 ceil(8*maxdim/长边) 选 N 点 DCT 缩解（N=1..7），基函数为「8 点 IDCT 按像素区间盒式平均」的 Q12 定点（DC 恒为 F00/8，N 之间亮度一致）；系数边解边累加进分量平面，不留整幅系数阵列；渐进式跳过精细化扫描（Ah>0）、只解各频带首次扫描 —— 渐进式与 baseline 内存足迹相同（这是 libjpeg 系列做不到的：它对渐进式必须整幅驻留 JBLOCK）。不支持项（4 分量 CMYK/YCCK、算术/无损/分层、12bit 精度）返回 0 回退 stb。 - meow_png_stream.c：libz 逐行 inflate + 反滤波，只把需要的列写进目标行； gray/gray+A/RGB/RGBA/调色板，1/2/4/8/16bit（16→8 取高字节）；Adam7 等回退 stb。 BMP 按目标行 seek + 行内跳列（8bpp 调色板/16bpp RGB555/24/32bpp），不读全图。 - meow_ui_img.c：load_file_dim / load_mem_dim 先进后端，失败/不支持回落 stb 旧路径（stbi_load_scaled + 精修）；输出尺寸与 meow_img_downscale 同公式，对外语义不变。宿主实测（--wrap malloc，maxdim=720，M23 前后同一夹具）： 2000x3000 baseline 10.07 → 1.86 MiB 2000x3000 progressive 25.84 → 1.86 MiB 1600x2400 PNG 25.65 → 1.33 MiB 1600x2400 BMP 15.97 → 1.32 MiB 4MP/8MP/12MP JPEG 9.67/13.37/20.12 → 2.30/2.20/2.29 MiB（不随分辨率线性增长） sdk/test_meow_img_stream.c：峰值断言（≤2.5MiB）、与 stb 整幅+降采样的像素比对（平均差 4.4-13.7/255，块均值结构相关 ≥0.88）、内存入口逐字节一致、回退矩阵（CMYK/1bpp BMP/Adam7 PNG）、restart marker、缩解阶扫描 N=4/5/7、坏图容错。 build_sdk.sh 增加 meow_jpeg / meow_png_stream 两个 TU（MIPS32 -Os 零警告）。体积：目标码 +24.9KB（meow_ui.a +25.5KB），picbrowser 静态二进制 +18.2KB。	2026-11-05 21:33:54 +08:00
AskaEth	21bffa1aeb	sdk: 图片层追加预算解码入口，JPEG 解码期缩解（峰值 43.7→14.0 MiB） M6 finding（vuln/high）：meow_img_load_file 必先整幅 RGBA 解码，1600×2400 漫画页瞬时峰值 20.2 MiB（15.4 MiB 输出 + 5.5 MiB YCbCr 平面），超设备 ~14MB 口径， App 侧无法规避。调研（vendored stb v2.30）：无解码期缩放能力——JPEG 走固定 hs/vs 重采样到全尺寸， PNG 一次性 inflate 整幅 raw_image，公共 API 只有 load/load_16/loadf/info。完整缩小 IDCT 需改编 1/2、1/4、1/8 IDCT + 进升级系数存储 + MCU 尺寸，改动面大且易出静默像素错误，故不重写解码器。改为受控的最小追加（sdk/stb_image.h）： - 新增 stbi_load_scaled / stbi_load_scaled_from_memory：JPEG 输出级按步长 s 抽取行/列（resample 状态机逐行推进，仅采样行做颜色转换），整幅原尺寸输出缓冲从不物化；scale<=1 与旧 API 逐字节等价，非 JPEG 忽略。 - 进升级 JPEG：各分量系数 IDCT 进像素平面后立即释放（原来拖到输出分配之后）。 - 旧公共 API 行为不变。 SDK 追加式入口（旧 API 一字未改）： - meow_img_load_file_dim / meow_img_load_mem_dim(path/buf, maxdim)：stbi_info 头探测选 1/2、1/4、1/8 整数档（取「长边/s ≥ maxdim」最大档，不欠采样），再交既有 meow_img_downscale 精修；小图/maxdim<=0 走旧路径。 - meow_img_probe_file：只读头取尺寸，供 App 在 OOM 前提示。实测（宿主 test_meow_img_budget，--wrap malloc 打点，全部 PASS）： 8.32MP JPEG 43.70 → 13.96 MiB（新/旧 0.32） 1600×2400 页 20.16 → 9.18 MiB progressive 43.70 → 35.83 MiB（系数阵列扫描期驻留，残余上限） PNG 2400×1600 25.65 → 25.65 MiB（stb 无 PNG 缩解，如实记录） BMP 2400×1600 14.65 → 15.23 MiB（同上，多一次降采样小缓冲）缩解结果与「整幅解码+downscale」网格平均差 6.28；对 PIL 逐像素比对与全幅解码同误差量级（mean ≤0.02, max ≤3）。验证：build_sdk.sh 重编 meow_ui.a 0 warning；examples/hello 重链 0 warning； tuku 用 MEOW_SDK_DIR 指向本分支 sdk 重链 0 warning；既有 test_meow_img_color 仍全 PASS。	2026-11-04 21:02:39 +08:00

Author

SHA1

Message

Date

AskaEth

d84dd949c7

SDK: 图片解码真缩解后端 —— JPEG DCT 域 / PNG 逐行 / BMP 跳行（M23）

stb 的 stbi_load_scaled 是「先整幅解、再重采样」：2000x3000 baseline 峰值 10.07MB、
渐进式 25.84MB、1600x2400 PNG 25.65MB，真机解码余量只有 ~4.2MB。新增解码后端在
解码期只算目标分辨率，峰值只与输出尺寸相关：

- meow_jpeg.c：自写纯 C JPEG 解码（baseline + progressive，Huffman）。按
  ceil(8*maxdim/长边) 选 N 点 DCT 缩解（N=1..7），基函数为「8 点 IDCT 按像素区间
  盒式平均」的 Q12 定点（DC 恒为 F00/8，N 之间亮度一致）；系数边解边累加进分量平面，
  不留整幅系数阵列；渐进式跳过精细化扫描（Ah>0）、只解各频带首次扫描 —— 渐进式与
  baseline 内存足迹相同（这是 libjpeg 系列做不到的：它对渐进式必须整幅驻留 JBLOCK）。
  不支持项（4 分量 CMYK/YCCK、算术/无损/分层、12bit 精度）返回 0 回退 stb。
- meow_png_stream.c：libz 逐行 inflate + 反滤波，只把需要的列写进目标行；
  gray/gray+A/RGB/RGBA/调色板，1/2/4/8/16bit（16→8 取高字节）；Adam7 等回退 stb。
  BMP 按目标行 seek + 行内跳列（8bpp 调色板/16bpp RGB555/24/32bpp），不读全图。
- meow_ui_img.c：load_file_dim / load_mem_dim 先进后端，失败/不支持回落 stb 旧路径
  （stbi_load_scaled + 精修）；输出尺寸与 meow_img_downscale 同公式，对外语义不变。

宿主实测（--wrap malloc，maxdim=720，M23 前后同一夹具）：
  2000x3000 baseline     10.07 → 1.86 MiB
  2000x3000 progressive  25.84 → 1.86 MiB
  1600x2400 PNG          25.65 → 1.33 MiB
  1600x2400 BMP          15.97 → 1.32 MiB
  4MP/8MP/12MP JPEG       9.67/13.37/20.12 → 2.30/2.20/2.29 MiB（不随分辨率线性增长）

sdk/test_meow_img_stream.c：峰值断言（≤2.5MiB）、与 stb 整幅+降采样的像素比对
（平均差 4.4-13.7/255，块均值结构相关 ≥0.88）、内存入口逐字节一致、回退矩阵
（CMYK/1bpp BMP/Adam7 PNG）、restart marker、缩解阶扫描 N=4/5/7、坏图容错。
build_sdk.sh 增加 meow_jpeg / meow_png_stream 两个 TU（MIPS32 -Os 零警告）。
体积：目标码 +24.9KB（meow_ui.a +25.5KB），picbrowser 静态二进制 +18.2KB。

2026-11-05 21:33:54 +08:00

AskaEth

21bffa1aeb

sdk: 图片层追加预算解码入口，JPEG 解码期缩解（峰值 43.7→14.0 MiB）

M6 finding（vuln/high）：meow_img_load_file 必先整幅 RGBA 解码，1600×2400 漫画页
瞬时峰值 20.2 MiB（15.4 MiB 输出 + 5.5 MiB YCbCr 平面），超设备 ~14MB 口径，
App 侧无法规避。

调研（vendored stb v2.30）：无解码期缩放能力——JPEG 走固定 hs/vs 重采样到全尺寸，
PNG 一次性 inflate 整幅 raw_image，公共 API 只有 load/load_16/loadf/info。
完整缩小 IDCT 需改编 1/2、1/4、1/8 IDCT + 进升级系数存储 + MCU 尺寸，改动面大且
易出静默像素错误，故不重写解码器。

改为受控的最小追加（sdk/stb_image.h）：
- 新增 stbi_load_scaled / stbi_load_scaled_from_memory：JPEG 输出级按步长 s 抽取
  行/列（resample 状态机逐行推进，仅采样行做颜色转换），整幅原尺寸输出缓冲从不
  物化；scale<=1 与旧 API 逐字节等价，非 JPEG 忽略。
- 进升级 JPEG：各分量系数 IDCT 进像素平面后立即释放（原来拖到输出分配之后）。
- 旧公共 API 行为不变。

SDK 追加式入口（旧 API 一字未改）：
- meow_img_load_file_dim / meow_img_load_mem_dim(path/buf, maxdim)：stbi_info 头探测
  选 1/2、1/4、1/8 整数档（取「长边/s ≥ maxdim」最大档，不欠采样），再交既有
  meow_img_downscale 精修；小图/maxdim<=0 走旧路径。
- meow_img_probe_file：只读头取尺寸，供 App 在 OOM 前提示。

实测（宿主 test_meow_img_budget，--wrap malloc 打点，全部 PASS）：
  8.32MP JPEG   43.70 → 13.96 MiB（新/旧 0.32）
  1600×2400 页  20.16 →  9.18 MiB
  progressive   43.70 → 35.83 MiB（系数阵列扫描期驻留，残余上限）
  PNG 2400×1600 25.65 → 25.65 MiB（stb 无 PNG 缩解，如实记录）
  BMP 2400×1600 14.65 → 15.23 MiB（同上，多一次降采样小缓冲）
缩解结果与「整幅解码+downscale」网格平均差 6.28；对 PIL 逐像素比对与全幅解码
同误差量级（mean ≤0.02, max ≤3）。

验证：build_sdk.sh 重编 meow_ui.a 0 warning；examples/hello 重链 0 warning；
tuku 用 MEOW_SDK_DIR 指向本分支 sdk 重链 0 warning；既有 test_meow_img_color 仍全 PASS。

2026-11-04 21:02:39 +08:00