跳转至

博客

  • 分类于 课程笔记
  • 需要 32 分钟阅读时间

具体数学

具体数学公式小册子

推广一个自己的 github 仓库，期望共同完善。 阅读具体数学电子书籍时，由于经常需要查看某个编号的公式因此产生了这个项目，用于阅读时查阅公式 https://github.com/TheRainstorm/concrete_math_formulas

成套方法

在具体数学 (Concrete Mathematics) 课本中，在解约瑟夫递推方程时，第一次介绍了成套方法 (repertoire method)。之后也使用这种方式求解各种递推方程。相信很多人第一次看到这种方法时都会感觉到不可思议——还能这样？虽然每一步都能看懂，但是就是不知道这种方法是怎么想到的。在查阅了一点资料后，我对该方法有了更多的认识。先说明一点，该方法并不是一种万能方法，实际上要求问题要有线性结构。

参考：linear algebra - Mathematical explanation for the Repertoire Method - Mathematics Stack Exchange

  • 分类于 学习笔记
  • 需要 21 分钟阅读时间

C&C++

  • C++ 语言新机制（如闭包，for_each）
  • C++ STL 使用
    • 容器
    • 算法库
  • 常见算法记录
  • 分类于 学习笔记
  • 需要 28 分钟阅读时间

CUDA 编程&工具

参考资料

docker cuda

What's the difference between the lastest nvidia-docker and nvidia container runtime？ · Issue #1268 · NVIDIA/nvidia-docker

问题描述：
在 Docker 中使用 GPU 时遇到驱动版本冲突问题，具体表现如下：

  1. 官方镜像正常工作：
    使用 nvcr.io/nvidia/cuda:12.8.0-base-ubuntu22.04 + --gpus all 时，nvidia-smi 能正确显示 CUDA 版本，PyTorch 可调用 GPU。
  2. 自定义镜像异常：
    基于 ubuntu:22.04 自建镜像时，nvidia-smi 显示 CUDA 版本为 N/A，PyTorch 报错 No GPU driver found。若在镜像内手动安装驱动，则出现 NVML driver/library version mismatch（宿主机驱动版本与容器内不一致）。
  3. 疑问： - 为何 NVIDIA 官方镜像无需安装驱动（apt list 无 nvidia-driver）却能工作？ - 如何解决自定义镜像的驱动版本冲突？强制对齐宿主机和容器内驱动的小版本难度大，是否有通用方案？
1. 官方镜像为何无需安装驱动？

NVIDIA 官方镜像（如 nvcr.io/nvidia/cuda）通过 NVIDIA Container Toolkit 实现 GPU 透传，其核心机制为：

  • 挂载宿主机驱动库：容器启动时，自动挂载宿主机侧的 NVIDIA 驱动库（如 libcuda.so、libnvidia-ptxjitcompiler.so）到容器内的 /usr/local/nvidia/lib64。
  • 环境变量配置：镜像内已设置 LD_LIBRARY_PATH，优先加载挂载的宿主机驱动库，而非容器内自带的库。

查看 nvidia/cuda 镜像的 layer：Image Layer Details - nvidia/cuda:12.8.0-cudnn-devel-ubuntu22.04 | Docker Hub

其中确实大量设置了

/usr/local/nvidia/lib64

然后容器内该目录却并不存在。不过通过 locate libcuda.so 发现确实和自己的镜像不同

➜  ~ dpkg -S /usr/lib/x86_64-linux-gnu/libcuda.so.535.183.01
libnvidia-compute-535:amd64: /usr/lib/x86_64-linux-gnu/libcuda.so.535.183.01

CUDA 安装

总结：

  • 最简单方式是看 cuda 下载页面提供的安装命令
  • deb 安装貌似无法只安装 cuda，不安装驱动
  • runfile 安装可以做到不重启
  • cuda-toolkit-12-1 包含 cuda
  • nvidia-driver-530 包含驱动
  • 分类于 学习笔记
  • 需要 27 分钟阅读时间

CUDA 架构

疑问

  • ampere 架构 SM 中有 4 个 process block，process block 对应一个 warp？意思是可以有 4 个 warp 同时执行？
    • Femi 架构没有 process block，SM 就是最小单元？
  • The threads of a thread block execute concurrently on one multiprocessor, and multiple thread blocks can execute concurrently on one multiprocessor.
    • 这样岂不是若干 thread block 抢一个 SM 上的 shared memory？
    • 不同 threadblock 的 warp 并发执行，如何隐藏延迟
  • cuda 分块大小对性能影响很大，那么如何确定分块大小呢？
    • 穷举
    • 分析模型？
  • 分类于 折腾记录
  • 需要 3 分钟阅读时间

记一次 linux 系统无法启动修复过程

背景

我想要把第二张显卡也直通给虚拟机，然后就自己编译了一个打了 acs overide patch 的内核。之后启动也没有问题。但是当我第一次运行虚拟机后，电脑就卡死了。然后我强制关机后，无法进入系统，而进入了 busybox initramfs 交互命令行。提示文件系统错误，让我 fsck 系统盘。我照做后就成功进入系统了。

  • 这里进入系统后一切正常，但是 lxc 的 storage 显示 unavailable，zpool import zfs_lxd.img 显示损坏。

然后我想再试试，结果启动虚拟机后又卡死了。我强制重启后，好像又进入 busybox 进行 fsck 了，但结果还是进不了系统，这次进入了紧急模式。

  • 分类于 软件工具
  • 需要 1 分钟阅读时间

