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 TAA20254 for caml-red; Thu, 14 Dec 2000 19:21:51 +0100 (MET)
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 LAA18044 for <caml-list@pauillac.inria.fr>; Wed, 13 Dec 2000 11:17:28 +0100 (MET)
Received: from dynabook ([133.11.12.224])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id eBDAHQH04136
	for <caml-list@inria.fr>; Wed, 13 Dec 2000 11:17:27 +0100 (MET)
Received: from dynabook
	([127.0.0.1] helo=localhost ident=sumii)
	by dynabook with esmtp (Exim 3.12 #1 (Debian))
	id 1468yK-0000uH-00; Wed, 13 Dec 2000 19:17:16 +0900
To: caml-list@inria.fr
cc: Jean-Christophe.Filliatre@lri.fr, proff@iq.org, jmp@arsdigita.com,
        sumii@venus.is.s.u-tokyo.ac.jp
Subject: Re: substring match like "strstr"
In-Reply-To: <20001213190207A.sumii@yl.is.s.u-tokyo.ac.jp>
References: <4.3.2.7.2.20001211202018.00b3f510@shell16.ba.best.com>
	<14902.6640.301542.507040@pc803>
	<20001213190207A.sumii@yl.is.s.u-tokyo.ac.jp>
X-Mailer: Mew version 1.94.2 on Emacs 20.7 / Mule 4.1 (AOI)
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-Id: <20001213191715D.sumii@yl.is.s.u-tokyo.ac.jp>
Date: Wed, 13 Dec 2000 19:17:15 +0900
From: Eijiro Sumii <sumii@venus.is.s.u-tokyo.ac.jp>
X-Dispatcher: imput version 991025(IM133)
Sender: weis@pauillac.inria.fr

> Actually, I found the (almost) same code on the web and tried it.  The
> results (again, execution time in seconds) were:
> 
> 		SPARC	Pentium
> 	strstr	52.68	57.050
> 	kmp	111.52	143.490

Oops, I forgot to give "-unsafe" to ocamlopt in kmp.  With -unsafe,
the results have improved (but still worse than strstr):

		SPARC	Pentium
	kmp	73.50	79.940

Eijiro