質問: 既存のファイルを上書きせずに、またファイル全体をメモリに読み込まずに、ファイルの先頭にある既存のファイルにデータを書き込むにはどうすればよいですか? (例: プリペンド)
情報:
現在、プログラムが頻繁にデータをファイルにダンプするプロジェクトに取り組んでいます。このファイルは、すぐに 3 ~ 4GB まで膨れ上がります。このシミュレーションは、RAM が 768 MB しかないコンピューターで実行しています。そのすべてのデータを何度も RAM にプルすることは、非常に苦痛であり、時間の無駄になります。シミュレーションは、そのまま実行するのに十分な時間がかかります。
ファイルは、それが作成するダンプの数が最初に6などの単純な値でリストされるように構成されています。プログラムが新しいダンプを作成するたびに、それを増やしたいので、今は7です。問題は10 番目、100 番目、1000 番目などのダンプ。プログラムは問題なく 10 を入力しますが、次の行の最初の文字を削除します。
"9\n580,2995,2083,028\n..."
"10\n80,2995,2083,028\n..."
明らかに、この場合の 580 と 80 の差は重要です。これらの値を失うことはできません。そのため、データを失ったり、ファイル全体をプルアップしてから書き直したりすることなく、この新しいデータを追加できるように、そこに少しスペースを追加する方法が必要です。
基本的に私が探しているのは、一種のプリペンド関数です。ファイルの末尾ではなく先頭にデータを追加するもの。
Python でプログラミング
~n