## SCION:互联网安全的新基础 数十年以来,互联网的路由协议BGP由于缺乏内置安全机制,容易受到路由劫持和泄漏等攻击。像RPKI这样的补丁提供了一些有限的改进,但并未解决核心问题:BGP无法验证网络所有权。SCION由苏黎世联邦理工学院开发,提供了一种彻底的解决方案——完全重新设计互联网路由,而不是试图修复BGP的基础缺陷。 SCION利用多路径路由实现毫秒级故障切换,隔离域限制漏洞的影响,以及密码学路径验证以确保流量遵循约定的路由。这与BGP的单路径依赖和缺乏密码学安全形成了鲜明对比。 瑞士已成功部署SCION来支持其安全瑞士金融网络(SSFN),在替换一个20年的旧网络后,处理了超过2200亿美元的每日交易。尽管取得了成功,更广泛的采用仍然面临障碍:缺乏标准化,“先有鸡还是先有蛋”的初始部署问题、供应商集中(目前依赖Anapaya),以及现有系统*大致*可用时,证明基础设施更新的固有困难。 虽然SCION提供了一个更安全、更可控的互联网,但它的未来取决于重大的安全事件或对数字主权的推动是否会推动更广泛的采用。
## 解密Countryle:一次地理推理之旅
受地理游戏(如GeoGuessr)和每日谜题(如Globle)的启发,作者尝试了Countryle——一个通过方向和统计线索(大陆、半球、人口、温度)来识别国家的游戏。他们并非简单地通过代码寻找答案,而是像玩家一样*解决*它,利用游戏的反馈。
解决方案的核心在于构建模块,根据每个线索过滤潜在的国家,然后使用香农熵对剩余候选国进行评分——优先选择能够最均匀地分割剩余可能性的猜测。有趣的是,当方向线索源自希腊时,由于地图投影(特别是墨卡托投影及其对感知距离的影响),它被证明具有特别的信息量。
模拟超过38,000场游戏显示,该求解器平均仅用2.85次猜测就能找到目标国家,这比仅仅依赖单个线索(如大陆)要好得多。虽然利比亚最初被认为是最佳起始国家,但进一步分析表明其他国家表现更稳定,突出了等权重熵方法的局限性。未来的改进包括完善线索权重和更细致地处理人口/温度范围。作者总结说,Countryle是一个探索信息论、搜索算法和地理表示概念的令人惊讶的丰富环境。
## Engram 键盘布局:摘要
Engram是由Arno Klein设计的开源键盘布局系列,旨在提高多种语言的触觉打字舒适度和效率。与QWERTY等传统布局不同,Engram采用数据驱动、多目标优化方法,分析特定语言的n-gram频率以及从众包数据中收集的打字偏好。
这些布局优先考虑人体工程学因素——最小化手指横向移动并优化高频字母对的位置。标点符号被逻辑分组,数字与相关符号配对。目前,已有适用于英语的布局,并有可能使用Keyman等免费软件扩展到其他语言。
受到创作者本人因重复性劳损以及对现有替代方案不满意的经历的推动,Engram旨在解决标准键盘的局限性。尽管优化键盘排列的计算复杂度很高(超过400万亿种可能性!),Engram仍提供了一种科学的途径,承认即使对于经验丰富的打字员和新一代用户,仍有改进的空间。“Engram”这个名字是双关语,既指n-gram,也指神经学中记忆痕迹的概念。
## Superluminal 在 Linux 上的调试:深入内核调试
团队在测试 Superluminal(一款 CPU 分析器)的 Linux 版本时,遇到了持续的系统冻结问题。该问题可在运行 Fedora 42(内核 6.17.4-200)的物理机上重现,表现为在性能分析期间的周期性停顿,与较长的 NMI(不可屏蔽中断)处理时间有关。
调试具有挑战性,最初受到无法在虚拟机中重现问题的影响。对 Superluminal 捕获的分析显示,在冻结期间存在可疑的 CPU 活动。根本原因被追溯到内核的弹性队列自旋锁 (rqspinlock) 中的竞争条件,该条件由采样中断和访问环形缓冲区的上下文切换之间的交互触发。
需要进行多次修复,包括调整死锁检测时机以及处理持有锁期间的 NMI。问题源于内核(6.15+)中的一个相对较新的更改,并且不存在于先前开发中使用的旧内核中。这些修复已回移植到内核 6.17 和 6.18 中,并包含在 6.19 中。 此外,还针对旧内核实施了一个临时解决方法。 此次经历凸显了内核级调试的复杂性以及及时更新内核的重要性。