在传统的 C++ 中，运行时多态 通常依赖于 “接口 - 虚函数” 机制，通过抽象类、具体类与对象的设计来实现。这种多态方式通常被称 …

std::variant 与 std::visit

std::variant

std::variant 是 C++17 引入的类型安全的联合体（type-safe union），可以在多个预定义类型中存储任意一个值。与传统的 union 不同 …

在这篇文章中，我们将深入讨论 C++ 中的常量表达式（constexpr）及其与传统的const常量的区别，并结合实际代码示例进行说明。同时，我 …

缓存一致性与内存一致性

缓存一致性和内存一致性是多处理器系统中的两个不同概念，它们解决的是不同类型的内存 …

• 题目大意

  • 我们已经学会了 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），并且根据整个系统的状态确定下一步的行动 …

引言

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