分布式技术追踪 2018年第十八期

分布式系统实践

1. Application of TLA+ at PingCAP

https://mp.weixin.qq.com/s/E3OgUxFlxAI5PWJZHzj62w

摘要: 数学真是伟大的, TLA+是Lamport老爷子设计的验证分布式系统正确性的公理性方法, 比如验证paxos/raft算法的正确性等等, 是分布式系统工程师必备的技能之一.

2. 可靠性到底是啥？

https://mp.weixin.qq.com/s/45BhudhTOfeommKCiBP5nA

摘要: 这篇文章可以说是讲解可靠性最好的文章了, 越是基本而关键的概念，越容易误解满天飞。像“可靠性”这种被不断提及的名词，如果仔细分辨就会发现里面充斥着各种似是而非的误解和误用。

资源管理和微服务技术

1. 为什么 kubernetes 天然适合微服务

https://mp.weixin.qq.com/s/L5imIU7pW6RN0VB2XgQ_kw

摘要: 这篇文章总结了为什么k8s最后会胜出成为业界PaaS的标准的.

2. Martin Fowler推荐的一篇微服务落地文章，很有参考价值

https://mp.weixin.qq.com/s/L8ihy58hxJBD3mTdBpAuLg

摘要: Martin Fowler推荐的一篇微服务执行的文章, 文章里提出的建议供大家参考.

区块链技术

1. 使用Go语言编写区块链P2P网络

https://mp.weixin.qq.com/s/pHSull1QSxQWRvGyXSim5g

摘要: 本文介绍了用go p2p库实现区块链中p2p网络的例子, 帮助大家近距离了解区块链技术.

2. 最全！写给技术小白的以太坊完整工作原理和运行机制！

https://mp.weixin.qq.com/s/sDwKRAh6Vd5MqMYkYi4itA

摘要: 非常长的一篇文章, 介绍了以太坊的原理, 大家不需要理解所有细节, 重点把握住原理就可以了.

丰富多彩的计算机世界

1. 阅读开源项目源码的建议姿势

https://mp.weixin.qq.com/s/8Wjeva-4c628pPSZPlcO3w

摘要: 阅读源码也是有一定技巧可寻的, 这篇文章介绍的方法大家可以尝试下.

2. 社交障碍怎么办

https://mp.weixin.qq.com/s/SuwQryv6erI5qf82_wQVTg

摘要: 社交是当今社会必须的, 永远不要当死宅程序员, 在不同的场合做不同的社交方式, 当然前提是必须真诚.