Hasty Briefsbeta

全部标签

#performance

共 528 篇

双语

A proposal to add GC-less, unmanaged memory spaces to C#
8 months ago
- 引入'Spaces'作为C#的新架构原语，旨在统一高级托管语言与低级系统语言
- 通过允许系统以单体架构设计但以微服务形式部署，试图解决'单体架构vs微服务'的争论
- Spaces是拥有独立内存堆和线程的计算隔离单元，可消除竞态条件等并发问题
- Space间通过异步消息传递通信，使用'swait'和'srun'等新关键字进行抽象
- 支持通过.csproj文件细粒度配置Space，包括执行环境(托管/非托管)、编译方式(AOT/JIT)、运行时(线程组/隔离)、传输机制(共享内存/gRPC/命名管道)
- 引入'overspace'实现上下文多态，允许类型在不同Space中具有不同实现
- 提出严格的'Airlock'安全模型管理Space间通信，确保数据被复制但行为在目标Space中重构
- 通过将现有C#应用视为运行在隐式'默认Space'中来保证向后兼容
- 需要增强CLR和Roslyn编译器以支持Space生命周期管理、跨Space通信和非托管执行
- 设计为可选功能，并与IDE深度集成以提供上下文感知工具、调试和智能提示
The Weird Concept of Branchless Programming
8 months ago
- 现代CPU使用分支预测器来推测执行路径，但预测错误会导致严重的性能损失。
- 无分支编程通过算术和位运算避免条件跳转，在不可预测的场景中提升性能。
- 代码中的分支指条件执行路径（if/elif/else），在机器码中会转换为跳转指令。
- 无分支技术对性能敏感或需防范侧信道攻击的应用（如密码学）至关重要。
- 提供了三个无分支编程示例：绝对值计算（abs）、范围限定（clamp）和数组分区（partition）。
- 绝对值示例展示了如何用位操作替代分支判断。
- 范围限定技术无需条件检查即可将数值约束在区间内，常用于模拟和渲染。
- 无分支数组分区通过避免循环中的不可预测分支，显著提升处理速度。
- 基准测试显示：无分支分区比分支版本快1.2倍，而abs和clamp的差异可忽略不计。
- 无分支编程是精准优化工具，恰当使用时能带来性能提升。
Faster Virtual Machines: Speeding Up Programming Language Execution (2023)
8 months ago
- 探讨了执行字节码的不同虚拟机（VM）实现方案
- 介绍了一种自定义的基于栈操作的字节码语言（包含CONSTANT、ADD、PRINT等指令）
- 对比了基础解释器、自定义跳转表、基于尾调用的解释器及编译器方案的性能差异
- 通过每个优化阶段（尤其是编译器方案）展示了显著的加速效果
- 讨论了使用X-macros技术在不同VM实现中通用化定义指令的方法
- 指出动态语言（如Python）可能无法充分受益于这些优化，同时强调了该技术的实际应用场景与局限性
Eliminating Cold Starts 2: shard and conquer
8 months ago
- Cloudflare引入了一项在TLS握手期间预热Worker的技术以消除冷启动
- Worker已进化到能处理更复杂的应用，导致冷启动时间超过TLS握手时长
- Cloudflare采用一致性哈希环部署了'Worker分片'技术，通过将请求路由至现有Worker来减少冷启动
- 冷启动包含获取、编译和初始化Worker脚本，这些过程已变得愈发耗时
- Worker分片通过将请求合并到更少实例来优化内存使用并降低驱逐率
- 负载脱落技术确保过载Worker能优雅处理请求而不报错
- 采用Cap'n Proto RPC实现高效的跨实例通信及嵌套Worker调用处理
- Worker分片使全局驱逐率降低10倍，热请求率从99.9%提升至99.99%
- 流量的幂律分布意味着只需对少量请求分片即可显著提升效率
- 未来目标包括进一步降低冷启动率以实现热请求率五个9的可靠性
Diagnosing a Linux Performance Regression
8 months ago
- Automattic使用Kubernetes运行WordPress VIP应用，并通过防火墙规则保障安全性。
- Linux内核ipset模块的性能退化导致操作速度下降高达1000倍。
- 原本只需2秒的监控脚本因缓慢的iptables-save操作延长至超过1分钟。
- 问题根源在于获取ipset信息的getsockopt调用耗时显著增加。
- Kubernetes和kube-router利用ipset实施网络策略管理，每个节点需维护超6000个集合。
- kube-router防火墙更新的关键操作——ipset交换(swap)被确认为性能瓶颈。
- 某次内核更新引入退化问题，使ip_set_swap操作从微秒级延迟恶化至毫秒级。
- 问题经Linux内核邮件列表报告后迅速修复，相关补丁已快速发布。
Jax: Fast Combinations Calculation
8 months ago
- 关于JAX中快速组合计算的combinadic实现介绍
- numpy组合与combinadics的对比（含示例代码与输出）
- 基于二项式系数的combinadic替代整数表示法解析
- 计算给定整数combinadic的分步示例
- 展示m、dual(m)、Element(m)、combinadic(m)和(n-1)-ci关系的对照表
- 关于64位数字及单GPU性能考量的说明
Safe zero-copy operations in C#
8 months ago
- C#支持使用原始指针进行低级、不安全代码操作，以提高性能和互操作性。
- 在C#中，边界检查可能影响性能，但编译器在某些场景下可以消除这些检查。
- 使用指针的不安全代码性能较高，但由于可能导致崩溃或安全漏洞而具有危险性。
- C#引入`Span<T>`实现安全、零拷贝操作，将指针与长度封装在不可变结构中。
- `Span<T>`通过使用ref类型确保安全性，这些类型无法逃逸到堆上，必须驻留在栈中。
- 使用`Span<T>`或`ReadOnlySpan<T>`可消除边界检查，并支持对数组进行灵活的子视图操作。
- Span支持零拷贝操作，显著提升API性能和内存效率。
- 示例：基于Span的`快速排序`实现既安全又高效，避免了缓冲区溢出问题。
- .NET运行时现已支持`String.Split`等函数的零拷贝替代方案，减少内存分配。
- 关键建议：在API中优先使用Span而非数组，当Span足够时应避免不安全代码，并尽可能使用`ReadOnlySpan<T>`。
Going down the rabbit hole of Postgres 18 features
8 months ago
- PostgreSQL 18 引入异步I/O基础设施，显著提升性能并降低资源消耗，尤其有利于网络附加存储场景
- 新增OAuth 2.0支持，可通过SSO提供商和OAuth流程实现安全认证
- 引入UUIDv7支持，提供带时间戳的可排序UUID，优化索引局部性和压缩效率
- RETURNING子句增强功能允许显式返回新旧值，简化更新和插入操作的代码
- 虚拟生成列(VIRTUAL)现设为默认选项，按需计算如视图，提高存储效率
- 时态数据库改进包括主键/唯一约束的WITHOUT OVERLAPS功能和外键的PERIOD支持
- NOT NULL约束现支持NOT VALID方式添加，实现非阻塞式模式变更
- 性能优化包含多列索引的B-tree跳跃扫描和自连接消除技术
- 可观测性增强涵盖EXPLAIN改进、进程级统计信息和锁失败日志记录
- 新增array_reverse()、array_sort()和casefold()等实用函数，强化数组处理和大小写不敏感操作
Leaked Apple M5 9 core Geekbench scores
8 months ago
- 该设备是iPad17,3，运行iOS 26.0系统，搭载ARM架构CPU，拥有9个核心，基础频率为4.42 GHz。
- 内存大小为11.20 GB，单核测试得分为4133，多核测试得分为15437。
- 性能基准测试包括：多核文件压缩速度为1.73 GB/秒，多核HTML5浏览器处理速度为367.6页/秒，多核照片库处理速度为247.9张/秒。
- 专项任务测试中，多核对象检测性能达445.7张/秒，物体移除性能达1.23 G像素/秒，均表现出色。
Rio Terminal: A hardware-accelerated GPU terminal emulator
8 months ago
- Rio 通过 Rust 和高级渲染架构提供卓越性能
- 支持 24 位真彩色，可显示 1600 万种颜色
- 通过 Sixel 和 iTerm2 协议在终端显示图像
- 跨平台兼容 Windows、macOS、Linux 和 FreeBSD
- 支持字体连字增强代码可读性
- 允许在任何平台分屏管理终端窗口
- 支持通过 RetroArch 着色器文件自定义滤镜和 CRT 效果
Systems Programming with Zig (Book)
8 months ago
- Zig为系统编程提供了性能、可靠性和复杂集成的解决方案，采用简单现代的封装方式。
- Zig具备高性能、底层控制、超高可靠性，适用于库、守护进程、Shell工具、操作系统及嵌入式代码等严肃项目。
- 《用Zig进行系统编程》教授如何不依赖库或框架编写高质量的Zig应用，即使是初学者也能掌握。
- 学习重点包括：理解Zig的系统编程视角、编写符合Zig语言习惯的代码，以及与C语言、系统库和脚本语言的集成。
- Zig专为对性能和安全性要求苛刻的底层程序设计，继承了C、C++和Rust的优良传统，无需依赖笨重的库或框架。
Increasing your practice surface area
8 months ago
- 优秀与卓越的差距在于'练习表面积'——那些融入日常生活的隐蔽、持续训练
- 索菲亚·波尔加的国际象棋成就既来自正规训练，也源于无数非正式练习，比如深夜在浴室下棋
- 乔治·奥威尔、理查德·费曼和鲍比·菲舍尔等顶尖高手通过将专业技能融入生活场景来拓展练习表面积
- 奥威尔常年进行思维描述训练，费曼给假想学生讲课，菲舍尔在闲暇时分析棋局
- 增加练习表面积的技巧：拆解最小练习单元、利用碎片时间可视化训练、将技能融入日常事务、培养自动化思维习惯
- 典型案例包括菲尔普斯的心理模拟比赛、玛雅·安杰洛拖地时创作诗歌、埃米纳姆无间断押韵练习
- 限制条件反而激发创造力，如安德森·席尔瓦用舞蹈伪装格斗训练
How much RAM does your Linux PC need in 2025
7 months ago
- 内存（RAM）对流畅的电脑体验至关重要，尤其是速度、多任务处理和高负荷任务时。
- Linux系统比Windows占用内存更少，但现代Linux发行版对资源的需求也有所增加。
- Ubuntu最低要求4GB内存，但轻度使用（如少量标签页浏览、办公）建议8GB更佳。
- 16GB内存是大多数用户的理想选择，可满足游戏、虚拟机运行和开发需求。
- 32GB内存能提升游戏流畅度、视频渲染效率，并支持内存盘多任务处理。
- 为长远考虑，可选择64GB或主板支持的最大内存容量。
- 内存选择取决于用途：基础办公选8GB，中度使用选16GB，重度工作负载建议32GB以上。
Measuring Reorder Buffer Capacity
7 months ago
- 乱序处理器虽然不按程序顺序执行指令，但必须保持按序执行的外观效果。
- 重排序缓冲区(ROB)追踪指令窗口中指令的状态，确保它们按程序顺序提交。
- ROB的容量限制了处理器能超前搜索独立指令以并行执行的范围。
- 通过使用缓存缺失加载和NOP指令的微基准测试，可以观察内存访问重叠或串行化的情况来测量ROB大小。
- 超线程技术仅在两个线程都活跃时，才会在线程间静态分配ROB资源。
- 物理寄存器文件(PRF)架构可能因重命名寄存器耗尽而限制指令窗口大小。
- 该微基准测试同样可用于测量PRF架构中可用的推测寄存器数量。
- x86清零指令(如XOR reg, reg)和寄存器移动操作可能被优化为不占用物理寄存器。
- 混合整数与SSE/AVX指令能暴露某些微架构中的共享资源限制。
- 这种微基准测试是测量ROB大小、PRF容量及优化行为等微架构细节的强大工具。
PEP 810 – Explicit lazy imports
7 months ago
- PEP 810 在 Python 3.15 中引入了显式惰性导入机制，允许开发者延迟模块加载直至首次使用
- 惰性导入可降低启动时间和内存占用，尤其有利于命令行工具和具有复杂依赖图的应用
- 该提案保持向后兼容性，仅当通过`lazy`关键字或`__lazy_modules__`属性显式请求时才启用惰性导入
- 惰性导入是线程安全的并支持子解释器，借助自适应解释器优化实现了极小的性能开销
- PEP 包含全局控制机制（`-X lazy_imports`启动参数、`PYTHON_LAZY_IMPORTS`环境变量）和通过`sys.set_lazy_imports_filter()`的细粒度过滤
- 通过异常链增强错误处理，同时显示惰性导入的定义位置和首次访问位置
- 参考实现已发布在GitHub，PEP文档中讨论了替代设计方案和已否决的构想
The Temporal Dead Zone, or why the TypeScript codebase is full of var statements
8 months ago
- 时间死区（TDZ）是JavaScript中的一个概念，使用`let`和`const`声明的变量在初始化前不可访问。
- 用`var`声明的变量不存在TDZ，这可能导致在初始化前访问时出现变量泄漏和未定义值等问题。
- TypeScript代码库出于性能考虑大量使用`var`语句，因为避免TDZ检查能带来显著性能提升（某些基准测试中可达8%）。
- 现代JavaScript中通常不推荐使用`var`，因其缺乏块级作用域和不可变性约束，更推荐使用`let`和`const`。
- TDZ是一项有益特性，能防止访问未初始化变量，但会带来运行时性能开销。
Fast SSIMULACRA2 Implementation in Zig
7 months ago
- 用Zig语言实现的高速SSIMULACRA2衍生版本，命名为fssimu2
- 支持sRGB格式的PNG、PAM、JPEG、WebP或AVIF输入格式
- 在Intel Core i7 13700k处理器上测试，性能较参考实现提升最高23%，内存占用减少约40%
- 提供JSON输出和误差图保存功能
- 通过validate.py验证与参考SSIMULACRA2的符合性，显示高度相关性（PCC: 0.999700）
- 编译需要Zig（版本0.15.1）、libjpeg-turbo、libwebp和libavif
- 提供C兼容ABI接口（ssimu2.h头文件）用于SSIMULACRA2分数计算
- 示例C程序存放在c_abi_example/目录
- 项目采用Apache 2.0许可证，包含来自libspng、libminiz和vapoursynth-zip的第三方代码
Zig Builds Are Getting Faster
7 months ago
- Zig 的主要目标一直是更快的编译时间，为此进行了大量工作来实现这一目标。
- Zig 0.15.1 相比 Zig 0.14 在实际构建时间上展现了显著改进。
- 构建脚本编译时间在 Zig 0.15.1 中从 7 秒缩短至 1.7 秒。
- 完整无缓存的 Ghostty 二进制构建时间从 41 秒提升至 32 秒。
- Ghostty 可执行文件的增量构建时间从 19 秒降低到 16 秒。
- libghostty-vt 的增量构建时间从 2.884 秒大幅缩减至 975 毫秒。
- 自研 x86_64 后端的改进有望进一步减少构建时间。
- 未来的增量编译支持可能将构建时间压缩至毫秒级。
- Zig 对编译时间的专注正在为开发者带来切实效益。
Linux 6.18 Non-MM Pull Request: "A Mere 150x Speedup Was Measured
7 months ago
- Andrew Morton提交了Linux 6.18的非内存管理补丁，包含多项显著优化。
- 其中突出的补丁系列改进了SquashFS性能，在稀疏拷贝场景下实现150倍加速。
- 其他更新包括为delaytop添加键盘交互支持，以及修复Kexec Handover(KHO)的EFI启动问题。
- Phoronix此前报道过SquashFS优化，实际加速指标较早期预估有所下调。
- 这些变更已获Linus Torvalds无异议合并。
Track which Electron apps slow down macOS 26 Tahoe
7 months ago
- macOS上的Electron应用存在重大GPU性能问题(electron/electron#48376)
- 共追踪21款应用程序，其中6款已修复，15款未修复
- 建议开发者将Electron更新至v38.2.0、v37.6.0或v36.9.2版本
- 受影响应用包括1Password、Balena Etcher、Beeper、Bitwarden、Bruno、Claude App、Cluely、Cursor、Discord、Figma、GitHub Desktop、Notion、Obsidian、Pocket Casts、Postman、Signal、Slack、Visual Studio Code和Windsurf
- 建议用户敦促应用开发者更新Electron框架

About|Login

#performance

A proposal to add GC-less, unmanaged memory spaces to C#

The Weird Concept of Branchless Programming

Faster Virtual Machines: Speeding Up Programming Language Execution (2023)

Eliminating Cold Starts 2: shard and conquer

Diagnosing a Linux Performance Regression

Jax: Fast Combinations Calculation

Safe zero-copy operations in C#

Going down the rabbit hole of Postgres 18 features

Leaked Apple M5 9 core Geekbench scores

Rio Terminal: A hardware-accelerated GPU terminal emulator

Systems Programming with Zig (Book)

Increasing your practice surface area

How much RAM does your Linux PC need in 2025

Measuring Reorder Buffer Capacity

PEP 810 – Explicit lazy imports

The Temporal Dead Zone, or why the TypeScript codebase is full of var statements

Fast SSIMULACRA2 Implementation in Zig

Zig Builds Are Getting Faster

Linux 6.18 Non-MM Pull Request: "A Mere 150x Speedup Was Measured

Track which Electron apps slow down macOS 26 Tahoe