本来是写异步编程时提到的IO问题，但是越写越多，越写越杂，加上由于GAP的原因巧妙地错开了计网编程这门专业课，所以干脆新开一篇I/O来介绍这些，也可以作为异步编程的预备篇章。

python由于GIL（全局锁）的存在，不能发挥多核的优势，这点一直饱受诟病。不过在IO密集型的网络编程里，异步处理比同步处理能提升成百上千倍的效率，弥补了python性能方面的短板。

19年底部署了个web应用，20年初发现404了（微笑）为了纪念成功踩雷，于是有了这篇博客。
20年中数据库被黑客攻击，勒索我 0.03 btc（按当日，近两千人民币），于是更新了这篇博客。

相比于C这种需要你手动malloc和free的语言，Python实现了自动内存管理。一般而言，手动内存管理显然容易出问题，比如忘记free导致的内存泄漏，提前free导致的悬空指针。那么自动内存管理的垃圾回收是怎么一回事呢，简单来说：引用计数，标记-清除，分代回收。

结合 MIT-6.824-2018 的 lab2 来简单写下学习raft的笔记。

FSCQ：可以应对crash的文件系统，with a machine-checkable proof (using the Coq proof assistant) 为说明FSCQ的定理，本文介绍了Crash Hoare Logic（CHL），它扩展了传统的Hoare逻辑，包括崩溃条件，恢复过程和用于指定不同抽象级别磁盘状态的逻辑地址空间。

结合 MIT-6.824-2018 的 lab1 来简单写下学习MapReduce的笔记。

goroutine是Go并行设计的核心。goroutine算是协程，它比线程更小，十几个goroutine可能体现在底层就是五六个线程，Go语言内部实现了这些goroutine之间的内存共享。执行goroutine只需极少的栈内存(大概是4~5KB)。goroutine比thread更易用、更高效、更轻便。

Docker 属于 Linux 容器的一种封装，提供简单易用的容器使用接口。它将应用程序与该程序的依赖，打包在一个文件里面。运行这个文件，就会生成一个虚拟容器。程序在这个虚拟容器里运行，就好像在真实的物理机上运行一样。

学习路上总会遇到各种坑，之前一直搞完就算了，总觉得很可惜，就有了记录踩的各种坑的想法……

未完待续（不断填坑）中……