Hasty Briefsbeta

全部标签

#compiler

共 132 篇

双语

Fil-C: A memory-safe C implementation
7 months ago
- Fil-C是一个内存安全的C/C++实现方案，能让现有C代码无需修改即可安全运行
- 它极致兼容现有C代码，特别适合为遗留系统添加内存安全保护
- Fil-C能编译出完整的内存安全Linux用户空间，但部分复杂程序仍需调整
- 该项目基于Clang分支开发，采用Apache v2.0许可证（含LLVM例外条款），当前基于Clang 20.1.8版本
- 性能已从初期较慢提升至仅比Clang慢数倍，具体取决于程序结构
- Fil-C采用与Clang不同的内部ABI，要求所有代码必须用Fil-C重新编译才能兼容
- InvisiCaps指针表示法在保持架构原生指针尺寸外观的同时确保内存安全
- 内存管理系统包含并发的精确式垃圾回收器，利用辅助能力信息实现并行处理
- 基于Linux From Scratch项目，Fil-C已构建出内存安全的Linux用户空间，但部分组件仍需非Fil-C编译器
- 尽管尚未成熟，Fil-C为C程序内存安全问题提供了极具吸引力的解决方案，特别是在可接受性能折衷的场景下
Fil-C: A memory-safe C implementation
7 months ago
- Fil-C是C/C++的内存安全实现方案，能让现有C代码无需修改即可安全运行
- 它极致兼容现有C代码，特别适合为现有应用程序追加内存安全特性
- Fil-C能编译出完全内存安全的Linux用户空间，复杂程序需少量修改即可适配
- 该项目基于Clang 20.1.8版本分支开发，采用Apache v2.0许可证（含LLVM例外条款）
- 通过'InvisiCaps'指针处理技术，将指针分离为可信的'能力'部分和不可信的'地址'部分
- 配备并行垃圾回收器，在内存回收时仅造成极短的线程暂停
- 已成功构建内存安全的Linux From Scratch (LFS)版本，但部分组件仍需传统编译器
- 性能损耗显著但可控，部分程序运行速度仅比Clang编译版本慢数倍
- 不支持跨语言链接（如Rust），所有代码必须用Fil-C重新编译
- 项目尚处早期阶段，目前主要由单名开发者维护，但为C程序实现内存安全展现了巨大潜力
New graph layout algorithm for SpiderMonkey's SSA compiler
7 months ago
- SpiderMonkey的优化编译器Ion现在新增了交互式图表功能，用于可视化JavaScript和WebAssembly的编译过程。
- 用户可以在测试函数中编写JavaScript代码来生成并操作这些图表，包括导航、缩放以及逐帧查看优化过程。
- 新布局算法简单高效且输出质量高，专为SpiderMonkey需求定制，实现代码不足千行。
- 传统工具如Graphviz生成的布局不稳定且不符合直觉，难以追踪源代码结构。
- 新算法避免复杂优化，专注稳定性和可读性，通过分层处理、创建虚拟节点、拉直边线、追踪水平边等特定步骤实现。
- 最终生成的图表效率更高且更易导航——即使是复杂函数，其渲染风格借鉴铁路示意图以提升清晰度。
- 未来计划将iongraph更深集成到Firefox中，并添加搜索和寄存器分配可视化等功能，但目前尚无固定路线图。
- iongraph源代码已开源在GitHub，欢迎贡献。
Roadmap for Improving the Type Checker
7 months ago
- 路线图重点改进Swift编译器的类型检查器，特别是表达式类型检查功能
- Swift的约束求解涉及类型变量和约束条件，包括用于重载解析的析取约束
- Swift设置了类型检查限制以防止过度消耗时间或内存，包含析取尝试计数器和内存区域大小控制
- Swift 6.2和6.3版本的最新改进包括优化析取选择策略和减少约束求解器的内存区域使用
- 未来改进方向包括优化绑定操作、移除性能临时方案，以及增强故障恢复模式以提供更好的诊断信息
- 长期目标包括修改运算符查找机制和多态字面量处理，并采用类似SAT求解器的先进约束求解技术
Wastrel, a Profligate Implementation of WebAssembly
7 months ago
- Wastrel 是一个创新的WebAssembly (Wasm)实现方案，通过将Wasm模块编译为C代码再生成独立二进制文件
- 与同类项目(wasm2c/w2c2)的核心差异在于：通过Whippet垃圾回收库支持WasmGC实现自动内存管理
- 其CLI工具设计类似wasmtime，默认直接编译运行C输出文件，而wasm2c更侧重C代码生成
- 完整实现了WASI 0.1标准（WASI预览版1），可直接执行依赖WASI导入的二进制程序
- 通过轻量级效应分析生成优化后的C代码，有效减少冗余临时变量
- 性能基准测试显示：Wastrel仅比原生代码慢2-5%，与w2c2相当，且显著快于Wasmtime
- WASI实现面临三大挑战：受限类型的ABI处理、poll_oneoff等复杂函数的实现，以及规范模糊性问题
- 采用Linux文件系统命名空间实现安全沙箱，目前仅支持Linux平台，强调基于能力(capabilities)的安全模型
- 项目动机包括：倡导WASI支持垃圾回收、推动WasmGC语言在浏览器外运行、推广Whippet GC库的应用
- 未来计划包括：与ocamlopt的性能对比研究、通过Hoot/Whippet/Wastrel工具链实现Guile程序的原生编译
Pain Points of OCaml
6 months ago
- 作者正在寻找2026年应届毕业生的工作机会，具备Rust、TypeScript或React技能。
- OCaml的语法因不清晰而受到批评，尤其是嵌套的match语句和缺乏标点符号。
- OCaml的自动柯里化和部分函数应用常导致难以理解的错误和晦涩的错误信息。
- OCaml的类型推断功能强大，但可能产生不透明的错误，增加调试难度。
- OCaml的类型不能在声明前使用，且枚举类型未命名空间化，可能导致变量遮蔽问题。
- OCaml的工具链有所改进（如Dune构建系统），但生态圈被Jane Street的Core库主导。
- 编译器工具如ocamllex和Menhir使用自有DSL，且仅返回无用的“语法错误”提示。
- OCaml的打印功能繁琐，需为对象编写自定义打印函数，不如Rust的#[derive(Debug)]便捷。
- Rust因健壮性和可维护性受赞誉，而OCaml虽优雅但被认为不适合长期项目维护。
- 尽管存在缺陷，OCaml仍因其函数式特性和模式匹配被考虑用于未来编译器项目。
SPy: An interpreter and compiler for a fast statically typed variant of Python
7 months ago
- SPy是一个针对静态类型Python变体的解释器和编译器，专注于性能优化
- SPy不追求100%兼容Python，通过*.spy文件扩展名实现差异化
- 该项目深度集成Python生态，支持Python与SPy之间的模块互导入
- SPy通过移除阻碍优化的动态特性来解决Python性能瓶颈
- 引入运行时强制的静态类型系统，提升类型安全性和执行效率
- 设计包含零成本抽象和可选动态特性等机制以保持灵活性
- 支持元编程能力，在无需'魔法优化器'的情况下实现可预测的性能
- SPy开发受RPython启发，旨在成为具备更好工程学的'RPython 2.0'
- 项目已开源，当前早期开发阶段聚焦核心功能与性能突破
A Note on Fil-C
6 months ago
- Fil-C是Filip Pizlo主导的项目，通过为clang编译器添加内存安全检测机制（包括空间安全性检测如越界访问）和并发垃圾回收器（解决释放后使用等时序安全问题）来实现内存安全。
- 该项目具有高度代码兼容性，仅需适度修改即可支持完整的Linux发行版用户态环境。
- 性能损耗预计在1-4倍时钟周期之间，对于多数工作负载（尤其是I/O密集型场景）属于可接受范围。
- Fil-C融合了学术研究与工业实践成果，其中部分技术源自Pizlo在苹果公司的迭代开发，已有组件投入生产环境使用。
- 该工具的边界检查功能可使涉及指针操作的C代码比不安全的Rust代码更可靠，这引发了关于在Rust的unsafe块中引入类似检查的讨论。
- 局限性包括：仅提供动态（非静态）错误预防、存在性能与空间开销、未解决数据竞争问题，以及可能因追求性能而关闭安全机制的风险。
- 该项目折射出开发者优先级的转变——即使牺牲性能也要确保安全，这与历史上偏爱C/C++速度与内存效率的传统形成鲜明对比。
- 作者希望Fil-C能满足两类需求：既有C/C++遗留代码库的改造需求，以及对安全编程语言存在抵触情绪的开发者需求。
Writing a C Compiler, in Zig
6 months ago
- 在创作西班牙海鲜饭系列文章时撰写的文章，灵感来自Nora Sandler的《编写C编译器》
- 目的是学习Zig语言，并在失业期间拖延求职
- 未进行重大编辑，仅修复了失效链接
- 章节涵盖从一元运算符到链接等各类编程概念
- 若书籍项目继续推进，可能会新增更多文章
Nimony v0.2 – early preview of Nim 3.0's compiler
6 months ago
- Nimony v0.2 是 Nim 语言变种的早期预览编译器，目标发展为 Nim 3.0版本
- 聚焦 Aufbruch 模式：基于析构器的内存管理(ARC)、以值为核心的语义、可预测的代码生成、插件式元编程
- 支持基础程序开发，具备可用核心功能，面向希望测试语言基础功能的开发者
- 示例程序：250行代码的井字棋游戏（含AI），使用raylib图形库
- 已移植多个标准库模块，提供全面的功能支持
- 多数语言特性已实现（包括方法和动态多态），并能快速修复错误
- 常见问题：类型解析错误（但不会阻塞程序开发）
- 暂未实现大小写不敏感的标识符（因AST节点大小写格式异常被注意到）
- 使用AI聊天机器人（如GPT5-high）理解当前能力并指导测试
- 模板和复杂常量可能失效，但插件系统提供了可靠替代方案
- 鼓励社区参与：测试、提交错误报告、提问、PR贡献及通过Open Collective赞助
Show HN: What if MCP agents were JIT compiled to code?
6 months ago
- A1是一个新型智能体框架，可将智能体预编译（AOT）或即时编译（JIT）为工具集
- 该框架旨在替代Langchain等方案，在安全性、速度、确定性和灵活性方面均有显著提升
- 核心特性包括最小化敏感数据暴露、更快的代码生成速度，以及减少非确定性行为
- 支持OpenAPI规范工具、MCP服务器、数据库、fsspec路径及Python函数等多种工具源
- 通过最大化确定性代码和最小化LLM调用，实现'确定性最大化'设计目标
- 集成OpenTelemetry可观测性方案、支持SQL数据库的RAG检索，以及多智能体行为的上下文工程
- 支持零供应商锁定，可自由选择任何LLM或安全代码执行云环境
- 特别适合低延迟关键任务、非可信数据处理或需要代码执行的场景
- 测试目录tests/及即将上线的docs.a1project.org网站提供完整文档和示例
Switching to Rust's own mangling scheme on nightly
6 months ago
- Rust编译器将从nightly-2025-11-21版本开始默认采用自研的'v0'符号重整方案
- 此前默认采用的C++重整方案存在诸多缺陷，包括丢失泛型参数信息和平台兼容性问题
- 新的'v0'方案提供无歧义编码、可逆的泛型参数信息，并显著提升工具链兼容性
- 该改进尤其优化了异步代码、闭包和泛型函数在调用栈回溯中的可读性
- 可能带来的副作用包括符号体积轻微增大，或导致链接时间延长和二进制文件膨胀
- 如需兼容旧方案，仍可通过`-Csymbol-mangling-version=legacy -Zunstable-options`参数启用
- 相关工具链可通过集成rust-lang/rustc-demangle仓库的v0反重整器实现兼容
WebAssembly from the Ground Up
6 months ago
- 通过实践方式探索WebAssembly，重点解析其指令集和模块格式。
- 本书指导读者使用JavaScript和Ohm解析器，为简易编程语言Wafer构建一个可编译为WebAssembly的编译器。
- 无需编译器相关基础，书中会逐步提供所有必要代码。
- 包含15章技术内容及2章附加章节，每个阶段成果均提供MIT许可的完整源代码。
- 面向具备中级JavaScript知识的经验程序员，但不需要编译器开发经验。
- 本书旨在揭开编译器编写和WebAssembly的神秘面纱，让复杂技术变得易懂。
- 业界推荐语特别肯定了本书通过实践理解WebAssembly二进制表示的独特方法。
GCC Steering Committee Allows New Language Front-End to Land for GCC 16
6 months ago
- GCC指导委员会批准为GCC 16添加Algol 68前端支持
- Algol 68将作为实验性语言加入，与C/C++、Rust和COBOL等语言并列
- 该前端最初于3月被拒绝，现获准在特定条件下加入
- 条件包括：默认不构建、不纳入发布标准、需满足维护要求
- Jose E. Marchesi被任命为Algol 68前端的维护者
- Algol 68是已有50年历史的命令式语言，系Algol 60的继任者
- GCC 16.1稳定版预计于2024年3-4月发布
AI has a deep understanding of how this code works
6 months ago
- OCaml本地编译器新增DWARF v5调试信息支持，可在GDB和LLDB中进行源码级调试。
- 核心DWARF支持包含遵循DWARF 4/5规范的函数、类型和行号调试信息。
- 平台支持覆盖macOS（Mach-O）和Linux（ELF），提供AMD64和ARM64架构的特定实现。
- 工具链包含LLDB Python扩展，支持OCaml值的美化打印和增强调试命令。
- 命令行接口新增-g标志用于生成DWARF，并提供控制调试信息详细程度的选项。
- 实现包含通过编译管道的变量追踪，以及对let绑定变量的正确作用域处理。
- 全面测试验证了调试器功能，包括断点、源码定位和变量检查等场景。
- 该PR包含13k行代码，但由于采用AI辅助开发方式面临集成挑战。
- 讨论凸显了AI生成贡献与传统开源协作模式之间的张力。
JOPA: Java compiler in C++, Jikes modernized to Java 6 with Claude
6 months ago
- Jikes的分支项目，这是历史上用C++实现的独立javac编译器，现已现代化并全面支持Java 5和Java 6的语言特性。
- 新增的关键Java 5/6特性包括：泛型、增强型for循环、可变参数、枚举类型、自动装箱/拆箱、静态导入、注解、50.0版本的类文件格式及调试信息。
- 要求使用CMake 3.20+、支持C++17的编译器，可选iconv/ICU库以提供编码支持。
- 提供了Nix和通用CMake设置的构建指南，包含实用的CMake选项说明。
- Jikes最初由IBM研究院的Philippe Charles和Dave Shields开发，于1997年首次发布。
- 以速度快（比javac快10-20倍）、错误纠正能力和高质量的错误提示信息著称。
- 作为IBM首个开源项目，1999年被纳入红帽Linux发行版，同年晚期IBM终止了项目参与。
- 由于Java语言变化（尤其是泛型引入），活跃开发于2005年停止。
- 仍适用于初学者或作为编译器课程的研习对象。
- 显著特点：完全用C++编写，采用高效存储分配器，除Jikes Parser Generator外不依赖第三方解析工具。
- 代码库包含1.04至1.22版本，2012年从Sourceforge获取。
- 列出了原始作者及众多贡献者，体现了项目的协作精神。
Inside VOLT: Designing an Open-Source GPU Compiler
6 months ago
- VOLT（Vortex优化轻量工具链）是一款开源GPU编译器，专为新兴开放GPU架构的SIMT执行而设计。
- 该编译器框架技术复杂度高，在开放硬件开发成本中常被低估。
- VOLT通过分层设计实现了跨多级抽象的SIMT代码生成与优化。
- 它将核心的SIMT相关分析与优化集中在中端层，确保可复用性并能适配新型GPU变体。
- 两项案例研究验证了VOLT对指令集扩展和主机运行时API扩展的支持能力。
Xbasic: 1980s era BASIC, compiler to x86-64, complete with test suite
6 months ago
- xbasic64 可将1980年代经典BASIC方言（Tandy Color BASIC/GW-BASIC/QuickBASIC）直接编译为原生x86-64可执行文件
- 支持带行号的经典BASIC语法或结构化代码
- 包含数值类型（整型/长整型/单精度/双精度）及字符串处理函数（LEFT$/MID$等）
- 具备IF/THEN/ELSE、FOR/NEXT、WHILE/WEND、DO/LOOP、SELECT CASE等控制流结构
- 支持带递归的过程（SUB/FUNCTION）及文件I/O操作
- 采用三阶段编译管道：源代码→词法分析→语法分析→代码生成→汇编→可执行文件
- 通过x86-64汇编运行时库处理I/O、字符串操作及数学函数
- 关键设计：无中间表示(IR)、采用System V AMD64应用二进制接口、遵循GW-BASIC类型语义
- 依赖Rust工具链、系统汇编器(as)及带libc的C编译器/链接器(cc)
- 兼容macOS（x86-64架构/通过Rosetta支持ARM64）和Linux（x86-64架构）
Baboon: Data Modeling with Automatic Evolutions and tagless binary codecs
6 months ago
- Baboon是一种极简数据建模语言及编译器，具有符合人体工学的声明式模式语法。
- 特性：通过+、-、^运算符实现基于集合的结构化继承。
- 自动派生JSON和UEBA（超高效二进制聚合）编解码器。
- 具备演进感知的代码生成能力，支持迁移和手动操作存根。
- 支持结构继承与名义继承、命名空间、包含和导入功能。
- 集合类型包含opt（可选值）、lst（列表）、set（集合）、map（映射）及时间戳/UID原始类型。
- 代码生成目标：C#、Scala，未来计划支持更多语言。
- 通过去重C#输出降低二进制文件体积。
- 提供Intellij Idea插件和VSCode/VSCodium扩展支持。
- 当前限制：无模板功能、名义继承支持有限、不支持新类型/类型别名。
- 标有(*)的条目未来可能改进。
- 未被根类型引用的类型会从编译器输出中消除。
- 外部类型需要自定义编解码器并谨慎处理。
- 项目使用mudyla进行构建编排，支持多种构建和测试命令。
GCC 16 Switches to Using C++20 Standard by Default
6 months ago
- GCC 16将默认使用C++20标准而非C++17
- GCC开发者已修复代码库中的C++20兼容性问题
- 这项更改为C++20默认标准的提案在GCC 16.1稳定版第三开发阶段获得通过
- 未做好C++20准备的项目可能出现编译问题，除非显式指定"-std=c++17"参数
- 针对GCC Git版本测试的开源项目尚有数月时间适配C++20标准
- 2020年GCC 11曾将默认标准从C++14切换至C++17

About|Login

#compiler

Fil-C: A memory-safe C implementation

Fil-C: A memory-safe C implementation

New graph layout algorithm for SpiderMonkey's SSA compiler

Roadmap for Improving the Type Checker

Wastrel, a Profligate Implementation of WebAssembly

Pain Points of OCaml

SPy: An interpreter and compiler for a fast statically typed variant of Python

A Note on Fil-C

Writing a C Compiler, in Zig

Nimony v0.2 – early preview of Nim 3.0's compiler

Show HN: What if MCP agents were JIT compiled to code?

Switching to Rust's own mangling scheme on nightly

WebAssembly from the Ground Up

GCC Steering Committee Allows New Language Front-End to Land for GCC 16

AI has a deep understanding of how this code works

JOPA: Java compiler in C++, Jikes modernized to Java 6 with Claude

Inside VOLT: Designing an Open-Source GPU Compiler

Xbasic: 1980s era BASIC, compiler to x86-64, complete with test suite

Baboon: Data Modeling with Automatic Evolutions and tagless binary codecs

GCC 16 Switches to Using C++20 Standard by Default