Angenommen, ich habe eine Binärdatei mit 12 GB und möchte 8 GB aus der Mitte herausschneiden. Ich kenne die Positionsindizes, zwischen denen ich schneiden möchte.

Wie mache ich das? Offensichtlich passen 12 GB nicht in den Speicher, das ist in Ordnung, aber 8 GB auch nicht ... Was ich für in Ordnung hielt, aber es scheint, als würde es Binär nicht gefallen, wenn Sie es in Stücken tun! Ich habe jeweils 10 MB an eine neue Binärdatei angehängt, und es gibt Diskontinuitäten an den Rändern jedes 10-MB-Blocks in der neuen Datei.

Gibt es eine pythonische Möglichkeit, dies einfach zu tun?