Détecter des frappes dans Julia

Question

J'ai un morceau de code dans Julia dans lequel un solveur itére de nombreuses fois car il cherche une solution à un problème très complexe. À l'heure actuelle, je dois fournir un certain nombre d'itérations pour le code à faire, régler assez bas que je ne dois pas attendre des heures pour que le code s'arrête afin de sauver l'état actuel, mais assez élevé que je ne sais pas continuer à activer le code toutes les 5 minutes.

Existe-t-il un moyen, avec l'état actuel de Julia (0.2), de détecter une frappe au clavier pour qu'elle se termine sans enregistrer (en cas de problème) ou se terminer par une sauvegarde? J'ai besoin d'une méthode telle que le code continue sans entrave, sauf si un tel événement de frappe est arrivé, et cela va interrompre à n'importe quelle itération. Essentiellement, je cherche une commande qui lira dans une frappe si une frappe est survenue (tandis que le terminal que Julia court dedans a le focus), et exécute certain code si la frappe était une clef spécifique. Est-ce possible?

Remarque: Je cours julia via xfce4-terminal sur Xubuntu, dans le cas où cela affecte la commande requise.

Answer 1

Vous pouvez y parvenir en envoyant une interruption (Ctrl+C). Cela devrait fonctionner à partir du REPL sans aucune modification de votre code - si vous voulez implémenter la sauvegarde, vous devrez gérer le InterruptException résultant et inviter l'utilisateur.

Answer 2

Vous pouvez vous charger d'une tâche asynchrone à partir de STDIN, en bloquant jusqu'à ce que quelque chose soit disponible pour la lecture. Dans votre tâche de calcul principale, lorsque vous êtes prêt à vérifier l'entrée, vous pouvez appeler yield() pour donner quelques cycles à la tâche de lecture, et vérifier un global pour voir si quelque chose a été lu. Par exemple:

input = "" 
@async while true 
    global input = readavailable(STDIN) 
end 
for i = 1:10^6 # some long-running computation         
    if isempty(input) 
     yield() 
    else 
     println("GOT INPUT: ", input) 
     global input = "" 
    end 
    # do some other work here             
end 

Notez que, puisque c'est multithread coopératif, il n'y a pas des conditions de course.