From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 4F73ABC37 for ; Sun, 27 Dec 2009 22:27:31 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AusAAMFfN0vRVdzbkGdsb2JhbACRZok1PwEBAQEJCQwHEwOndIEyg22HSQECAwUFhCkE X-IronPort-AV: E=Sophos;i="4.47,460,1257116400"; d="scan'208";a="40622563" Received: from mail-fx0-f219.google.com ([209.85.220.219]) by mail3-smtp-sop.national.inria.fr with ESMTP; 27 Dec 2009 22:27:30 +0100 Received: by fxm19 with SMTP id 19so9738576fxm.17 for ; Sun, 27 Dec 2009 13:27:30 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:date:from:to:subject :message-id:in-reply-to:references:x-mailer:mime-version :content-type:content-transfer-encoding; bh=FotqZ4SB7qGSO4VkzCKOq28FZ8MuOwZCtZaJUXd025c=; b=Nn013M+x77b36ZBZtqv/21czmmBOXSzc5a8XajKsPEE0e1uHAUBXl0ue+AMLPgb41j blo/YGEd15AWBdyS/joNa78ggYKgw+DK7tvg+EZ/nNWO9I/ALbQsa8pg1y5dOINcbNgC 1FPBqOZziwfgsesi0yYsfyQS/5t7EkxFyIzjM= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=date:from:to:subject:message-id:in-reply-to:references:x-mailer :mime-version:content-type:content-transfer-encoding; b=g/enn8NwURmFZav4CYF3uzbLLOWfRP0cAalpnaUid5ivXP7NuQpSgYWXkZGt7jUH/O CEhMi2uZ/4VtKHwT+3UnFPCfYSHE2oWQI028wTy/MxDJwRPPejKu12ivy+1UNbgesCEe cE4ZH0/PTxwIAFf9/TVCq18Sc2W0H9qzlpU9E= Received: by 10.223.95.76 with SMTP id c12mr3710761fan.41.1261949250523; Sun, 27 Dec 2009 13:27:30 -0800 (PST) Received: from lemon (138-236-133-95.pool.ukrtel.net [95.133.236.138]) by mx.google.com with ESMTPS id 14sm3805810fxm.3.2009.12.27.13.27.28 (version=TLSv1/SSLv3 cipher=RC4-MD5); Sun, 27 Dec 2009 13:27:28 -0800 (PST) Date: Sun, 27 Dec 2009 23:27:24 +0200 From: ygrek To: caml-list@inria.fr Subject: Re: [Caml-list] Wrapping C code using pthread. Message-Id: <20091227232724.f95c1105.ygrekheretix@gmail.com> In-Reply-To: <4B3750D8.8000209@citycable.ch> References: <4B352731.2060306@citycable.ch> <20091227114253.a0a9ff49.ygrekheretix@gmail.com> <4B3750D8.8000209@citycable.ch> X-Mailer: Sylpheed 2.5.0 (GTK+ 2.12.12; i486-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; guillaume:01 guillaume:01 bytecode:01 segfault:01 ocaml:01 bytecode:01 2009:98 wrote:01 caml-list:01 pthreads:02 native:03 compiled:04 compiled:04 dec:05 pthread:07 On Sun, 27 Dec 2009 13:19:36 +0100 Guillaume Yziquel wrote: > In fact, my trouble is that when things are compiled to native code, it > works fine. However, things get screwed up when compiled to bytecode, > resulting in a segfault. > > Are pthreads compatible with OCaml bytecode? I believe so. Could you post some code and instructions how to build for investigation? -- ygrek http://ygrek.org.ua