Qualcuno è a conoscenza dei programmi per la profilazione del codice OCaml oltre all'uso dell'opzione -p durante la compilazione e quindi l'utilizzo di gprof? Sto facendo questa domanda per verificare se il tempo di campionamento di 0,01 secondi può essere ulteriormente abbassato?Strumenti per la profilazione del codice OCaml
risposta
poorman's profiler è perfettamente applicabile per i programmi OCaml. La stessa idea funziona anche per profiling allocations.
@Complicato vedi bio: Grazie per le indicazioni. Vorrei provare questo profiler. –
grazie! Ho intenzione di provarlo! –
@ maths-help-seeker Questa è la risposta di ygrek. Ho solo corretto la lettera maiuscola di "OCaml". –
Mai usato ma ocamlviz è un'altra opzione.
Sì, l'ho visto dopo aver postato questa domanda. Grazie uomo! –
È inoltre possibile utilizzare ocaml-memprof, una patch del compilatore (3.12.0 e 3.12 1) scritta da Fabrice Le Fessant, che aggiunge funzionalità di profiling della memoria ai programmi ocaml.
EDIT
Ora avete ocp-memprof
, una Memory Profiler OCaml che è possibile utilizzare on-line. È disponibile su http://memprof.typerex.org.
Aggiungendo alla lista di risposte utili: L'OCamlPro post menzioni profiling delle prestazioni (non la memoria profiling) di codice nativo su Linux usando perf
(installato tramite pacchetto linux-tools
nelle distribuzioni Debian-like).
In sostanza, è sufficiente eseguire:
perf record -g ./native_program arguments
per produrre un file contenente i dati di profilazione perf.data
, e quindi eseguire
perf report -g
per vedere i risultati.
Funziona meglio quando si utilizza una versione di OCaml con puntatori di frame abilitati (ad esempio 4.02.1+fp
anziché 4.02.1
su OPAM).
- 1. Che cos'è la profilazione?
- 2. Profilazione cache della CPU per il codice C# .net?
- 3. ocaml pretty printer (formattatore del codice)
- 4. Copertura del codice, analisi e profilazione per il codice generato dinamicamente
- 5. Codice di Python di profilazione che utilizza la multiprocessing?
- 6. Perché Haskell richiede che tutte le librerie siano abilitate alla profilazione per la profilazione?
- 7. Strumenti di analisi del codice C++
- 8. Strumenti di analisi del codice statico
- 9. Quali concetti statistici sono utili per la profilazione?
- 10. Strumenti di profilatura del codice .NET
- 11. Strumenti di misurazione del codice validi?
- 12. Esistono strumenti di visualizzazione del codice PHP?
- 13. Come rientrare codice OCaml esistente
- 14. refactoring del codice vba - esistono strumenti per l'assistenza?
- 15. Strumenti di copertura del codice per Symbian C++ e Maemo
- 16. Strumenti per il rilevamento del codice duplicato (Java)
- 17. Esistono strumenti per eseguire analisi statiche del codice Scala?
- 18. Eventuali strumenti per la generazione di codice JavaScript da AST
- 19. Profilazione HashMap
- 20. Configurazione degli SCons per utilizzare strumenti separati per la generazione e l'assemblaggio del codice
- 21. Strumenti per il codice C refactoring
- 22. Eventuali strumenti per verificare la presenza di codice VB.NET duplicato?
- 23. Decompilare i file di codice byte OCaml
- 24. Migliorare il codice lambda OCaml genera per asserzioni
- 25. Come debugare correttamente il codice OCaml?
- 26. Esistono strumenti che possono determinare l'esecuzione dell'analisi del codice per la complessità Big-O?
- 27. Perché la profilazione della memoria nel rubino è così difficile?
- 28. Esistono strumenti di unione per il controllo del codice sorgente che comprendono il codice?
- 29. iPad grigio in Strumenti selezione del target
- 30. Analisi del codice dinamico per C++
* [Questa tecnica] (http://stackoverflow.com/questions/375913/what-can-i-use-to-profile-c-code-in-linux/378024#378024) * funziona con ocaml as bene, credo. –