[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Issue with documentation at

From: Paolo Redælli
Subject: Re: Issue with documentation at
Date: Wed, 11 May 2022 17:29:02 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.1.0

Il 10/05/22 22:31, Raphael Mack ha scritto:
Hi Mischa,

thanks for the notice. The problem is, that "ET" (our automated eiffel tester) is generating the docs on every run from the current HEAD. And since some time (maybe since the last debian upgrade on the server running ET) eiffeldoc fails with n exit code of 137 - which signals an out-of-memory failure. eiffeldoc runs normally with the BDW-GC enabled but during the last upgrade also libgc was upgraded and maybe we have some issue here.

As next we could try to run eiffeldoc with the SE-GC or dig into the details why we do not see (good enough) memory cleanup with the BDW.

This might not really help, but at least explain the situation.

On a fairly busy i5 with 8Gb of ram:

[paolo@lab work]$ /usr/bin/time -f "Time %E (%S in kernel, %U in usermode)\nMax memory %Mkb\n" ./
Sections: tutorial liberty wrappers staging smarteiffel libraries
Log is /home/paolo/src/liberty-eiffel/website/doc/build_doc-20220511-143201.log
se failed with status 1
Please look at /home/paolo/src/liberty-eiffel/website/doc/build_doc-20220511-143202_tutorial.log
se failed with status 1
Please look at /home/paolo/src/liberty-eiffel/website/doc/build_doc-20220511-144607_libraries.log

Finished with status 2.

Command exited with non-zero status 2
Time 15:09.78 (75.70 in kernel, 1111.39 in usermode)
Max memory 2569100kb

ldd $(which eiffeldoc) ##tell me that it is using the gc => /lib64/ (0x00007f41ef330000)

Eiffeldoc has never been a "slim" tool. I'll try to male more granular measurements tonight

reply via email to

[Prev in Thread] Current Thread [Next in Thread]