問題タブ [gzipinputstream]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
117 問題
0
投票する
1
に答える
230
参照
java - Java での接続のリセット後に GZIP ファイルのストリーミングを再開する
私のアプリケーションが、巨大な 100 GB 以上の GZIP 圧縮ファイルをネットワーク経由でストリーミングする必要があるとします。接続の問題が原因で、これらのファイルを 1 回の試行でストリーミングできないことがよくあると思います。したがって、ストリーミングが失敗した時点から復元できる方法を探しています。すぐに使用できる GZIP では、ファイルの途中からのストリーミングが許可されないことを私は知っています。しかし、シリアル化できる状態になっていると思います。次に、その状態があれば、GZIP リーダーを障害前の状態に復元し、障害ポイントからストリーミングを続行できるはずです。
これをどのように達成できるかについての経験/考えをいただければ幸いです。私は GZIPInputStream を見て、インフレータ クラスのネイティブ メソッドに直面し、RFC を読んで行き詰まりました。