Questo è il comando ocamlrun che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre molteplici workstation online gratuite come Ubuntu Online, Fedora Online, emulatore online Windows o emulatore online MAC OS
PROGRAMMA:
NOME
ocamlrun - L'interprete di bytecode OCaml
SINOSSI
ocamlrun [ Opzioni ] Nome del file argomento ...
DESCRIZIONE
Il ocamlrun(1) il comando esegue i file bytecode prodotti dalla fase di collegamento del
ocamlc(1) comando.
Il primo argomento non-opzione è considerato il nome del file che contiene il
bytecode eseguibile. (Quel file viene cercato nel percorso dell'eseguibile e nel
directory corrente.) Gli argomenti rimanenti vengono passati al programma OCaml, nella stringa
schieramento Sys.argv. L'elemento 0 di questo array è il nome del file eseguibile bytecode;
elementi da 1 a n sono gli argomenti rimanenti.
Nella maggior parte dei casi, i file eseguibili bytecode prodotti dal ocamlc(1) il comando è auto-
eseguibile e riuscire ad avviare il ocamlrun(1) comandare su se stessi automaticamente.
VERSIONI
Le seguenti opzioni della riga di comando sono riconosciute da ocamlrun(1).
-b Quando il programma si interrompe a causa di un'eccezione non rilevata, stampa una "traccia indietro" dettagliata
dell'esecuzione, mostrando dove è stata sollevata l'eccezione e quale funzione chiama
erano eccezionali a questo punto. Il back trace viene stampato solo se il bytecode
eseguibile contiene informazioni di debug, cioè è stato compilato e collegato con il -g
opzione a ocamlc(1 set. Questa opzione equivale a impostare il b bandiera in
Variabile d'ambiente OCAMLRUNPARAM (vedi sotto).
-I dir Cerca nella directory dir per le librerie caricate dinamicamente, oltre al
percorso di ricerca standard.
-p Stampa i nomi delle primitive note a questa versione di ocamlrun(1) ed esci.
-v Indica al gestore della memoria di stampare messaggi dettagliati in caso di errore standard. Questo è
equivalente a impostare v=63 nella variabile d'ambiente OCAMLRUNPARAM (vedi sotto).
-versione
Stampa la stringa della versione ed esci.
-vnum Stampa il numero di versione breve ed esci.
AMBIENTE VARIABILI
Vengono inoltre consultate le seguenti variabili di ambiente:
CAML_LD_LIBRARY_PATH
Directory aggiuntive per cercare librerie caricate dinamicamente.
OCAMLLIB
La directory contenente la libreria standard OCaml. (Se OCAMLLIB non è impostato,
CAMLLIB verrà utilizzato al suo posto.) Utilizzato per individuare il file di configurazione ld.conf per
caricamento dinamico. Se non impostato, per impostazione predefinita la directory della libreria specificata quando
compilando OCaml.
OCAMLRUNPARAM
Imposta le opzioni del sistema di runtime e i parametri di Garbage Collection. (Se
OCAMLRUNPARAM non è impostato, verrà utilizzato invece CAMLRUNPARAM.) Questa variabile deve
essere una sequenza di specifiche dei parametri. La specificazione di un parametro è un'opzione
lettera seguita da un segno =, un numero decimale (o un numero esadecimale preceduto da
0x) e un moltiplicatore opzionale. Le opzioni sono documentate di seguito; gli ultimi sei
corrispondono ai campi della di controllo record documentato in Il OCaml degli utenti
Manuale, capitolo "Libreria Standard", sezione "Gc".
b Attiva la stampa di un backtrace dello stack quando un'eccezione non rilevata interrompe il
programma. Questa opzione non accetta argomenti.
p Attiva il supporto per il debug per ocamlyacparser generati. Quando questa opzione è attiva,
l'automa pushdown che esegue i parser stampa una traccia delle sue azioni.
Questa opzione non accetta argomenti.
R Attiva la randomizzazione di tutte le tabelle hash per impostazione predefinita (vedi il Hashbl modulo del
libreria standard). Questa opzione non accetta argomenti.
h La dimensione iniziale dell'heap principale (in parole).
a (politica_allocazione)
La politica utilizzata per l'allocazione nell'heap OCaml. I valori possibili sono 0 per il
la polizza successiva e 1 per la polizza di prima scelta. Il prossimo adattamento è solitamente più veloce, ma
il primo adattamento è migliore per evitare la frammentazione e le relative compattazioni dell'heap.
s (dimensione_heap_minore)
La dimensione dell'heap minore (in parole).
i (maggiore_heap_increment)
L'incremento di dimensione predefinito per l'heap principale (in parole).
o (spazio_sopra)
L'impostazione principale della velocità del GC.
O (max_spese generali)
L'impostazione del trigger di compattazione dell'heap.
l (limite_stack)
Il limite (in parole) della dimensione dello stack.
v (verboso)
Quali messaggi GC stampare su stderr. Questa è una somma di valori selezionati dal
seguenti:
0x001 Inizio del ciclo principale di GC.
0x002 Collezione minore e fetta maggiore di GC.
0x004 Crescita e restringimento del mucchio.
0x008 Ridimensionamento degli stack e delle tabelle del gestore della memoria.
0x010 Compattazione del mucchio.
0x020 Modifica dei parametri del GC.
0x040 Calcolo della dimensione della fetta principale di GC.
0x080 Richiamo di funzioni di finalizzazione.
0x100 Messaggi di avvio (caricamento del file eseguibile bytecode, risoluzione condivisa
biblioteche).
0x200 Calcolo della condizione di innesco della compattazione.
Il moltiplicatore è k, M, o G, per la moltiplicazione per 2^10, 2^20 e 2^30
rispettivamente. Ad esempio, su una macchina a 32 bit sotto bash, il comando export
OCAMLRUNPARAM='s=256k,v=1' racconta un successivo ocamlrun per impostare il suo minore iniziale
heap a 1 megabyte e per stampare un messaggio all'inizio di ogni ciclo principale del GC.
CAMLRUNPARAM
Se OCAMLRUNPARAM non viene trovato nell'ambiente, verrà utilizzato CAMLRUNPARAM
Invece. Se CAMLRUNPARAM non viene trovato, verranno utilizzati i valori predefiniti.
PERCORSO Elenco delle directory cercate per trovare il file eseguibile bytecode.
Usa ocamlrun online utilizzando i servizi onworks.net
