标签： based

发布于

Property-Based Testing（属性测试）：利用Psalm/PHPStan约束生成器验证代码健壮性

Property-Based Testing（属性测试）：利用Psalm/PHPStan约束生成器验证代码健壮性 大家好，今天我们来聊聊Property-Based Testing（属性测试），一种强大的测试方法，可以帮助我们编写更健壮、更可靠的代码。传统的单元测试通常侧重于验证特定输入和输出之间的关系，而属性测试则关注于验证代码的通用属性，即对于一类输入，代码应该满足的某种性质。我们将探讨如何利用Psalm/PHPStan的类型约束来生成测试数据，从而更好地进行属性测试。 1. 属性测试的优势与挑战 传统的单元测试，就像我们精心挑选的案例，覆盖了部分场景，但往往忽略了边界情况和意外输入。属性测试则不同，它试图通过生成大量随机输入，并验证代码的属性是否始终成立，从而发现隐藏的bug。 优势： 更全面的覆盖率： 属性测试能够覆盖更多的输入组合，发现传统单元测试难以发现的边界情况和意外输入。 减少测试用例编写工作： 只需要定义代码的属性，而不是编写大量的具体测试用例。 增强代码的鲁棒性： 通过验证代码在各种输入下的行为，提高代码的健壮性和可靠性。 更清晰的规范： 定义属性的过程，实际上也是 …

继续阅读“Property-Based Testing（属性测试）：利用Psalm/PHPStan约束生成器验证代码健壮性”

发布于

多模态幻觉检测：POPE（Polling-based Object Probing Evaluation）基准测试方法

多模态幻觉检测：POPE (Polling-based Object Probing Evaluation) 基准测试方法 大家好，今天我们来深入探讨一个在多模态大型语言模型（MLLMs）领域日益重要的问题：幻觉。特别是，我们将聚焦于一种名为 POPE (Polling-based Object Probing Evaluation) 的基准测试方法，它专门用于评估 MLLMs 在生成图像描述时是否会产生与图像内容不符的“幻觉”。 1. 引言：多模态幻觉的挑战 多模态大型语言模型，例如能够接收图像作为输入并生成文本描述的模型，正变得越来越强大。然而，这些模型并非完美无缺。一个关键的挑战是它们可能产生“幻觉”，即生成与输入图像内容不符的文本描述。这些幻觉可以表现为多种形式，例如： 对象属性幻觉： 正确识别了图像中的对象，但赋予了它错误的属性（例如，描述红色汽车为蓝色）。 对象存在幻觉： 描述了图像中不存在的对象（例如，描述图像中只有狗，但生成文本中提到猫）。 关系幻觉： 错误地描述了图像中对象之间的关系（例如，描述狗在猫后面，但实际上猫在狗后面）。 这些幻觉的存在严重影响了 MLLMs …

继续阅读“多模态幻觉检测：POPE（Polling-based Object Probing Evaluation）基准测试方法”

发布于

LLM-based OS：将上下文窗口作为RAM、工具调用作为IO的操作系统架构隐喻

LLM-based OS：将上下文窗口作为RAM、工具调用作为IO的操作系统架构隐喻 各位同学，大家好。今天我们来探讨一个非常有趣且具有潜力的方向：如何将大型语言模型（LLM）作为操作系统（OS）的核心，构建一个全新的计算架构。我们将把LLM的上下文窗口比作RAM，工具调用比作IO操作，以此来理解这种架构的运作模式。 操作系统架构的传统视角 在深入LLM-based OS之前，我们先简单回顾一下传统操作系统的核心概念： 内核（Kernel）： 操作系统的核心，负责资源管理、进程调度、内存管理、设备驱动等关键功能。 内存（RAM）： 用于存储正在运行的程序和数据，CPU可以直接访问。 IO（Input/Output）： 负责与外部设备进行数据交互，例如硬盘、键盘、网络等。 进程（Process）： 正在运行的程序的实例，操作系统负责管理和调度多个进程。 传统操作系统通过复杂的机制来管理这些资源，确保系统的稳定性和效率。 LLM作为OS：一种新兴的架构视角 现在，让我们设想一种不同的架构： LLM（大型语言模型）： 作为系统的核心，取代传统内核的角色，负责决策、推理、任务调度等。 上下文窗 …

继续阅读“LLM-based OS：将上下文窗口作为RAM、工具调用作为IO的操作系统架构隐喻”

发布于

Java应用中的基于内容的路由（Content-Based Routing）实现与性能优化

