热门标签：
Mac 多显示器 显示器扩展 requests patch 并发 Alpine Linux BSD Linux 电动汽车 全部标签

Jepsen：Bufstream 0.1.0 测试报告

2024-11-12

Jepsen 对 Bufstream 0.1.0 进行了测试，发现了三个安全问题和两个活性问题，包括消费者和生产者卡死、虚假零偏移量以及健康集群中已确认写入的丢失。这些问题已在 0.1.3 版本中得到解决。报告还描述了与 Kafka 相关的四个问题，包括缺乏关于事务语义的权威文档、官方 Java 客户端中的死锁，以及由于 Kafka 事务协议中缺少消息排序约束而导致的写入丢失、中止读取和事务中断。这些问题会影响 Kafka、Bufstream 和其他 Kafka 兼容系统，并且仍未解决。

阅读更多
(jepsen.io)
13
未分类 Bufstream

Jepsen：Datomic Pro 1.0.7075 测试报告

2024-05-15

Jepsen 对 Datomic Pro 1.0.7075 进行了测试，发现其事务间安全性比声称的更强，不仅每个历史记录都是可序列化的，而且绑定到单个节点的会话也表现出强会话可序列化性。然而，在事务内部，Datomic 的行为表现得好像操作是并发执行的，这可能违反三种最广泛接受的可序列化性形式化定义。测试中还发现，Datomic 的事务函数在并发执行时可能导致数据不一致，违反预期的不变性。

阅读更多
(jepsen.io)
67
未分类 Datomic 事务