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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 2E25B7EE51 for ; Thu, 11 Apr 2013 10:04:11 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of rdicosmo@gmail.com) identity=pra; client-ip=209.85.212.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of rdicosmo@gmail.com designates 209.85.212.173 as permitted sender) identity=mailfrom; client-ip=209.85.212.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f173.google.com) identity=helo; client-ip=209.85.212.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="postmaster@mail-wi0-f173.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Al0EAGVtZlHRVdStk2dsb2JhbABQgzxEu2aGIhYOAQEBAQcLCwkUBCSCHwEBBToGARQkAQMMAQUFGAklDwUgAQUBASETCYd5Aw8HBaAZjyqFIycNiVcBBQwJjU+EGWEDln+BIopUgzc/gVmCV4Fx X-IPAS-Result: Al0EAGVtZlHRVdStk2dsb2JhbABQgzxEu2aGIhYOAQEBAQcLCwkUBCSCHwEBBToGARQkAQMMAQUFGAklDwUgAQUBASETCYd5Aw8HBaAZjyqFIycNiVcBBQwJjU+EGWEDln+BIopUgzc/gVmCV4Fx X-IronPort-AV: E=Sophos;i="4.87,454,1363129200"; d="scan'208";a="12772981" Received: from mail-wi0-f173.google.com ([209.85.212.173]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 11 Apr 2013 10:04:10 +0200 Received: by mail-wi0-f173.google.com with SMTP id ez12so258133wid.0 for ; Thu, 11 Apr 2013 01:04:10 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:sender:date:from:to:cc:subject:message-id:references :mime-version:content-type:content-disposition:in-reply-to :user-agent; bh=a6giezYY6/jV5FNllE+gnHvlxVjeWDGUb/eQ+P58Zo8=; b=YBBIM2R3y0ke1o2TuKqrmGgZxutI/tTvI2bG8MD1bkqsd0nTn2HJJjS5dIkf8QKEIv OkClxY7PwzeOTMBgdeKCQIzTy1n77MYmNLag/voZRENh3F3mS1qJsASOq256ubdtCvZ7 m7kEtywBhrY/klNgjGA/ktVzJUU0y6wwPV9zoPz0ZUnBcKhHbuDVp3yGK9RZTX1b4OtX 1kbjVqVaT1hEIBbqSqLeflLzp64nRfRp1TlRePUOlj8PDqnYshniB1SocE0kK8xUSf2a nQ4vH7DLxrYOMARdEr+UeJ55JUoxBLygr4WxTIX+HNrTf1OrZX1b8pvJ9l5az6RTa8lJ P1rQ== X-Received: by 10.194.89.234 with SMTP id br10mr8641718wjb.43.1365667450289; Thu, 11 Apr 2013 01:04:10 -0700 (PDT) Received: from voyager (rdc.inria.fr. [128.93.60.55]) by mx.google.com with ESMTPS id fv2sm1703496wib.6.2013.04.11.01.04.08 (version=TLSv1 cipher=RC4-SHA bits=128/128); Thu, 11 Apr 2013 01:04:09 -0700 (PDT) Sender: Roberto Di Cosmo Received: from dicosmo by voyager with local (Exim 4.72) (envelope-from ) id 1UQCUJ-0004nu-4B; Thu, 11 Apr 2013 10:04:07 +0200 Date: Thu, 11 Apr 2013 10:04:07 +0200 From: Roberto Di Cosmo To: Chet Murthy Cc: caml-list@inria.fr Message-ID: <20130411080407.GA18274@voyager> References: <4989654.hHte10Um7f@groupon> <1725573.oORHJHkDHi@groupon> <51666227.2040401@riken.jp> <7081577.fIKGGDAHpX@groupon> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <7081577.fIKGGDAHpX@groupon> User-Agent: Mutt/1.5.20 (2009-06-14) Subject: Re: [Caml-list] try...finally , threads, stack-tracebacks .... in ocaml Hi Chet, On Thu, Apr 11, 2013 at 12:17:51AM -0700, Chet Murthy wrote: > > But really that's immaterial. You can't use tracing to find > timing-related issues, b/c the trace changes the timing. > Thanks for this comment : it just recalled some fond memories of my friends in the parallel computing group in Pisa more than 20 years ago, sharing their frustration in trying to trace bugs in parallel Occam code : in a particularly sneaky case, the bug disappeared as soon as debugging was enabled, and even inserting a single print function altered the timing enough to make it vanish... Programming parallel/concurrent systems can be *sooo* much fun :-) -- Roberto ------------------------------------------------------------------ Professeur En delegation a l'INRIA PPS E-mail: roberto@dicosmo.org Universite Paris Diderot WWW : http://www.dicosmo.org Case 7014 Tel : ++33-(0)1-57 27 92 20 5, Rue Thomas Mann F-75205 Paris Cedex 13 Identica: http://identi.ca/rdicosmo FRANCE. Twitter: http://twitter.com/rdicosmo ------------------------------------------------------------------ Attachments: MIME accepted, Word deprecated http://www.gnu.org/philosophy/no-word-attachments.html ------------------------------------------------------------------ Office location: Bureau 320 (3rd floor) Batiment Sophie Germain Avenue de France Metro Bibliotheque Francois Mitterrand, ligne 14/RER C ----------------------------------------------------------------- GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3