Java应用中的基于内容的路由（Content-Based Routing）实现与性能优化 大家好，今天我们要深入探讨Java应用中基于内容的路由（Content-Based Routing，简称CBR）的实现和性能优化。在微服务架构日益普及的今天，CBR作为一种关键的路由策略，能够根据消息的内容动态地将消息路由到不同的服务实例，从而实现更细粒度的服务治理和更高效的资源利用。 1. 什么是基于内容的路由？ 传统的路由策略，例如基于URL的路由，通常依赖于请求的元数据进行决策。而CBR则更进一步，它会检查消息的实际内容（例如，JSON、XML、文本等），并根据内容中特定的属性或值来决定消息应该被路由到哪个服务实例。 CBR的核心优势在于其灵活性。它可以根据业务逻辑的细微变化动态调整路由规则，而无需修改底层的网络配置或服务注册中心。例如，一个电商应用可以根据订单金额、商品类别、用户地理位置等信息，将订单路由到不同的订单处理服务实例。 2. CBR的应用场景 CBR在各种场景下都有广泛的应用，以下列举几个常见的例子： A/B测试： 根据用户ID或请求头中的特定参数，将一部分用户导向新的服务版 …

继续阅读“Java应用中的基于内容的路由（Content-Based Routing）实现与性能优化”

发布于

MySQL的GTID与故障转移：如何实现自动化的GTID-based failover？

MySQL GTID与自动化故障转移：深入解析与实践 大家好，今天我们来深入探讨MySQL的GTID（Global Transaction Identifier）及其在自动化故障转移中的应用。GTID从MySQL 5.6开始引入，极大地简化了复制拓扑的管理，并为实现更可靠的自动化故障转移提供了基础。 1. GTID简介及其优势 在传统的MySQL复制中，我们依赖于二进制日志文件（binlog）的位置（文件名和偏移量）来标识复制的进度。这种方式容易出错，尤其是在复杂拓扑结构中，例如多级复制或者切换主库时。 GTID的出现改变了这一切。GTID是一个全局唯一的事务标识符，它由server_uuid和事务序列号组成，格式为：server_uuid:transaction_id。 GTID的优势： 简化复制配置： 无需手动管理binlog文件名和偏移量，slave可以自动找到正确的复制起点。 故障转移更加容易： 切换主库后，新的slave可以根据GTID自动加入复制，无需人工干预。 数据一致性更好： GTID保证了每个事务只被执行一次，避免了重复执行导致的数据不一致。 易于监控和管理： 可以方 …

继续阅读“MySQL的GTID与故障转移：如何实现自动化的GTID-based failover？”

发布于

MySQL的GTID与故障转移：如何实现自动化的GTID-based failover？

MySQL GTID与故障转移：打造自动化的GTID-based Failover方案 大家好，今天我们来深入探讨MySQL的GTID（Global Transaction Identifier）及其在故障转移中的应用。我们将重点关注如何利用GTID实现自动化的故障转移，从而最大限度地减少停机时间，保障业务的连续性。 一、GTID概述：全局事务标识符 GTID是MySQL 5.6版本引入的一个重要特性，它为数据库集群中的每个事务分配一个全局唯一的标识符。这个标识符贯穿整个集群，使得我们可以精确地跟踪和复制事务，从而简化复制拓扑的管理和故障恢复过程。 GTID的格式: GTID由两部分组成： source_id: 创建事务的服务器的UUID。 transaction_id: 在该服务器上创建的事务的序列号。 例如：3E11FA47-71CA-11E1-9E33-C80AA9429562:1-10 表示UUID为3E11FA47-71CA-11E1-9E33-C80AA9429562的服务器上，从事务序列号1到10的事务。 GTID的优势: 简化复制配置: 不再需要维护binlog文件名和 …

继续阅读“MySQL的GTID与故障转移：如何实现自动化的GTID-based failover？”

发布于

MySQL的GTID与故障转移：如何实现自动化的GTID-based failover，并处理多主架构下的复制问题？

MySQL GTID与故障转移：自动化方案与多主复制挑战 大家好！今天我们来深入探讨MySQL的GTID（Global Transaction Identifier）在故障转移中的应用，以及如何在多主架构下处理复制问题。GTID为MySQL复制带来了诸多便利，但要构建一个健壮的、自动化的GTID-based failover方案，并应对多主架构的复杂性，需要深入理解其原理并掌握相关技术。 1. GTID基础回顾 在深入故障转移之前，我们先快速回顾一下GTID的核心概念。 唯一性： 每个事务都有唯一的GTID标识，由server_uuid和事务序列号组成。 全局性： GTID在整个复制拓扑中都是唯一的。 持久性： GTID被写入binlog，并持久化存储。 自动定位： Slave可以通过GTID自动定位复制的起始位置，无需手动指定binlog文件和位置。 GTID格式如下：server_uuid:transaction_id，例如：3E11FA47-71CA-11E1-9E33-C80AA9429562:1234 要启用GTID，需要在MySQL配置文件（my.cnf/my.ini）中进 …

