THE JOURNAL

最近更新.

课程笔记、研究记录与日常思考。

计算理论

Sets, Relations and Languages

集合与函数、二元关系、可数性、三种证明方法、闭包、字符串与语言,以及语言的有限表示与正则表达式

计算机网络

Introduction

计算机网络的用途与分类、网络硬件、互联网与无线网络、协议分层与服务、OSI 参考模型及物理层简介

数据库系统

Recovery System

Failure Classification, Storage Structure, Log-Based Recovery, Checkpointing, Buffer Management, Remote Backup, Logical Undo, ARIES

面向对象程序设计

Miscellaneous Topics

Named casts、multiple inheritance、virtual base class、namespace、final exam scope

数据库系统

Concurrency Control

Lock-Based Protocols, Deadlock Handling, Multiple Granularity, Phantom Phenomenon, Timestamp-Based Protocols, Validation-Based Protocols, Multiversion Schemes, Snapshot Isolation

面向对象程序设计

Smart Pointers

unique_ptr、shared_ptr、weak_ptr、reference counting、UCPointer、copy-on-write、循环引用

Lazysheep