[rb-general] auto-analyzing indeterminism

Bernhard M. Wiedemann bernhardout at lsmod.de
Mon Jul 17 10:24:20 CEST 2017


On 2017-07-17 08:54, Daniel Kahn Gillmor wrote:
>> Yesterday (when I could not sleep), I did a quick proof of that
>> concept in 60 lines of code in
>> https://github.com/bmwiedemann/reproducibleopensuse/blob/devel/autoclassify
> Berhard, this is really cool stuff.  Have you thought about trying to
> patch it into the continuous integration work running on
> https://tests.reproducible-builds.org ?

not yet. I just dont know the code there at all.
But the idea is out now and everyone is free to pick it up.
You just need to have a script or function that takes a package and a
set of (mostly orthogonal) indeterminism-bits as input and returns true
or false depending on if it builds reproducibly.
Then it should work the same there.


Still there are a number of packages that get indeterminism from other
sources that cannot be easily eliminated.
E.g. process-IDs, races or explicit randomness. But at least it becomes
easier to tell those apart from the 'easy' ones now.


> Thanks for doing this work!

You are most welcome. It is totally fun, too :-)

I already learned some lisp, erlang, fortran and tcl
while working on r-b.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 181 bytes
Desc: OpenPGP digital signature
URL: <http://lists.reproducible-builds.org/pipermail/rb-general/attachments/20170717/1e3892b6/attachment.sig>


More information about the rb-general mailing list