paperbot · PL 论文追踪

全部论文 待读 收藏

P2 JSONSki: streaming semi-structured data with bit-parallel fast-forwarding

JSONSki:基于位并行快速前进的流式半结构化数据处理
ASPLOS Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2022匹配度 2/10 · 该论文属于半结构化数据的流式解析与查询优化(位并行/SIMD 加速 JSON 解析),虽在语言与体系结构范畴内,但与用户关注的核心方向——ML/Agentic 程序的静态分析、LLM 与静态分析/形式化验证的交叉、浮点程序分析与贝叶斯程序分析——均无直接关联,也没有涉及 LLM/Agent 或程序语义分析。引用 14 inbox
Lin Jiang, Zhijia Zhao
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:提出位并行快速前进的 JSON 流式处理框架,跳过无关子结构,显著加速流式分析。

流式分析半结构化数据(如 JSON)将解析与查询求值合并为单遍处理,以避免生成解析树,但传统设计需逐字符详细解析,限制了效率。本文发现可快速跳过与查询无关的子结构,但识别这些子结构本身可能需详细解析。为此,作者设计了一种高度位并行的方案,利用位运算和 SIMD 操作在流式过程中识别无关子结构。具体包括:新的递归下降流式模型、用于划分数据流的结构区间概念,以及实现多种快速前进情形的位并行算法。该方案实现为 JSON 流式框架 JSONSki,提供可在流式过程中调用的 API,动态快速前进跳过不同情形。在真实数据集和标准路径查询上的评估表明,JSONSki 相比最先进的 JSON 处理工具取得显著加速,且内存占用极小。

问题
传统半结构化数据的流式分析需要逐字符详细解析数据流,导致效率受限。
方法
设计位并行快速前进方案,利用位运算和 SIMD 操作识别并跳过与查询无关的子结构,包括递归下降流式模型、结构区间概念和位并行算法,并实现为 JSONSki 框架。
评估
在真实数据集和标准路径查询上评估,相比最先进的 JSON 处理工具取得显著加速,同时内存占用极小。
原文摘要(Abstract)

Semi-structured data, such as JSON, are fundamental to the Web and document data stores. Streaming analytics on semi-structured data combines parsing and query evaluation into one pass to avoid generating parse trees. Though promising, its conventional design requires to parse the data stream in detail character by character, which limits the efficiency of streaming analytics. This work reveals a wide range of opportunities to fast-forward the streaming over certain data substructures irrelevant to the query evaluation. However, identifying these substructures itself may need detailed parsing. To resolve this dilemma, this work designs a highly bit-parallel solution that intensively utilizes bitwise and SIMD operations to identify the irrelevant substructures during the streaming. It includes a new streaming model—recursive-descent streaming, for an easy adoption of fast-forward optimizations, a concept—structural intervals, for partitioning the data stream, and a group of bit-parallel algorithms implementing various fast-forward cases. The solution is implemented as a JSON streaming framework, called JSONSki. It offers a set of APIs that can be invoked during the streaming to dynamically fast-forward over different cases of irrelevant substructures. Evaluation using real-world datasets and standard path queries shows that JSONSki can achieve significant speedups over the state-of-the-art JSON processing tools while taking a minimum memory footprint.

链接与引用

DOI 原文 · PDF(开放获取) · DBLP

BibTeX
@inproceedings{Jiang022,
  title = {JSONSki: streaming semi-structured data with bit-parallel fast-forwarding},
  author = {Lin Jiang and Zhijia Zhao},
  booktitle = {ASPLOS},
  year = {2022},
  doi = {10.1145/3503222.3507719}
}