Come utilizzare la versione a 64 bit

A partire dalla versione 12.00 rilasciata nel Luglio del 2016, Sargon ha una versione a 64 bit che diventerà presto la versione di riferimento da impiegare.

Sono state fatte profonde modifiche a tutti i moduli che compongono il programma, volte ad ottenere questi obiettivi:

1.Ricompilare tutti i moduli (anche Samba ed i verificatori), a 64 bit. Ovviamente per far funzionare le versioni a 64 bit il sistema operativo deve anche essere a 64 bit.

2.Consentire il puntamento e l'indirizzamento di file aventi dimensione superiore a 4Gb.

3.Consentire l'allocazione di memoria maggiore di 2Gb, in specie per i moduli solutori CLEVER (solutore sparse), LEDA (solutore sparse), CURAN (sempre sparse), WBUCKL (sempre sparse).

La necessità legata al punto 2 ha richiesto la modifica del formato di svariati file binari di output, che a partire dalla versione 12.00 è diversa. La versione 12.00 è in grado di leggere i risultati ottenuti con versioni precedenti, ma non così le versioni precedenti i risultati della versione 12.00. Tali modifiche hanno riguardato anche le versioni a 32 bit (12.00).

E' stata eseguita una ampia messe di test per verificare che non ci siano problemi, in particolare circa 800 test di regressione sui solutori e sui verificatori (CLEVER, LEDA, CURAN, WEURO).

Nel periodo di inter regno tra la versione a 32 e quella a 64 entrambe le versioni saranno disponibili.

Scaduto tale periodo (di durata presumibilmente compresa tra i 6 ed i 12 mesi) l'unica versione rilasciata sarà a 64 bit.

Luglio 2016