From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id A8EC02DF6 for ; Wed, 6 Mar 2019 10:20:27 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.58,447,1544482800"; d="scan'208";a="372155967" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Mar 2019 11:20:25 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 4AEEF8260D; Wed, 6 Mar 2019 11:20:25 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id C648C7F61F for ; Wed, 6 Mar 2019 11:20:11 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jdimino@janestreet.com; spf=Pass smtp.mailfrom=jdimino@janestreet.com; spf=None smtp.helo=postmaster@mxout1.mail.janestreet.com IronPort-PHdr: =?us-ascii?q?9a23=3ATBzfbBCouZMQuYs8slSlUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPT7psbcNUDSrc9gkEXOFd2Cra4d06yO6ujJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglVmDaxe69+IAirpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4aV2Rx/ykC?= =?us-ascii?q?oIODA5/2PXhMJ+j6xVvQyvqABwzYPPfIGVLeBzcr/Bcd8GR2dMWNtaWSxbAoO7?= =?us-ascii?q?aosCF+4PMvhCr4bjolsOrAWxDhSiCuPuzz9Ih3n23aon2OkmEwHJwQ0gH9cPsH?= =?us-ascii?q?TSq9X4L6USXvqzzKbW1jXDc+lW1inj54jUaBwuvfaMXbdpfMfX1EIhGQTFjlCK?= =?us-ascii?q?pozkOTOYzusNs2mH7+pgSOKgkHQrpB12ojiqwMonl4rHhpoNx13K9ih12ps5Kc?= =?us-ascii?q?G4RUJhf9KoDIdcuzuYOoZ1Ws8uXX1ktSIgxrAFuZO3ZjYGxIgkyhLFdvCKd4qF?= =?us-ascii?q?7xT+X+iLOzh4nmhqeLenihay70egzur8W9Gx0FdFqSpFj8XMum0X2xzW8MeHS/?= =?us-ascii?q?998l2j2TmV0QDc9PpEIVwulaXFNZEh3qQ8mYYUsUTGBiP2mUP2g7GKdkg89OWl?= =?us-ascii?q?6P7rbqj6qpKcLYN4lB3yPrg0lsG9Auk0Kg0OUHKa+eS42r3j50r5QLBSg/00j6?= =?us-ascii?q?bZsZXaJcUdpq6+GAJV0Jws6xChADe9zNQYh2cII0xZeB6dk4fpPFTOLOjiDfij?= =?us-ascii?q?m1SsjCtrx/feM7L9GJrNK3zDnK7lfbZ88E5c1BE+zctf5pJRErEOOuj/Wk73tN?= =?us-ascii?q?zCDx82KRa4w+j9CIY16oRLcGJmGqJweInfqUWN7+Jnd/ePYo49qT/7J/U1oeTz?= =?us-ascii?q?2ywXg1gYKIukx5YSaX3wMvVjIkOeKS7ujtYEEGENlgg3SuHxlEePXCIVbHG3Cf?= =?us-ascii?q?FvrgonAZ6rWN+QDrumh6aMiX/iT89mI1teA1XJKk/GMoCNWvMCciWXe5EzkDUC?= =?us-ascii?q?WKO9UYIsyVelswqokuM7fNqRwTURsNfY7PYw//fazE9g9zVyAt+ByWyAUyd/mW?= =?us-ascii?q?ZaH2ZrjpA6mlR0zxK46YY9g/FcEoYDtfZZVRombNjZxu1+TdL7XA/aYs2ERUrg?= =?us-ascii?q?SdKjU2k8?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AWAgBZnn9cfU7IaSZkHQIFCAWBZoJ4g?= =?us-ascii?q?QMnhAiTZIINgzeWZw0jhEkChC4aBwEENBIBAQMBAQMBAwEBARMBAQkWCEwMgjo?= =?us-ascii?q?igm8BBSMdAQE3AQ8JAgsNAgImAgIiEgEFARwGE4MjgV0DFQMMj0GQDTyKLHGBL?= =?us-ascii?q?4J4AQEFhyUDBRJ5JIspF4FAP4N1LoMeAoFhgwqCV4pKmUcJh0mLNxmBZ5FIkE6?= =?us-ascii?q?Mag8hgT2BdzMaCBsVOzEGgjWFeIpTPzOOFQEB?= X-IPAS-Result: =?us-ascii?q?A0AWAgBZnn9cfU7IaSZkHQIFCAWBZoJ4gQMnhAiTZIINgze?= =?us-ascii?q?WZw0jhEkChC4aBwEENBIBAQMBAQMBAwEBARMBAQkWCEwMgjoigm8BBSMdAQE3A?= =?us-ascii?q?Q8JAgsNAgImAgIiEgEFARwGE4MjgV0DFQMMj0GQDTyKLHGBL4J4AQEFhyUDBRJ?= =?us-ascii?q?5JIspF4FAP4N1LoMeAoFhgwqCV4pKmUcJh0mLNxmBZ5FIkE6Mag8hgT2BdzMaC?= =?us-ascii?q?BsVOzEGgjWFeIpTPzOOFQEB?= X-IronPort-AV: E=Sophos;i="5.58,447,1544482800"; d="scan'208";a="372155846" Received: from mxout1.mail.janestreet.com ([38.105.200.78]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 06 Mar 2019 11:20:10 +0100 X-JS-Received: from [30.32.81.38] (helo=igm-qpr-mailcore1) by mxout1.mail.janestreet.com with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.90_1) (envelope-from ) id 1h1Tej-000282-Bm for caml-list@inria.fr; Wed, 06 Mar 2019 05:20:09 -0500 X-JS-Flow: external X-JS-Received: by igm-qpr-mailcore1 with ocaml/mailcore/main_production (db78975c5f5a) (envelope-from ) id Bcf57Z-GpemYA-KJ; 2019-03-06 05:20:09.332432-05:00 X-JS-Scanner-attachment: No attachments X-JS-Scanner-esets: Not scanned (internal mail) Received: from mail-lj1-f197.google.com ([209.85.208.197]) by mxgoog1.mail.janestreet.com with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.90_1) id 1h1Tej-0002nZ-6H for caml-list@inria.fr; Wed, 06 Mar 2019 05:20:09 -0500 Received: by mail-lj1-f197.google.com with SMTP id 202so2600806ljj.10 for ; Wed, 06 Mar 2019 02:20:09 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=lHHjxH8seAeux79QTKAB3uxugpmQ9ueILRz2ZoP+n4w=; b=hm/9Eth1UfcVNoGk+/uEdLOGnkku9rFDr5oMrw+E+juwWrzAdyYZf6hLKs0bYW4u5J pStyqVfsmZIYlG5IrM31ijLV95cUdrToKzCxS7RTrFSR+QtQRUHOC9zwcVktcDF2Nj8h XY69EJsclTUDd+1vUJ52ReYYVBX6DqgCZzxBE= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=lHHjxH8seAeux79QTKAB3uxugpmQ9ueILRz2ZoP+n4w=; b=MT5MotPRlnAj74L5q2lU1KwYNDahwDDu2d/MpL++dHbLCHWV5vDqeLh+C06deEOIli /AE7vCwVN8z891tRMfq/iyE+WgS6Jv4JTTOJqvuJaKvTBX/oDkg9N+63w4FoqGx+5Nx/ m951FmlxApwK4ndQbdqR+QXRqmNWZah6SubyOxadOqs+31secbCRV+vrzh4sn/UtgQ2r jpmpDMB0VqOZTVuge0uY2LFE4cVfhiwtJM9DoEokck2NRFKR5fUt4oHmsunVKBh0q7ec HoRXvlFmfbLugIUn0QdlQPF+loaeXemlT7WPqY6Fbu4wQfbg1VgbPQQPl+FrcEok+qPa V92g== X-Gm-Message-State: APjAAAXdVY6w39NLYCvFNTIFc0WGThtea3cicBR04k+lfxtwuLJL8kLO gXSv7/XmbBwHTSgC8T7CbWjCU0v7ek0UzNZqhtXAsU/hzhGcOD/3VPivP4GAgW+rQJ/SI+/wEAX QSnnhvc3abZ0tdgPgNOUBp4PUfg== X-Received: by 2002:ac2:5088:: with SMTP id f8mr3411138lfm.11.1551867608092; Wed, 06 Mar 2019 02:20:08 -0800 (PST) X-Google-Smtp-Source: APXvYqylSZvyfI4hZXgAohXalimqkEsDrxuA/OUAyj8SzwDl+3HtjxXcRWO/8r7X7aypBtl3O5iB7HUJcXa0Jh3B2qY= X-Received: by 2002:ac2:5088:: with SMTP id f8mr3411119lfm.11.1551867607748; Wed, 06 Mar 2019 02:20:07 -0800 (PST) MIME-Version: 1.0 References: <26607091551847280@sas1-512a5b2b1037.qloud-c.yandex.net> In-Reply-To: <26607091551847280@sas1-512a5b2b1037.qloud-c.yandex.net> From: Jeremie Dimino Date: Wed, 6 Mar 2019 10:19:56 +0000 Message-ID: To: =?UTF-8?B?0JDQvdC00YDQtdC5INCR0LXRgNCz0LzQsNC9?= Cc: Jeremie Dimino , caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-JS-Exim-Data-Received: 2019-03-06 05:20:09-0500 X-JS-Processed-by: mailcore Subject: Re: [Caml-list] The vmthreads library is deprecated in OCaml 4.08 Reply-To: Jeremie Dimino X-Loop: caml-list@inria.fr X-Sequence: 17385 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: You can use the "threads" library to write multi-threaded OCaml applications. It works on Linux, OSX, Windows, ... There is however one limitation: only one system thread can run OCaml code at a time. There is a work-in-progress to enable multiple system threads to run OCaml code simultaneously, the following page describes the state of this project: https://github.com/ocamllabs/ocaml-multicore/wiki On Wed, Mar 6, 2019 at 4:43 AM =D0=90=D0=BD=D0=B4=D1=80=D0=B5=D0=B9 =D0=91= =D0=B5=D1=80=D0=B3=D0=BC=D0=B0=D0=BD wrote: > > Is it possible to develop multithread applications in Ocaml somehow in Li= nux? --=20 Jeremie