ProxySQL读写分离需配置两条核心规则：先匹配^SELECT.*FOR UPDATE$路由至主库组（hostgroup_id=1），再匹配^SELECT路由至从库组（hostgroup_id=2），规则顺序与正则精确性至关重要。
ProxySQL 是当前最常用、生产验证充分的 MySQL 读写分离代理层方案。它不依赖应用修改，能自动识别 SELECT 和写语句，并支持事务粘性、主库强制路由、延迟感知等关键能力。但配置不是“开箱即用”，必须手动定义规则、监控状态、处理切换。
如何配置 ProxySQL 的读写分离规则？
核心是两条 mysql_query_rules 记录：一条匹配 SELECT（不含 FOR UPDATE），发往 hostgroup 2（从库组）；另一条匹配所有写操作和 SELECT ... FOR UPDATE，发往 hostgroup 1（主库组）。规则顺序很重要，必须把 SELECT ... FOR UPDATE 放在普通 SELECT 规则之前，否则会被提前匹配。
实操要点：
- 先在
mysql_servers表中插入主库（hostgroup_id = 1）和从库（hostgroup_id = 2），并设weight > 0 - 向
mysql_query_rules插入规则时，rule_id必须递增，且apply = 1才生效 - 匹配
SELECT ... FOR UPDATE的match_pattern推荐用正则：^SELECT.*FOR UPDATE$（注意行首行尾锚点） - 执行
LOAD MYSQL QUERY RULES TO RUNTIME和SAVE MYSQL QUERY RULES TO DISK才真正生效
为什么 SELECT FOR UPDATE 必须走主库？
这是数据一致性硬约束。SELECT ... FOR UPDATE 不仅读数据，还加行锁或间隙锁，而从库默认 read_only = 1，无法获取锁；即使能执行，锁也只在从库本地有效，无法阻塞主库上的并发写，导致幻读或更新丢失。MySQL 会直接报错：Lock wait timeout exceeded; try restarting transaction。
ProxySQL 默认不识别该语法，必须显式配置规则将其路由到主库组。漏配会导致事务失败，且错误发生在执行阶段而非连接阶段，排查成本高。
主从切换后 ProxySQL 能否自动识别新主库？
不能自动识别，除非启用 mysql_replication_host_groups + 监控用户机制。ProxySQL 本身不解析复制拓扑，它只按 mysql_servers.hostgroup_id 转发请求。MHA 或 Orchestrator 切换后，原主库变成从库、原从库变成主库，但 ProxySQL 仍按旧 hostgroup_id 发送流量——结果就是写请求打到只读从库上，报错 ERROR 1290 (HY000): The MySQL server is running with the --read-only option so it cannot execute this statement。
必须做两件事：
- 配置一个拥有
REPLICATION CLIENT权限的监控用户，在mysql_servers表中开启max_replication_lag和comment字段用于标识角色 - 启用
mysql_replication_host_groups表，让 ProxySQL 定期执行SHOW SLAVE STATUS并根据Slave_IO_Running和Slave_SQL_Running自动调整hostgroup_id
从库延迟大时，ProxySQL 能否自动降级读请求？
不能自动降级，但可以配置 max_replication_lag 实现“超阈值拒绝”。在 mysql_servers 表中为每个从库设置该字段（单位秒），ProxySQL 会定期检查其 Seconds_Behind_Master；若超过阈值，就将该从库的 status 设为 OFFLINE_SOFT，后续新连接不再路由过去。注意：已建立的连接不受影响，且该机制不触发主库兜底——它只是剔除延迟节点，不是“把读切回主库”。
业务强一致读仍需主动控制：
- 用注释提示，如
/*+ FORCE_MASTER */ SELECT ...（需 ProxySQL 开启mysql-query_rules.fast_forward） - 或在应用层直连主库连接池，绕过 ProxySQL
真正容易被忽略的是：ProxySQL 的规则匹配基于原始 SQL 文本，不解析语法树。所以带换行、空格、注释的 SELECT 可能因正则未覆盖而误入主库组；复杂子查询或 UNION ALL 场景下，靠正则判断读写类型本身就有边界——这时不如退回到应用层控制更可控。
