微信开源 PhxSQL：高可用强一致的 MySQL 集群

昨日，微信后台团队宣布其开源了 PhxSQL 项目，并将项目托管到 Github 上. PhxSQL 是一个兼容 MySQL、服务高可用、数据强一致的关系型数据库集群. PhxSQL 以单 Master 多 Slave 方式部署，在集群内超过一半机器存活的情况下，可自身实现自动 Master 切换，且保证数据一致性.

“本文详细描述了PhxSQL的设计与实现. 从MySQL的容灾缺陷开始讲起，接着阐述实现高可用强一致的思路，然后具体分析每个实现环节要注意的要点和解决方案，最后展示了PhxSQL在容灾和性能上的成果. 互联网应用中账号和金融类关键系统要求和强调强一致性及高可用性. 当面临机器损坏、网络分区、主备手工或者自动切换时，传统的MySQL主备难以保证强一致性和高可用性.

今天，2017 微信公开课 PRO 版在广州亚运城拉开了序幕. 微信作为一个工具，以最高效率、最短时间的方法来帮助用户完成任务，在现场，我们甚至于可以看到“扫一扫”的各种场景“想象力”. 而除了张小龙对于小程序的解读、小程序场景案例等之外，我们也格外关注微信在开源方面的卓然成果. 今天，微信终端跨平台组件 Mars 正式宣布开源.

腾讯开源了许多非常有价值的项目，下面我们一起来看看腾讯10大开源项目有哪些. 1、Android 热修复框架 Tinker. Tinker 是微信官方的 Android 热补丁解决方案，它支持动态下发代码、So 库以及资源，让应用能够在不需要重新安装的情况下实现更新. 当然，你也可以使用 Tinker 来更新你的插件.

Google宣布在BSD许可证下开源其键值存储引擎LevelDB. LevelDB C++库可用于多种不同环境，如被浏览器用于存储最近访问的网页缓存，或者被操作系统使用去储存安装的软件包和依赖包清单，或被应用程序用于存储用户设置. Google称，即将发布的新版Chrome浏览器，就包含了基于LevelDB的IndexedDB HTML5 API实现.

几年前我写过一些关于开源的 想法，如今再来看开源，我觉得问题已经不在说教上，而是在趋势上. 倒退十年或更久，那时候程序员相对还比较稀缺，软件闭源开发出来之后别人模仿的成本高，而这些年计算机教育的普及让码农数量变得越来越多，更多人懂编程了，模仿的成本大幅下降. 写软件作为谋生的目的已经在弱化，更多的是为了自己的实际需求，或社区名声：你不开源.

日本筑波大学的全球分布式公共VPN中继服务器软件SoftEther VPN正式在GPLv2许可证下开源，源代码托管在Github、SourceForge和Google Code上. SoftEther VPN是VPN Gate的底层VPN引擎，在开源之后用户将可以编译出自己定制的二进制包. SoftEther VPN提供了一种分布式的免费公共VPN中继服务，服务器由志愿者托管，因此很少能提供长时间的VPN连接，但代理服务器的不断变化也增加了封杀难度.

Facebook 在 Apache 2.0 许可证下 开源了它的目标识别平台 Detectron， 源代码托管在 GitHub 上. Detectron 用 Python 开发，基于 Caffe2 深度学习框架. Facebook 同时公开了超过 70 个预先训练的模型. Detectron 项目始于 2016 年，实现了一系列最新的目标识别算法如 Mask R-CNN，该软件平台在社交巨人的视觉感知系统的进步上扮演了重要角色.

昨天，微信正式发布了4.5版. 在我看来，这个新版本释放出了两个关键的信号，第一个是微信只做底层的平台，具体的应用会开放给第三方来做，第二个是微信公众账号未来的形态，一定不是简单的对话，而是类似app的形态. 首先，我们看到微信把保存公众账号文章这个功能，开放给了“我的印象笔记”. 这是一个非常基础性的功能，微信完全可以自己来做，而且自己做从客户体验角度来讲，也会最方便，但是它把它开放了.

一个移动互联网时代全民都在参与回答的问题. 2012年12月，丁香园CTO、知名互联网评论人冯大辉在推出不久的微信公众平台上创建并运营自己的公众号一段时间之后，说了一句让人印象深刻的话，“对话即服务，对话即搜索”. “微信一定会蚕食搜索引擎的市场……搜索本质上也是服务，天气、旅游、购物、股票……皆可拓展.