BLOG

Record, summarize, and improve.
Parallel

并行计算名词

本文列出并行计算领域常见术语和技术,包括 ISPC、OpenCL、OpenMP、TBB 以及 SPMD,适合作为并行编程概念速查。

编程模型

本文解释编程模型如何抽象程序与处理器、内存和 I/O 的交互,涵盖数据类型、内存一致性、并发、通信、ISA,以及单线程、多线程、GPU、MPI 和数据并行模型。

并发编程经典问题

本文汇总生产者消费者、哲学家就餐、读者写者、吸烟者、理发师、银行家算法等经典并发问题,围绕共享资源、同步、死锁预防和饥饿避免展开说明。

SIMD

本文比较 ARM NEON、RISC-V V 扩展和 x86 MMX/SSE/AVX/AVX-512 的 SIMD 实现,介绍向量寄存器、可变向量长度、掩码和数据并行计算。

docker

本文介绍 Dockerfile 和 Docker Compose 的基本格式,说明如何构建镜像、启动容器,并围绕镜像分层、容器、网络和卷展开 Docker 使用笔记。

虚拟化

本文介绍存储虚拟化和硬件虚拟化,涵盖块/文件/聚合/拆分虚拟化,以及全虚拟化、硬件辅助、部分、半虚拟化和操作系统层虚拟化。

聚合通信

原子总结

本文总结原子操作与共识问题,讨论原子性、并发同步、I/O 和分布式系统中如何通过有限操作保证共享状态的一致性。

屏障

一致性模型