From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA21699 for caml-red; Mon, 11 Dec 2000 18:00:17 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA31901 for ; Fri, 8 Dec 2000 16:05:11 +0100 (MET) Received: from miss.wu-wien.ac.at (miss.wu-wien.ac.at [137.208.107.17]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id eB8F5A524604 for ; Fri, 8 Dec 2000 16:05:11 +0100 (MET) Received: (from mottl@localhost) by miss.wu-wien.ac.at (8.9.0/8.9.0) id QAA32580; Fri, 8 Dec 2000 16:05:07 +0100 (MET) Date: Fri, 8 Dec 2000 16:05:07 +0100 From: Markus Mottl To: Gerd Stolpmann Cc: Miles Egan , OCAML Subject: Re: features of PCRE-OCaml Message-ID: <20001208160507.A22011@miss.wu-wien.ac.at> References: <20001206015139.D31140@miss.wu-wien.ac.at> <20001207121757.A59914@caddr.com> <00120813571607.00625@ice> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <00120813571607.00625@ice>; from gerd@gerd-stolpmann.de on Fri, Dec 08, 2000 at 13:30:55 +0100 Sender: weis@pauillac.inria.fr Gerd Stolpmann schrieb am Friday, den 08. December 2000: > However, the PCRE stubs can be improved in one point: The master lock could be > released while the engine executes the regexp. Several threads could then > use the engine at the same time which would improve the responsiveness of > multi-threaded programs, and the programs would run faster on SMP systems. Are there annotations which one could use to indicate reentrancy of external functions? This would make it fairly easy to get rid of this problem. This information could then also be used for program analysis. - Markus Mottl -- Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl