「ショーディング（Sharding）」パターンにおいて、新しいシャードを追加する際にデータを再配置する問題を最小限に抑えるために使用される手法はどれか。

Azure Synapse AnalyticsのSparkプールにおいて、GPUアクセラレーションを利用するためにサポートされているライブラリ（フレームワーク）はどれか。