Relational Data Model

Advanced SQL

Database Storage

Buffer Pools

Hash Tables

Tree Indexes

Index Concurrency Control

Query Processing

Sorting&Aggregations

Join Algorithms

Query Optimization

Parallel Execution

Embedded Database Logic

Concurrency Control Theory

Two Phase Locking

Timestamp Ordering Concurrency Control

Multi-Version Concurrency Control

Logging Schemes

Database Recovery

Introduction to Distributed Databases

Distributed OLTP Databases

Distributed OLAP Databases

OS intro

Introduction to the Process

Processes, Fork, I/O, Files

I/O Continued, Sockets, Networking

Concurrency: Processes & Threads

Cooperating Threads, Synchronization

Semaphores, Condition Variables, Readers/Writers

Scheduling

Resource Contention & Deadlock

Address Translation, Caching

File System (18,19,20)

Distributed Systems, Networking, TCP/IP, RPC (21,22)

Distributed Storage, Key-Value Stores, Security (23)

Security & Cloud Computing (24)

Topic: Ensuring Data Reaches Disk

Sequence and Set Interface

Data Structure for Dynamic Sequence Interface

Computation Complexity

Algorithms and Computation

Structure Of Computation

Graph & Search

Tree & Search

Weighted Shortest Paths

String Matching, Karp-Rabin

Priority Queue Interface & Implementation

Dictionary Problem & Implementation

Sorting

Dynamic Programming

Backtracking

Self-Balancing Tree

2PC & 3PC

Introduction and MapReduce

RPC and Threads

Primary/Backup Replication

Lab: Primary/Backup Key/Value Service

Google File System (GFS)

Raft

Lab: Raft - Leader Election

Lab: Raft - Log Replication

原始数据类型及相互转化

指鹿为马

泛型函数

泛型栈

运行时内存结构

从 C 到汇编

函数的活动记录

C 与 C++ 代码生成

编译的预处理过程

编译的链接过程

函数的活动记录续、并发

从顺序到并发和并行

信号量与多线程 1

信号量与多线程 2

复杂多线程问题

函数式编程 - Scheme 1

函数式编程 - Scheme 2

函数式编程 - Scheme 3

函数式编程 - Scheme 4

函数式编程 - Scheme 5

Python 基础

什么是程序

程序抽象

替代模型

时间/空间复杂度

数据抽象

高阶函数

Symbol

数据驱动编程与防御式编程

数据抽象中的效率与可读性

数据修改

环境模型

面向对象-消息传递

面向对象 - Scheme 实现

构建 Scheme 解释器

Eval-Apply Loop

Normal Order (Lazy) Evaluation

通用机

寄存器机器

子程序、栈与递归

在寄存器机器中执行

内存管理

Randomized Algorithms

Skip Lists

Twitter

Replication

Transactions

The Trouble with Distributed Systems

Consistency & Consensus

Consistent Hashing and Random Trees (1997)

Dynamic Hash Tables (1988)

LFU Implementation With O(1) Complexity (2010)

Time, Clocks, and the Ordering of Events in a Distributed System (1978)

Dapper, a Large-Scale Distributed Systems Tracing Infrastructure (2010)

Gorilla: A Fast, Scalable, In-Memory Time Series Database (2015)

Anti-patterns & Patterns in Microservice Architecture

Log Structured Merge (LSM) Tree & Usages in KV Stores

Prometheus