Re: [Caml-list] try...finally , threads, stack-tracebacks .... in ocaml

[Roberto Di Cosmo <roberto@dicosmo.org>]

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