使用单机内存作缓存，Redis 维护版本号，解决 DB 缓存一致性问题。附带 TLA+ 形式化验证代码

随着互联网的普及，内容信息越来越复杂，用户数和访问量越来越大，我们的应用需要支撑更多的并发量，同时我们的应用服务器和数据库服务器所做的计算也越来越多。

前言 对于一些并发较高，且读多写少的场景，为了提高性能，降低DB压力，大家肯定会想到缓存，这也是我们最常见的提高并发能力的手段；还有就是DB的读写分离，将一些对实时性没有这么高的请求，分流到从库，降低

每到节假日期间,一二线城市返乡、外出游玩的人们几乎都面临着一个问题：抢火车票!虽然现在大多数情况下都能订到票,但是放票瞬间即无票的场景，相信大家都深有体会。尤其是春节期间，大家不仅使用12306，还会考虑“智行”和其他的抢票软件,全国上下几亿人在这段时间都在抢票。“12306服…

大家好，我是小富～ 说在前边 今天是《分库分表 ShardingSphere 原理与实战》系列的开篇文章，之前写过几篇关于分库分表的文章反响都还不错，到现在公众号:程序员小富后台不断的有人留言、咨询分

本文主要记录了笔者在学习Golang和FFmpeg交互过程中的学习内容和心得体会，各位读者如果觉得有帮助也可以参考。

本文为 CloudWeGo 源码解读第二期第二场直播分享内容，内容主要是介绍 HTTP 框架实践，分为“环境配置 & 工具介绍、IDL 的介绍、Hz 运行模式以及Demo 实践”四个部分。

泛化调用实现方式及原理，各种实现方案的优缺点，并分享了泛化调用在转转的实践。有助于RPC框架使用方理解泛化调用，更好地使用泛化调用；对于有自研RPC框架需求的开发者在选择泛化调用实现方案上有一定参考

无论你是大前端，亦或是Java、Go、Python、C/C++，只要是一个合格的开发者，对于MySQL相信都不陌生，但如若你仅停留在表面的CRUD，在这里你可以打开MySQL的进阶之旅！