Questo è il comando ocamlrun che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre numerose workstation online gratuite come Ubuntu Online, Fedora Online, l'emulatore online di Windows o l'emulatore online di MAC OS
PROGRAMMA:
NOME
ocamlrun - L'interprete del bytecode OCaml
SINOSSI
ocamlrun [ Opzioni ] Nome del file argomento ...
DESCRIZIONE
. ocamlrun(1) il comando esegue i file bytecode prodotti dalla fase di collegamento del
ocamlc(1) comando.
Il primo argomento non opzionale è considerato il nome del file contenente
bytecode eseguibile. (Quel file viene cercato nel percorso eseguibile e anche nel
directory corrente.) Gli argomenti rimanenti vengono passati al programma OCaml, nella stringa
schieramento Sys.argvL'elemento 0 di questo array è il nome del file eseguibile del 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 riesce a lanciare 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 di ritorno" dettagliata
dell'esecuzione, mostrando dove è stata sollevata l'eccezione e quali chiamate di funzione
erano in sospeso a questo punto. La traccia di ritorno viene stampata solo se il bytecode
l'eseguibile contiene informazioni di debug, ovvero è stato compilato e collegato con -g
opzione a ocamlc(1) set. Questa opzione equivale a impostare il b bandiera in
Variabile d'ambiente OCAMLRUNPARAM (vedere sotto).
-I dir Cerca nella directory dir per le librerie caricate dinamicamente, oltre a
percorso di ricerca standard.
-p Stampa i nomi delle primitive note a questa versione di ocamlrun(1) e uscire.
-v Indica al gestore della memoria di stampare messaggi dettagliati in caso di errore standard. Questo è
equivalente all'impostazione v=63 nella variabile d'ambiente OCAMLRUNPARAM (vedere sotto).
-versione
Stampa la stringa della versione ed esci.
-vnum Stampa il numero di versione breve ed esci.
AMBIENTE VARIABILI
Vengono consultate anche le seguenti variabili d'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, il valore predefinito è la directory della libreria specificata quando
compilazione di OCaml.
OCAMLRUNPARAM
Imposta le opzioni del sistema di runtime e i parametri di garbage collection. (Se
OCAMLRUNPARAM non è impostato, verrà utilizzato CAMLRUNPARAM.) Questa variabile deve
essere una sequenza di specifiche di parametri. Una specifica di 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; le ultime sei
corrispondono ai campi del di controllo record documentato in . OCaml degli utenti
Manuale, capitolo "Libreria standard", sezione "Gc".
b Attiva la stampa di un backtrace dello stack quando un'eccezione non rilevata interrompe l'esecuzione
programma. Questa opzione non accetta argomenti.
p Attiva il supporto di debug per ocamlyac-parser generati. Quando questa opzione è attiva,
l'automa a pila 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 (vedere Hashtbl modulo del
libreria standard). Questa opzione non accetta argomenti.
h La dimensione iniziale dell'heap principale (in parole).
a (politica di allocazione)
La politica utilizzata per l'allocazione nell'heap OCaml. I valori possibili sono 0 per
la politica next-fit e 1 per la politica first-fit. La next-fit è solitamente più veloce, ma
il metodo first-fit è migliore per evitare la frammentazione e le compattazioni dell'heap associate.
s (dimensione_minore_heap)
La dimensione dell'heap minore (in parole).
i (incremento_maggiore_heap)
Incremento di dimensione predefinito per l'heap principale (in parole).
o (spazio_in alto)
Impostazione della velocità principale del GC.
O (max_overhead)
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 da
seguenti:
0x001 Inizio del ciclo GC principale.
0x002 Raccolta minore e fetta GC maggiore.
0x004 Crescita e riduzione del cumulo.
0x008 Ridimensionamento degli stack e delle tabelle del gestore della memoria.
0x010 Compattazione del cumulo.
0x020 Modifica dei parametri GC.
0x040 Calcolo della dimensione della fetta principale del GC.
0x080 Chiamata delle funzioni di finalizzazione.
0x100 Messaggi di avvio (caricamento del file eseguibile bytecode, risoluzione dei problemi condivisi)
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
la dimensione dell'heap a 1 megabyte e per stampare un messaggio all'inizio di ogni ciclo GC principale.
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 in cui è stata effettuata la ricerca del file eseguibile bytecode.
Utilizzare ocamlrun online utilizzando i servizi onworks.net
