百度360必应搜狗淘宝本站头条
当前位置:网站首页 > 技术文章 > 正文

如何“暴力破解”Oracle性能优化的极端问题(附精彩案例解读)

ccwgpt 2024-11-27 12:19 31 浏览 0 评论

云和恩墨大咖系列报道

2019数据技术嘉年华于11月16日在京落下了帷幕。大会历时两天,来自全国各地上千名学术精英、数据库领袖人物、数据库专家、技术爱好者在这里汇聚一堂,围绕“开源 ? 智能 ? 云数据 - 自主驱动发展 创新引领未来”的大会主题,共享"开源自研,云和数据,智能运维,智能业务,数据前沿,用户实践"六大主题盛宴。

近期,小编为大家精心准备了“2019数据技术嘉年华——云和恩墨大咖系列”分享。在此次嘉年华大会上,云和恩墨专家聚焦行业热点,分析典型案例,探索数据价值,共论智能未来。

让我们跟随云和恩墨专家团一同回顾嘉年华的精彩瞬间,领略他们眼中的数据之美吧~



本期,我们请到云和恩墨性能优化专家 罗海雄 先生,罗老师是一名 Oracle ACE-A,还是ITPUB论坛数据库管理版版主,2012 ITPUB全国SQL大赛冠军得主;资深的架构师和性能优化专家,对 SQL 优化和理解尤其深入;作为业内知名的技术传播者之一,经常出席各类技术分享活动;从开发到性能管理,有着超过10年的企业级系统设计和优化经验;曾服务于甲骨文公司,组织和主讲过多次《甲骨文技术开发人员日》和《Oracle圆桌会议》,在任职甲骨文公司之前,还曾经服务于大型制造企业中芯国际,具备丰富的制造行业系统架构经验。


本次嘉年华他带来题为:Oracle性能优化之暴力破解 主题分享。下面,让我们跟随罗老师的文字,一同回顾属于他的嘉年华精彩瞬间。



在网上曾经有一位前Oracle公司员工描述过:Oracle 数据库 12.2,它有近 2500 万行 C 代码。


这有多恐怖,简直难以想象!你无法在不破坏成千上万个现有测试的情况下更改产品中的单行代码。好几代程序员在有限的项目期限内编写了这些代码,其中充斥着大量的垃圾代码。


非常复杂的逻辑、内存管理、上下文切换等,这些都用数千个 flag 连接起来。整个代码充斥着神秘的宏命令,如果不拿出笔记本,并且手动去展开相关的宏命令,就无法理清楚这些命令。甚至可能需要一两天才能真正理解某个宏命令的作用。


有时你需要理顺 20 个不同 flag 的值和效果来预测代码在不同情况下的行为方式,有时多达数百个 flag !这一点也不夸张。


这个产品仍然存活并且仍然可用的唯一原因是数百万次的测试!


看起来确实很恐怖,但这正是Oracle设计缜密的地方。Oracle在代码中埋入了很多性能探针,还添加了很多可选择的代码旁路开关。


性能探针给了使用者很多的有用信息,对于数据库的优化和诊断来说,可以获益不少。而各种代码执行的旁路开关,也可以让使用者在特定的情况下,选择合适自己环境的路径。

在Oracle 10.2 之后,Oracle对很多bug fix添加了旁路开关,允许通过设置初始化参数或者会话级参数,跳过或启用某个bug fix引入的代码逻辑。


这个参数就是 “_fix_control”。


它就是一个旁路开关。下面,我简单介绍下使用方法:


在会话中不启用某个bug的fix:

Alter session set “_fix_control”=“bugno:off”;
Alter session set “_fix_control”=“bugno:0”;


在会话中启用某个bug的fix:

Alter session set “_fix_control”=“bugno:on”;
Alter session set “_fix_control”=“bugno:1”;


在会话中指定多个_fix_control参数:

Alter session set “_fix_control”=“bug1:0”,”bug2:1”…,”bugn:off;


当然,把alter session改为alter system就变成系统级生效了。

正常情况下,我们都是已知一个bug, 然后通过控制这个bug的fix_control参数来关闭或启用。但有时候,我们在不知道哪个bug影响了系统时,也可以通过“暴力破解”的方式来发现具体的bug。


下面从一个性能故障案例来说明如何进行“暴力破解”。

某客户系统突然CPU飙升,大量活动会话积压

大量以前毫秒级的SQL, 突然变成平均执行3-5秒

SQL并不复杂:

