From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id E0806BC75 for ; Thu, 17 Feb 2005 11:01:58 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j1HA1wE8032577 for ; Thu, 17 Feb 2005 11:01:58 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA04860 for ; Thu, 17 Feb 2005 11:01:58 +0100 (MET) Received: from alex.barettalocal.com (h213-255-109-130.albacom.net [213.255.109.130] (may be forged)) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j1HA1vhW025915 for ; Thu, 17 Feb 2005 11:01:57 +0100 Received: from [127.0.0.1] (localhost.localdomain [127.0.0.1]) by alex.barettalocal.com (Postfix) with ESMTP id 54AD72BBC81 for ; Thu, 17 Feb 2005 11:01:57 +0100 (CET) Message-ID: <42146B95.50707@barettadeit.com> Date: Thu, 17 Feb 2005 11:01:57 +0100 From: Alex Baretta User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.5) Gecko/20050105 Debian/1.7.5-1 X-Accept-Language: it, en-us, en MIME-Version: 1.0 To: Ocaml Subject: Multi-threaded debugging Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 42146B96.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 42146B95.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; baretta:01 debugging:01 ocaml:01 extensively:01 threads:01 ocamldebug:01 baretta:01 plc:98 rewrite:01 implemented:02 behave:02 alex:03 alex:03 370:96 370:96 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.2 X-Spam-Level: As some might recall, we have implemented a software PLC in Ocaml. This product is undergoing a complete rewrite as it is being generalized from the original proof-of-concept implementation where we had hard-wired support for Parker Hannifin servodrives. The new implementation will allow for indefinite fieldbuses, operating independently of each other. To decouple the different fieldbus IO managers we extensively use threads. Now, I am wondering if and how it is possible to debug a running multithreaded application. How does ocamldebug behave in such situations? Alex -- ********************************************************************* http://www.barettadeit.com/ Baretta DE&IT A division of Baretta SRL tel. +39 02 370 111 55 fax. +39 02 370 111 54 Our technology: The Application System/Xcaml (AS/Xcaml) The FreerP Project