Re: makemake.in configuration (os--hw) -- what default settings?
Sam Steingold <[email protected]>
| Newsgroups | gmane.lisp.clisp.devel |
|---|---|
| Message-ID | <[email protected]> |
Hi Bruno, > * Bruno Haible <[email protected]> [2017-11-24 20:28:03 +0100]: > > Now, by default, all possible NO_* optimizations blockers are enabled, i.e. > the optimizations are disabled. And we turn them on when we have verified > they cause no harm. The result should be better in the sense: "Better a > clisp that works and is slow, than a clisp that is fully optimized and > crashes during the test suite or even during the build." This is refreshingly user-centric ;-) The previous approach was "better" in the sense that the users were forced to report the failures and thus we got feedback faster. With the current approach it is quite possible that no one will ever bother to check whether the optimizations actually work on a specific platform, so they will remain disabled for no good reason. Of course, I am not opposing the new approach, but rather explaining the rationale for the old one. Incidentally, this reminds me of an old discussion of whether it is better to be aggressive with free() (risking a segfault -- easier debugging but less immediate usability) or not (risking a memory leak -- harder to debug but probably more useful to the users). >> - The most performant settings that happen work on my machine, after >> running make benchmark in each of the build-gcc-spvw* directories? > > Ignore "make benchmark" for the moment. Assume that each optimization > actually improves speed. The big question is "by how much". Clearly, this depends on one's usage pattern, and "make benchmark" is hardly useful here. Thanks. -- Sam Steingold (http://sds.podval.org/) on darwin Ns 10.3.1504 http://steingoldpsychology.com http://www.childpsy.net http://camera.org http://islamexposedonline.com http://www.dhimmitude.org http://mideasttruth.com There is an exception to every rule, including this one. ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ clisp-devel mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/clisp-devel