Re: [Sks-devel] Re: sks recon cores when it claims "reconciliation complete"

[Yaron M. Minsky]

So, it sounds like Numerix is at fault.  One interesting thing about
Numerix is that it has 3 different implementations: Slong, based on an
assembler/C core, Dlong, which uses long-longs (this only works on
32-bit machines) and Clong, which is supposed to be broadly portable.

I would suggest switching the implementation you're using and try
again.  To do this, you need to change line 20 of number.ml.

On a broader note, I sometimes wonder whether I should switch sks to
using the ocaml Bignum package.  These days, I'm more concerned with
portability than with tweaking that last bit of performance out of the
remote set-comparison algorithm, which isn't really the bottleneck
anyway.

Yaron

On Mon, 2004-01-26 at 19:21, Chris Kuethe wrote:
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
> 
> On Mon, 26 Jan 2004, Yaron Minsky wrote:
> 
> > The hashconvert function, which occurs in the
> > critical lines in question, could be the source of the problem, so adding
> > printout statements could help track the problem down.
> 
> 2004-01-26 17:00:30 Done received                                             
>   
> 2004-01-26 17:00:30 Reconciliation complete                                   
>   
> 2004-01-26 17:00:30 calling print_hashes (client)                             
>   
> 2004-01-26 17:00:30 hashconvert:1                                             
>   
> 
> that's about line 70 or recoverList.ml
> 
> (** converts a list of elements of ZZp to a sorted list of hashes *)
> let hashconvert elements =
>     ignore (plerror 4 "hashconvert:1");
>   let hashes = List.map ~f:ZZp.to_bytes elements in
>     ignore (plerror 4 "hashconvert:2");
>   let hashes = List.map ~f:(fun hash -> RMisc.truncate hash 
>                             KeyHash.hash_bytes) hashes in
>     ignore (plerror 4 "hashconvert:3");
>   let hashes = List.sort ~cmp:compare hashes in
>   hashes
> 
> so it's the line right after "hashconvert:1" that dies... and at this point
> it's time for me to go grab the Ocaml and Numerix tutorials.
> 
> - -- 
> Chris Kuethe, GCIA CISSP: Secure Systems Specialist - U of A CNS
>       office: 157 General Services Bldg.    +1.780.492.8135
>               address@hidden
> 
>      GDB has a 'break' feature; why doesn't it have 'fix' too?
> 
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v1.2.2 (OpenBSD)
> 
> iD8DBQFAFa728bLxfOPbiw4RApSwAKDbu+Glox1YGNVQ3lLj53VoYd2q/ACfdr93
> pkjKAinr+TC9mzjLBWpJbnU=
> =LFwr
> -----END PGP SIGNATURE-----
> 
> 
> 
> _______________________________________________
> Sks-devel mailing list
> address@hidden
> http://mail.nongnu.org/mailman/listinfo/sks-devel
-- 
|--------/            Yaron M. Minsky              \--------|
|--------\ http://www.cs.cornell.edu/home/yminsky/ /--------|

Open PGP --- KeyID B1FFD916
Fingerprint: 5BF6 83E1 0CE3 1043 95D8 F8D5 9F12 B3A9 B1FF D916