hexo 使用

记录 hexo 相关内容

tag：关键词 categories:

  • 软件工具：介绍新发现的好用工具
  • 折腾：做的一件事
  • 网络：路由器，openwrt，软路由
  • 分类于 个人
  • 需要 2 分钟阅读时间

虚拟游戏房

虚拟游戏房的梦想依然存在——共享我的硬件，装满游戏，有 PC 游戏和各种复古模拟器游戏，用户串流就能直接玩。

想法来源

主要来源于超级小桀的线下预约的实际游戏房。虽然我肯定没有这么多人力物力财力，但是以云游戏的方式，说不定可以。分享自己喜欢的东西给大家的乐趣是相同的。

image.png

技术路线，主要需要解决以下问题

  • 系统：服务在什么上面运行
  • 网络：用户通过什么网络连接
    • 方案
      • zerotier, tailscale
      • 自建 VPN，基于 wireguard
      • 公网（v4 或 v6）
  • 串流：串流软件
    • pacsec
    • sunshine + moonlight
  • 游戏
    • PC 游戏
    • 复古模拟器前端
  • 分类于 折腾记录
  • 需要 11 分钟阅读时间

VLAN 实现单网口软路由

起因是发现在原本的两个路由器间架设 wireguard 隧道，其中一个路由器 (小米 4A 千兆版) 遇到了 CPU 瓶颈，导致带宽只能达到 100-200 左右。后面研究了市面上的各种路由器的 CPU 型号，包括矿渣路由器。购买了一个 100 元的可以刷 openwrt 的竞斗云 2.0，带宽可以达到 200-300M，但仍远低于理想的千兆。目前即便是 500 元以上的高端路由器，其配置仍然只有 4 核 Cortex A53@2.0GHz 的水平。

偶然看到用旧笔记本做软路由的视频，遂萌生了折腾软路由的想法。仔细研究其方案后发现为 pppoe 拨号上网的方式，不适用于 dhcp 上网的情况。后偶然发现所购买路由器支持 vlan 功能（其实后面发现所有 openwrt 路由器都支持），于是自己独立构思了后面的架构图。并尝试成功 (11/5)，最终在红米 AX6S+ 软路由的情况下，达到了 500M 的带宽，此时 AX6S 的双核 Cortex A53@1.2GHz CPU 占用率也达到了 100%。

之后再接再励，将 AX6S 也配置了 vlan，并在旧笔记本实现软路由。最终带宽达到了 880Mbps，scp 文件达到 98MB/s 的速率。并且之后还成功配置了 Guest WIFI，将其和主网络隔离开来，更加保证了安全性。

通过本次项目，学会了：

  • linux 下，ip, netplan 创建 bridge 和 vlan
  • lxc 容器的使用
  • openwrt DSA 架构配置 vlan
  • 分类于 学习笔记
  • 需要 30 分钟阅读时间

linux 相关-系统运维

大纲

  • how linux kernel boot
    • kernel parameters
    • grub
  • how user space start
    • init, systemd
    • initial RAM filesystem
  • Shell
  • Disk and filesystem
    • partitioning disk
    • mount
  • User identification, authentification, authorization
    • identi
    • user, group 定义
    • PAM
  • System configuration
    • Logging
    • Batch jobs
  • 分类于 软件工具
  • 需要 9 分钟阅读时间

LXC 使用

1 说明

lxc vs docker

LXC 是一种轻量虚拟机，复用 host 内核。与 docker 尽可能每个容器只跑一个应用不同，lxc 的思路更接近虚拟机。 image-20221102112404544

The key networking difference between Docker and LXC is that with LXC one can attach a container to any bridge on the Host. This includes a bridge on the outside interface. Via transparent bridging the container can have unfettered access to the existing IPv6 subnet, including picking up Global Unique Addresses (GUAs) without the host having to do router-like functions, such as adding routes, auto propagation of prefixes (with DHCPv6-PD), redistribution of routes, etc. Again, things which Docker doesn't support.

lxc vs lxd

LXD is actually two parts, the lxd daemon, and the lxc CLI client which makes calls to the lxd daemon

  • 分类于 折腾记录
  • 需要 16 分钟阅读时间

Wireguard 组网

wireguard 是一种基于 UDP 的隧道协议，可以在不同设备间建立虚拟隧道，从而连接不同子网。本文总结了不同使用场景

  • 分类于 折腾记录
  • 需要 1 分钟阅读时间

尝试非官方 openwrt

说明

我的红米 ac2100 不知道怎么回事，使用自己编译的固件，无法开启 5G 无线。radio1 显示 not active，并且为 802.11n 协议。先后尝试编译 22.03-rc6, 21.02 稳定版都是如此。（官方稳定版是有的）(想到一些第三方的 openwrt 说针对国内进行了优化，因此想尝试下第三方的 openwrt

  • 分类于 折腾记录
  • 需要 5 分钟阅读时间

复古模拟器前端

image.png 屏幕截图(118).png.png)

retroarch

RetroArch Starter Guide – Retro Game Corps

retroarch 是一个模拟器前端，不同的模拟器以 core 的形式嵌入 retro。retroarch 相对于单独的模拟器来说好处如下

  • 跨平台。retroarch 支持非常多的平台。由于 core 是动态链接库的形式嵌入 retroarch 的，相当于解决了不同 core 的跨平台问题。
  • 支持全局的按键映射。不用为每个模拟器设置手柄，快捷键等等配置。
  • shader and filters。可以实现一些特别的视觉效果，比如