CAP 정리와 PACELC 정리를 기반으로, 전 세계적으로 분산된 금융 거래 시스템을 위한 데이터베이스 솔루션을 설계하십시오. 요구 사항은 다음과 같습니다: 1) 강력한 일관성(Strong Consistency)이 요구되는 결제 서비스, 2) 높은 가용성과 지연 시간 최소화가 중요한 거래 내역 조회 서비스, 3) 샤딩(Sharding) 및 멀티리전(Multi-region) 복제 전략, 4) 이중 지출(Double Spending) 방지를 위한 분산 락(Distributed Lock) 또는 낙관적 동시성 제어(Optimistic Concurrency Control) 메커니즘. 이러한 요구 사항을 충족하는 아키텍처 다이어그램을 텍스트로 설명하고, 장단점을 기술하십시오.