<?xml version="1.0" encoding="utf-8" ?><rss version="2.0"><channel><title><![CDATA[tugouxp的专栏]]></title><description><![CDATA[]]></description><link>https://blog.youkuaiyun.com/tugouxp</link><language>zh-cn</language><generator>https://blog.youkuaiyun.com/</generator><copyright><![CDATA[Copyright &copy; tugouxp]]></copyright><item><title><![CDATA[用同态线性变换解密立方体对称性：从 S₃ 到正八面体群的升维之旅]]></title><link>https://blog.youkuaiyun.com/tugouxp/article/details/168964206</link><guid>https://blog.youkuaiyun.com/tugouxp/article/details/168964206</guid><author>tugouxp</author><pubDate>Sat, 24 Oct 2026 11:15:11 +0800</pubDate><description><![CDATA[本文以立方体的24种旋转对称性（O群）为对象，构建其到SO(3)的忠实矩阵表示，通过分类列出所有3×3正交矩阵，并验证其同态性与封闭性。利用相似变换揭示共轭的本质：几何上等价的旋转操作可通过物理转动相互转换。最终指出，共轭的充要条件是旋转轴可被群内操作互换且旋转角度、方向一致，从而实现从抽象群到可计算矩阵的彻底解构。]]></description><category></category></item><item><title><![CDATA[从抽象群到可计算的矩阵：S₃ 的表示论与共轭视角]]></title><link>https://blog.youkuaiyun.com/tugouxp/article/details/167496971</link><guid>https://blog.youkuaiyun.com/tugouxp/article/details/167496971</guid><author>tugouxp</author><pubDate>Sat, 10 Oct 2026 21:45:21 +0800</pubDate><description><![CDATA[本文通过正三角形对称群 $S_3$ 的几何直观，将抽象群论转化为可计算的矩阵表示。在顺时针旋转约定下，构造出 $S_3$ 到 $GL(2,\mathbb{R})$ 的忠实表示：旋转与翻转对应具体矩阵，群运算精确对应矩阵乘法。验证了 $r^3=e$、$f^2=e$、$fr=r^2f$ 等关系，证明该表示保持群结构。此表示使抽象群“活”起来，揭示了群的几何本质，并展示了表示论的核心思想——用矩阵实现群的“具体化”。]]></description><category></category></item><item><title><![CDATA[初中数学-整数整除判定法全解：从 2 到 19 的方法、依据与证明]]></title><link>https://blog.youkuaiyun.com/tugouxp/article/details/166947839</link><guid>https://blog.youkuaiyun.com/tugouxp/article/details/166947839</guid><author>tugouxp</author><pubDate>Thu, 01 Oct 2026 18:53:37 +0800</pubDate><description><![CDATA[本文系统解析2至19的整除判定法，基于十进制下模运算与同余原理，揭示其数学本质。通过末位、数字和、递推、分组交替及合数拆分五类方法，逐项推导规则依据与证明。如2、5看末位因$10≡0\pmod m$；3、9用数字和因$10≡1\pmod m$；7、13用递推法（找逆元）；11、13可用三位分组交替法（因$1000≡-1$）。流程图指导快速选法，实现从死记硬背到逻辑推导的转变。]]></description><category></category></item><item><title><![CDATA[QEMU 运维 / 调试跟踪 / 调优分析 / 性能优化 / TRACE 全图]]></title><link>https://blog.youkuaiyun.com/tugouxp/article/details/166256083</link><guid>https://blog.youkuaiyun.com/tugouxp/article/details/166256083</guid><author>tugouxp</author><pubDate>Mon, 21 Sep 2026 22:16:35 +0800</pubDate><description><![CDATA[本文系统梳理QEMU实战中九大可观测与可干预手段，基于主线源码核验，涵盖Trace事件、TCG插件、执行日志、调试协议、性能剖析等十大族系。重点解析-trace、-plugin、-d等核心命令及其运行时控制机制，结合simpletrace.py离线分析、SystemTap探针联动及QMP内省接口，提供从指令级追踪到系统级调优的完整工具链，助力精准定位性能瓶颈与逻辑缺陷。]]></description><category></category></item><item><title><![CDATA[魔方群结构分析]]></title><link>https://blog.youkuaiyun.com/tugouxp/article/details/163732889</link><guid>https://blog.youkuaiyun.com/tugouxp/article/details/163732889</guid><author>tugouxp</author><pubDate>Thu, 13 Aug 2026 19:45:40 +0800</pubDate><description><![CDATA[本文揭示了魔方群G的数学结构，证明其同构于朝向部分（Z₃⁷×Z₂¹¹）与置换部分（A₈×A₁₂）的半直积，并受三条守恒律约束。具体表现为：角块朝向和≡0（mod 3），棱块朝向和≡0（mod 2），以及角棱置换奇偶性相同。这些约束将广义配置空间Ω的规模缩减至1/12，形成合法状态群G，阶数约4.325×10¹⁹。关键证明通过分析面转动对三类不变量的影响完成，并指出半直积结构中朝向空间是正规子群，其坐标随置换作用动态调整。该结构解释了为何单独翻转棱块或交换两块等操作非法，而双角扭、双棱翻等复合操作合法的群论本]]></description><category></category></item><item><title><![CDATA[内核与用户态虚拟地址-物理地址翻译方法指南]]></title><link>https://blog.youkuaiyun.com/tugouxp/article/details/163724205</link><guid>https://blog.youkuaiyun.com/tugouxp/article/details/163724205</guid><author>tugouxp</author><pubDate>Thu, 13 Aug 2026 13:39:52 +0800</pubDate><description><![CDATA[摘要 本文探讨内核与用户态虚拟地址翻译的差异（§1-§11内核部分，§12-§20用户部分）。内核地址通过init_mm页表使用__pa/slow_virt_to_phys转换，而用户地址需通过进程mm使用GUP机制。重点分析x86_64内核地址的六大区段（direct-map、kernel-image、vmalloc等），每类地址需采用专用转换函数（如__pa_symbol、vmalloc_to_pfn）。特别说明slow_virt_to_phys作为通用方案可遍历init_mm页表转换所有内核地址（§4]]></description><category></category></item><item><title><![CDATA[判断排列逆序奇偶性的乘积判别法（范德蒙德符号法）]]></title><link>https://blog.youkuaiyun.com/tugouxp/article/details/163590298</link><guid>https://blog.youkuaiyun.com/tugouxp/article/details/163590298</guid><author>tugouxp</author><pubDate>Sat, 08 Aug 2026 13:55:53 +0800</pubDate><description><![CDATA[本文提出了一种通过构造乘积判别式D来快速判断排列奇偶性的方法。D由排列中所有后项与前项的差相乘得到，其符号决定排列性质：D为正对应偶排列（逆序数为偶），D为负对应奇排列（逆序数为奇）。该方法要求元素互异，通过逆序数与负因子个数的对应关系实现判断。文中澄清了易混淆点（需保留符号而非取绝对值），给出了示例验证，并指出与范德蒙德行列式的联系。最后通过六元素排列的置换图直观展示了逆序数与连线交叉点的等价关系。]]></description><category></category></item><item><title><![CDATA[Rust for Linux 内核开发指南]]></title><link>https://blog.youkuaiyun.com/tugouxp/article/details/163194338</link><guid>https://blog.youkuaiyun.com/tugouxp/article/details/163194338</guid><author>tugouxp</author><pubDate>Sat, 25 Jul 2026 15:21:52 +0800</pubDate><description><![CDATA[抽象层先行原则明文，叶子代码不许直接，必须等子系统提供 safe 抽象。所以 Rust 能写哪儿，取决于长到哪儿——这是个自下而上、逐子系统的过程，不是"Rust 一上来就能写一切"。核心代码不适合安全封装：调度器/MM/RCU 的正确性靠 C 指针运算、READ_ONCEWRITE_ONCE、隐式内存序、复用等"不安全"技巧维持；强行包成 Rust safe API 要么不可能 sound，要么性能/可读性倒退。Rust 的安全收益集中在新叶子代码的"类型/所有权/空指针/双重释放"类 UB。]]></description><category></category></item><item><title><![CDATA[魔方状态合法性的三大守恒定律]]></title><link>https://blog.youkuaiyun.com/tugouxp/article/details/162446328</link><guid>https://blog.youkuaiyun.com/tugouxp/article/details/162446328</guid><author>tugouxp</author><pubDate>Tue, 30 Jun 2026 12:24:16 +0800</pubDate><description><![CDATA[本文揭示了魔方状态数公式背后隐含的关键约束与实战陷阱，深入剖析了魔方算法设计中的核心要点。公式中的&quot;除以12&quot;反映了三个守恒律：角块色向和模3为零、棱块色向和模2为零、角棱块置换奇偶性一致。在开发魔方求解器时，随机状态生成必须遵循这些约束，否则会产生非法状态。文章还指出算法设计必须规避&quot;单棱翻转&quot;等不可能操作，强调群论在启发式函数设计中的重要性，并对比了三阶与二阶魔方在状态表示和约束条件上的本质差异。最后介绍了状态编码和预计算等性能优化技术，指出理解这些数学约束是从表]]></description><category></category></item><item><title><![CDATA[基于 ptrace 的进程克隆工具]]></title><link>https://blog.youkuaiyun.com/tugouxp/article/details/162141187</link><guid>https://blog.youkuaiyun.com/tugouxp/article/details/162141187</guid><author>tugouxp</author><pubDate>Sat, 20 Jun 2026 10:52:32 +0800</pubDate><description><![CDATA[这篇文章介绍了一个基于ptrace系统调用的Linux进程克隆工具proc_copy。该工具能够将一个进程的完整状态（包括寄存器、内存映射、执行上下文等）复制到多个目标进程，实现类似&quot;分身术&quot;的效果。文章生动地将其比作&quot;种老公&quot;的童话，并详细解析了实现原理：通过捕获源进程状态、重建目标进程地址空间、注入远程系统调用等技术，将目标进程完全转化为源进程的克隆体。这种技术可应用于调试、进程热备份、负载均衡等多种场景。文章提供了完整的C语言实现代码，展示了如何通过ptrace]]></description><category></category></item><item><title><![CDATA[软件工程中的正交性：内涵、外延与架构案例]]></title><link>https://blog.youkuaiyun.com/tugouxp/article/details/161633193</link><guid>https://blog.youkuaiyun.com/tugouxp/article/details/161633193</guid><author>tugouxp</author><pubDate>Tue, 02 Jun 2026 21:28:05 +0800</pubDate><description><![CDATA[正交性是指两个概念维度相互独立，改变其中一个不会影响另一个。数学上，两个向量正交当它们的内积为零。在软件工程中，概念正交意味着两个维度的取值可以自由组合，没有禁组合。RISC-V的ISA扩展和特权模式是正交的，因为它们可以独立组合；而ARM的虚拟化功能与特权级是非正交的，因为虚拟化被绑定在特定特权级（EL2）上，存在禁组合。正交性通过有效组合数与理论组合数的比较来判定，RISC-V的设计体现了更好的正交性。]]></description><category></category></item><item><title><![CDATA[从傅里叶变换角度看世界：周期、宇宙，操作系统与 while(1)]]></title><link>https://blog.youkuaiyun.com/tugouxp/article/details/160949642</link><guid>https://blog.youkuaiyun.com/tugouxp/article/details/160949642</guid><author>tugouxp</author><pubDate>Sun, 10 May 2026 12:15:55 +0800</pubDate><description><![CDATA[《一支画笔，两种世界》通过黑胶唱片的比喻，生动阐释了傅里叶变换的核心思想。文章将数学概念转化为直观的物理实验：当画笔振动频率与唱片转速匹配时，墨迹重心偏移揭示隐藏频率。这一原理不仅适用于声音分析，更延伸到宇宙运行和计算机系统的周期性本质。作者指出，看似混乱的世界实则是多重周期运动的叠加，而傅里叶变换正是解码这种&quot;隐藏秩序&quot;的钥匙。从原子振动到星系运转，从程序循环到宇宙脉动，周期律以不同尺度贯穿始终，改变着我们认知世界的方式。]]></description><category></category></item><item><title><![CDATA[ SRCU-LINUX内核中的可睡眠RCU]]></title><link>https://blog.youkuaiyun.com/tugouxp/article/details/160287043</link><guid>https://blog.youkuaiyun.com/tugouxp/article/details/160287043</guid><author>tugouxp</author><pubDate>Sat, 18 Apr 2026 22:00:01 +0800</pubDate><description><![CDATA[摘要：SRCU是RCU的增强版本，允许在读侧临界区中睡眠。经典RCU为防止内存耗尽严格禁止睡眠，因其宽限期机制依赖所有读者及时退出。SRCU的诞生源于2006年内核开发中的实际需求，通过创新设计解决了传统RCU的限制，在Linux 2.6.10版本被引入内核。这种演进体现了从性能优先到兼顾功能性的转变，展示了同步原语如何应对复杂场景的挑战。]]></description><category></category></item><item><title><![CDATA[AMD-V 嵌套分页白皮书翻译]]></title><link>https://blog.youkuaiyun.com/tugouxp/article/details/160224308</link><guid>https://blog.youkuaiyun.com/tugouxp/article/details/160224308</guid><author>tugouxp</author><pubDate>Thu, 16 Apr 2026 21:08:16 +0800</pubDate><description><![CDATA[摘要 本文探讨了x86虚拟化环境中的分页性能优化问题。传统软件虚拟化技术（如影子分页）通过维护客户机页表的影子副本来实现地址转换，但会产生显著的性能开销（可达总虚拟化开销的75%）。AMD提出的硬件辅助解决方案&quot;嵌套分页&quot;（NPT）通过在处理器层面直接支持二级地址转换，有效降低了虚拟化开销。该技术利用专门的页表遍历器和TLB缓存机制，显著减少了内存访问次数和虚拟机监控器介入频率，同时降低了内存消耗。测试表明，嵌套分页可使虚拟化性能接近原生系统水平，特别是在处理大内存工作负载时优势明显。这]]></description><category></category></item><item><title><![CDATA[CPU多任务实现之匙-深入页表基址寄存器]]></title><link>https://blog.youkuaiyun.com/tugouxp/article/details/160156184</link><guid>https://blog.youkuaiyun.com/tugouxp/article/details/160156184</guid><author>tugouxp</author><pubDate>Tue, 14 Apr 2026 22:15:23 +0800</pubDate><description><![CDATA[摘要：CR3寄存器是x86架构中管理虚拟内存的关键组件，它存储着当前进程页表的物理基地址，使每个程序都能拥有独立的虚拟地址空间。CPU通过CR3进行四级页表遍历，将虚拟地址转换为物理地址。操作系统利用CR3实现进程隔离，在上下文切换时更新CR3值即可切换内存视图。TLB缓存加速地址转换，但进程切换时必须刷新TLB以确保安全。这个精巧的内存管理机制是现代多任务操作系统的基础。]]></description><category></category></item><item><title><![CDATA[群论学习笔记]]></title><link>https://blog.youkuaiyun.com/tugouxp/article/details/122083333</link><guid>https://blog.youkuaiyun.com/tugouxp/article/details/122083333</guid><author>tugouxp</author><pubDate>Tue, 14 Apr 2026 13:46:31 +0800</pubDate><description><![CDATA[当你对一个对象，它可以是平面的或者立体的，进行某些特定操作，包括旋转，翻转，平移等等，它看起来还能和操作前一样，就说对象有对称性。注意，仅仅是看起来。对称是一个保持对象结构不变的变换，对称是一个过程，而不是一个具体的事物，伽罗瓦的对称是对方程根的置换，而一个置换就是对一系列事物的重排方式，严格的说，它也并不是这个重排本身，而是你实施重排时遵循的规则，不是菜，而是菜谱。]]></description><category></category></item><item><title><![CDATA[Linux内核的魔法-RCU解密]]></title><link>https://blog.youkuaiyun.com/tugouxp/article/details/160110289</link><guid>https://blog.youkuaiyun.com/tugouxp/article/details/160110289</guid><author>tugouxp</author><pubDate>Mon, 13 Apr 2026 21:43:59 +0800</pubDate><description><![CDATA[本文介绍了Linux内核中的RCU(Read-Copy-Update)同步技术。RCU通过&quot;读-复制-更新&quot;三步实现对共享数据的安全修改：读取原数据，复制并修改副本，最后原子性地切换指针指向新数据。其核心创新在于延迟销毁机制，将更新分解为移除和回收两个阶段。RCU通过&quot;宽限期&quot;和&quot;静止状态&quot;概念解决关键难题：如何确定何时可以安全回收旧数据。宽限期会等待所有CPU都进入静止状态(如上下文切换、空闲等)，确保所有可能访问旧数据的读者都已退出，此时才安全]]></description><category></category></item><item><title><![CDATA[伽罗瓦为什么在手稿中提到让朋友“可以公开请求雅可比或高斯对此发表意见，但不是关于正确性，而是关于重要性”]]></title><link>https://blog.youkuaiyun.com/tugouxp/article/details/160060894</link><guid>https://blog.youkuaiyun.com/tugouxp/article/details/160060894</guid><author>tugouxp</author><pubDate>Sat, 11 Apr 2026 22:30:52 +0800</pubDate><description><![CDATA[摘要 伽罗瓦在决斗前夜的遗书展现了天才的绝望与骄傲。他深知自己的群论研究超越了时代认知，三次被法国数学权威忽视后，他指名德国数学家雅可比和高斯作为唯一能理解其价值的人。这一精准预言在死后得到验证——群论最终由德国学派发扬光大。伽罗瓦的悲剧不仅在于早逝，更在于其思想的前瞻性必须等待未来的理解。这种超越时代的洞见，使他成为同时具备数学家、哲学家和诗人特质的真正伟人——用短暂生命打开了人类思维的新维度，其价值不依赖时代与权力，而源于对真理本身的探索。]]></description><category></category></item><item><title><![CDATA[LINUX VFIO被IOMMUFD取代]]></title><link>https://blog.youkuaiyun.com/tugouxp/article/details/159584554</link><guid>https://blog.youkuaiyun.com/tugouxp/article/details/159584554</guid><author>tugouxp</author><pubDate>Sat, 28 Mar 2026 19:22:05 +0800</pubDate><description><![CDATA[摘要 本文介绍了iommufd这一新型用户空间API，用于管理IOMMU子系统并控制指向用户空间内存的IO页表。iommufd旨在取代VFIO中的相关IOMMU用户API，成为不同用户空间驱动框架间传递IOMMU特性的核心接口。文章详细阐述了iommufd框架的工作原理，包括创建IO地址空间(IOAS)、绑定设备、执行DMA映射等关键步骤，并与传统VFIO架构进行了对比。此外，还提供了一个基于Ubuntu 24.04.4内核的NVIDIA显卡用户态DMA映射测试案例，展示了如何通过iommufd实现设备透传]]></description><category></category></item><item><title><![CDATA[Linux内核的边界在哪里?]]></title><link>https://blog.youkuaiyun.com/tugouxp/article/details/159474966</link><guid>https://blog.youkuaiyun.com/tugouxp/article/details/159474966</guid><author>tugouxp</author><pubDate>Wed, 25 Mar 2026 21:15:59 +0800</pubDate><description><![CDATA[本文深入探讨了Linux系统中用户进程的起源与内核/用户空间的界限问题。文章指出Linux内核在启动完成后会创建第一个用户进程（PID为1的init进程），该进程作为所有用户进程的始祖，通过进程树繁衍出整个用户空间。内核与用户空间的关键区别在于：内核运行在特权模式直接管理硬件，而用户程序运行在受限模式通过系统调用请求内核服务。文章强调Linux发行版的独特性源于用户空间程序的不同配置，而非内核本身，揭示了&quot;Linux是内核而非完整操作系统&quot;这一说法的实质内涵。]]></description><category></category></item></channel></rss>