在嵌入式脚本引擎中集成 Luau 渐进式类型检查以提升运行时安全性
探讨如何将 Luau 的类型推断和检查集成到嵌入式脚本引擎中，实现运行时安全，同时通过渐进式采用策略平衡性能。
2025-09-18compiler-design2025-09
Category
compiler-design
共 699 篇文章。
利用 Gluon 的 Triton 编译栈编写高性能 GPU 内核：跨硬件可移植加速
基于 Gluon 的 Triton 编译栈，用 Python 编写高效 GPU 内核，实现张量操作的跨 NVIDIA 和 AMD 硬件加速，包括内核示例、优化参数和可移植性指南。
2025-09-18compiler-design2025-09
利用 Triton 编写高效 GPU 内核：融合与自动调优优化
在 ML 工作流中使用 Triton 兼容编译器编写高效 GPU 内核，焦点在内核融合和自动调优优化，提供工程参数和监控要点。
2025-09-18compiler-design2025-09
利用 C# 14 空条件赋值简化 Web API 中的异步错误传播
C# 14 的空条件赋值特性允许在赋值左侧使用 ?. 操作符，简化 Web API 中异步操作的空值检查与错误传播，提供简洁的链式处理参数和监控要点。
2025-09-18compiler-design2025-09
WASM 3.0 中 GC 与组件模型集成：Rust 高效互操作实践
探讨 WASM 3.0 GC 和组件模型如何实现 Rust 与 WASM 的高效互操作，包括自定义 ABI、零拷贝传递和动态链接策略。
2025-09-18compiler-design2025-09
开发自定义 Z3 策略优化 RTL 硬件验证中的位向量算术约束
针对 RTL 硬件验证，介绍自定义 Z3 策略以优化位向量算术，提升等价性检查和 bug 检测效率，提供工程参数与监控要点。
2025-09-17compiler-design2025-09
R7RS syntax-rules 中使用 call/cc 实现正常序归约：惰性求值与不动点语义证明
探讨在 Scheme 宏系统中通过延续实现惰性求值，结合不动点组合子与共归纳推理证明语义正确性与宏展开卫生。
2025-09-17compiler-design2025-09
Z3 SMT求解器在RTL硬件验证中的位向量算术优化：自定义策略实践
面向RTL设计流，集成Z3优化位向量算术，使用自定义tactics减少求解时间，给出参数配置与监控要点。
2025-09-17compiler-design2025-09
在Rust中集成Z3 SMT求解器解决约束问题
探讨Rust中Z3求解器的集成，用于调度和验证等约束问题，提供自定义编码技巧与性能优化参数。
2025-09-17compiler-design2025-09
Java 25 预览模式匹配与作用域值：在多线程微服务中实现无锁隔离状态
探讨 Java 25 的模式匹配预览特性用于数据提取，以及作用域值实现多线程微服务中的隔离状态管理，无需全局锁。
2025-09-17compiler-design2025-09
用不到65行C++代码构建类型安全的字符串格式化器
通过模板元编程实现编译时格式字符串验证和高效运行时插值的类型安全格式化库，无需外部依赖。
2025-09-16compiler-design2025-09
使用 egglog 的 e-graphs 实现基于规则的程序优化：编译器与数据库中的高效等式饱和
利用 egglog 结合 e-graphs 和 Datalog，实现编译器与数据库中的规则优化，提供等式饱和的工程参数与落地指南。
2025-09-16compiler-design2025-09
在 Python 中使用 egglog 的 e-graphs 实现等式饱和规则引擎
利用 egglog 的 e-graphs 技术，支持动态表达式重写和优化，适用于编译器 IR 变换与数据库查询重构。
2025-09-16compiler-design2025-09
C++ 中 65 行以内实现类型安全的字符串格式化库
利用变长模板和 SFINAE 构建一个紧凑的类型安全字符串格式化器，通过操作符重载实现无缝集成，仅需 65 行代码。
2025-09-16compiler-design2025-09
实现 Titania：一种最小系统编程语言的自定义解释器
探讨 Titania 语言的核心设计与自定义解释器的工程实现，强调零成本抽象和低级内存控制在性能关键应用中的作用。
2025-09-15compiler-design2025-09
实现 Titania 核心：递归下降解析器、类型推断引擎与 LLVM 后端
基于 Oberon-07 的 Titania 语言核心实现指南，聚焦递归下降解析、类型推断及 LLVM 代码生成的无运行时开销设计。
2025-09-15compiler-design2025-09
使用 lexy 在 C++17 中构建递归下降解析器：组合与错误恢复
利用 lexy 库的 DSL 在 C++17 中高效构建递归下降解析器，支持规则组合、错误恢复和增量输入处理，适用于嵌入式 DSL 开发。
2025-09-14compiler-design2025-09
用 Rust 构建 PHP JIT 引擎：零开销 ABI 与原生扩展无缝加载
探讨 Rust JIT 引擎如何实现 PHP 原生扩展的无缝加载，避免运行时开销与重新编译，提供工程化参数与监控要点。
2025-09-14compiler-design2025-09
剖析 Ruby JIT 分派机制：CRuby 与 YJIT 中的内联缓存与方法查找
深入探讨 CRuby 解释器和 YJIT JIT 编译器的分派机制，包括内联缓存、方法查找过程，以及在动态工作负载下的性能影响与优化参数。
2025-09-14compiler-design2025-09
Engineering Executable Graph-Based Visual Programming with Dataflow Nodes and Runtime Interpretation
探讨如何通过数据流节点和运行时解释工程化图形化视觉编程系统，以克服表单小部件限制，实现复杂过程逻辑的组合。
2025-09-14compiler-design2025-09
使用 Lexy 在 C++17 中实现可组合解析器组合子，用于领域特定语言：强调语义错误恢复与模块化语法定义
本文指导如何利用 Lexy 库构建模块化 DSL 解析器，聚焦组合子设计、语义错误恢复机制及工程化参数配置。
2025-09-14compiler-design2025-09
用 Rust 构建高性能 PHP 执行引擎：JIT 编译、零开销 ABI 桥接与遗留扩展无缝加载
探讨利用 Rust 实现高性能 PHP 执行引擎，聚焦 JIT 编译、零开销 ABI 桥接以及遗留 PHP 生态的扩展加载策略，提供工程化参数与落地清单。
2025-09-14compiler-design2025-09
Safe C++ 提案中止后：在现有 C++ 代码库中使用 AddressSanitizer 实现运行时边界检查和别名控制
Safe C++ 提案中止后，探讨如何在遗留 C++ 系统中集成 AddressSanitizer 等工具，实现运行时边界检查和别名控制，提升内存安全。
2025-09-14compiler-design2025-09
使用内联缓存和方法查找优化 Ruby JIT 分派
在 Ruby JIT 中，通过内联缓存和方法查找实现热路径执行优化，提供零开销原生代码转换的工程参数与监控要点。
2025-09-14compiler-design2025-09
使用 ANTLR-NG 的增强语法组合构建模块化解析器：可重用规则与增量解析
通过 ANTLR-NG 的语法组合和增量解析，构建高效的模块化解析器，支持实时更新和优化执行。
2025-09-13compiler-design2025-09
Zig 构建系统中 C/C++ 项目编译标志自动化
介绍使用 compile_flagz 包在 Zig build.zig 中自动化生成 compile_flags.txt，提升 C/C++ 跨编译项目的编辑器集成和依赖扫描。
2025-09-13compiler-design2025-09
工程化 Rust 实现的 PHP 工具链：JIT 编译、零开销抽象与无缝互操作
探讨 Mago 等 Rust 构建的 PHP 工具链设计，通过 JIT 编译、零开销抽象和互操作机制，将遗留 PHP 应用加速至接近原生速度。
2025-09-13compiler-design2025-09
Engineering Modular Parser Generators in ANTLR-NG: Improved Grammar Composition, Incremental Parsing, and Efficient Code Generation
面向多语言编译器管道，给出 ANTLR-NG 中模块化解析器生成、增量解析与高效代码生成的工程化参数与监控要点。
2025-09-13compiler-design2025-09
实现 Java 25 的异步 CPU 时间分析器：JFR 集成与火焰图可视化
探讨 Java 25 中低开销 CPU 分析，利用 JFR 集成和火焰图可视化高效分析多线程应用瓶颈。
2025-09-13compiler-design2025-09
Kefir：独立实现的C17/C23编译器验证与工程实践
探讨Kefir编译器如何通过solo开发实现C17/C23标准合规，包括AST解析、广泛验证套件以及生成可移植二进制文件的代码生成策略。
2025-09-13compiler-design2025-09
使用 cppstat 分析开源 C++ 项目中的编译器特性覆盖率
通过静态分析开源 C++ 仓库，计算 GCC/Clang/MSVC 的特性支持矩阵，突出特性差距并提出针对性 polyfill 策略。
2025-09-12compiler-design2025-09
使用进化算法自动化反编译专有内核模块以检测GPL违反
探讨如何运用进化算法优化反编译过程，通过语义匹配检测Linux内核中GPL代码重用，提供工程参数和实施清单。
2025-09-12compiler-design2025-09
CMake 中集成 C++20 模块：头单元、分区与导入优化实践
在 CMake 中使用 C++20 模块实现头单元和命名分区，提升编译效率和代码模块化，提供优化参数与清单。
2025-09-12compiler-design2025-09
C++23 中使用 std::mdspan 实现高效邻接矩阵视图
利用 C++23 的 std::mdspan 创建非拥有多维视图，应用于邻接矩阵，实现稀疏图遍历的高效数据访问，避免不必要的内存复制。
2025-09-12compiler-design2025-09
在 MicroHaskell 中嵌入 Dataframe DSL：用于列式操作的重写规则
通过重写规则在 MicroHaskell 中实现 Dataframe DSL，利用惰性求值和 STG 机器优化列式数据处理，避免完整 GHC 依赖。
2025-09-11compiler-design2025-09
使用协议和多方法在 Clojure 中构建可扩展的 AST 处理
利用 Clojure 的协议和多方法解决 Expression Problem，实现 AST 的模块化扩展，而无需修改核心代码。
2025-09-11compiler-design2025-09
Picat 中的规则-based 表化和约束求解实现：高效规划与优化
探讨 Picat 语言中规则-based 表化和约束求解的实现机制，针对规划与优化问题提供高效解决方案，桥接 Prolog 逻辑范式与函数式编程。
2025-09-11compiler-design2025-09
使用头单元和分区接口将 C++20 模块集成到 CMake 构建中
在 CMake 项目中集成 C++20 模块，利用头单元和分区接口实现模块化编译，显著减少构建时间，提供配置参数和最佳实践。
2025-09-11compiler-design2025-09
C++20 模块在 CMake 中的集成：使用头单元和分区接口优化编译时间
通过 C++20 模块的头单元和分区接口，在 CMake 构建中实现增量重建，针对大型代码库减少 30-50% 的编译时间，提供实用配置参数和最佳实践。
2025-09-11compiler-design2025-09
多语言实现中的多重分派：Julia、Common Lisp 和 Clojure
比较Julia、Common Lisp和Clojure中多重分派的机制，实现跨语言可扩展代码的多态方法解析，避免单分派局限。
2025-09-11compiler-design2025-09
Using Gappa to Formally Verify Floating-Point Division: Bounding Rounding Errors and Ensuring IEEE 754 Compliance in ARM Systems
面向ARM系统，介绍Gappa工具验证浮点除法例程的舍入除法例程的舍入误差界限，确保IEEE 754标准合规，提供工程参数和监控要点。
2025-09-11compiler-design2025-09
C语言中基于宏的类型安全泛型实现：编译时多态与可复用数据结构
在C语言中利用宏实现类型安全的泛型编程，实现编译时多态，支持向量和树等可复用数据结构，无运行时开销，适用于性能关键系统。
2025-09-10compiler-design2025-09
分析OOXML规范中的人为复杂性以优化编译器解析、验证和高效代码生成
探讨OOXML规范中源于Office遗留的人为复杂性，并提供针对文档处理引擎的编译器解析优化策略、验证参数及代码生成清单。
2025-09-09compiler-design2025-09
工程化 OCaml 模块与值的统一表示
面向可组合函数抽象，给出 OCaml 模块与值的统一表示工程实践，以减少类型安全代码生成管道中的样板代码。
2025-09-09compiler-design2025-09
扩展 LLVM IR 的 byte 类型以实现直接 raw 数据拷贝：高性能系统内存操作优化
针对高性能系统，介绍 LLVM IR byte 类型扩展以优化内存操作，避免中间 load/store 的工程参数与落地策略。
2025-09-09compiler-design2025-09
将C23合约集成到编译器中实现运行时断言检查
探讨C23合约在编译器中的集成，支持运行时断言评估、错误恢复及安全关键系统的动态验证参数。
2025-09-09compiler-design2025-09
使用交互式可点击图表导航Rust类型系统层次
面向Rust学习者，给出交互式图表实现参数与动态探索trait、生命周期和泛型的工程化要点。
2025-09-09compiler-design2025-09
C23合约特性在嵌入式系统中的预后条件静态检查实践
探讨C23合约在嵌入式开发中的应用，通过静态检查提升代码可靠性和调试效率，提供具体参数和清单。
2025-09-09compiler-design2025-09
Rust 中实现交互式类型推断模拟：调试复杂泛型代码的实时图表
通过 Rust 构建交互式图表，模拟类型推断路径和 trait 解析过程，帮助实时调试复杂泛型代码。
2025-09-09compiler-design2025-09
Visualizing Rust Type System Hierarchies
工程化交互式可视化工具，用于导航 Rust 类型系统，包括 traits、lifetimes 和 borrow checker 的机制，适用于编译器调试和教育。
2025-09-09compiler-design2025-09
设计AI驱动代码风格自适应系统
基于语义分析的AI系统自动调整代码布局，取代手动格式化工具，实现跨风格一致性，提供工程参数与监控要点。
2025-09-08compiler-design2025-09
使用代数数据类型和访问者模式实现可扩展表达式表示
在编译器设计中，利用代数数据类型和访问者模式平衡函数式和面向对象范式的可扩展性，提供工程化参数和监控要点。
2025-09-08compiler-design2025-09
实现IRHash的多语言编译器缓存：IR级哈希与增量编译优化
通过IR级哈希机制，实现跨语言编译器的高效缓存共享，减少重复编译开销，提供工程化参数与监控要点。
2025-09-08compiler-design2025-09
Implementing Tree-sitter Based Semantic Code Formatting
基于 Tree-sitter 实现语义代码格式化，消除传统行式格式化器，实现无手动干预的一致风格。
2025-09-08compiler-design2025-09
IR 级别哈希用于多语言编译器缓存：优化命中率的阈值选择
在异构构建环境中，选择合适的 IR 哈希阈值以最小化碰撞并最大化缓存命中率，实现高效的多语言编译器缓存。
2025-09-08compiler-design2025-09
Flix语言中代数效应的实现实践
在Flix中实现代数效应，用于结构化处理函数式编程中的副作用、并发和异常，无需monad变换器。
2025-09-07compiler-design2025-09
Flix 中使用基于处理器的组合实现代数效应：功能代码库中的模块化副作用管理
在 Flix 语言中，通过处理器-based 组合实现代数效应，实现功能代码库中模块化的副作用管理，提供定义、实现和应用指导。
2025-09-07compiler-design2025-09
Stripe：面向机器学习的编译器中间表示与内存布局优化实践
剖析Stripe IR如何通过嵌套多面体模型和显式内存块结构，实现硬件无关的自动内存布局优化，提升ML计算性能。
2025-09-06compiler-design2025-09
IRHash：基于IR级别哈希的高效多语言编译器缓存技术
上海交通大学与蚂蚁集团联合提出的IRHash系统，通过中间表示级别的哈希实现跨语言编译器缓存，为多语言项目编译带来革命性加速
2025-09-05compiler-design2025-09
上一页第 9 / 9 页