select count(distinct(t1.company)) from V_xxxx_USER t1, V_xxxx_APPLY t2 
where t1.id = t2.id and t1.cert_no = :1 
and t2.insert_time > sysdate – 90


其中有两个视图:

V_xxxx_USER:

select ID,... from c_xxx_user
union all
select b.app_no ID,... from xxxx_p_info b, xxxx_info xxxx_info
where b.app_no = e1.app_no and b.app_no = e2.app_no


视图中的2个表,都有很好选择度的索引:

c_xxx_user: cert_no
xxxx_p_info: cert_no

V_xxxx_APPLY:

select ID,... from C_xxxx_APPLY
union all
 select a.app_no ID, ... from xxxx_MAIN
C_xxxx_APPLY: id


视图中的2个表,也都有很好选择度的索引:

xxxx_MAIN: id

C_xxxx_APPLY: id

看看执行计划,出现3个新的执行计划,性能非常差,而好的执行计划单次仅为0.7ms:


细看执行计划,好的执行计划cost 372:


差的3个执行计划,cost都是286k:


好和差的执行计划最大的区别是,好的走了UNION ALL PUSHED PREDICATE。



而差的执行计划没走UNION ALL PUSHED PREDICATE,也就导致没有用上视图里两个表的id索引,走了其他索引或者干脆全表扫,因此性能变得非常差。

尝试 SQL Profile 和 SPM进行绑定:

DECLARE
clsql_text CLOB;
BEGIN
SELECT sql_fulltext INTO clsql_text FROM v$sqlarea WHERE sql_id = ‘&SQL_ID’; DBMS_SQLTUNE.IMPORT_SQL_PROFILE( sql_text => clsql_text, profile => sqlprof_attr(….),
name => 'PROFILE_&SQL_ID', force_match => TRUE );
END;
/


但都无法稳定生效,时而复发。


优化器选择执行计划的基本原则是选COST低的执行计划。而异变/异常的通常现象是执行计划评估cost错误,导致差的执行计划COST比好的执行计划低。显然,这次的问题,没有选择cost低的执行计划。

这时候,开始怀疑是某个优化器参数或者某个bug fix导致的问题,于是开始考虑尝试测试一些优化器参数或者_fix_control参数。


由于一开始不清楚是哪个优化器参数或者_fix_control参数,手动逐个测试显然太慢,只能考虑用自动代码来遍历。

所以,思路就是:

1. 遍历优化器相关参数+遍历_fix_control参数

2. 修改改参数

3. 检查问题有没解决


显然,由于单次执行很慢,直接通过执行SQL的方式来检查,耗时太大,不可行。考虑到问题的关键是执行计划中没有用到UNION ALL PUSHED PREDICATE,可以通过仅仅生成执行计划,并检查执行计划中是否存在UNION ALL PUSHED PREDICATE步骤的方式来判断。

优化器相关参数的来源有3个:

v$sys_optimizer_env或者v$sess_optimizer_env

x$ksppi+x$ksppcv (v$parameter的基表)

10053 trace里的内容

......


_fix_control参数来源:

v$system_fix_control或者 v$session_fix_control;

示例代码:

Declare
Target_value number;
begin
For bugs in (select * from v$session_fix_control
where sid = (select sid from v$mystat where rownum=1)
) loop
If(bugs.value=1 ) then
Target_value :=0;
Else
Target_value:=1;
End if;
// fix_control
execute immediate 'alter session set "_fix_control"='‘’||bugs.bugno||':’||target_value||''‘’;
Execute immediate ‘explain plan set statement_id = ‘|| bug.bugno ||‘ for
… <有问题的SQL> …’;
 execute immediate 'alter session set "_fix_control"='‘’||bugs.bugno||':’||bugs.value||''‘’;
end Loop;
For para in (select name,value,decode(value,’TRUE’,’FALSE’,’FALSE’,’TRUE’) target_value
from …
where value in (’TRUE’,’FALSE’)
) loop
//优化器参数
execute immediate 'alter session set "'|| para.name||'"=‘||para.target_value;
… --探测
execute immediate 'alter session set "'|| para.name||'"=‘||para.value;
…


然后,检查哪个fix_control或者初始化参数能解决问题:

Select statement_id from plan_table
Where operation = ‘UNION ALL PUSHED PREDICATE’;


最终发现是BUG 4127058 导致。


这就是我想要与大家进行分享的,谢谢!


相关推荐

一个基于.Net Core遵循Clean Architecture原则开源架构

