秒間100万リクエストを処理するグローバルなECプラットフォームのバックエンド設計において、在庫管理サービスのマイクロサービス化を検討しています。CAP定理の制約下で、可用性（Availability）と一貫性（Consistency）のトレードオフを考慮し、最適なデータシャーディング戦略と分散トランザクション管理のアプローチを提案してください。また、単一障害点（SPOF）を排除するための冗長化構成についても具体的に説明してください。