From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id A3D07BC37 for ; Thu, 28 Jan 2010 13:42:16 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AowBAC8VYUvRVdvakGdsb2JhbACRP4lPPQEBAQEJCQwHEwOuIIFFhSmINwEBAwWENwQ X-IronPort-AV: E=Sophos;i="4.49,359,1262559600"; d="scan'208";a="50439451" Received: from mail-ew0-f218.google.com ([209.85.219.218]) by mail1-smtp-roc.national.inria.fr with ESMTP; 28 Jan 2010 13:42:16 +0100 Received: by ewy10 with SMTP id 10so717629ewy.3 for ; Thu, 28 Jan 2010 04:42:16 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:date:message-id:subject :from:to:content-type; bh=Cfi70+A1uzJGfX4W3VRXU59le5on22zN024TLrASPfU=; b=PvAgHpFZRPnTrKFcOX5/y4JhuQC/t58AdFxqRjwBZJ2z+2E4U8p0HkFm4NxP9Q+asS 6QlHIshs92jMiQ3RyjF9BfTI2TeGdM8nKR13MtunU4if2zJAwi82XdiMjp7H0aOeXWXo Qh/Hm+KdFltZo52nIl82TSGxDkdz3ARXDAe4s= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; b=uEbkLR8bFH9bhQm+HkFZnVdGkRAmq67ciFf4LpYfeKUMZth6934ZAfm/KgWgR+36DZ UQE+zJlrlJtBfuZ03VB/+xD+2bHzIQUL2YZsbPuQOA4SFmmbV8McwLh8DZ97vuZzXS/v QTuBqrco+IRh1a0A1pkKC3dwctnZstYZC3qRE= MIME-Version: 1.0 Received: by 10.213.46.82 with SMTP id i18mr2387698ebf.50.1264682535905; Thu, 28 Jan 2010 04:42:15 -0800 (PST) Date: Thu, 28 Jan 2010 13:42:15 +0100 Message-ID: Subject: Ocaml implementation and low level details From: Konstantin Tcholokachvili To: caml-list@yquem.inria.fr Content-Type: multipart/alternative; boundary=00c09fc2bc924e6b9a047e38d95b X-Spam: no; 0.00; ocaml:01 ocaml:01 ocaml's:01 ocaml's:01 garbage:01 garbage:01 implemented:02 implemented:02 kernel:02 kernel:02 wrapper:10 wrapper:10 collector:12 collector:12 writing:12 --00c09fc2bc924e6b9a047e38d95b Content-Type: text/plain; charset=ISO-8859-1 Hello, I am writing an operating system kernel and I am considering the idea of rewritting it in Ocaml or make a wrapper. As I don't know how Ocaml is implemented in detail so I have the following question: If want to code in Ocaml without using the garbage collector, will I be able to use my own multithreading implementation or will I be limited by Ocaml's global lock? Thanks in advance. Konstantin Tcholokachvili --00c09fc2bc924e6b9a047e38d95b Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Hello,

I am writing an operating system kernel and I am considering = the idea of rewritting it in Ocaml or make a wrapper.
As I don't=A0 = know how Ocaml is implemented in detail so I have the following question: If want to code in Ocaml without using the garbage collector, will I be abl= e to use my own multithreading implementation or will I be limited by Ocaml= 's global lock?

Thanks in advance.

Konstantin Tcholokachv= ili
--00c09fc2bc924e6b9a047e38d95b--