今天给大家推荐一个遵循CleanArchitecture原则开源架构。项目简介这是基于Asp.netCore6开发的,遵循CleanArchitecture原则,可以高效、快速地构建基于Ra...

AI写代码翻车无数次,我发现只要提前做好这3步,bug立减80%

写十万行全是bug之后终于找到方法了开发"提示词管理助手"新版本那会儿,我差点被bug整崩溃。刚开始两周,全靠AI改代码架构,结果十万行程序漏洞百出。本来以为AI说没问题就稳了,结果...

OneCode低代码平台的事件驱动设计:架构解析与实践

引言:低代码平台的事件驱动范式在现代软件开发中,事件驱动架构(EDA)已成为构建灵活、松耦合系统的核心范式。OneCode低代码平台通过创新性的注解驱动设计,将事件驱动理念深度融入平台架构,实现了业务...

国内大厂AI插件评测:根据UI图生成Vue前端代码

在IDEA中安装大厂的AI插件,打开ruoyi增强项目:yudao-ui-admin-vue31.CodeBuddy插件登录腾讯的CodeBuddy后,大模型选择deepseek-v3,输入提示语:...

AI+低代码技术揭秘(二):核心架构

本文档介绍了为VTJ低代码平台提供支持的基本架构组件,包括Engine编排层、Provider服务系统、数据模型和代码生成管道。有关UI组件库和widget系统的信息,请参阅UI...

GitDiagram用AI把代码库变成可视化架构图

这是一个名为gitdiagram的开源工具,可将GitHub仓库实时转换为交互式架构图,帮助开发者快速理解代码结构。核心功能一键可视化:替换GitHubURL中的"hub...

30天自制操作系统:第六天:代码架构整理与中断处理

1.拆开bootpack.c文件。根据设计模式将对应的功能封装成独立的文件。2.初始化pic:pic(可编程中断控制器):在设计上,cpu单独只能处理一个中断。而pic是将8个中断信号集合成一个中断...

AI写代码越帮越忙?2025年研究揭露惊人真相

近年来,AI工具如雨后春笋般涌现,许多人开始幻想程序员的未来就是“对着AI说几句话”,就能轻松写出完美的代码。然而,2025年的一项最新研究却颠覆了这一期待,揭示了一个令人意外的结果。研究邀请了16位...

一键理解开源项目:两个自动生成GitHub代码架构图与说明书工具

一、GitDiagram可以一键生成github代码仓库的架构图如果想要可视化github开源项目:https://github.com/luler/reflex_ai_fast,也可以直接把域名替换...

5分钟掌握 c# 网络通讯架构及代码示例

以下是C#网络通讯架构的核心要点及代码示例,按协议类型分类整理:一、TCP协议(可靠连接)1.同步通信//服务器端usingSystem.Net.Sockets;usingTcpListene...

从复杂到优雅:用建造者和责任链重塑代码架构

引用设计模式是软件开发中的重要工具,它为解决常见问题提供了标准化的解决方案,提高了代码的可维护性和可扩展性,提升了开发效率,促进了团队协作,提高了软件质量,并帮助开发者更好地适应需求变化。通过学习和应...

低代码开发当道,我还需要学习LangChain这些框架吗?| IT杂谈

专注LLM深度应用,关注我不迷路前两天有位兄弟问了个问题:当然我很能理解这位朋友的担忧:期望效率最大化,时间用在刀刃上,“不要重新发明轮子”嘛。铺天盖地的AI信息轰炸与概念炒作,很容易让人浮躁与迷茫。...

框架设计并不是简单粗暴地写代码,而是要先弄清逻辑

3.框架设计3.框架设计本节我们要开发一个UI框架,底层以白鹭引擎为例。框架设计的第一步并不是直接撸代码,而是先想清楚设计思想,抽象。一个一个的UI窗口是独立的吗?不是的,...

大佬用 Avalonia 框架开发的 C# 代码 IDE

AvalonStudioAvalonStudio是一个开源的跨平台的开发编辑器(IDE),AvalonStudio的目标是成为一个功能齐全,并且可以让开发者快速使用的IDE,提高开发的生产力。A...

轻量级框架Lagent 仅需20行代码即可构建自己的智能代理

站长之家(ChinaZ.com)8月30日消息:Lagent是一个专注于基于LLM模型的代理开发的轻量级框架。它的设计旨在简化和提高这种模型下代理的开发效率。LLM模型是一种强大的工具,可以...

取消回复欢迎 发表评论: