https://yangzy723.github.io Zhenyuan Yang's academic homepage — research in operating systems, machine learning systems, efficient inference, and reliable GPU sharing. zh-CN Fri, 24 Jul 2026 05:09:42 +0000 Jekyll v3.10.0 https://yangzy723.github.io/posts/2026/07/12/Ubuntu-%E7%A6%81%E7%94%A8-Snap.html 导语 Snap 是 Ubuntu 的母公司 Canonical 于 2016 年 4 月随 Ubuntu 16.04 LTS 引入的一种容器化软件包格式。自此，Ubuntu 操作系统便同时支持传统的 Debian (.deb) 格式与全新的 Snap 格式安装包。 尽管 Snap 具备独立沙箱、易于升级等部分优点，但在实际使用中，其缺点也十分明显： 体积庞大：占用大量磁盘空间。 性能卡顿：s... Sun, 12 Jul 2026 00:00:00 +0000 https://yangzy723.github.io/posts/2026/07/12/Ubuntu-%E7%A6%81%E7%94%A8-Snap.html https://yangzy723.github.io/posts/2025/12/12/%E4%BA%AC%E5%9F%8E%E5%88%9D%E9%9B%AA-%E8%A1%8C%E8%AE%B0.html 昨日为了赶 OSDI 2026 的截稿，通宵达旦，直到今早七点多才堪堪合眼。因为约了下午两点去朝阳区 SOHO 广场递签，国科大这边地处偏远，不得不预留出通勤时间，所以满打满算，统共也就睡了三四个小时。 十一点半，强撑着身子从学校出发，上了网约车，困意便如潮水般袭来。在后座迷迷糊糊地睡了一路，直到车停在火车站，才猛然惊醒。慌乱中背起包匆匆下车，没成想，这一急，竟把手机落在了车座上。 起初完全... Fri, 12 Dec 2025 00:00:00 +0000 https://yangzy723.github.io/posts/2025/12/12/%E4%BA%AC%E5%9F%8E%E5%88%9D%E9%9B%AA-%E8%A1%8C%E8%AE%B0.html https://yangzy723.github.io/posts/2025/07/28/Nvidia-GPU-%E6%9E%B6%E6%9E%84%E6%BC%94%E8%BF%9B.html 游戏显卡架构演进 架构名称 中文名字 发布时间 核心参数（代表核心） 特点与优势 制程与晶体管数 代表型号 Fermi 费米 2010 512 CUDA Cores 首个完整 GPU 架构，支持 ECC 与缓存体系 40/28nm，约30亿晶体管 GTX 480, GTX 580 Kepler 开普勒 2012 每 SMX 192 FP32 + 64 FP64 CUDA Cores 性能效率... Mon, 28 Jul 2025 00:00:00 +0000 https://yangzy723.github.io/posts/2025/07/28/Nvidia-GPU-%E6%9E%B6%E6%9E%84%E6%BC%94%E8%BF%9B.html https://yangzy723.github.io/posts/2025/07/07/Git-%E5%B8%B8%E7%94%A8%E5%91%BD%E4%BB%A4%E5%8F%8A%E9%94%99%E8%AF%AF.html 文件目录操作命令 # 创建一个目录名为[dirname]的空目录 $ mkdir [dirname] # 显示当前目录路径 $ pwd # 查看[filename]文件内容 $ cat [filename] # 删除名为[filename]的文件 $ git rm [filename] Git 初始化操作 # 初始化 Git 仓库 $ git init # 添加远程仓库 $ git remo... Mon, 07 Jul 2025 00:00:00 +0000 https://yangzy723.github.io/posts/2025/07/07/Git-%E5%B8%B8%E7%94%A8%E5%91%BD%E4%BB%A4%E5%8F%8A%E9%94%99%E8%AF%AF.html https://yangzy723.github.io/posts/2025/07/01/Git-%E6%95%99%E7%A8%8B.html 1. 集中式 vs. 分布式 1.1 集中式版本控制系统（SVN和CVS） 先从中央服务器取得最新的代码版本，然后在本地编写代码，编写完成后将本地代码推送至中央服务器。 缺点：必须联网。 1.2 分布式版本控制系统（Git） 分布式版本控制系统没有“中央服务器”的概念，每个人的电脑上都是一个完整的版本库。 优点：安全性要高，不需要联网。 2. 设置用户名和邮箱地址 $ git config ... Tue, 01 Jul 2025 00:00:00 +0000 https://yangzy723.github.io/posts/2025/07/01/Git-%E6%95%99%E7%A8%8B.html https://yangzy723.github.io/posts/2025/06/15/Zsh-shell.html Zsh 常用快捷键（基于 macOS） 控制键（Ctrl, ⌃）快捷键 快捷键 功能说明 ⌃ + U 清空当前行 ⌃ + A 移动到行首 ⌃ + E 移动到行尾 ⌃ + F 向前移动 ⌃ + B 向后移动 ⌃ + P 上一条命令 ⌃ + N 下一条命令 ⌃ + R 搜索历史命令 ⌃ + Y 召回最近删除的文字 ⌃ + H 删除光标前的字符 ⌃ + D 删除光标所在字符 ⌃ + W 删除光标前... Sun, 15 Jun 2025 00:00:00 +0000 https://yangzy723.github.io/posts/2025/06/15/Zsh-shell.html https://yangzy723.github.io/posts/2025/06/14/Apple-Rosetta-2-%E6%8A%80%E6%9C%AF%E6%A2%97%E6%A6%82.html 背景介绍 Apple 在 2020 年 6 月宣布将 Mac 过渡到自研 Apple Silicon（ARM 架构）。作为这一“约两年完成过渡”计划的一部分，macOS Big Sur 引入了 Rosetta 2 翻译技术。Rosetta（译名“Rosetta Stone【罗塞塔石碑】”，那是一块帮助学者破译古埃及象形文字的石碑）最初用于 2006 年 PowerPC 向 Intel 转换，... Sat, 14 Jun 2025 00:00:00 +0000 https://yangzy723.github.io/posts/2025/06/14/Apple-Rosetta-2-%E6%8A%80%E6%9C%AF%E6%A2%97%E6%A6%82.html https://yangzy723.github.io/posts/2025/05/20/shell-%E5%9F%BA%E7%A1%80%E7%9F%A5%E8%AF%86.html 从 shell 谈起 “shell”，本意指（坚果、蛋类、贝类等）坚硬的外壳，在计算机科学中，特别是在类 Unix 系统（如 Linux、macOS）领域，是一个核心概念。它本质上是一种特殊的应用程序，充当用户与操作系统内核（Kernel）之间的命令解释器（Command Interpreter）。（同时也有 Linux 内核的一个外层保护工具的说法，“坚硬的外壳”） 用户通过文本命令行界面... Tue, 20 May 2025 00:00:00 +0000 https://yangzy723.github.io/posts/2025/05/20/shell-%E5%9F%BA%E7%A1%80%E7%9F%A5%E8%AF%86.html https://yangzy723.github.io/posts/2025/01/15/%E8%AE%A1%E7%AE%97%E6%9C%BA%E5%BA%95%E5%B1%82%E7%9B%B8%E5%85%B3.html CPU架构、指令集、硬编码（机器码）、汇编之间的关系 在计算机体系结构中，CPU 架构的分类通常依据其指令集架构（ISA）来进行，指令集架构的设计直接影响 CPU 的性能、功耗、指令执行效率等关键因素。根据指令集的设计复杂度，CPU 架构大致可以分为两大类：复杂指令集计算机（CISC）架构和精简指令集计算机（RISC）架构。 复杂指令集计算机（CISC，Complex Instruction... Wed, 15 Jan 2025 00:00:00 +0000 https://yangzy723.github.io/posts/2025/01/15/%E8%AE%A1%E7%AE%97%E6%9C%BA%E5%BA%95%E5%B1%82%E7%9B%B8%E5%85%B3.html https://yangzy723.github.io/posts/2024/12/21/AI-Infra.html AI Infra（AI 基础设施）是指为上层的AI算法应用提供支持的AI全栈底层技术，通过合理利用计算机体系结构，可以实现AI计算的加速和部署。 AI Infra主要包括以下内容： AI训练框架、推理引擎 AI编译、计算架构 AI硬件、体系结构 AI Infra 发展史 2019-2021，黑铁时代 17年那篇著名的《Attention is All you Need》论文发表，以Trans... Sat, 21 Dec 2024 00:00:00 +0000 https://yangzy723.github.io/posts/2024/12/21/AI-Infra.html https://yangzy723.github.io/posts/2024/11/30/%E5%87%BD%E6%95%B0%E5%BC%8F%E7%BC%96%E7%A8%8B.html 一、什么是函数式编程 1.1 概念介绍 函数式编程（Functional Programming，简称FP）是一种编程范式，就像你在拼图游戏中只能用特定的块来构建画面，FP要求我们用函数来构建程序的逻辑。这种范式强调将计算过程分解为可复用函数的集合。 函数式编程的理论基础是$\lambda$演算（lambda），由数学家阿隆佐·邱奇在20世纪30年代引入，这是一套用于研究函数如何定义、如何计... Sat, 30 Nov 2024 00:00:00 +0000 https://yangzy723.github.io/posts/2024/11/30/%E5%87%BD%E6%95%B0%E5%BC%8F%E7%BC%96%E7%A8%8B.html https://yangzy723.github.io/posts/2024/10/10/%E5%AD%98%E5%82%A8%E7%B3%BB%E7%BB%9F-DRAM-%E5%92%8C-SRAM-ROM.html DRAM和SRAM DRAM（动态随机存取存储器）和SRAM（静态随机存取存储器）都是半导体存储器，广泛应用于计算机和其他电子设备中，但它们在设计、性能、成本和应用场景上存在显著差异： SRAM（静态随机存取存储器） 工作原理：SRAM使用双稳态触发器来存储每个比特的信息，不需要刷新电路来维持数据。这意味着一旦数据被写入SRAM，只要电源持续供应，数据就会保持不变 速度：由于其设计，SRAM... Thu, 10 Oct 2024 00:00:00 +0000 https://yangzy723.github.io/posts/2024/10/10/%E5%AD%98%E5%82%A8%E7%B3%BB%E7%BB%9F-DRAM-%E5%92%8C-SRAM-ROM.html https://yangzy723.github.io/posts/2024/09/06/Ubuntu22.04-%E7%B3%BB%E7%BB%9F%E5%A4%87%E4%BB%BD-%E8%BF%98%E5%8E%9F.html 一、备份系统文件 /proc，是内存文件，个头太大，不需要备份 /sys，无法备份，总报错，事实上不用备份 /lost+found，不用备份，可以直接删除 /mnt、/media，如果里面挂载了硬盘，别备份，个头太大了，无法备份 二、压缩系统文件 tar cvpzf /tmp/system.img --exclude=/proc --exclude=/lost+found --exclude... Fri, 06 Sep 2024 00:00:00 +0000 https://yangzy723.github.io/posts/2024/09/06/Ubuntu22.04-%E7%B3%BB%E7%BB%9F%E5%A4%87%E4%BB%BD-%E8%BF%98%E5%8E%9F.html https://yangzy723.github.io/posts/2024/06/06/SimPy-%E6%97%B6%E9%97%B4%E6%B5%81%E9%80%9D.html Time and Scheduling 时间是如何流逝的？事件是如何被安排(schedule)和处理(process)的？ 时间是什么？ 时间本身并不容易把握。维基百科是这样描述的： Time is the indefinite continued progress of existence and events that occur in apparently irreversible s... Thu, 06 Jun 2024 00:00:00 +0000 https://yangzy723.github.io/posts/2024/06/06/SimPy-%E6%97%B6%E9%97%B4%E6%B5%81%E9%80%9D.html https://yangzy723.github.io/posts/2024/06/05/SimPy-%E5%85%B1%E4%BA%AB%E8%B5%84%E6%BA%90.html Shared Resources 共享资源是流程间交互的一种建模方式，资源形成了一个阻塞点，processes在此处排队以使用它们。 SimPy定义了三类资源： Resources - 可由有限数量的进程使用一段时间后释放的资源 Container - 用于建模同质、无差别的大宗商品的生产和消费 Stores - 允许Python对象的生产和消费的资源 资源的基本概念 所有资源都有一个相同的... Wed, 05 Jun 2024 00:00:00 +0000 https://yangzy723.github.io/posts/2024/06/05/SimPy-%E5%85%B1%E4%BA%AB%E8%B5%84%E6%BA%90.html https://yangzy723.github.io/posts/2024/06/04/SimPy-%E7%A6%BB%E6%95%A3%E4%BA%8B%E4%BB%B6%E4%BB%BF%E7%9C%9F%E5%85%A5%E9%97%A8.html DES（Discrete event simulation）是一种使用统计函数对现实事件进行建模的方法，通常用于医疗保健、制造、物流等领域的队列和资源使用。最终目标是获得关键运营指标，例如资源使用情况和平均等待时间，以便评估和优化各种现实生活中的配置。SimPy库支持在Python中描述和运行DES模型。与SIMUL8等软件包不同，SimPy不是用于构建、执行和报告模拟的完整图形环境，不过它... Tue, 04 Jun 2024 00:00:00 +0000 https://yangzy723.github.io/posts/2024/06/04/SimPy-%E7%A6%BB%E6%95%A3%E4%BA%8B%E4%BB%B6%E4%BB%BF%E7%9C%9F%E5%85%A5%E9%97%A8.html https://yangzy723.github.io/posts/2024/06/01/%E9%94%90%E8%A7%92.html ——《锐角》 摄于南京大学基础实验楼，2024.06.01 Sat, 01 Jun 2024 00:00:00 +0000 https://yangzy723.github.io/posts/2024/06/01/%E9%94%90%E8%A7%92.html https://yangzy723.github.io/posts/2024/05/04/%E5%B9%B8%E8%BF%90%E7%8C%AB%E7%8C%AB.html ——《幸运猫猫》 摄于南京大学，2024.05.04 Sat, 04 May 2024 00:00:00 +0000 https://yangzy723.github.io/posts/2024/05/04/%E5%B9%B8%E8%BF%90%E7%8C%AB%E7%8C%AB.html https://yangzy723.github.io/posts/2024/04/27/Linux-%E5%B8%B8%E7%94%A8%E6%B8%85%E7%90%86%E5%91%BD%E4%BB%A4.html 常规命令 清理apt软件包缓存中已经过期的软件包 $ sudo apt-get autoclean 清理apt软件包缓存中所有已下载的软件包 $ sudo apt-get clean 自动移除系统中不再需要的软件包 $ sudo apt-get autoremove 删除多余内核 查看当前系统内核 $ uname -a 查找当前系统中的内核文件 $ dpkg --get-selections... Sat, 27 Apr 2024 00:00:00 +0000 https://yangzy723.github.io/posts/2024/04/27/Linux-%E5%B8%B8%E7%94%A8%E6%B8%85%E7%90%86%E5%91%BD%E4%BB%A4.html https://yangzy723.github.io/posts/2024/04/25/HA-Proxy.html 一、HAProxy概述 HAProxy是一款高性能的负载均衡软件。因为其专注于负载均衡这一些事情，因此与Nginx比起来在负载均衡这件事情上做得更好，更专业。 二、基础介绍 官方网站 HAProxy提供高可用性、负载均衡以及基于TCP和HTTP应用的代理，支持虚拟主机，它是免费、快速并且可靠的一种解决方案。HAProxy特别适用于那些负载特大的web站点，这些站点通常又需要会话保持或七层处理... Thu, 25 Apr 2024 00:00:00 +0000 https://yangzy723.github.io/posts/2024/04/25/HA-Proxy.html https://yangzy723.github.io/posts/2024/04/24/%E6%97%A0%E9%A2%98.html 《无题》 应是天宫重开宴，万两碎金落人间。 且随华光孤舟渡，欲从云隙窥仙颜。 云雁仙使遣清风，举我如云邀相见。 躬身谦词温声拒，人间更胜九重天。 Wed, 24 Apr 2024 00:00:00 +0000 https://yangzy723.github.io/posts/2024/04/24/%E6%97%A0%E9%A2%98.html https://yangzy723.github.io/posts/2024/04/18/Linux-%E6%9D%83%E9%99%90.html 权限管理的重要性 linux系统未来可能有程序员、用户、数据库管理员、项目经理等各种角色各种级别人使用，甚至还有身份不明的人链接到linux，不良的权限管理容易导致系统崩溃、数据丢失等问题。 权限的含义 权限字母 含义 对文件 代表命令 对文件夹 代表命令 R(r) 读 查看文件内容和复制文件 more, cat, less, cp, head, tail 查看文件夹下的文件 ls W(w)... Thu, 18 Apr 2024 00:00:00 +0000 https://yangzy723.github.io/posts/2024/04/18/Linux-%E6%9D%83%E9%99%90.html https://yangzy723.github.io/posts/2024/04/08/Linux-%E5%B8%B8%E7%94%A8%E5%91%BD%E4%BB%A4.html 一、Linux 基本介绍 1.1 基本介绍 Linux是一个基于Linux内核的开源类Unix操作系统，是Linus Torvalds于1991年9月17日首次发布的操作系统内核。Linux通常打包为，例如Ubuntu，CentOS，Arch Linux等。 Linux最初是为基于Intel x86架构的个人计算机开发的，但此后被移植到的平台比任何其他操作系统都多。由于基于Linux的And... Mon, 08 Apr 2024 00:00:00 +0000 https://yangzy723.github.io/posts/2024/04/08/Linux-%E5%B8%B8%E7%94%A8%E5%91%BD%E4%BB%A4.html https://yangzy723.github.io/posts/2024/04/07/%E6%A8%B1%E8%8A%B1.html ——《樱花》 摄于南京大学淮安楼，2024.04.07 Sun, 07 Apr 2024 00:00:00 +0000 https://yangzy723.github.io/posts/2024/04/07/%E6%A8%B1%E8%8A%B1.html https://yangzy723.github.io/posts/2024/03/24/%E5%8D%97%E4%BA%AC%E6%97%85%E6%B8%B8%E6%99%AF%E7%82%B9.html 南京博物院 是中国三大博物馆之一（另外两个是北京故宫博物院和台北故宫博物院） 藏品丰富，有“银缕玉衣”等镇馆之宝 民国馆拍照出片 个人认为非常值得一去，门票免费但需要提前预约，游玩时间4-5h 红山动物园 中国动物丰容做得最好的动物园之一 “如果动物不想见人，那人就见不到动物。任何生命的意义，都不在于被他人观赏。” 个人认为非常值得一去，有大熊猫等珍稀动物，学生票20r，游玩时间4-5h 钟... Sun, 24 Mar 2024 00:00:00 +0000 https://yangzy723.github.io/posts/2024/03/24/%E5%8D%97%E4%BA%AC%E6%97%85%E6%B8%B8%E6%99%AF%E7%82%B9.html https://yangzy723.github.io/posts/2024/03/22/Linux-%E7%8E%AF%E5%A2%83%E5%8F%98%E9%87%8F.html 一、环境变量简介 什么是环境变量 一般是指在操作系统中用来指定操作系统运行环境的一些参数，如：临时文件夹位置和系统文件夹位置等。环境变量是在操作系统中一个具有特定名字的对象，它包含了一个或者多个应用程序所将使用到的信息。例如Windows和DOS操作系统中的path环境变量，当要求系统运行一个程序而没有告诉它程序所在的完整路径时，系统除了在当前目录下面寻找此程序外，还应到path中指定的路径... Fri, 22 Mar 2024 00:00:00 +0000 https://yangzy723.github.io/posts/2024/03/22/Linux-%E7%8E%AF%E5%A2%83%E5%8F%98%E9%87%8F.html https://yangzy723.github.io/posts/2024/03/18/Linux-%E5%92%8C-Windows-%E5%8F%8C%E7%B3%BB%E7%BB%9F%E6%97%A0%E6%B3%95%E8%BF%9B%E5%85%A5-grup-%E5%BC%95%E5%AF%BC.html 问题描述 台式电脑原有的硬盘上已经安装了 Ubuntu 22.04。随后我在另一块固态硬盘上安装 Windows 10，组成双硬盘、双操作系统环境。但安装完成并重启后，电脑会直接进入 Windows，而不会停留在 GRUB 引导界面供用户选择操作系统。 解决方案 在尝试了网上大多数解决方案后（包括禁用快速启动等），发现均无法解决当前面临的问题。 之后，经过多方尝试，找到以下方法可以解决该问题... Mon, 18 Mar 2024 00:00:00 +0000 https://yangzy723.github.io/posts/2024/03/18/Linux-%E5%92%8C-Windows-%E5%8F%8C%E7%B3%BB%E7%BB%9F%E6%97%A0%E6%B3%95%E8%BF%9B%E5%85%A5-grup-%E5%BC%95%E5%AF%BC.html https://yangzy723.github.io/posts/2024/03/11/%E5%A6%82%E4%BD%95%E5%B0%86%E4%B8%80%E5%8F%B0-Linux-%E4%B8%BB%E6%9C%BA%E6%9E%B6%E8%AE%BE%E4%B8%BA%E6%9C%8D%E5%8A%A1%E5%99%A8.html 如果你有两台 Linux 设备，可能会希望用其中一台远程操作另一台。除了图形化远程控制工具，学习使用 SSH 连接并将主机作为服务器使用，也是一项值得掌握的基础技能。 一、服务器侧安装openssh-server sudo apt update sudo apt install openssh-server 安装完成后，检验ssh是否启动 sudo systemctl status ssh ... Mon, 11 Mar 2024 00:00:00 +0000 https://yangzy723.github.io/posts/2024/03/11/%E5%A6%82%E4%BD%95%E5%B0%86%E4%B8%80%E5%8F%B0-Linux-%E4%B8%BB%E6%9C%BA%E6%9E%B6%E8%AE%BE%E4%B8%BA%E6%9C%8D%E5%8A%A1%E5%99%A8.html https://yangzy723.github.io/posts/2024/03/07/%E6%9C%88%E4%B8%8A%E6%A2%A2%E5%A4%B4.html ——《月上梢头》 摄于南京大学仙林校区南门，2024.03.07 Thu, 07 Mar 2024 00:00:00 +0000 https://yangzy723.github.io/posts/2024/03/07/%E6%9C%88%E4%B8%8A%E6%A2%A2%E5%A4%B4.html https://yangzy723.github.io/posts/2024/03/03/%E6%9B%9B%E6%97%A5.html ——《曛日》 摄于南京大学仙林校区南门，2024.03.04 Sun, 03 Mar 2024 00:00:00 +0000 https://yangzy723.github.io/posts/2024/03/03/%E6%9B%9B%E6%97%A5.html https://yangzy723.github.io/posts/2024/03/02/%E6%9C%89%E8%B6%A3%E7%9A%84%E7%BD%91%E7%AB%99.html asciinema Record and share your terminal sessions, the simple way. Forget screen recording apps and blurry video. Experience a lightweight, text-based approach to terminal recording. plantuml Plant... Sat, 02 Mar 2024 00:00:00 +0000 https://yangzy723.github.io/posts/2024/03/02/%E6%9C%89%E8%B6%A3%E7%9A%84%E7%BD%91%E7%AB%99.html https://yangzy723.github.io/posts/2024/03/02/%E6%B5%AE%E7%94%9F%E5%85%AD%E8%AE%B0-%E6%91%98%E6%8A%84.html 世事茫茫，光阴有限，算来何必奔忙？ 人生碌碌，竞短论长，却不道荣枯有数，得失难量。 看那秋风金谷，夜月乌江，阿房宫冷，铜雀台荒，荣华花上露，富贵草头霜。 机关参透，万虑皆忘，夸什么龙楼凤阁，说什么利锁名僵。 闲来静处，且将诗酒猖狂，唱一曲归来未晚，歌一调湖海茫茫。 逢时遇景，拾翠寻芳。 约几个知心密友，到野外溪旁，或琴棋适性，或曲水流觞；或说些善因果报，或论些今古兴亡；看花枝堆锦绣，听鸟语弄... Sat, 02 Mar 2024 00:00:00 +0000 https://yangzy723.github.io/posts/2024/03/02/%E6%B5%AE%E7%94%9F%E5%85%AD%E8%AE%B0-%E6%91%98%E6%8A%84.html