哥德尔不完全定理——任何无矛盾的公理体系，必然存在用公理不能判定真假的命题
Hosts 《域名，IP》 加快解析／部分屏蔽
守护进程 系统引导时开启的服务
Pipeline & hazards
Structural: Use a resource in two different locations
Data(lock): One instruction/operation/transaction depend on another
Control: Instruction redirects/ change what it's doing
argument 形参；parameter 实参
(download)POP vs. IMAP
后者提供网络&客户端间的双向通信；更稳定
HTTP:80＋TLS＝HTTPS:443