多选题
OceanBase主要通过以下哪些技术实现分布式跨机事务?
A、Paxos 协议
B、全局时间戳服务
C、两阶段提交
D、本地时间戳服务

有没有相关介绍的文档？