Pourquoi Erlang plante-t-il sur de grandes séquences?

Question

Je viens de commencer à apprendre Erlang et j'essaie de résoudre certains problèmes de Project Euler. Cependant, il semble que je sois capable de faire des opérations sur de grandes séquences sans écraser le shell erlang.

Ie, même ceci:.

list:seq(1,64000000). 

s'écrase Erlang, avec l'erreur:

eheap_alloc: ne peut pas allouer 467078560 octets de mémoire (de type "tas").

En fait, le nombre d'octets varie bien sûr.

Maintenant, un demi-concert est beaucoup de mémoire, mais un système avec 4 Go de RAM et beaucoup d'espace pour la mémoire virtuelle devrait être capable de le gérer.

Y at-il un moyen de laisser Erlang utiliser plus de mémoire?

Answer 1

Votre système d'exploitation peut avoir une limite par défaut de la taille d'un processus utilisateur. Sous Linux, vous pouvez changer cela avec ulimit.

Vous souhaitez probablement parcourir ces 64000000 numéros sans les avoir tous en mémoire à la fois. Lazy listes vous permettent d'écrire un code similaire dans le style à la liste-all-at-once code:

-module(lazy). 
-export([seq/2]). 

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

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

Answer 2

Peut-être une réponse noob (je suis un développeur Java), mais la JVM limite artificiellement la quantité de mémoire pour aider à détecter les fuites de mémoire plus facilement. Peut-être que erlang a des restrictions similaires en place?

Answer 3

En outre, les fenêtres et Linux ont des limites sur la quantité maximale de mémoire qu'une image peut occuper Comme je me souviens sur Linux, il est d'un demi-gigaoctet.

La question est de savoir pourquoi ces opérations ne sont pas fait paresseusement;)

Answer 4

Ceci est une caractéristique. Nous ne voulons pas qu'un processus consomme toute la mémoire. C'est comme la boîte à fusibles dans votre maison. Pour la sécurité de nous tous.

Vous devez connaître le modèle de récupération erlangs pour comprendre comment ils ont laissé mourir le processus.