CRASH ERROR 日志中 trace_id 的转化方法

在一部分问题诊断的场景中，需要转换成 OBServer 常见的格式用来追溯最后 core 掉的请求。

CRASH ERROR 日志打印的 trace_id 为 decimal-decimal 的格式，常见的 trace_id 格式（16 进制 - 16 进制）需要转化才能对应起来。可以通过脚本进行转化。

在 observer.log 中，CRASH ERROR 日志打印的 trace_id 为 decimal-decimal 的格式（如：12381316985259-1661503098789162），与日志中常见的 trace_id 格式（16 进制 - 16 进制）不同（如：YB42C00031AB-0005E720D5FF1D2A）。

使用如下脚本，可将该 trace_id 转化为常见格式：

python -c "c='TRACE_ID';print('Y%X'%int(c.split('-')[0])+'-%016X'%int(c.split('-')[1]))"

适用版本

OceanBase 数据库 V2.x、V3.x 版本。