On 6/18/22 09:23, Waldek Hebisch wrote:
_Assuming_ our programs are correct reasonable reason for dying is some _intermittent_ system problem. Like getting wrong bits from RAM/HDD or OOM killer making wrong choice. Even in case of bugs intermittent bugs are quite likely, viewman deals with sockects and related timing issues so lot of things are nondeterministic. Deterministic bugs can be found and fixed much easier than intermittent ones, so after some time spent on debugging remaining bugs are likely to be intermittent...
That is from programmer's side of view. My point of view is from user's side, about user friendly: 1. A user downloaded fricas binary to a home linux server, or a cloud linux server, or a linux super computer to try it out. Run "fricas" and get into endless error message. 2. A user downloaded fricas binary to macOS computer. Double click the icon and get into endless error message. 3. A user downloaded fricas binary to Windows. (I'm close to have sbcl with sman/hyperdoc work on windows.) Double click the icon and get into endless error message.
More to the point: you looked at respawning issue because there were missing library. Missing library means broken installation. So real fix is to make sure that library is present. IIUC when building from source link stage will fail in case of missing libraries. So only binary install should matter. If install is done by some tool (script) the tool is supposed to ensure that libraries are present. If user is using simple binary tarball like I provide, this tarball have stated dependencies and user is supposed to install them. Failing to install them may lead to non-working FriCAS. Since user will get error message I do not see this as significant issue: user made mistake, user got error message, user will correct the problem.
Again, user friendly issue. Windows and macOS users can not install dependencies as easy as Linux users. I just want these users can use command line interface of fricas when X11 libs not present. Fallback gracefully, If they go extra mile and install X11 libs, then they get hyerDoc and drawing ability.
I did eliminate some things of similar spirit, but my procedure was to make modification in my local copy of FriCAS, use it for some time (say a year), and commit only if I so no bad effects of the change. And in few cases I had noticed that seemingly useless code in fact was doing useful thing, to I reverted the change.
I will apply it locally and submit it again next year then. - Qian -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/b0992615-e557-ccc4-8a34-9d4c9049e30f%40gmail.com.
