双语

When You Get to Be Smart Writing a Macro
a year ago
- 日常编程往往直截了当，但找到巧妙解决方案的情况却很罕见。
- 作者使用'hashp'进行调试，这是比'println'更好的替代方案。
- 'hashp'宏会返回原始值，语法简洁，并能显示原始形式。
- 在thread-first宏中添加'hashp'会因读取器标签扩展导致语法错误。
- 为此创建了自定义宏'p->'以适配线程宏，但需要为不同线程风格编写独立宏。
- 最终通过动态探针检测线程上下文(->或->>)开发出更智能的解决方案。
- 新方案在普通上下文、thread-first和thread-last中均可无缝使用。
- 增强版'hashp'现已成为Clojure+的组成部分。
Debugging a Logic Circuit in IDP-Z3
a year ago
- 文章探讨了受谜题启发，使用IDP-Z3推理引擎调试逻辑电路的案例
- 该研究将谜题抽象为从输入输出观测中推导系统未知属性的方法，可应用于机器诊断、逻辑电路等多个领域
- 逻辑电路示例通过观察输入输出测试，基于奥卡姆剃刀原则（最少假设）诊断故障逻辑门
- 解决方案包括定义门电路与连线的词汇表，构建电路已知部分的结构，并理论化正确门行为与观测结果
- IDP-Z3根据最小故障门数量原则，识别出三个潜在故障门（C、D或E）
- 文章强调基于知识的推理方法将谜题解决技术应用于现实问题的实践价值
An Interactive Debugger for Rust Trait Errors
a year ago
- 类型系统有助于捕捉简单错误，但在处理复杂错误时存在困难。
- Rust等语言中的复杂类型机制可能导致冗长且令人困惑的错误信息。
- Diesel（Rust的ORM框架）通过trait实现SQL查询验证，这可能使错误诊断复杂化。
- Argus是Rust的交互式trait调试器，帮助开发者理解复杂类型错误。
- Argus提供基于GUI的trait推导树探索功能，改进了错误定位能力。
- 用户研究表明，开发者使用Argus定位trait错误的速度提高了3.3倍。
- Argus已作为VSCode插件发布，源代码托管于GitHub平台。
Using tests as a debugging tool for logic errors
a year ago
- Java中的逻辑错误是指代码能正确执行但违背业务需求的情况。
- 常见逻辑错误包括差一错误、运算顺序错误、类型混淆和边界条件疏忽。
- 单元测试可作为系统性验证方案来检测和隔离逻辑错误。
- 通过测试进行调试的技术包括假设测试、状态演进测试和回归测试调试。
- 现代IDE将单元测试与调试器集成，支持条件断点和单步执行。
- 良好设计的测试聚焦边界条件、穷举模式和功能交互以暴露逻辑错误。
- 像Qodo这样的AI解决方案能生成针对性测试来发现潜在逻辑漏洞。
Leak and Seek a Go Runtime Mystery
a year ago
- 客户成功团队报告了一个内存泄漏问题，导致大客户出现严重性能问题。
- 初步调查排除了goroutine泄漏的可能性，根据堆内存分析指向了SQLite3驱动内部的问题。
- 团队怀疑Go运行时的finalizer可能导致循环引用，但详细检查后未发现此类依赖关系。
- 深入调试表明可能是Go运行时的bug，特别是finalizer协程被阻塞的情况。
- 通过goref工具确认存活对象并未引用泄漏数据，再次指向运行时问题。
- 根本原因被定位为go-smb2包中的阻塞性bug，该bug导致finalizer协程被卡住。
- 调试中发现异常现象：某些调试样本中缺失mfinal.go的跟踪信息，该问题已向Go团队提交报告。
- 团队实施了实时监控方案，通过Grafana可视化检测被阻塞的finalizer。
- 本次调查凸显了持久性、团队协作在解决复杂技术问题中的重要性。
- 相关发现已贡献给Go社区，包括关于运行时改进和调试修复的讨论。
Rust Devs Think We're Hopeless; Let's Prove Them Wrong (With C++ Memory Leaks)
a year ago
- Rust开发者认为C++程序员容易引发内存泄漏和未定义行为。
- 文章通过演示C++中的故意内存泄漏来挑战Rust的安全假设。
- 包含一个C++代码示例：生成密码并故意泄漏内存。
- 解释如何使用微软调试堆工具（_CrtDumpMemoryLeaks, _CrtSetDbgFlag）追踪内存泄漏。
- 同时提供关于C++内存泄漏追踪的通俗解释（ELI5版）和技术解析。
A Taxonomy of Bugs
a year ago
- 调试是一项被低估的技能，通常通过实践经验而非正规教育获得。
- 默认调试策略包括复现错误、使用调试器逐步执行代码，并将实际行为与预期进行对比。
- 部分程序员偏爱printf()和日志记录而非调试器，尽管调试器通常效率更高。
- 拼写错误是常见问题——代码能编译但因打字错误导致行为异常。
- 发现拼写错误需仔细校对或使用调试工具逐步跟踪代码。
- 预防拼写错误可启用编译器警告、使用代码格式化工具，以及采用不易出错的编码方式。
- 逻辑错误指代码未按预期执行，通常源于推理缺陷。
- 简化表达式和减少代码路径能有效降低逻辑错误。
- 当代码假设的初始条件未满足时，会引发意外错误。
- 使用断言(assert)明确声明对初始条件的预期。
- 内存泄漏指未释放已分配内存，导致资源浪费。
- 通过插装内存分配操作来追踪泄漏。
- 内存越界写入会造成程序崩溃或未定义行为。
- 使用页尾分配器等自定义分配器可及早捕获越界问题。
- 多线程环境中，线程对共享数据的不可控访问会引发竞态条件。
- 简化线程代码并使用Clang线程检测器等工具发现竞态问题。
- 设计缺陷需重构底层逻辑而非简单修补。
- 第三方库错误需等待供应商修复或自行实施变通方案。
- 模糊或不完整的API文档会导致规范误解引发错误。
- 难以复现的故障需压力测试或详细日志记录来定位。
- 通过统计分析可根据频率和影响优先级处理缺陷。
- 编译器错误虽罕见但存在，需调整代码或更换编译器解决。
Self-hostable webhook tester in go
a year ago
- 传入的Webhook数据会被临时存储；免费账户支持查看请求日志和使用重放等高级功能。
- Webhook测试平台可创建临时Webhook端点，用于实时检查和调试HTTP请求。
- 该平台支持与Stripe、GitHub、Twilio等服务集成，无需后端代码即可查看请求详情。
- 功能包括：捕获请求头、查询参数、请求体，定制响应，模拟延迟，以及重放请求。
- 使用流程：生成唯一URL → 发送HTTP请求 → 在仪表盘查看详情 → 按需重放请求。
Show HN: I made a platform to debug Puppeteer (JS) crashes visually
a year ago
- 通过即时可视化Puppeteer崩溃加速生产调试
- 自动捕获并发送崩溃数据至Buglesstack，包括URL、屏幕截图、HTML内容和错误详情
- 通过预览故障时的页面状态及检查保存的HTML内容实现高效调试
- 借助Buglesstack即时识别并解决错误，显著缩短调试时间
Setenv() isn't threadsafe and even safe Rust didn't save us
a year ago
- EdgeDB在将网络I/O代码从Python移植到Rust时，在ARM64 CI运行器上遭遇崩溃
- 该问题表面看似死锁，实则是由于`getenv`与`setenv`的竞态条件导致的崩溃
- 调试发现崩溃发生在`getenv`尝试扫描环境变量时访问了无效内存地址
- 根本原因是`openssl-probe`调用`setenv`设置SSL证书路径时引发了竞态条件
- 解决方案是在Linux平台将`reqwest`的后端从`rust-native-tls`/`openssl`切换为`rustls`
- Rust项目计划在2024版中将环境变量设置函数标记为`unsafe`以防止类似问题
- 近期`glibc`通过避免`realloc`和泄漏旧环境变量空间的方式改进了`getenv`的线程安全性
How I fixed the infamous Basilisk II Windows "Black Screen" bug in 2013
a year ago
- Basilisk II模拟器中存在导致新版Windows系统黑屏的bug
- 问题根源在于ROMBaseHost地址在主机内存空间中低于RAMBaseHost
- 修复方案通过合并RAM和ROM分配为单次调用来防止地址错位
- 该问题在新版Windows上更常见，因内存分配器行为发生变化
- 解决方案受Unix版本代码启发，其已正确处理内存分配
- 该bug与模拟Mac的Slot Manager在ROM映射到意外虚拟地址时失效有关
- 修复补丁于2013年提交并合并，为Windows用户解决了该问题
- 作者回顾了十年前在GitHub的早期贡献及这十年间的成长
Show HN: Stack Error – ergonomic error handling for Rust
a year ago
- Stack Error 降低了设计错误处理解决方案的前期成本。
- Stack Error 的目标：提供类似 anyhow 的人机工程学设计、信息丰富的错误消息，以及用于运行时处理的类型化数据。
- 错误消息与错误源位于同一位置，有助于代码文档化。
- 使用宏（如 `stack_map!` 和 `stack_err!`）的示例用法，简化错误处理。
- 错误消息包含文件名和行号，便于调试。
- 通过可选错误代码处理运行时错误，包括 HTTP 和 IO 错误代码。
- 允许使用 `std::convert::From` 等方法定义自定义错误类型。
- 通过实现 `std::error::Error` 与 Rust 生态系统兼容。
- 与 `anyhow` 和 `thiserror` 的对比，将 Stack Error 定位为折中方案。
- 特性包括 `ErrorStacks` trait、`ErrorCode` 枚举和用于常见操作的宏。
- 如何使用 `derive_stack_error` 宏创建自定义错误类型。
- 构建错误的示例：包含文件和行信息、错误代码，以及通过链式错误添加上下文。
Backtrace is finally cheap by abusing x86/Linux's shadow stack
a year ago
- 回溯（Backtrace）是原生编程中强大但昂贵的调试工具，因其需要读取DWARF调试段和追踪栈帧指针的高昂开销。
- 影子栈（Shadow Stack）是一种安全机制，通过单独存储返回地址来防御栈缓冲区溢出攻击，同时避免链表遍历以提升性能。
- 英特尔和AMD近期宣布了硬件级影子栈支持，Linux内核6.4版本已添加支持（需配置`CONFIG_X86_USER_SHADOW_STACK=y`）。
- GCC可通过`-fcf-protection=return`或`=full`启用影子栈，该选项会向`.note.gnu.property`段添加`SHSTK`特性标记。
- Glibc（2.28+版本）基于硬件检测和可调参数（`glibc.cpu.x86_shstk`）动态启用影子栈，支持`on`、`off`和`permissive`三种模式。
- 当前限制包括：硬件检测不完善（需手动设置`GLIBC_TUNABLES='glibc.cpu.hwcaps=SHSTK'`），且要求所有链接库必须使用`-fcf-protection=full`编译。
- 影子栈能加速回溯过程——直接读取返回地址而无需慢速的帧指针追踪，结合`/proc/self/map`可辅助调试。
- 开发者可通过`arch_prctl`系统调用手动控制影子栈，但需谨慎处理上下文切换库（如glibc的`makecontext`/`swapcontext`/`longjmp`）。
- 虽然影子栈用于回溯的功能尚不成熟且需临时方案，但随着上游支持完善，其有望显著提升调试性能。
You Won't Learn This in School: Disabling Kernel Functions in Your Process(2009)
a year ago
- 文章讨论了一个问题：Direct3D和Flash通过反复安装自己的异常处理器，干扰了未处理异常过滤器，导致崩溃报告不可靠。
- 解决方案是在安装自定义异常处理器后禁用`SetUnhandledExceptionFilter`函数，确保自定义异常处理器保持生效。
- 该方法通过代码修改将函数序言替换为返回语句，从而无效化对`SetUnhandledExceptionFilter`的调用。
- 文章提供了详细的代码片段，展示如何安全地在内存中修改函数，包括修改前检查预期代码是否存在。
- 评论区的讨论涉及新版Windows的潜在问题、对其他进程的影响，以及IAT挂钩等替代方案。
- 该技术被证实可在包括Vista在内的现代Windows版本上使用，并被视为用户模式API操作的有效方法。
- 评论还探讨了此类技术的潜在影响，包括其在恶意软件中的应用，以及理解Windows底层机制的重要性。
Visualize and debug Rust programs with a new lens
a year ago
- 推出Rust的时间旅行可视化调试器。
- 陆寄居蟹Terres被正式引入作为Rust的官方吉祥物。
- Terres是Ferris的朋友，也是Rustacean家族的一员。
Uninitialized garbage on ia64 can be deadly (2004)
a year ago
- 使用错误的函数签名调用函数可能导致严重问题，在ia64架构上尤其如此。
- CreateThread函数需要特定的函数签名(LPTHREAD_START_ROUTINE)，但许多人错误地将void返回类型的函数强制转换给它。
- 在ia64架构中，寄存器有一个额外的'NaT'(非有效值)位，用于标记无效值，类似于浮点数的NaN。
- ia64的推测执行可能使寄存器处于NaT状态，如果处理不当会导致STATUS_REG_NAT_CONSUMPTION异常。
- 函数签名不匹配或参数数量错误可能引发NaT相关的崩溃，这使得调试变得极其困难。
- ia64架构比i386更严格，会惩罚那些在其他架构可能侥幸通过的捷径操作和类型不匹配行为。
Advanced Time Manipulation with GDB
a year ago
- GDB高级时间旅行调试入门：包括创建时间循环与无悖论地改变过去
- 游戏随机命中率代码的bug示例：演示意外行为（当至少一次应必中时却出现零命中）
- 利用时间循环调试偶发性故障：通过断点和GDB命令实现自动化测试与记录
- 在GDB中设置时间循环的步骤：包括定位关键位置、设置断点及使用命令自动化流程
- GDB中改变过去的技术探讨：包括局限性说明及通过'record stop'修改历史执行状态的变通方案
- 结合时间循环与历史修改技术优化调试：特别针对启动缓慢的程序
- 逆向调试技术多样性的总结思考：鼓励探索更多调试方法
Discovering a JDK Race Condition, and Debugging It in 30 Minutes with Fray
a year ago
- 在Fray测试过程中发现JDK存在死锁异常
- 该问题发生于ScheduledThreadPoolExecutor中，当在一个线程调度任务同时在另一个线程关闭执行器时
- Fray的确定性重放和调度可视化功能帮助识别了JDK中的竞态条件
- 该缺陷会导致当执行器处于SHUTDOWN状态时，FutureTask.get方法无限阻塞
- 竞态条件绕过了ThreadPoolExecutor中的检查机制，使任务处于悬置状态
- Fray支持逐步重放错误场景，便于理解和调试问题
- 文档提供了使用Fray和IntelliJ IDEA复现该缺陷的具体步骤
- 虽然已为JDK创建补丁，但公开的缺陷报告仅包含基于Fray的复现步骤
Fray: A Controlled Concurrency Testing Framework for the JVM
a year ago
- Fray是一个Java并发测试工具，用于发现和调试竞态条件、运行时异常或死锁问题。
- 它采用最先进的技术，如概率并发测试和偏序采样方法。
- Fray提供确定性重放功能，可调试特定的线程交错执行场景。
- 它能集成到现有测试框架中，包括通过@ConcurrencyTest注解和@ExtendWith(FrayTestExtension.class)扩展的JUnit 5。
- 通过FrayInTestLauncher也可与其他测试框架配合使用。
- 支持通过特定插件和依赖项实现Gradle与Maven集成。
- 欢迎并感谢对Fray项目的贡献。
- 该项目受到美国国家科学基金会和亚马逊研究奖的支持。
Debugging Deadlocks in PostgreSQL
a year ago
- PostgreSQL中调试死锁可能很棘手，因为错误信息有限。
- 当事务通过持有冲突的锁相互阻塞时，就会发生死锁。
- INSERT语句会在引用行上获取FOR KEY SHARE锁，这可能与FOR UPDATE锁产生冲突。
- 将SELECT...FOR UPDATE改为SELECT...FOR NO KEY UPDATE可以避免死锁。
- 理解完整的事务上下文对于诊断死锁至关重要。
- 多种调试方法包括：应用日志记录、查询注释和PostgreSQL日志设置。
- 增加deadlock_timeout参数有助于捕获死锁以进行调试。
- 使用pg_stat_activity和lsof等客户端工具可以帮助识别挂起的会话。
- 调试通常需要控制应用程序代码或访问详细日志。
- 更多细节请参考关于PostgreSQL行锁和死锁的文章。

Hasty Briefsbeta

#debugging

When You Get to Be Smart Writing a Macro

Debugging a Logic Circuit in IDP-Z3

An Interactive Debugger for Rust Trait Errors

Using tests as a debugging tool for logic errors

Leak and Seek a Go Runtime Mystery

Rust Devs Think We're Hopeless; Let's Prove Them Wrong (With C++ Memory Leaks)

A Taxonomy of Bugs

Self-hostable webhook tester in go

Show HN: I made a platform to debug Puppeteer (JS) crashes visually

Setenv() isn't threadsafe and even safe Rust didn't save us

How I fixed the infamous Basilisk II Windows "Black Screen" bug in 2013

Show HN: Stack Error – ergonomic error handling for Rust

Backtrace is finally cheap by abusing x86/Linux's shadow stack

You Won't Learn This in School: Disabling Kernel Functions in Your Process(2009)

Visualize and debug Rust programs with a new lens

Uninitialized garbage on ia64 can be deadly (2004)

Advanced Time Manipulation with GDB

Discovering a JDK Race Condition, and Debugging It in 30 Minutes with Fray

Fray: A Controlled Concurrency Testing Framework for the JVM

Debugging Deadlocks in PostgreSQL