Slides
Notes

【COURSE INFORMATION】

This course is on the design and implementation of database management systems. Topics include data models (relational, document, key/value), storage models (n-ary, decomposition), query languages (SQL, stored procedures), storage architectures (heaps, log-structured), indexing (order preserving trees, hash tables), transaction processing (ACID, concurrency control), recovery (logging, checkpoints), query processing (joins, sorting, aggregation, optimization), and parallel architectures (multi-core, distributed). Case studies on open-source and commercial database systems are used to illustrate these techniques and trade-offs. The course is appropriate for students with lit systems programming skills.

本课程是关于数据库管理系统的设计和实现。主题包括数据模型（关系、文档、键/值）、存储模型（n元、分解）、查询语言（SQL、存储过程）、存储架构（堆、日志结构）、索引（保序树、哈希）表）、事务处理（ACID、并发控制）、恢复（日志记录、检查点）、查询处理（连接、排序、聚合、优化）和并行架构（多核、分布式）。开源和商业数据库系统的案例研究用于说明这些技术和权衡。该课程适合具有计算机系统编程技能的学生。

【INSTRUCTOR】

Andy Pavlo

【HOME PAGE】

CMU 15-445/645 (Fall 2019)

【REPOSITORY】

BusTub

【中文参考资料】

BusTub 养成记：从课程项目到 SQL 数据库 by 迟策

课程介绍 by Yinmin Zhong

Fall 2019 Video 中文翻译 by simviso

Fall 2019 Notes (Lecture 3-12) 中文翻译 by 痴入膏肓

2021 CMU 15-445 实验笔记 by 沧海月明

2021 CMU 15445 数据库系统 实验精讲 by 郭郭wg

【Tips】

课程已更新到Spring 2024，但由于Fall 2019有比较齐全的中文资源（人工校对视频+字幕文件）以及丰富的课程学习经验贴，仍选用Fall 2019的课程学习。不过19年的GradeScope已经关了，做Project需要选择最近两年的课程。

【课程主页】

【课程视频】

环境

• Windows 11
• GPU: NVIDIA RTX4060
• Miniconda for Python 3.9

使用Conda创建环境

1
2
3

conda create -n d2l python=3.9  //创建环境
conda activate d2l  //激活环境
conda deactivate    //退出环境

在Conda env下安装包

1
2
3

conda install pytorch torchvision torchaudio pytorch-cuda=12.1 -c pytorch -c nvidia   //conda下安装Pytorch for CUDA 12.1
pip install d2l==0.17.6  //安装d2l包
pip install jupyter   //安装Jupyter Notebook

线代预备知识

范数

• 诱导范数
• Frobenius范数

按轴区分

• axis

矩阵求导

• 分子布局
• 分母布局

线性回归

Softmax回归

從何時你也學會不要離群

從何時發覺沒有同伴不行

從何時惋惜蝴蝶困於那桃源

飛多遠有誰會對牠操心

曾迷途才怕追不上滿街趕路人

無人理睬如何求生

頑童大了沒那麼笨

可以聚腳於康莊旅途 然後同沐浴溫泉

為何在雨傘外獨行

Living Things Are Not (20th Century) Machines: Updating Mechanism Metaphors in Light of the Modern Science of Machine Behavior

机器是独立的，生命是相互依存的

机器可预测，生命不可预知

机器由人类设计，生命是演化的

机器是线性模块化的，生命是分等级和自相似的

生命有智识（自由意志、主观能动性、元认知），机器永远不会有

机器可以在还原主义的框架中学习，生命不行

生命是具身的，AI不是

机器有清晰的软件/硬件区分，生命没有

机器人的定义是一个谱系，作为赛博格的跨人类正在消解二元性。

活细胞和组织不是真正的机器——没有什么是真正的任何东西（所有的隐喻都是错误的），生物学和计算机工程学都是更大的学科分支，对自组织的深刻理解指向一个能发挥潜力的未来。

【Youtube】Stranger: Talking to Jihadists | 3 hours Complete Edition | Chai Jing

关于柴静

柴静在简中是一个有争议的人物。曾经她非常亲近体制内，代表了体制内的一些改革派、反建制派媒体人的声音。后来出走，其作品在墙内彻底销声匿迹，只剩下了关于这个人的争议。

