做3DGS项目做到第七期我越来越觉得“渲染表达器”这个说法比“渲染器”准确得多。前六篇我们把重心放在怎么把场景变成高斯点从SfM重建到密度控制每一步都在喂参数给表达器。可当我把同一个场景塞进在线SLAM系统时问题立刻变了不仅要快还要能反传梯度还要能在高斯数量不停增加的条件下保持稳定。这篇文章就把我最近一次在Ubuntu 20.04上跑通自建数据集并把3DGS渲染表达器接入SLAM的全过程拆开讲包括环境版本、数据集制作、可微渲染管线和几个印象深刻的坑。适合现在正在纠结“为什么别人跑得很好我跑出来一团糟”的朋友也适合打算拿3DGS做实时定位而不是只做离线漫游的同学。1. 渲染表达器不是渲染器先搞清楚它到底在“表达”什么1.1 从高斯点到图像的那条管线的完整前向路径理解3DGS的渲染表达器关键不是背公式而是建立一个空间感。场景里每一个高斯点本质是一个带朝向和长轴短轴的椭球它有位置、协方差、颜色和不透明度。渲染时所有高斯点被透视投影到相机的成像平面上投影之后变成一个个二维的椭圆。屏幕上的每一个像素颜色是覆盖在这个像素上的椭圆按照深度从近到远做透明度叠加的结果。完整的前向管线可以拆成四步先把高斯点从世界坐标变换到相机坐标这一步依赖相机外参再把相机坐标里的高斯点投影到图像平面得到二维椭圆形状这一步依赖相机内参然后对覆盖同一个像素区域的椭圆做深度排序最后做alpha混合也就是按“后面的先垫底、前面的往上一层一层叠”的方式累加每个椭圆的颜色和不透明度。协方差从三维投影到二维不是简单地把矩阵删掉一行一列而是要乘一个投影雅可比。最常用的表达是Σ JWΣWᵀJᵀ其中W是观察变换的旋转部分J是相机投影模型对成像平面的导数。刚开始我不理解为什么要这样绕一下后来类比成“把一个立体的软糖压平在玻璃上”软糖的倾斜角度不同压出来的椭圆形状就完全不同。这个二维协方差决定了高斯点在图像上占据多大的范围、边缘有多软直接影响画面里那种“软软的边缘叠起来”的质感。深度排序这一步在工程上非常重。3DGS表达器里默认用的是基于块tile的排序图像被切成一堆小方块每个方块只处理覆盖到它上面的高斯点。排序之后再做alpha mixing。如果你直接全局排序计算量会压垮GPU按块排则可以做到每块独立并行这也是它实时性的根本来源。1.2 “可微”才让它配得上“表达器”三个字传统图形学里的光栅化器输入三角形、输出像素你拿到的颜色只是最终结果。如果你想优化某个三角形的位置让画面更接近目标图像传统做法很难做因为光栅化的离散采样和遮挡关系切断了一条像素颜色到顶点参数的导数。3DGS的渲染表达器不同它在每一步都保留了偏导。像素颜色对高斯点的位置、协方差、颜色、不透明度甚至相机位姿都有解析的梯度这种梯度就是训练和SLAM优化的引擎。没有这种可微性3DGS还是可以“训练”但只能用近似梯度或有限差分慢且不稳定。而有了可微表达器训练可以变成端到端渲染出一张假设图像和真实图像算L1损失和SSIM损失然后反向传播把误差分配给每一个高斯点。哪些高斯点该挪、该长大、该变扁、该增加不透明度都是有梯度依据的。密度控制里的“让高斯在需要的地方分裂”依赖的也是梯度值如果表达器的导数实现错了分裂方向就会错几千次迭代之后场景就废了。所以我在实际项目里一直强调一个观点一个3DGS系统里表达器的质量决定了训练的上限。模型结构再花哨如果光栅化扩展里的偏导写错了或者精度被cut掉训练过程就会异常发散。这也是为什么我不会随便换一个来路不明的fork版替官方实现——除非我能确认它的forward和backward都对齐了。2. Ubuntu 20.04下环境搭建版本组合和编译排雷清单2.1 为什么我压着CUDA 11.8不放手环境这块网上搜“ubuntu20 3dgs”的人特别多但大部分教程只贴命令不说版本是怎么定出来的。我自己折腾过CUDA 12.1、PyTorch 2.2这样的新组合也走过一遍弯路。最后稳定长期使用的组合是Ubuntu 20.04 CUDA 11.8 PyTorch 2.1.0 GCC 9.5。原因很简单3DGS的核心可微光栅化扩展diff-gaussian-rasterization是编译型CUDA代码它和PyTorch的ABI绑定很紧。PyTorch新版本换一版CUDA runtime扩展经常要跟着改编译参数。同时我后面要接的SLAM项目大多数是基于CUDA 11.x写的统一版本可以少编译一整套依赖。CUDA 11.8对PyTorch 2.1.0来说是一个被反复验证过的稳定区没必要为了追新给自己加戏。如果你的显卡是RTX 40系也不需要担心编译时给arch参数就行。2.2 编译命令和真正的坑点环境搭建本身并不复杂按官方仓库的readme来但有几个细节官方不会特别强调。先说一套最稳的步骤git clone https://github.com/graphdeco-inria/gaussian-splatting --recursive conda create -n 3dgs python3.8 -y conda activate 3dgs conda install pytorch2.1.0 torchvision0.16.0 pytorch-cuda11.8 -c pytorch -c nvidia pip install submodules/diff-gaussian-rasterization pip install submodules/simple-knn第一次跑的时候最容易遇到的错误是明明装好了却报No module named diff_gaussian_rasterization。这不是没装而是conda环境发生了切换或者安装时pip把包装进了另一个Python解释器。解决方法是先用which python确认当前环境再在项目根目录执行pip install -e submodules/diff-gaussian-rasterization用可编辑模式装出问题也好定位。更隐蔽的是GPU架构编译错误。如果你用RTX 4070这种Ada架构卡编译时可能报unsupported gpu architecture compute_89因为编译器默认的架构列表里没有包含新一代卡的算力。这种情况不需要改代码在安装前设置环境变量export TORCH_CUDA_ARCH_LIST8.9如果你用的卡是RTX 30系就设成8.6A100是8.0老一点的V100是7.0。这个变量会告诉PyTorch和CUDA编译器只为本机的卡生成对应SASS代码省时又省掉一大半编译错误。还有一个非常容易忽略的点CUDA_HOME。如果你机器上装过多个CUDA版本编译时很可能指向了不存在的路径。建议在编译前固定export CUDA_HOME/usr/local/cuda-11.8 export PATH$CUDA_HOME/bin:$PATH export LD_LIBRARY_PATH$CUDA_HOME/lib64:$LD_LIBRARY_PATH环境搭好之后先跑一遍官方自带的demo数据确认训练和渲染都正常再开始做自己的数据集。否则后面你很难分清楚画面崩了到底是环境问题、数据问题还是表达器本身的参数问题。3. 自建数据集一段手机视频如何变成可训练的高斯场景3.1 拍摄与抽帧原始素材决定了表达器能表达的天花板很多人在“3dgs自己制作数据集”上栽跟头不是代码不行而是拍出来的素材根本没法做SfM。我自己踩过一次很深的坑拿着手机在客厅里转了一圈灯光不均匀、玻璃反光严重、窗户还过曝了结果COLMAP稀疏重建出来的相机位姿散成一团训练出来的画面像起雾一样。拍摄自建数据集我现在的固定流程是手机固定焦距锁定曝光和ISO关掉自动HDR沿着物体慢慢绕圈速度慢到那种“你觉得已经慢得有点傻”的程度。相邻帧之间的重叠率尽量保持在80%以上不要有大幅跳跃不要急停急转。弱纹理的区域比如白墙、纯色桌面要有意识地让一些家具边缘或阴影进入画面给SfM提供可匹配的特征点。录完后用ffmpeg抽帧。我一般对室内小场景抽150到250帧帧率设置成6到10帧每秒。如果一段视频是30秒我取前15秒绕半圈、后15秒绕剩下半圈最后抽出的图片序列要保证绕场景一周且每相邻两张之间视角变化不大。ffmpeg -i input_video.mp4 -vf fps6 images/%04d.png抽帧后记得把图片统一转成PNG或JPG处理EXIF旋转。手机竖拍的视频或照片经常带有旋转信息SfM工具不会自动纠正直接喂进去会导致照片和实际方向不一致。我比较省事的办法是用ImageMagick批量-auto-orient或者干脆拍摄时横屏固定减少后处理。3.2 COLMAP重建稀疏点云和相机位姿缺一不可3DGS官方训练格式需要三样东西图像序列、每张图像对应的相机位姿、一个初始稀疏点云。稀疏点云的作用非常关键不是只为了有个“形状”而是给高斯点提供最初的出生位置。如果COLMAP重建出的点云太稀疏或含有大量离群点后面训练出来的场景会到处飞点。COLMAP命令不难三步就能完成mkdir -p data/kitchen # images目录里已经放好抽出来的帧 colmap feature_extractor \ --database_path data/kitchen/colmap.db \ --image_path data/kitchen/images colmap exhaustive_matcher \ --database_path data/kitchen/colmap.db mkdir -p data/kitchen/sparse colmap mapper \ --database_path data/kitchen/colmap.db \ --image_path data/kitchen/images \ --output_path data/kitchen/sparse跑完之后用官方仓库里的convert.py把COLMAP结果转换成3DGS需要的数据结构python convert.py -s data/kitchen这一步会自动读sparse模型做归一化生成points3D.ply。需要提醒的是convert.py会把原图下采样并重算相机内参。这个下采样不是随便做的。如果图像分辨率太高而表达器的tile和深度排序又不会自动配合显存很容易爆炸。我之前试过直接喂1080p原图一张图就吃掉10GB显存训练时几乎寸步难行。所以对大多数场景下采样到1.6k甚至1.2k足够画面细节差距很小但显存压力会小很多。如果COLMAP重建失败优先检查两件事第一图片是不是有大量重复纹理比如瓷砖、百叶窗、白墙第二是不是有严重过曝或欠曝。不要急着换参数先把拍摄素材里导致误匹配的帧删掉或者用掩码把窗户、玻璃遮起来成功率会高很多。4. 接入SLAM可微渲染表达器在实时系统里的角色4.1 表达器如何成为SLAM的“眼睛”把3DGS和SLAM放在一起很多人以为只是“重建加上定位”但真正的结合点恰恰在渲染表达器上。传统SLAM比如ORB-SLAM靠特征点做数据和数据之间的关联系统需要维护一个稀疏路标地图。而3DGS-SLAM的做法是场景本身就是一坨高斯点当前帧来了用当前估计的相机位姿把这坨高斯渲染成一张预测图像再用预测图像和真实图像的误差去更新位姿同时也更新高斯参数。这个过程中间最重要的一环就是可微渲染表达器。损失函数通常长这样L 0.8 * (1 - ssim(pred, rgb)) 0.2 * l1_loss(pred, rgb)预测图像来自高斯地图的前向渲染而误差的反向传播要穿过表达器到达两个目标高斯点参数和相机位姿。没有可微表达器时你只能优化高斯点没法用光度误差优化位姿那SLAM的跟踪就是空中楼阁。所以我说表达器在SLAM系统里的地位比在离线训练里更核心它不只是画图工具而是整个优化回路里唯一的光线通道。4.2 我实际改过的一条关键渲染管线我接入SLAM项目时最大的一步工作不是跑通某个现成框架而是给官方的diff-gaussian-rasterization扩展增加“位姿可导”的能力。官方原版核心扩展主要解决高斯参数的反向传播但对相机位姿的梯度没有做完整暴露。SLAM需要同时优化位姿所以我需要让相机外参矩阵参与自动求导。具体来说渲染表达器前向时每一个高斯中心点世界坐标要经过观察变换到相机系再投影到像素系。如果我要让误差信号反传到位姿分量就要保证在投影的反向过程中把对R和t的导数通过雅可比传给位姿。实际实现时我fork了扩展的forward和backward在CUDA kernel里额外保留世界坐标到屏幕坐标的变换中间量然后通过包装层把位姿设成requires_gradTrue的变量让PyTorch的autograd把梯度传回来。这一块编译坑很多尤其是kernel内部指针和tensor的layout但一旦通了跟踪效果立刻稳定。如果你现在不想自己改底层也可以找已经支持3DGS-SLAM的开源项目比如SplaTAM、MonoGS这类它们内部都对渲染器做了定制。但我仍建议至少跑通一次自己改渲染表达器的流程因为这样你才知道哪些损失项是在“渲染器内部生效”、哪些是在“渲染之后生效”后面调参时能少走非常多的弯路。4.3 实时性瓶颈与取舍离线渲染时一次forward可以慢到几十毫秒没人管你。SLAM里每帧都指望这个表达器快速给出预测图像和梯度速度就不能只看“GPU利用率”而是要看“端到端延迟”。我在实际中体会最深的瓶颈有三个。第一是高斯基元数量。高斯数量从几万涨到几十万之后不仅排序变慢每个tile需要维护的高斯列表也变长。我的经验是对实时系统先限制地图规模到20万到30万个高斯超过后不再随便增加而是通过重定位让已有高斯基元吸收新帧的信息。第二是tile排序和alpha mixing的带宽压力。这个只能用CUDA层面优化尽量把多个步骤融合成一个kernel避免频繁把中间结果写回全局内存。第三是梯度传递的内存开销。反向传播会比前向更吃显存如果只是训练可以开大batch吃满显卡SLAM不行它需要在一个帧时间内完成跟踪和建图显存分配必须预先留好不能在优化过程中频繁malloc。如果在实时性上实在压不下来我的一般做法是把渲染分辨率降低比如渲染到640x360然后loss只在低分辨率上计算先保住位姿稳定后面再做一次离线高分辨率细化。这个“先跟踪后精美”的思路比在一个看不见的瓶颈上硬扛要实用得多。5. 第七次排错实录黑斑、漂移和显存问题5.1 画面上到处是黑斑和散落的飞点我把自建数据集第一次完整训练完满怀期待打开渲染视频结果画面里到处是黑色的小点点尤其是反光区域和高光边缘简直像屏幕进了灰尘。这个问题在“自己制作数据集”的场景里太典型了。排查时我没有直接去调网络参数而是先检查了points3D.ply。用MeshLab打开初始点云发现点云里有大量离群点散布在真实场景边缘外面。这些点主要来自两个地方一是COLMAP误匹配二是场景里的透明玻璃和金属反光。表达器把所有点都当成真实的半透明椭球来渲染离群点在前景叠加时就会形成暗色斑点。解决方法是先治理输入数据。我用COLMAP加了遮罩把反光严重的玻璃区域排除在特征匹配之外再对稀疏点云做了简单的距离统计剔除把偏离主点云太多的点直接删掉。然后调整密度控制的梯度阈值把densify_grad_threshold从默认的0.0002调高到0.0006。这个参数控制高斯点开始分裂的敏感度太小会疯狂生长飞点太大则场景细节不足。适当调高之后黑斑明显减少。最后再检查不透明度修剪策略把低于阈值的点及时去掉画面干净了很多。5.2 SLAM跟踪漂移渲染图边缘越来越糊另一个印象深刻的问题是渲染表达器接入SLAM后前100帧跟踪得还不错到200帧之后渲染出来的图像边缘开始发虚再往后整体位置都开始平移漂移。这个现象说明优化回路正在把误差积累到一个错误的方向上。我先怀疑的是光度误差对纯旋转场景不敏感。因为当相机原地转动时图像边缘会产生视差变化但光度loss很难在纹理稀疏的区域给出足够强约束。解决办法是加入几何约束有RGB-D相机可以直接把深度通道接到渲染器输出的alpha合成深度上没有深度就用单目深度估计模型先给一版相对深度在loss里加一个小的深度一致项。另一个重要的调参是降低位姿学习率。我在SLAM项目里把位姿优化学习率设在1e-5级别高斯基元参数学习率设在1e-3级别让表达器先把场景表达稳再做位姿跟踪。还有一点容易忽略在线SLAM系统会不断加入新帧新的高斯基元会覆盖旧区域导致灾难性遗忘。我通过只从关键帧集合里随机采样并且对旧区域的高斯做更新冻结来保护已经建好的部分。这是表达器在SLAM里比离线训练多出的一个管理逻辑如果不做画面就是永远在晃。5.3 显存爆炸总是在第3000次迭代附近崩掉最后一次崩溃是显存OOM而且每次都很有规律大约在训练迭代到3000次左右。这个节点正是表达器里的密度控制开始大量分裂高斯点的时候高斯数量一下子从几万跳到二十几万排序和alpha mixing的中间张量也跟着涨显卡直接被撑爆。处理这个问题我没有只靠减少batch size而是做了三件事。第一把训练分辨率从1600x1200降到1200x900损失细节不多但中间张量大小几乎减半。第二对每个tile的元素数量做上限控制避免单个tile被一两个高密度区域塞满导致内存峰值。第三在训练循环里开启混合精度减半显存占用。如果还需要更稳妥可以进一步限制最大高斯基元数比如在密度控制的代码里加一个上限判断超过数量后停止分裂。这个上限判断在官方库里不是现成的需要自己在densify逻辑里加但效果立竿见影。给一个我排查问题的汇总表现象主要可能原因排查方法处理手段黑斑、飞点SfM离群点、反光误匹配检查points3D.ply数据遮罩、距离剔除、调高densify阈值边缘发虚、漂移光度约束不足、位姿学习率过高观察渲染图和真实图的残差加深度约束、降低位姿学习率显存OOM高斯数量激增、分辨率过高监控训练到哪一步崩降分辨率、限制tile元素、限制高斯总数渲染闪烁不透明度更新过快看alpha通道是否剧烈变化降低不透明度重置频率这套排查链路我在第七期项目里反复用了好几次。好的一点是当你能预判“这个阶段问题大概率来自哪个组件”时3DGS项目就不再是黑盒。数据处理、渲染表达器、超参数三者互相影响但每次只动一个变量问题定位就会非常清晰。最后分享一个我自己的小体会如果你准备做3DGS尤其是拿自建数据做SLAM千万别把“训练成功”当成目标。先花时间把你的初始点云和渲染前向结果看透比盲目调参有用十倍。表达器不会骗人它只是把你所有不严谨的数据处理方式明明白白地画在了屏幕上。