完全不使用锁，多线程如何同时修改同一份数据？无锁编程与ABA问题的科学
分类
12 个页面
计算机科学
为什么极小的文字依然清晰锐利：字体渲染、贝塞尔曲线、微调虚拟机与亚像素抗锯齿的数学原理
为什么理论上会指数爆炸的NP完全难题，现代计算机却能瞬间求解：深入解析SAT求解器、CDCL与相变现象
一行代码都不运行，为什么能证明程序“绝对没有Bug”？形式化验证与模型检测的科学
当所有人都在等待对方时，为什么一切都会停止：死锁（Deadlock）的数学理论、银行家算法与活锁防治
仅仅“快”还不够？从数学上保证“准时完成”的实时操作系统（RTOS）与调度理论
为什么老旧游戏机能用软件重现：模拟器架构——指令解释、JIT动态重编译、Fastmem与周期级精度
保存时突然断电，数据为何不会损坏？：崩溃一致性（Crash Consistency）的设计原理
能从可执行文件还原出源代码吗？：反编译（Decompilation）的原理、算法与极限
按下电源键到屏幕点亮，电脑内部究竟经历了什么？计算机启动全过程硬核拆解
各自独立编写的程序，究竟是如何融为一体的？链接器与加载器的深度原理解析
计算机为什么算不对 0.1 + 0.2？浮动小数点与舍入误差的科学
