Giulio@738: Giulio@738: Giulio@738: Dietro le quinte Giulio@738: Giulio@738: Diversamente da molti sistemi di controllo di revisione, i concetti su cui Mercurial è costruito sono abbastanza semplici che è facile capire come il software funziona realmente. Conoscere questi dettagli non è certamente necessario, quindi è certamente sicuro saltare questo capitolo. Tuttavia, penso che otterrete di più dal software con un modello mentale di quello che sta succedendo. Giulio@738: Giulio@738: Essere in grado di capire quello che accade dietro le quinte mi dà la confidenza che Mercurial sia stato attentamente progettato per essere sia sicuro che efficiente. E allo stesso modo è importante, se è facile per me tenere a mente una buona idea di quello che il software sta facendo mentre effettuo un'attività di controllo di revisione, è meno probabile che venga sorpreso dal suo comportamento. Giulio@738: Giulio@738: In questo capitolo, tratteremo inizialmente i concetti chiave dietro alla progettazione di Mercurial, poi continueremo discutendo alcuni dei dettagli più interessanti della sua implementazione. Giulio@738: Giulio@738: Giulio@738: La registrazione della cronologia di Mercurial Giulio@738: Giulio@738: Giulio@738: Tenere traccia della cronologia di un singolo file Giulio@738: Giulio@738: Quando Mercurial tiene traccia delle modifiche a un file, memorizza la cronologia di quel file in un oggetto di metadati chiamato filelog (letteralmente, registro del file). Ogni voce in un filelog contiene informazioni sufficienti a ricostruire una revisione del file di cui viene tenuta traccia. I filelog sono memorizzati come file nella directory .hg/store/data. Un filelog contiene due tipi di informazione: dati di revisione e un indice per aiutare Mercurial a trovare una revisione in maniera efficiente. Giulio@738: Giulio@738: Il filelog di un file che sia di grandi dimensioni o abbia una lunga cronologia viene memorizzato in due file separati per i dati (con un suffisso .d) e l'indice (con un suffisso .i). Per file di piccole dimensioni senza molta cronologia, i dati di revisione e l'indice vengono combinati in un singolo file .i. La corrispondenza tra un file nella directory di lavoro e il filelog che tiene traccia della sua cronologia nel repository è illustrata nella . Giulio@738: Giulio@738:
Giulio@738: Relazioni tra i file nella directory di lavoro e i filelog nel repository Giulio@738: Giulio@738: Giulio@738: XXX add text Giulio@738: Giulio@738:
Giulio@738: Giulio@738: Giulio@738: Giulio@738: Gestire i file tracciati Giulio@738: Giulio@738: Mercurial usa una struttura chiamata manifest per collezionare informazioni sui file di cui tiene traccia. Ogni voce nel manifest contiene informaizoni sui file presenti in un singolo changeset. Una voce registra quali file sono presenti nel changeset, la revisione di ogni file e alcuni altri frammenti di metadati sui file. Giulio@738: Giulio@738: Giulio@738: Giulio@738: Registrare le informazioni di changeset Giulio@738: Giulio@738: Il changelog (letteralmente, registro dei cambiamenti) contiene informazioni su tutti i changeset. Ogni revisione registra chi ha inserito un cambiamento, il commento del changeset, altri frammenti di informazione relativi al changeset e la revisione del manifest da usare. Giulio@738: Giulio@738: Giulio@738: Giulio@738: Relazioni tra le revisioni Giulio@738: Giulio@738: Nell'ambito di un changelog, di un manifest, o di un filelog, ogni revisione memorizza un puntatore al suo genitore diretto (o ai suoi due genitori, se è una revisione di unione). Come ho già detto, esistono anche relazioni tra revisioni attraverso queste strutture, ed esse hanno natura gerarchica. Giulio@738: Giulio@738: Per ogni changeset nel repository, esiste esattamente una revisione memorizzata nel changelog. Ogni revisione del changelog contiene un puntatore a una singola revisione del manifest. Una revisione del manifest memorizza un puntatore a una singola revisione di ogni filelog tracciato quando il changeset è stato creato. Queste relazioni sono illustrate nella . Giulio@738: Giulio@738:
Giulio@738: Relazioni tra i metadati Giulio@738: Giulio@738: Giulio@738: XXX add text Giulio@738: Giulio@738:
Giulio@738: Giulio@738: Come mostrato in figura, non c'è una relazione uno a uno tra le revisioni nel changelog, nel manifest, o nel filelog. Se un file tracciato da Mercurial non è cambiato tra due changeset, la voce per quel file nelle due revisioni del manifest punterà alla stessa revisione nel suo filelog Giulio@738: È possibile (sebbene inusuale) che il manifest rimanga lo stesso tra due changeset, nel qual caso le voci del changelog per quei changeset punteranno alla stessa revisione del manifest. Giulio@738: . Giulio@738: Giulio@738: Giulio@738: Giulio@738: Giulio@738: Memorizzazione sicura ed efficiente Giulio@738: Giulio@738: I puntelli dei changelog, dei manifest e dei filelog sono forniti da una singola struttura chiamata revlog (letteralmente, registro di revisione). Giulio@738: Giulio@738: Giulio@738: Memorizzazione efficiente Giulio@738: Giulio@738: Il revlog fornisce una memorizzazione efficiente delle revisioni usando un meccanismo di delta. Invece di memorizzare una copia completa di un file per ogni revisione, memorizza i cambiamenti necessari a trasformare una revisione più vecchia nella nuova revisione. Per molti tipi di dati di file, queste delta sono tipicamente una frazione percentuale della dimensione di un'intera copia di un file. Giulio@738: Giulio@738: Alcuni sistemi di controllo di revisione obsoleti possono lavorare solo con le delta di file di testo. Essi devono memorizzare file binari come fotografie complete o codificarli in una rappresentazione testuale, entrambi approcci dispendiosi. Mercurial può maneggiare in maniera efficiente le delta di file con contenuti binari arbitrari; non ha bisogno di trattare il testo in maniera speciale. Giulio@738: Giulio@738: Giulio@738: Giulio@738: Operazioni sicure Giulio@738: Giulio@738: Mercurial si limita ad aggiungere dati alla fine di un file di revlog. Non modifica mai una sezione di un file dopo che lo ha scritto. Questo è sia più robusto che più efficiente rispetto a schemi che hanno bisogno di modificare o riscrivere i dati. Giulio@738: Giulio@738: In più, Mercurial tratta ogni scrittura come parte di una transazione che può coinvolgere un qualsiasi numero di file. Una transazione è atomica: o l'intera transazione ha successo e i suoi effetti sono visibili in lettura in un unico passo, oppure l'intera operazione viene annullata. Questa garanzia di atomicità significa che se state eseguendo due copie di Mercurial, dove una sta leggendo dati e l'altra sta scrivendo, il lettore non vedrà mai un risultato parzialmente scritto che potrebbe confonderlo. Giulio@738: Giulio@738: Il fatto che Mercurial aggiunga solo ai file rende più facile fornire questa garanzia transazionale. Più è facile fare cose come queste, più dovreste essere fiduciosi che vengano fatte correttamente. Giulio@738: Giulio@738: Giulio@738: Giulio@738: Reperimento veloce Giulio@738: Giulio@738: Mercurial evita astutamente un tranello comune a tutti i primi sistemi di controllo di revisione: il problema del reperimento inefficiente. La maggior parte dei sistemi di controllo di revisione memorizza i contenuti di una revisione come una serie incrementale di modifiche contro una fotografia. (Alcuni basano la fotografia sulla revisione più vecchia, altri su quella più nuova.) Per ricostruire una revisione specifica, dovete prima leggere la fotografia, e poi ognuna delle revisioni tra la fotografia e la vostra revisione obiettivo. Più un file accumula cronologia, più revisioni dovete leggere, quindi più tempo viene impiegato per ricostruire una particolare revisione. Giulio@738: Giulio@738:
Giulio@738: Fotografia di un revlog, con delta incrementali Giulio@738: Giulio@738: Giulio@738: XXX add text Giulio@738: Giulio@738:
Giulio@738: Giulio@738: L'innovazione che Mercurial applica a questo problema è semplice ma efficace. Una volta che la quantità totale di informazioni di delta memorizzata dall'ultima immagine supera una soglia fissata, Mercurial memorizza una nuova immagine (compressa, naturalmente) invece di un'altra delta. Questo rende possibile ricostruire velocemente qualsiasi revisione di un file. Questo approccio funziona così bene che in seguito è stato copiato da molti altri sistemi di controllo di revisione. Giulio@738: Giulio@738: La illustra l'idea. In una voce di un file indice per un revlog, Mercurial memorizza l'intervallo di voci dal file di dati che deve leggere per ricostruire una particolare revisione. Giulio@738: Giulio@738: Giulio@738: Digressione: l'influenza della compressione video Giulio@738: Giulio@738: Se avete familiarità con la compressione video o avete mai guardato un segnale televisivo attraverso un cavo digitale o un servizio satellitare, potreste sapere che la maggior parte degli schemi per la compressione video memorizzano ogni frame del video come una delta rispetto al frame precedente. Giulio@738: Giulio@738: Mercurial prende in prestito questa idea per fare in modo che sia possibile ricostruire una revisione da una fotografia e un piccolo numero di delta. Giulio@738: Giulio@738: Giulio@738: Giulio@738: Giulio@738: Identificazione e integrità forte Giulio@738: Giulio@738: Insieme alle informazioni di delta o di fotografia, una voce di revlog contiene un hash crittografico dei dati che rappresenta. Questo rende difficile contraffarre i contenuti di una revisione e facile scoprire una accidentale corruzione. Giulio@738: Giulio@738: Gli hash forniscono più di un semplice controllo contro la corruzione; essi sono usati come identificatori per le revisioni. Gli hash di identificazione dei changeset che avete visto come utenti finali provengono dalle revisioni del changelog. Sebbene anche i filelog e il manifest facciano uso di hash, in questo caso Mercurial li impiega solo dietro le quinte. Giulio@738: Giulio@738: Mercurial verifica che gli hash siano corretti quando reperisce le revisioni dei file e quando estrae i cambiamenti da un altro repository. Se incontra un problema di integrità, lo segnalerà e bloccherà l'operazione che stava eseguendo. Giulio@738: Giulio@738: In aggiunta all'effetto che ha sull'efficienza del reperimento, l'uso di fotografie periodiche da parte di Mercurial rende i repository più robusti nei confronti della corruzione parziale dei dati. Se un revlog diventa parzialmente corrotto a causa di un errore hardware o di un bug di sistema, spesso rimane possibile ricostruire alcune o la maggior parte delle revisioni a partire dalle sezioni non corrotte del revlog che si trovano prima e dopo la sezione rovinata. Questo non sarebbe possibile con un modello di memorizzazione basato unicamente sulle delta. Giulio@738: Giulio@738: Giulio@738: Giulio@738: Giulio@738: Cronologia delle revisioni, ramificazioni e unioni Giulio@738: Giulio@738: Ogni voce in un revlog di Mercurial conosce l'identità della propria revisione progenitrice diretta, di solito chiamata genitore. In effetti, una revisione contiene spazio non solo per un genitore, ma per due. Mercurial usa un hash speciale, chiamato identificatore nullo, per rappresentare l'idea non c'è alcun genitore qui. Questo hash è semplicemente una stringa di zero. Giulio@738: Giulio@738: Nella , potete vedere un esempio della struttura concettuale di un revlog. I filelog, i manifest e i changelog hanno tutti questa identica struttura; essi differiscono solo per il tipo di dati memorizzati in ogni delta e fotografia. Giulio@738: Giulio@738: La prima revisione in un revlog (nella parte inferiore dell'immagine) presenta un identificatore nullo in entrambi i posti genitoriali. Per una revisione normale, il primo posto genitoriale contiene l'identificatore della revisione genitore e il secondo contiene l'identificatore nullo, indicando che la revisione possiede un solo vero genitore. Due revisioni qualsiasi che possiedano lo stesso identificatore di genitore sono rami. Una revisione che rappresenta un'unione tra rami ha due identificatori di revisione normali nei propri posti genitoriali. Giulio@738: Giulio@738:
Giulio@738: La struttura concettuale di un revlog Giulio@738: Giulio@738: Giulio@738: XXX add text Giulio@738: Giulio@738:
Giulio@738: Giulio@738: Giulio@738: Giulio@738: La directory di lavoro Giulio@738: Giulio@738: Nella directory di lavoro, Mercurial memorizza una fotografia dei file contenuti nel repository come un changeset particolare. Giulio@738: Giulio@738: La directory di lavoro sa quale changeset contiene. Quando aggiornate la directory di lavoro per contenere un particolare changeset, Mercurial cerca la revisione appropriata del manifest per trovare quali file stava tracciando nel momento in cui quel changeset è stato inserito, e quale revisione di ogni file era corrente in quel momento. Poi ricrea una copia di ognuno di quei file, con gli stessi contenuti che avevano quando il changeset è stato inserito. Giulio@738: Giulio@738: Il dirstate (letteralmente, stato della directory) è una struttura speciale che contiene le informazioni possedute da Mercurial sulla directory di lavoro. Viene mantenuto sotto forma di un file chiamato .hg/dirstate all'interno di un repository. Il dirstate contiene i dettagli dei changeset a cui la directory di lavoro è aggiornata, e di tutti i file che Mercurial sta tracciando nella directory di lavoro. Esso permette anche a Mercurial di notare velocemente i file modificati, registrando le loro date e dimensioni al momento del ~checkout~. Giulio@738: Giulio@738: Esattamente come una revisione di un revlog ha spazio per due genitori, in modo da poter rappresentare sia una normale revisione (con un genitore) che un'unione di due revisioni precedenti, il dirstate ha spazio per due genitori. Quando usate il comando hg update, il changeset a cui aggiornate viene memorizzato nel posto del primo genitore, e l'identificatore nullo nel secondo. Quando incorporate un altro changeset tramite hg merge, il primo genitore rimane lo stesso, e il secondo genitore viene riempito con il changeset che state incorporando. Il comando hg parents vi dice quali sono i genitori del dirstate. Giulio@738: Giulio@738: Giulio@738: Cosa succede quando eseguite un commit Giulio@738: Giulio@738: Il dirstate memorizza le informazioni sui genitori per altri scopi oltre alla mera contabilità. Mercurial usa i genitori del dirstate come i genitori di un nuovo changeset quando effettuate un commit. Giulio@738: Giulio@738:
Giulio@738: La directory di lavoro può avere due genitori Giulio@738: Giulio@738: Giulio@738: XXX add text Giulio@738: Giulio@738:
Giulio@738: Giulio@738: La mostra il normale stato della directory di lavoro, dove ha un singolo changeset come genitore. Quel changeset è la punta, il changeset più recente nel repository che non possiede figli. Giulio@738: Giulio@738:
Giulio@738: La directory di lavoro acquisisce nuovi genitori dopo un commit Giulio@738: Giulio@738: Giulio@738: XXX add text Giulio@738: Giulio@738:
Giulio@738: Giulio@738: È utile pensare alla directory di lavoro come al changeset che sto per inserire. Qualsiasi file che avete detto a Mercurial di avere aggiunto, rimosso, rinominato, o copiato verrà riflesso in quel changeset, così come le modifiche a qualsiasi file che Mercurial sta già tracciando; il nuovo changeset acquisirà i genitori della directory di lavoro come i propri. Giulio@738: Giulio@738: Dopo un commit, Mercurial aggiornerà i genitori della directory di lavoro, in modo che il primo genitore sia l'identificatore del nuovo changeset e il secondo sia l'identificatore nullo. Questo viene mostrato nella . Mercurial non tocca alcun file nella directory di lavoro quando eseguite un commit, ma si limita a modificare il dirstate per annotare i suoi nuovi genitori. Giulio@738: Giulio@738: Giulio@738: Giulio@738: Creare una nuova testa Giulio@738: Giulio@738: È perfettamente normale aggiornare la directory di lavoro a un changeset diverso dalla punta corrente. Per esempio, potreste voler sapere come il vostro progetto appariva lo scorso martedì, oppure potreste stare guardando attraverso i changeset per vedere quale ha introdotto un bug. In casi come questo, la cosa naturale da fare è aggiornare la directory di lavoro al changeset che vi interessa e poi esaminare i file direttamente nella directory di lavoro per vedere com'erano i loro contenuti quando avevate inserito quel changeset. Gli effetti di questa azione si possono vedere nella . Giulio@738: Giulio@738:
Giulio@738: La directory di lavoro, aggiornata a un vecchio changeset Giulio@738: Giulio@738: Giulio@738: XXX add text Giulio@738: Giulio@738:
Giulio@738: Giulio@738: Avendo aggiornato la directory di lavoro a un vecchio changeset, cosa succede se apportate alcuni cambiamenti e poi li inserite? Mercurial si comporta nello stesso modo delineato in precedenza. I genitori della directory di lavoro diventano i genitori del nuovo changeset. Questo nuovo changeset non ha figli, quindi diventa la nuova punta. E il repository ora contiene due changeset che non hanno figli, che vengono chiamati teste. Potete vedere la struttura creata da questa operazione nella . Giulio@738: Giulio@738:
Giulio@738: La situazione dopo un commit effettuato su un aggiornamento a un vecchio changeset Giulio@738: Giulio@738: Giulio@738: XXX add text Giulio@738: Giulio@738:
Giulio@738: Giulio@738: Giulio@738: Se Mercurial vi è nuovo, dovreste tenere a mente un errore comune, che è quello di usare il comando hg pull senza alcuna opzione. Di default, il comando hg pull non aggiorna la directory di lavoro, così propagherete nuovi cambiamenti nel vostro repository, ma la directory di lavoro rimarrà sincronizzata allo stesso changeset in cui era prima della propagazione. Se ora effettuate alcuni cambiamenti e poi li inserite, creerete una nuova testa, perché la vostra directory di lavoro non è stata sincronizzata a qualunque revisione fosse la punta in quel momento. Per combinare le operazioni di estrazione e aggiornamento, eseguite hg pull -u. Giulio@738: Giulio@738: Ho messo la parola errore tra virgolette perché tutto quello che dovete fare per rettificare la situazione in cui avete creato una nuova testa per sbaglio è eseguire il comando hg merge seguito da hg commit. In altre parole, questo errore non ha quasi mai conseguenze negative; è solo qualcosa che può sorprendere gli utenti alle prime armi. Più tardi, discuterò altri modi per evitare questo comportamento, e le ragioni per cui Mercurial si comporta in questo modo inizialmente sorprendente. Giulio@738: Giulio@738: Giulio@738: Giulio@738: Giulio@738: Unire i cambiamenti Giulio@738: Giulio@738: Quando eseguite il comando hg merge, Mercurial lascia intonso il primo genitore della directory di lavoro e imposta il secondo genitore al cambiamento che state incorporando, come mostrato nella . Giulio@738: Giulio@738:
Giulio@738: Unire due teste Giulio@738: Giulio@738: Giulio@738: Giulio@738: Giulio@738: XXX add text Giulio@738: Giulio@738:
Giulio@738: Giulio@738: Mercurial deve anche modificare la directory di lavoro, per unire i file gestiti dai due changeset. Semplificando un poco, il processo di unione funziona in questo modo, per ogni file contenuto nei manifest di entrambi i changeset. Giulio@738: Giulio@738: Se nessuno dei changeset ha modificato il file, non fare nulla con quel file. Giulio@738: Giulio@738: Se un changeset ha modificato il file, e l'altro non lo ha modificato, crea la copia modificata del file nella directory di lavoro. Giulio@738: Giulio@738: Se un changeset ha rimosso un file, e l'altro no (o anche l'altro lo ha cancellato), cancella il file dalla directory di lavoro. Giulio@738: Giulio@738: Se un changeset ha cancellato un file, ma l'altro lo ha modificato, chiedi all'utente cosa vuole fare: tenere il file modificato oppure rimuoverlo? Giulio@738: Giulio@738: Se entrambi i changeset hanno modificato un file, richiama un programma di unione esterno per scegliere i contenuti del file da unire. Questo potrebbe richiedere informazioni da parte dell'utente. Giulio@738: Giulio@738: Se un changeset ha modificato un file, e l'altro ha rinominato o copiato il file, assicurati che i cambiamenti seguano il nuovo nome del file. Giulio@738: Giulio@738: L'operazione ha molti altri dettagli&emdash;le unioni sono piene di casi particolari&emdash;ma queste sono le scelte più comuni coinvolte nel processo di unione. Come potete vedere, la maggior parte dei casi sono completamente automatizzati, e in effetti la maggior parte delle unioni termina automaticamente senza richiedere il vostro intervento per risolvere alcun conflitto. Giulio@738: Giulio@738: Se pensate a quello che succede quando effettuate un commit dopo un'unione, ancora una volta la directory di lavoro è il changeset che state per inserire. Dopo che il comando hg merge ha terminato, la directory di lavoro possiede due genitori; questi diventeranno i genitori del nuovo changeset. Giulio@738: Giulio@738: Mercurial vi lascia effettuare molteplici unioni, ma dovete inserire i risultati di ogni singola unione man mano che procedete. Questo è necessario perché Mercurial tiene traccia solamente di due genitori sia per le revisioni che per la directory di lavoro. Mentre sarebbe tecnicamente fattibile unire molteplici changeset alla volta, Mercurial evita di farlo per semplicità. Con unioni a più vie, il rischio di confondere l'utente, di incappare in conflitti sgradevoli da risolvere e di fare una terribile confusione in un'unione diventerebbe intollerabile. Giulio@738: Giulio@738: Giulio@738: Giulio@738: Giulio@738: Le unioni e i cambiamenti di nome Giulio@738: Giulio@738: Un numero sorprendente di sistemi di controllo di revisione dedica poca o addirittura nessuna attenzione al nome di un file ~over time~. Per esempio, era pratica comune che se un file venisse rinominato in una delle due parti di un'unione, i cambiamenti dell'altra parte sarebbero stati silenziosamente scartati. Giulio@738: Giulio@738: Mercurial registra metadati quando gli dite di effettuare una cambiamento di nome o una copia. Usa questi metadati durante le unioni per comportarsi in maniera appropriata. Per esempio, se modifico il nome di un file, e voi lo modificate senza rinominarlo, quando uniamo i nostri cambiamenti il file verrà rinominato e gli verranno applicate le vostre modifiche. Giulio@738: Giulio@738: Giulio@738: Giulio@738: Giulio@738: Altre caratteristiche di progettazione interessanti Giulio@738: Giulio@738: Nelle sezioni precedenti, ho provato a evidenziare alcuni degli aspetti più importanti nella progettazione di Mercurial, per illustrare come dedichi la dovuta attenzione a prestazioni e affidabilità. Tuttavia, l'attenzione ai dettagli non finisce lì. Ci sono un certo numero di altri aspetti nella costruzione di Mercurial che trovo personalmente interessanti. Ne dettaglierò alcuni qui, separatamente dagli elementi ~big ticket~ analizzati finora, in modo che se siete interessati potete farvi un'idea più precisa della quantità di riflessioni che serve per realizzare un sistema ben progettato. Giulio@738: Giulio@738: Giulio@738: Compressione intelligente Giulio@738: Giulio@738: Quando è appropriato, Mercurial memorizzera sia la fotografia che le delta in forma compressa. Fa questo cercando sempre di comprimere una fotografia o una delta, ma memorizzando la versione compressa solo se è più piccola della versione originale. Giulio@738: Giulio@738: Questo significa che Mercurial fa la cosa giusta quando memorizza un file il cui formato sia già compresso, come un archivio zip o un'immagine JPEG. Quando questi tipi di file sono compressi una seconda volta, il file risultante è tipicamente più grande del file originale, così Mercurial memorizzerà la prima versione semplice del file zip o JPEG. Giulio@738: Giulio@738: Le delta tra le revisioni di un file compresso sono di solito più grandi delle fotografie del file, e Mercurial ancora una volta fa la cosa giusta in questi casi. Scopre che tale delta oltrepassa la soglia alla quale dovrebbe memorizzare una fotografia completa del file, quindi memorizza la fotografia, risparmiando ancora spazio nei confronti di un approccio ingenuo basato solo sulle delta. Giulio@738: Giulio@738: Giulio@738: Ricompressione di rete Giulio@738: Giulio@738: Nel memorizzare le revisioni su disco, Mercurial usa l'algoritmo di compressione deflate (lo stesso usato dal popolare formato zip), che bilancia una buona velocità con un rispettabile rapporto di compressione. Tuttavia, quando trasmette i dati di una revisione attraverso una connessione di rete, Mercurial decomprime i dati di revisione compressi. Giulio@738: Giulio@738: Se la connessione usa il protocollo HTTP, Mercurial ricomprime l'intero flusso di dati usando un algoritmo di compressione che ha un rapporto di compressione migliore (l'algoritmo Burrows-Wheeler del pacchetto di compressione bzip2 largamente utilizzato). Questa combinazinoe di algoritmo e compressione dell'intero flusso (invece di una revisione alla volta) riduce sostanzialmente il numero di byte da trasferire, producendo prestazioni di rete migliori sulla maggior parte delle reti. Giulio@738: Giulio@738: Se la connessione usa ssh, Mercurial non ricomprime il flusso, perché ssh è già in grado di farlo da solo. Potete dire a Mercurial di usare sempre le funzionalità di compressione di ssh modificando il file .hgrc che si trova nella vostra directory personale nel modo seguente. Giulio@738: Giulio@738: [ui] Giulio@738: ssh = ssh -C Giulio@738: Giulio@738: Giulio@738: Giulio@738: Giulio@738: Ordinamento e atomicità delle operazioni di lettura e scrittura Giulio@738: Giulio@738: Aggiungere in coda a un file non è tutta la storia quando si cerca di garantire che una lettura non veda scritture parziali. Se ricordate la , le revisioni in un changelog puntano alle revisioni nel manifest, e le revisioni nel manifest puntano alle revisioni nel filelog. Questa gerarchia è intenzionale. Giulio@738: Giulio@738: Una operazione di scrittura avvia una transazione modificando i dati nel filelog e nel manifest, e non modifica alcun dato contenuto nel changelog fino a quando quelli hanno terminato. Una operazione di lettura comincia leggendo i dati nel changelog, poi i dati nel manifest, seguiti dai dati nel filelog. Giulio@738: Giulio@738: Dato che la scrittura ha sempre terminato di modificare i dati nel filelog e nel manifest prima di modificare il changelog, una lettura non vedrà mai un puntatore dal changelog verso una revisione parzialmente modificata nel manifest, e non vedrà mai un puntatore dal manifest verso a una revisione parzialmente modificata nel filelog. Giulio@738: Giulio@738: Giulio@738: Giulio@738: Accesso concorrente Giulio@738: Giulio@738: Le garanzie sull'ordinamento e sull'atomicità delle operazioni di lettura significano che Mercurial non avrà mai bisogno di bloccare un repository di cui sta leggendo i dati, anche se il repository sta venendo modificato mentre la lettura sta accadendo. Questo ha un importante effetto sulla scalabilità; potete avere un numero arbitrario di processi Mercurial che in sicurezza leggono contemporaneamente i dati da un repository, senza preoccuparvi che stia venendo modificato oppure no. Giulio@738: Giulio@738: La natura delle letture prive di blocchi significa che se state condividendo un repository su un sistema multi-utente, non avete bisogno di concedere ad altri utenti locali i permessi di scrittura al vostro repository per renderli in grado di clonarlo o estrarne i cambiamenti; essi hanno bisogno solo dei permessi di lettura. (Questa non è una caratteristica comune tra i sistemi di controllo di revisione, quindi non datela per scontata! La maggior parte dei sistemi richiede che i lettori siano in grado di bloccare un repository per accederlo in sicurezza, cosa che naturalmente provoca tutti i tipi di sgradevoli e fastidiosi problemi di sicurezza e amministrazione.) Giulio@738: Giulio@738: Mercurial usa i blocchi per assicurarsi che un solo processo alla volta possa effettuare modifiche a un repository (il meccanismo di bloccaggio è sicuro persino su file system che sono notoriamente ostili ai blocchi, come NFS). Se un repository è blocato, una operazione di scrittura aspetterà per qualche tempo prima di riprovare se il repository si è sbloccato, ma se il repository rimane bloccato troppo a lungo, dopo un po' il processo che sta tentando di scrivere ~will time out~. Questo significa che il vostri script automatici non rimarranno bloccati per sempre accumulandosi se un sistema dovesse innavvertitamente cadere, per esempio. (Sì, il valore del timeout è configurabile, da zero a infinito.) Giulio@738: Giulio@738: Giulio@738: Accesso sicuro al dirstate Giulio@738: Giulio@738: Come con i dati di revisione, Mercurial non impiega un blocco per leggere il file di dirstate; acquisisce un blocco per modificarlo. Per evitare la possibilità di leggere una copia parzialmente modificata di un file di dirstate, Mercurial scrive su un file con un nome unico nella stessa directory del file di dirstate, poi cambia il nome del file temporaneo a dirstate in maniera atomica. Il file chiamato dirstate quindi è garantito di essere completo, non parzialmente modificato. Giulio@738: Giulio@738: Giulio@738: Giulio@738: Giulio@738: Evitare le operazioni di seek Giulio@738: Giulio@738: Un aspetto critico delle prestazioni di Mercurial è quello di evitare le operazioni di seek della testina del disco, dato che ognuna di queste operazioni è molto più dispendiosa persino di una operazione di lettura relativamente grande. Giulio@738: Giulio@738: Questa è la ragione per cui, per esempio, il dirstate è memorizzato in un singolo file. Se ci fosse un file di dirstate per ogni directory che Mercurial traccia, il disco effettuerebbe un'operazione di seek una volta per directory. Invece, Mercurial legge l'intero file di dirstate in un singolo passo. Giulio@738: Giulio@738: Mercurial adotta anche una strategia copy-on-write quando clona un repository su disco locale. Invece di copiare ogni file di revlog dal vecchio repository al nuovo, utilizza collegamenti fisici per indicare che due nomi puntano allo stesso file. Quando Mercurial sta per modificare uno dei file di revlog, controlla per vedere se il numero di nomi che puntano al file è più grande di uno. Se è così, questo significa che più di un repository sta usando il file, quindi Mercurial ne fa una nuova copia riservata a questo repository. Giulio@738: Giulio@738: Alcuni sviluppatori di sistemi per il controllo di revisione hanno fatto notare che questa idea di fare una copia privata completa di un file non è molto efficiente nel suo uso di spazio su disco. Sebbene sia vero, lo spazio su disco è economico, e questo metodo consente di avere le prestazioni migliori rinviando la maggior parte della contabilità al sistema operativo. Una strategia alternativa molto probabilmente ridurrebbe le prestazioni e aumenterebbe la complessità del software, ma velocità e semplicità sono aspetti chiave per la facilità nell'uso quotidiano. Giulio@738: Giulio@738: Giulio@738: Giulio@738: Altre informazioni contenute nel dirstate Giulio@738: Giulio@738: Dato che Mercurial non vi obbliga a dirgli quando state modificando un file, usa il dirstate per memorizzare alcune informazioni aggiuntive in modo da poter determinare efficientemente se avete modificato un file. Per ogni file nella directory di lavoro, memorizza la data in cui lo ha modificato per l'ultima volta e la dimensione che il file aveva in quel momento. Giulio@738: Giulio@738: Quando utilizzate esplicitamente hg add, hg remove, hg rename, o hg copy su un file, Mercurial aggiorna il dirstate in modo che sappia cosa fare con quei file quando effettuate un commit. Giulio@738: Giulio@738: Il dirstate aiuta Mercurial a controllare in maniera efficiente lo stato dei file in un repository. Giulio@738: Giulio@738: Giulio@738: Giulio@738: Quando Mercurial controlla lo stato di un file nella directory di lavoro, prima confronta la data dell'ultima modifica del file con la data registrata nel dirstate che indica quando Mercurial ha modificato quel file per l'ultima volta. Se le due date sono le stesse, il file non deve essere stato modificato, quindi Mercurial non ha bisogno di fare ulteriori controlli. Giulio@738: Giulio@738: Giulio@738: Se la dimensione del file è cambiata, il file deve essere stato modificato. Solo nel caso in cui la data di modifica sia cambiata, ma non la dimensione, Mercurial ha effettivamente bisogno di leggere i contenuti del file per vedere se è stato modificato. Giulio@738: Giulio@738: Giulio@738: Giulio@738: Memorizzare le dimensioni e la data di ultima modifica riduce drammaticamente il numero di operazioni di lettura che Mercurial deve effettuare quando eseguiamo comandi come hg status. Questo risulta in ampi miglioramenti delle prestazioni. Giulio@738: Giulio@738: Giulio@738: