poemyang - 博客园

2025年9月27日

揭秘JUC：volatile与CAS，并发编程的两大基石

摘要： JUC（java.util.concurrent）并发包，作为Java语言并发编程的利器，由并发编程领域的泰斗道格·利（Doug Lea）精心打造。它提供了一系列高效、线程安全的工具类、接口及原子类，极大地简化了并发编程的开发流程与管理复杂度。 JUC并发包与happens-before、内存语义的阅读全文

posted @ 2025-09-27 11:28 poemyang 阅读(210) 评论(0) 推荐(1)

2025年9月25日

从MESA模型到锁升级：synchronized性能逆袭的底层逻辑

摘要：管程（Monitor）是一种用于管理共享资源访问的程序结构，能确保同一时刻只有一个线程访问共享资源，解决并发编程中的互斥和同步问题。MESA模型是管程的经典实现，主要由入口等待队列和条件变量等待队列构成。 1）入口等待队列‌：确保线程互斥，多个线程试图进入管程时，仅一个线程能成功，其余线程在入口等待阅读全文

posted @ 2025-09-25 10:34 poemyang 阅读(114) 评论(1) 推荐(0)

2025年9月24日

一把锁的两种承诺：synchronized如何同时保证互斥与内存可见性？

摘要：在多线程环境中，‌临界区（Critical Section）是指一次只能由一个线程执行的代码段，这些代码通常涉及对共享资源（如变量、数据结构、文件或数据库连接）的访问或修改。临界区的存在是为了解决并发控制中的两大核心问题。 ‌ 1）数据不一致性‌：如果多个线程同时对共享资源进行写操作，可能会破坏数据阅读全文

posted @ 2025-09-24 10:14 poemyang 阅读(215) 评论(0) 推荐(0)

2025年9月23日

从混沌到秩序：Java共享内存模型如何通过显式约束驯服并发？

摘要：并发编程的本质，是在看似混沌的并行执行中建立秩序，确保程序的确定性。为达此目的，并发原语应运而生，它们是构筑一切并发系统的基石。其核心使命在于，通过定义一套明确的交互范式，消除因资源共享而引发的竞态条件（Race Condition），从而驯服并发世界的不确定性。从Java的显式锁（synchro 阅读全文

posted @ 2025-09-23 10:14 poemyang 阅读(36) 评论(0) 推荐(0)

2025年9月20日

绯闻女孩不只会八卦：从“验明正身”到“抓内鬼”，Gossip的进阶玩法

摘要：默克尔树默克尔树（Merkle Tree）是由计算机科学家Ralph Merkle多年前提出，并以他本人的名字来命名，也叫哈希树。默克尔树是一种树形数据结构，通常是二叉树，其中每个叶子节点是数据块的哈希值，而每个非叶子节点是其所有子节点哈希值的哈希。树根的哈希值（Merkle Root）代表了整个阅读全文

posted @ 2025-09-20 02:08 poemyang 阅读(67) 评论(0) 推荐(0)

2025年9月19日

技术圈的“绯闻女孩”：Gossip是如何把八卦秘密传遍全网的？

摘要： Gossip协议，中文可译为“流言蜚语”“闲话”或“八卦”，形象地描述了该协议的工作方式——类似于人类社会中的信息传播模式。Gossip协议最早由Xerox公司的Palo Alto研究中心（PARC）在一篇论文中提出，论文中将其称为八卦算法或病毒算法（Epidemic Algorithm），但最终“ 阅读全文

posted @ 2025-09-19 09:59 poemyang 阅读(294) 评论(0) 推荐(0)

2025年9月18日

系统里数据又“打架”了？让“少数服从多数”来终结这场混乱！

摘要： Quorum（法定人数/多数派）机制由David K. Gifford于1979年提出，是分布式系统中用于在副本间实现不同级别数据一致性与可用性的核心方法。其设计思想借鉴了数学中的鸽巢原理（Pigeonhole Principle）：若将 N+1个物体放入 N 个鸽巢，则至少有一个鸽巢包含两个或更多阅读全文

posted @ 2025-09-18 07:20 poemyang 阅读(69) 评论(0) 推荐(0)

2025年9月15日

“鸡蛋不能放一个篮子里”，如何确保千亿数据万无一失？

摘要：副本机制（Replication），是指分布式系统在多个节点间保存有相同数据的冗余，即副本（Replica/copy）。当出现某一个节点的数据丢失时，可以从副本上读取到数据。数据副本是分布式系统中解决数据丢失问题的唯一手段。合适的做法并非以机器作为副本单位，而是将数据划分为合理的数据段，以数据段为阅读全文

posted @ 2025-09-15 08:22 poemyang 阅读(405) 评论(0) 推荐(0)

2025年9月12日

“凭什么说你比我先？”——没有上帝时钟，如何判断“谁先谁后”？

摘要：物理时钟在分布式系统中难以完美同步，导致无法仅凭物理时间戳来精确判断事件的因果顺序。逻辑时钟为此而生。兰伯特逻辑时钟兰伯特逻辑时钟（Lamport Logical Clock）为系统中的每个事件分配一个单调递增的数字（时间戳），用于捕捉事件间的偏序关系（Happened-Before Relat 阅读全文

posted @ 2025-09-12 11:57 poemyang 阅读(550) 评论(0) 推荐(1)

2025年9月9日

“你还活着吗？” “我没死，只是网卡了！”——来自分布式世界的“生死契约”

摘要：租约（Lease）机制是分布式系统中一种至关重要的协调工具，广泛应用于节点状态判定、领导者选举、分布式锁、资源管理等场景。其核心思想是通过一个带有时间限制的授权（Time-bounded Promise）来确保在不确定环境下的行为一致性和系统可靠性。 Lease机制的运行逻辑主要包括以下要点。阅读全文

posted @ 2025-09-09 18:30 poemyang 阅读(433) 评论(0) 推荐(1)