• 题目大意

  • 我们已经学会了 N 种不同的游泳技术。对于每种技术 \(i\) ，每秒前进 \(A_{i}\) 米，并消耗 \(B_{i}\) 单位的体力。注意，我们可以 …

• 本文内容主要参考自Implementing Lock-Free Queue一文（以下简称“原论文”）
• 是对实现一个无锁消息队列一文的内容进行补充

• TL；DR

  • 尽管实现一个 …

在对称多处理系统（Symmetric Multiprocessing, SMP）中，一个变量（或内存位置）可以同时存在于多个CPU的缓存行中。为了提供完美的用户级抽象，任何对一个或多 …

• 系统概览

  • Borg是谷歌开发的一种高效的集群管理系统，旨在优化资源利用率和提高系统的可靠性及可用性
    • 隐藏资源管理细节与故障处理，允许用户专注于应用程 …

• TL;DR

  • Autopilot是微软用来自动化运营大规模网络服务的基础架构
  • 其设计核心是Device Manager，一个基于Paxos的强一致性分布式状态机，用来保存整个系统的“实际真相”（ground truth），并且根据整个系统的状态确定下一步的行动 …

引言

并发编程中设计和验证多线程数据结构是一项极大的挑战，即使是实现一个简单的数据结构（见《实现一个无锁消息 …

CAS（Compare-And-Swap）是一种在多线程编程中常用的数据同步方法，它通过比较和交换操作来保证数据的一致性。然而，在SPIN/Promela中没有直接的CAS对应实现。

让我们来看 …

• 基本概念

  • Peer：BitTorrent P2P下载的参与者
  • Leecher：“吸血者”，仍在下载过程中的peer
  • Seeder：做种者，下载完成后还在继续做种的peer
  • Piece：Piece是文件的数据单元。当文件被分享时，它被分割 …

A2B is a “zach-like” programming game, which let you to use a very simple “programming language” to solve different problems for strings.

Personally, I highly recommand this game along with “Shenzhen IO” and “Factorio” as an beginner tutorial for anyone who wants to be a software engineer.

Spoiler Alert

** The …

背景

在一对跨地域的机器（美国<->香港），使用TCP（Cubic拥塞控制算法）通信throughput最高2MB/s，丢包率0.02%。使用UDP通信throughput最高能达到140MB/s。

这是一个非常典型的长肥管道（LFN），并且丢包 …