How to generate identically image file after snapshots
Martin Troielli
martin.troielli at gmail.com
Tue Jul 31 13:52:35 UTC 2007
Hi Avi,
The main goal is to certify a software development. The certifier must to
check that a set of source files produce a binary output.
We give them:
1 - The final image and VM
2 - The Smalltalk source files (fileOuts of our development)
3 - The VM C source files
4 - The base image
5 - A make script that compiles the VM, filesIn the smalltalk source files
on the base image and produces a final images and VM.
They need to check that the two images, the one we give (1) and the
generated by our script (5) are the same. They check the differences by
doing a binary diff plus a hash over the files. They only could allow
changes refered to timestamps. They don't know anything about Smalltalk...
Best regards,
Martin
On Mon, 30 Jul 2007 18:41:03 -0300, Avi Bryant <avi at dabbledb.com> wrote:
> On 7/30/07, Martin Troielli <martin.troielli at gmail.com> wrote:
>> Hi Klaus,
>>
>> Thanks for the information. We have modified the VM in order to reduce
>> the
>> GC activity inhibiting it until the fileIn processes are done, but had
>> no
>> luck. The produced files were different with less differences.
>> We think we have to follow an approach similar to yours. We thought to
>> generate a serialized file with all the CompiledMethods we use, without
>> change the base image, merging them only when squeak starts up. We hope
>> that this process does not demand too much time, since we have also a
>> lot
>> of resources to bring up at that time :S
>
> Maybe I'm alone in being unclear on this, but what is the root goal
> here? Maybe there's a simpler way to achieve it.
>
> Avi
>
--
Ing. Martín Troielli - martin at psiware.com.ar
psiware | desarrollo de software
tel. +54 (341) 411-3966, 448-8572
Rosario S2000CVV, Santa Fe, ARGENTINA
www.psiware.com.ar
More information about the Squeak-dev
mailing list
|