小灰和小白-优快云博客

原创 CSP模型简介（TBC）

在独立的执行单元（进程/协程）之间传递数据，而非直接共享可变状态，从而避免竞态条件和锁的复杂性。CSP（Communicating Sequential Processes）是一种。的并发编程方式，尤其适合需要高并发但希望避免锁复杂性的场景。在 1978 年提出。

2025-07-13 19:33:29 690

原创 Clojure和Golang中的Channel有什么异同（TBC）

均受 CSP（Communicating Sequential Processes）模型启发，用于协程/线程间的通信，但在实现和用法上有显著差异。Clojure（通过。

2025-07-13 19:24:47 554

Datalog 作为 Datomic 的查询语言，具有独特的优势。它基于逻辑编程，允许开发者以一种声明式的方式表达查询意图，而不需要详细描述查询的执行过程。通过 Datalog，开发者可以方便地进行复杂的数据聚合、过滤和关联查询。在一个电商系统中，使用 Datalog 可以轻松查询出某个时间段内特定用户群体的购买偏好和消费金额等信息。以下通过一个电商系统的例子，对比 Datalog 和传统 SQL 的差异，展示 Datalog 的优势。：找出“所有间接关注某个用户的人”（即关注者的关注者）。

2025-07-13 19:04:01 671

原创 Datomic数据库简介(TBC)

（Clojure 语言创始人）设计的。，专为现代应用程序设计，强调。Datomic 的数据模型由。Datomic 是一个由。Datomic 是一个。Datomic 采用。Datomic 使用。

2025-07-12 17:35:48 334

原创 Clojure持久化数据结构的底层实现

Clojure 的持久化数据结构（Persistent Data Structures）在"修改"时会。v1 和 v2 共享未被修改的部分（如索引 0,1,3,4）。（Path Copying）实现，而非完整拷贝数据。：只复制受影响的部分节点，未变部分共享引用。（Structural Sharing）和。，同时高效生成新版本。Clojure 的向量是基于。

2025-07-12 12:02:04 402

原创 Jiraph 简介(TBC)

类型：基于图计算引擎的分布式数据库（非传统图数据库）。设计目标：为大规模图分析（如 PageRank、社交网络）优化，而非 OLTP。

2025-07-06 20:52:50 226

原创 Clojure语法(TBC)

一种Lisp方言（最初只基于JVM构建，现在也有CLR和JS的版本）开源语言（使用Eclipse Public License v 1.0协议）动态类型语言（标识类型是可选操作）函数式语言（但提供了安全的可变状态操作方法）作者： Rich Hickey，2007年10月第一次发布官方网站： http://www.clojure.org/

2025-07-06 20:46:59 411

原创函数式编程FP-Clojure特点分析

可以像普通变量一样被传递、赋值或返回。可以很方便的运用闭包创造出高阶函数。高阶函数(higher-order function)是指满足两条件之一的函数：以函数作为参数，返回函数作为结果。通过将函数作为参数可以动态定制逻辑，更加灵活，提升代码复用性。

2025-06-30 09:20:19 377

原创 COPS论文总结——Lec17

1.论文的标题是‘Don’t Settle for Eventual:Scalable Causal Consistency for Wide-Area Storage with COPS’，可以看出，论文提出了相对于‘最终一致性’更强的**‘因果一致性’的可扩展性**，即Wide-Area存储COPS。2.这篇论文的设计思想其实主要解决的是异地数据中心复制的问题，同时要保证因果一致性PLUS3. 本文介绍一个KV存储系统COPS，其实现了集群级别的“带有收敛冲突处理的因果一致性。

2024-10-05 21:23:32 831