From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 897207F75C for ; Tue, 23 Sep 2014 22:12:19 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of alain@frisch.fr) identity=pra; client-ip=80.12.242.125; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of alain@frisch.fr) identity=mailfrom; client-ip=80.12.242.125; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp.smtpout.orange.fr) identity=helo; client-ip=80.12.242.125; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alain@frisch.fr"; x-sender="postmaster@smtp.smtpout.orange.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArYBAKTTIVRQDPJ9lGdsb2JhbABghznLCYMgAYEjAREBAQEBBwsLCRIthAMBAQEDASMVNAoCAQULCw4KAgIFFgsCAgkDAgECAUUGDQEHAQGIMgytAJV+AReBLI5bB4J4gVMBBJ0ch0yPdByBW4M0AQEB X-IPAS-Result: ArYBAKTTIVRQDPJ9lGdsb2JhbABghznLCYMgAYEjAREBAQEBBwsLCRIthAMBAQEDASMVNAoCAQULCw4KAgIFFgsCAgkDAgECAUUGDQEHAQGIMgytAJV+AReBLI5bB4J4gVMBBJ0ch0yPdByBW4M0AQEB X-IronPort-AV: E=Sophos;i="5.04,582,1406584800"; d="scan'208";a="80641061" Received: from smtp03.smtpout.orange.fr (HELO smtp.smtpout.orange.fr) ([80.12.242.125]) by mail3-smtp-sop.national.inria.fr with ESMTP; 23 Sep 2014 22:12:18 +0200 Received: from [192.168.1.70] ([90.62.81.192]) by mwinf5d50 with ME id ukCH1o00F48xjqq03kCHKN; Tue, 23 Sep 2014 22:12:18 +0200 X-ME-Helo: [192.168.1.70] X-ME-Auth: ZnJpc2NoLmFsYWluQHdhbmFkb28uZnI= X-ME-Date: Tue, 23 Sep 2014 22:12:18 +0200 X-ME-IP: 90.62.81.192 Message-ID: <5421D42A.2070504@frisch.fr> Date: Tue, 23 Sep 2014 22:12:26 +0200 From: Alain Frisch User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:31.0) Gecko/20100101 Thunderbird/31.1.0 MIME-Version: 1.0 To: Mark Shinwell CC: Yaron Minsky , Gerd Stolpmann , Bob Zhang , Caml List References: <541C2037.5030303@frisch.fr> <1411133763.2930.28.camel@zotac> <541C36FF.3010603@frisch.fr> <54214E1C.4010507@frisch.fr> In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] improve omake [was One build system to rule them all] On 9/23/2014 12:58 PM, Mark Shinwell wrote: > I think the details are hazy now, but as far as we recall: your > statement about avoiding recomputation is correct, but a lot of md5sum > work happened subsequent to each compilation action in serial, within > the omake process. Ok, this could affect total compilation built time, not startup (and total time when nothing needs to be rebuilt). > By no means was this the only problem; another, for example, was a > vast amount of time spent constructing rules for an entire tree even > if only a small portion was being demanded to be built. Ok. Do you remember if you had some clue about the source of inefficiency (evaluator, data structure to represent the environment, etc)? > (Of course, the worst problem with omake was probably the DSL, which > we found to be wholly unsuitable for large-scale reliable rule > engineering. Programmability really is key.) YMMV. LexiFi's experience with the omake DSL is that even if sometime annoying, it's possible to achieve a reasonable effect with some efforts. At least, the issues with the DSL did not compensate the other nice properties of omake. I assume that other groups have functional build systems implemented with omake as well, so if people working on omake can improve its performances, it would be an immediate gain. That's not to say that we don't keep an eye open on alternative build systems such as Jenga (but switching an entire project to a different build system is a daunting task, of course). Alain