继续阅读“MySQL的GTID与故障转移：如何实现自动化的GTID-based failover，并处理多主架构下的复制问题？”

发布于

MySQL的GTID与故障转移：如何实现自动化的GTID-based failover？

MySQL GTID 与故障转移：自动化 GTID-based Failover 实现 大家好，今天我们来深入探讨 MySQL 中基于 GTID 的故障转移，以及如何实现自动化。GTID (Global Transaction Identifier) 是 MySQL 5.6 引入的一项重要特性，它为数据库中的每一个事务提供了一个全局唯一的标识符，极大地简化了主从复制的管理，并为自动化故障转移提供了坚实的基础。 1. GTID 基础 1.1 什么是 GTID？ 在传统的主从复制中，我们依赖于二进制日志的文件名和位置来标识事务。这种方式容易出错，尤其是在主库发生故障时，需要手动查找正确的日志位置，并配置新的主库。GTID 则通过为每个事务分配一个全局唯一的 ID，消除了对二进制日志位置的依赖。 一个 GTID 由两部分组成： server_uuid: 产生事务的服务器的 UUID。 transaction_id: 在该服务器上产生的事务的序列号。 例如： 3E11FA47-71CA-11E1-9E33-C80AA9429562:1 1.2 GTID 的优势 简化复制配置： 无需手动指定二进 …

继续阅读“MySQL的GTID与故障转移：如何实现自动化的GTID-based failover？”

发布于

MySQL优化器与执行计划之：`MySQL`的`成本模型`：`Cost-Based Optimizer`如何评估`SQL`语句的执行开销。

好的，下面是一篇关于MySQL成本模型，以及Cost-Based Optimizer如何评估SQL语句执行开销的技术文章，以讲座模式呈现。 MySQL优化器与执行计划：深入理解成本模型 大家好，今天我们来聊聊MySQL优化器的核心部分：成本模型。理解成本模型，才能更好地理解MySQL如何选择最优的执行计划。 什么是成本模型？ 简单来说，成本模型是优化器用来估算不同执行计划开销的一种方法。优化器会根据成本模型，对可能的执行计划进行评估，选择成本最低的那个执行计划来执行SQL语句。这里的“成本”可以理解为执行时间、I/O操作次数、CPU占用率等资源的消耗。 为什么需要成本模型？ 对于复杂的SQL语句，可能有多种执行方式，例如不同的索引选择、不同的表连接顺序等。如果没有一个评估标准，优化器就无法做出最佳选择。成本模型就是这个评估标准，它使得优化器能够量化不同执行计划的优劣。 Cost-Based Optimizer (CBO) MySQL使用Cost-Based Optimizer (CBO)来选择执行计划。CBO依赖于成本模型来评估每个可能的执行计划，并选择成本最低的那个。CBO的主要步骤 …

继续阅读“MySQL优化器与执行计划之：`MySQL`的`成本模型`：`Cost-Based Optimizer`如何评估`SQL`语句的执行开销。”

发布于

Python高级技术之：`Python`的`property-based testing`：`Hypothesis`库的实践。

各位观众老爷，晚上好！我是你们的老朋友，今天要跟大家聊聊一个听起来高大上，用起来贼爽的Python高级技术：Property-based testing，以及它的明星实现——Hypothesis库。 一、 啥是Property-based testing？为啥要用它？ 传统的单元测试，我们都是手搓一些特定的输入，然后断言输出是否符合预期。这种方式对于简单逻辑还行，但面对复杂场景，很容易挂一漏万。想象一下，你要测试一个函数，它接收一个整数列表作为输入，然后返回一个排序后的列表。你要测试多少种情况？空列表、只有一个元素的列表、已经排序好的列表、倒序的列表、包含重复元素的列表… 简直没完没了！ Property-based testing (PBT) 就牛逼了。它不是让你写具体的测试用例，而是让你描述输入数据的性质(property)，以及输出结果应该满足的性质(property)。然后，PBT框架（比如Hypothesis）会自动生成大量的、满足你定义的性质的随机输入，用这些输入去测试你的代码，并检查输出是否满足你定义的性质。如果发现问题，它还会自动缩小问题范围，找到导致bug的最小测试用 …

继续阅读“Python高级技术之：`Python`的`property-based testing`：`Hypothesis`库的实践。”