她的争议主要集中在代表作《穹顶之下》，以及网友翻出的早些年与丁仲礼院士的访谈，当然还有私人问题。我最迟在高中前就阅读过她的《看见》，后来看了《穹顶之下》。对她的态度也随着个人意识形态的变迁和大众对她的认知，在独立媒体人与公知间几经变化。这里不再讨论，但希望大家认识到一个人与一个问题的复杂性，也要认识到一个人和一个时代的局限性。

多年后再看到她的访谈，没想到聚焦在了一个离大多数中国人很远的话题：恐怖主义。该系列视频与前圣战者对话，试图揭露一些裹挟在恐怖主义下的问题与答案。

也许她是带有价值判断的，但不妨作为阅读材料来看看。

摘要

恐怖主义分子是什么人？

兄弟结构在恐怖主义分子里很常见。（让我想到《孟买酒店》中的恐怖分子）

并非教育因素，也无关于他们住在哪里，甚至也无关于他们的经济状况和社会地位。

其中有不少有前科的罪犯，亦有不少受过高等教育的精英，也有很多工作收入良好的人。

罪犯和精英会被极权主义的威势吸引，而群众靠宣传获得，大部分是盲从者。

恐怖主义背后的意识形态

• 圣战分子将不符合原教旨教义的人们非人化，从而合理化杀戮。

• 教义禁止自杀，但自杀式袭击被替换为殉道。圣战分子死后得上天堂的狂热，使得他们不惧死亡。

• 教义禁止饮酒和婚前性行为，但很多圣战分子却酗酒、嫖妓，以至于 _“所有人都在装”_。圣战分子将其视为魔鬼的引诱和神的惩罚，并声称是由于这个糟糕的社会允许他们这样做。只有通过圣战让世界实行伊斯兰律法才可以解放自己。

• 允诺的奖励缓解现实的性压抑。害怕与现实的异性接触却幻想一次胜利的战斗后挑选 sex slave ，天堂的模样也是七十二个 virgin 。

人如何成为极端分子？

• 身份危机。穆斯林在世俗化国家的原子化。
• 父权的缺失。失去父辈力量代表的秩序框架和归属，除了圣战组织。
• 群体效应。有污点的圣战分子需要更极端来证明自己的虔诚，不同圣战组织时间为了争夺话语权也在竞争更极端。
• 通过简单机械性的音乐、戒律洗脑。
• 极端不是缺乏教育的结果，而是受教育的结果。温和的意识形态打不过极端的意识形态。
• 面对内心的怀疑选择躲进阴谋论。
• 泛滥的自由下，严苛的教义反而一种舒适区，不需要为了未来建立计划。经书为人生提供了一切答案。“自由对于无力掌握它的人来说，是沉重的负担。”

如何对抗恐怖主义？

• 极右分子与圣战分子像一个硬币的两面。
• 真正的转变不是找到了真理，是不再寻找终极真理，不是得到了答案，是不再需要单一的答案。不是找到了一个身份，而是拥有一个永远开放、不断更新的身份。

【个人看法】

• 非常难得的一手材料。
• 恐怖主义的意识形态包装非常高明，换一种包装或许在某些世俗化非常成功的国家也很有市场。 可以在纳粹反犹主义、麦卡锡主义、斯大林主义、红色高棉的大清洗中找到影子。
• 非母文化语境下，哪怕是移民国家也永远不可能真正融入异国他乡，一代移民乃至二代移民的陌生人处境永远都在。因此移民仅作为一个提高生活质量或者没有退路的可选项，并不能作为一个实现个人价值的配置项。
• 泛滥的多元和自由不一定是好事。保证共识前提下的多元，自我规划前提下的自由才能促进社会的进步。
• 温和的意识形态打不过极端的，想要吸引两端的群体，只会把两端的都推向极端。从受众的角度讲，两鸟在林不如一鸟在手。
• 某种意义上讲，亚文化群体的极端化只是时间问题，包括不限于任何广义个人崇拜向的粉圈，任何见不得光的小众爱好。当然也包括东亚特色的儒家性压抑群体。
• 拥抱主流文化圈，拥抱现实生活才能避免极端化。（当一个现充吧）