Unicode 文本算法:UTF-8 编解码与验证、规范化、字素簇与双向文本安全
UTF-8 的位布局、合法序列与最大子部分替换,Hoehrmann DFA 与 Keiser–Lemire SIMD 验证,再到规范化、字素簇、大小写折叠和 Trojan Source;编解码器经全部 2^32 个四字节串穷举测试。
Linux 内核、存储与网络、可观测性、系统架构与大模型基础设施的工程笔记:机制拆解、踩坑复盘与可核对证据,少空谈。
共 3 篇文章 · 返回首页
UTF-8 的位布局、合法序列与最大子部分替换,Hoehrmann DFA 与 Keiser–Lemire SIMD 验证,再到规范化、字素簇、大小写折叠和 Trojan Source;编解码器经全部 2^32 个四字节串穷举测试。
范式化和反范式化的决策点在哪里?文档模型真的比关系模型更灵活吗?本文从工程实践出发,分析关系范式的真实意义、文档模型的 join 困境、图模型的适用场景,帮助架构师做出理性的数据建模决策。
关系数据库范式详解:第一、第二、第三范式原理与数据库设计最佳实践