Re: [Sks-devel] SKS 1.1.3 for Debian

[Yaron Minsky]

I'll take a look, but it's worth noting that the thread-safety of lazy is not at issue here: sks is a single-threaded program.  And if someone wanted to make it multi-threaded, I would propose using a cooperative threading library like async or lwt, which would preserve the safety of Lazy.

y

On Sat, May 5, 2012 at 10:57 PM, Jens Leinenbach <address@hidden> wrote:

Hi John,

I attached my changes as a patch. It should not break an existing SKS
installation and it should be easy to compile it for Debian with just a
few easy changes in settings.ml and adding the needed paths to sksconf.
(Changes for the example sksconf for Debian included.)

Then I removed all those "lazy" instructions. I have no idea why they
were used and they just caused trouble here and it works great without them.

Additionally, "Lazy.force" was uses several times, but it is not
thread-safe:
http://caml.inria.fr/pub/docs/manual-ocaml/libref/Lazy.html

Please let me know what you think about my changes.


Cheers
Jens


_______________________________________________
Sks-devel mailing list
address@hidden
https://lists.nongnu.org/mailman/listinfo/sks-devel