Warum stürzt Erlang bei großen Sequenzen ab?

Question

Ich habe gerade angefangen, Erlang zu lernen und probiere einige Project Euler Probleme aus, um anzufangen. Allerdings scheine ich keine Operationen auf großen Sequenzen ohne Absturz der Erlang-Shell durchführen zu können.

Das heißt, selbst das:

list:seq(1,64000000).

stürzt Erlang ab, mit dem Fehler:

eheap_alloc: Kann 467078560 Bytes Speicher (vom Typ "heap") nicht zuweisen.

Eigentlich variiert die Anzahl der Bytes natürlich.

Jetzt halbe Gigabyte ist eine Menge Speicher, aber ein System mit 4 Gigabyte RAM und viel Platz für virtuellen Speicher sollte damit umgehen können.

Gibt es einen Weg, damit Erlang mehr Speicher verwenden kann?

Answer 1

Ihr Betriebssystem hat möglicherweise ein Standardlimit für die Größe eines Benutzerprozesses. Auf Linux können Sie dies mit ulimit ändern.

Sie möchten wahrscheinlich über diese 64000000 Zahlen iterieren, ohne sie alle gleichzeitig im Speicher haben zu müssen. Mit Lazy-Listen können Sie Code schreiben, der dem Code ähnlich ist, den Sie alle auf einmal haben:

-Modul (lazy).
-Exportieren([seq/2]).

seq(M, N) wenn M =< N ->
    fun() -> [M | seq(M+1, N)] end;
seq(_, _) ->
    fun () -> [] end.

1> Ns = lazy:seq(1, 64000000).
#Fun
2> hd(Ns()).
1
3> Ns2 = tl(Ns()).
#Fun
4> hd(Ns2()).
2

Answer 2

Möglicherweise eine Anfängerantwort (ich bin ein Java-Entwickler), aber die JVM begrenzt künstlich die Speichermenge, um das Erkennen von Speicherlecks zu erleichtern. Vielleicht hat Erlang ähnliche Beschränkungen?

Answer 3

Außerdem haben sowohl Windows als auch Linux Grenzen für die maximale Menge an Speicher, die ein Bild einnehmen kann Soweit ich mich erinnere, sind es auf Linux eine halbe Gigabyte.

Die eigentliche Frage ist, warum diese Operationen nicht faul gemacht werden ;)

Answer 4

Dies ist eine Funktion. Wir wollen nicht, dass ein Prozess den gesamten Speicher verbraucht. Es ist wie die Sicherungskasten in Ihrem Haus. Zum Schutz von uns allen.

Sie müssen das Wiederherstellungsmodell von Erlang kennen, um zu verstehen, warum sie den Prozess einfach sterben lassen.