紫电清霜

MIT 6.824 Lab 4 爆肝笔记和心得体会 （凑字数凑字数凑字数凑字数凑字数凑字数凑字数）...

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

Linearizability and Raft 线性一致性（Linearizablity）是一种判断并发系统正确性的标准，其形式化的定义与证明在 TOPLAS 1990 ...

只翻译了一部分，译文如下。 并发进程共享的数据对象被称作“并发对象”。线性一致性（Linearizability）使得我们可以使用抽象数据类型来正确的描述并发对象，它还允许...

Systemd 是 Linux 系统工具，用来启动守护进程，已成为大多数发行版的标配。 过去 Linux 启动一直采用init进程。下面的命令用来启动 apache2 服务...

Pessimistic Lock: Aquire the lock before all RW of records Hold all the locks until tx...

shutdown(fd, SHUT_WR) 触发发送 FIN 报文，而 SHUT_RD 不发送。 shutdown(fd, SHUT_WR) 即单方面关闭写传送，本端 sh...

Hello,大家好，前面给大家讲了HashMap,LinkedList,知道了HashMap为数组+单向链表，LinkedList为双向链表实现的。今天给大家介绍一个(Ha...

网上似乎找不到解释清楚嵌套 namespace 解析规则的官方或非官方文档。 此文章的所有解释性内容都来自从运行结果归纳，而非从源码逻辑演绎。更可靠的做法是阅读 gcc 源...

需要将 mysql 数据导入 hive。先按网上教程安装 sqoop，尝试连接 mysql，程序抛出异常（果然 hadoop 家族所有成员，从安装配置到运行，没一个让人省心...

由于腾讯云上旧版 mysql 5.7 不支持 utf8mb64-ai-ci 排序规则，不得不更新 mysql 版本。然而 ubuntu apt 包管理工具竟然下载不了最新的...