Comment ocaml peut déclencher le signal (à gérer via Lwt_unix.on_signal) sur le processus en cours dans lequel l'ocaml s'exécute?ocaml ID de processus
1
A
Répondre
2
Si j'ai bien compris, vous voulez que votre programme envoie un signal à lui-même. Qu'en est-il de cela, en utilisant le module Unix?
let signal_to_itself number = Unix.kill (Unix.getpid()) number
Il y a une liste de numéros de signal au niveau du module Sys, vous pouvez donc utiliser la fonction comme ceci:
signal_to_itself Sys.sigfpe
Si vous n'avez pas installé un gestionnaire avec Lwt_unix.on_signal, le programme se terminera avec ceci:
Floating point exception (core dumped)
Questions connexes
- 1. CPU ID de processus
- 2. id de processus unix
- 3. ID de processus de retour
- 4. ID de processus parent Node.JS
- 5. ID de processus et UID
- 6. C - Obtenir le processus ID du processus de signalisation
- 7. mySQL: supprimer tous les processus sauf un ID de processus
- 8. C# .net Get FullName de processus ID
- 9. ID de processus enfant et parent
- 10. ID de processus ODBC API C/C++
- 11. LInux java class de processus id pid
- 12. ocaml parse chaîne "*" dans l'opérateur * ocaml?
- 13. OCaml valeurs de retour
- 14. Installation de OCaml
- 15. Ocaml introduction
- 16. ocaml input_char
- 17. Ocaml autoréférence
- 18. OCaml MicroBenchmark
- 19. Ocaml - Lazy.force
- 20. ID de processus de tâche en cours d'exécution
- 21. Besoin de trouver mon propre ID de processus dans VB6
- 22. Compteurs de performance, modification des ID de processus?
- 23. Envelopper ma tête autour OCaml
- 24. Je voudrais obtenir le nom de processus, id processus, chemin de processus, Nom du produit Titre de la fenêtre
- 25. Ocaml: Y at-il un moyen de passer des objets entre les processus?
- 26. ID de thread Windbg après StackOverflow et arrêt du processus
- 27. La transaction (ID de processus 461) a été bloquée
- 28. Comment obtenir un ID de processus sur iPhone ou iPad?
- 29. Les ID de threads Android sont-ils globaux par processus?
- 30. Comment déterminer si un ID de processus existe
son brillant. Je vous remercie – user2066283