rrweb项目中CSS文本分割导致的性能问题分析与优化
2025-05-12 19:33:32作者:苗圣禹Peter
问题背景
rrweb作为一款优秀的网页录制工具,在最新版本(v2.0.0-alpha.18)中出现了一个严重的性能问题。当页面中包含大量CSS内容时,特别是通过浏览器扩展(如Grammarly、Sider AI等)动态注入的CSS样式,会导致录制过程中的JavaScript堆内存耗尽,造成页面卡顿甚至冻结。
问题现象
开发团队发现,当用户使用某些浏览器扩展时,rrweb的录制功能会导致明显的性能下降。通过性能分析工具可以看到,splitCssText函数在执行时会占用大量CPU资源,有时甚至会导致浏览器冻结长达10秒。
技术分析
问题根源
问题的核心在于splitCssText函数的实现逻辑。该函数原本设计用于正确处理CSS文本中的特殊字符和转义序列,确保录制后的CSS能够准确还原。但在处理以下情况时会出现性能问题:
- 浏览器扩展注入的大规模CSS内容(如Grammarly注入的104KB CSS)
- 包含多个子文本节点的style元素(当CSS超过60-70KB时,浏览器会自动分割)
- 包含大量特殊字符或转义序列的CSS规则
性能瓶颈
通过基准测试发现,当style元素包含多个子文本节点时,splitCssText函数会触发嵌套循环,导致时间复杂度急剧上升。特别是在处理以下结构时:
<style>
<!-- 第一个文本节点,约65KB -->
<!-- 第二个文本节点,约38KB -->
</style>
函数需要对每个文本节点进行完整处理,并且处理逻辑中存在多重循环,这在面对大规模CSS时就会成为性能瓶颈。
解决方案
开发团队提出了两个阶段的优化方案:
第一阶段优化
- 引入迭代限制(iter_limit)机制,当循环次数超过阈值时提前退出,避免无限循环
- 优化CSS文本合并逻辑,减少不必要的字符串操作
- 简化特殊字符处理流程
第二阶段优化
在进一步测试后发现第一阶段优化仍不能完全解决问题,于是进行了更深层次的改进:
- 重构CSS文本分割算法,降低时间复杂度
- 增加对超大CSS内容的特殊处理
- 优化内存使用,避免频繁的字符串操作
技术实现细节
优化后的实现主要关注以下几点:
- 性能与正确性的平衡:在保证CSS录制准确性的前提下,优先确保性能
- 边界条件处理:特别关注浏览器自动分割CSS文本节点的情况
- 资源消耗控制:严格控制内存和CPU使用,避免影响主线程
实际应用建议
对于使用rrweb的开发者,如果遇到类似性能问题,可以考虑:
- 检查页面中是否有大规模CSS内容,特别是动态注入的
- 在非关键场景下,可以暂时禁用CSS录制功能
- 关注rrweb的更新,及时获取性能优化版本
总结
rrweb作为网页录制工具,在处理CSS内容时需要兼顾准确性和性能。通过这次优化,团队不仅解决了特定场景下的性能问题,也为后续处理类似情况积累了经验。这也提醒我们,在开发涉及大规模文本处理的工具时,需要特别注意算法复杂度和实际性能表现。
登录后查看全文
热门项目推荐
相关项目推荐
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C083
baihu-dataset异构数据集“白虎”正式开源——首批开放10w+条真实机器人动作数据,构建具身智能标准化训练基座。00
mindquantumMindQuantum is a general software library supporting the development of applications for quantum computation.Python056
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0135
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00
项目优选
收起
deepin linux kernel
C
27
11
OpenHarmony documentation | OpenHarmony开发者文档
Dockerfile
469
3.48 K
Nop Platform 2.0是基于可逆计算理论实现的采用面向语言编程范式的新一代低代码开发平台,包含基于全新原理从零开始研发的GraphQL引擎、ORM引擎、工作流引擎、报表引擎、规则引擎、批处理引引擎等完整设计。nop-entropy是它的后端部分,采用java语言实现,可选择集成Spring框架或者Quarkus框架。中小企业可以免费商用
Java
10
1
🔥LeetCode solutions in any programming language | 多种编程语言实现 LeetCode、《剑指 Offer(第 2 版)》、《程序员面试金典(第 6 版)》题解
Java
65
19
暂无简介
Dart
716
172
喝着茶写代码!最易用的自托管一站式代码托管平台,包含Git托管,代码审查,团队协作,软件包和CI/CD。
Go
23
0
openEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。
C
208
83
🎉 (RuoYi)官方仓库 基于SpringBoot,Spring Security,JWT,Vue3 & Vite、Element Plus 的前后端分离权限管理系统
Vue
1.27 K
695
无需学习 Kubernetes 的容器平台,在 Kubernetes 上构建、部署、组装和管理应用,无需 K8s 专业知识,全流程图形化管理
Go
15
1
基于golang开发的网关。具有各种插件,可以自行扩展,即插即用。此外,它可以快速帮助企业管理API服务,提高API服务的稳定性和安全性。
Go
22
1