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 46CB15D5 for ; Thu, 3 Jun 2021 17:20:39 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.83,246,1616454000"; d="scan'208,217";a="511577099" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 03 Jun 2021 19:20:37 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 964FFE037E; Thu, 3 Jun 2021 19:20:37 +0200 (CEST) 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 492DCE0073 for ; Thu, 3 Jun 2021 19:20:33 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=basile@starynkevitch.net; spf=Pass smtp.mailfrom=basile@starynkevitch.net; spf=None smtp.helo=postmaster@relay12.mail.gandi.net IronPort-PHdr: =?us-ascii?q?A9a23=3A1qeaPxFHmbjvCOPWSdMtsJ1Gf7NMhN3EVzX9CrI?= =?us-ascii?q?Zgr5DOp6u447ldBSGo6k03RmTDNSQsqoYw8Pt8InYEVQa5piAtH1QOLdtbDQiz?= =?us-ascii?q?fssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB?= =?us-ascii?q?1JuPoEYLOksi7ze+/94DXbglSmjawZbd/IBqroQnNucQdnJdvJLs2xhbVuHVDZ?= =?us-ascii?q?v5YxXlvJVKdnhb84tm/8Zt++ClOuPwv6tBNX7zic6s3UbJXAjImM3so5MLwrhn?= =?us-ascii?q?MURGP5noHXWoIlBdDHhXI4wv7Xpf1tSv6q/Z91SyHNsD4Ubw4RTKv5LptRRT1i?= =?us-ascii?q?ikIKiQ5/XnKhMJugqJVoBGvqRJxzIHbYo6aKOFzcbnBcd4AX2dNQshcWi5HD4i?= =?us-ascii?q?hb4UPFe0BPeNAooTgvVQOthq+BQ2yC+jy1zFImmX53bc60uQnEgHJwhIgH9MSs?= =?us-ascii?q?HvIrNX+KaAfXvuvw6nTzDXDa+1Z1Czm6IjUaB8hu/GNXbRzccXP10kvFh/FgUm?= =?us-ascii?q?QqYD/OTOayPgNvnGd4uF9Wu2hl3QppBttojiz2MgskI/Ji5oVx13Z+it13Zo5K?= =?us-ascii?q?cO8RUN1f9KpEoZcuj2VOYZoRs4sTW5mtSU5x7AJtpC3YjUGxZAmyhLDdvGJfJW?= =?us-ascii?q?F7g/gWeuRJzpzmXxreLW6hxmo8EigzPXxV8e10FZJrypFisfDuW0M1xPJ8MSHT?= =?us-ascii?q?eF9/ki51TaUywDc8PtEIEAylarYNZEh3L8wloYPvkTDBCP2nlv5jLOQe045+ea?= =?us-ascii?q?o8/zqbqv7qpKeLYN5iB3yPr4zlsG9Auk0KBYCUmaF9em6ybbt51f2QK9Qgf0zi?= =?us-ascii?q?qTZsI7VJcAcpqOhGQ9azIIj5Ay/Dju7ztgUh3wHI0hEeBKDlYTpNEvBIPblAve?= =?us-ascii?q?+mVislilkx+zeMr3gBJXCMGTDna//cbpg6UNQ0gg+wcxF655JCLwMI+j/VlH/u?= =?us-ascii?q?dDGFhM5Nha7w+fjCNVzzIMeXmePD7eCP6zIql+I5+YvLPeXaY8OpDbyMeIl5v7?= =?us-ascii?q?ojX86h1AdY6ip3YcLZ3C4BPhmJVuWYWb0jtcbDWgKphY+TPDtiFCaTTFcfXOyX?= =?us-ascii?q?6Yl6jE/CYKmFpvDS5u2gL2B2Se7BodZanpHClCKC3fodp+LV+0CaCKIcYddlWk?= =?us-ascii?q?PXL2lDosgzg2GtQngyrMhIPCH1DcfsMfJ3cN04+Cbrg077y1yDMmD0n2GTykgl?= =?us-ascii?q?GoTRjs79LtjqFZszFSOz6lkiPweE9FPsaAaGjwmPILRmrQpQ+v5XRjMK4/hoLO?= =?us-ascii?q?OWcmvGyA3Td8vwsMFYwB7Fsnw1ngrMAKxH7YPhrqICYI17qncmX78O5Qko54n/?= =?us-ascii?q?LMsi1A3G5EJMGSnguhw/g7fBsjPnlnLz86X?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AI1l9E6v3FE8V3B+wiHJ5q9Zm7skDXtV00zEX?= =?us-ascii?q?/kB9WHVpm62j5qKTdZEgviMc5wx9ZJhNo7y90dC7MAjhHMdOkPEs1NSZLWrbUQ?= =?us-ascii?q?mTTb2KhLGKq1fd8kvFmdK1vp0BT0ERMrPN5BdB/KLHCU2DYrAdKOTuytHMuQ/g?= =?us-ascii?q?p00dND2DSclbnmBENjo=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ABBADWDrlgh+iyRtlagmKDIFY7MYRIk?= =?us-ascii?q?UcwhA6XQ4FoCwEDAQ01DAQBAYRQAoF/Ah0HAQQ1BQ0CBBUBAQUBAQECAQMDBAE?= =?us-ascii?q?TAQEBAQsNCQgpGoVoDYI4IoNrAQUjTxcLBAETHA4CAlcTBgIBAYJtAYMLC6pgg?= =?us-ascii?q?TKBAYRkg2CBYoE6hWxTSAGGYiccP4FOgRUngns+gmICA4EfBIEHgkqCZASDSza?= =?us-ascii?q?BAIF0niadOIMlig+TTAUSAyOBOYNnoDqhYZMYhSGBbIF8ewo7gmkJRxkOjjiIM?= =?us-ascii?q?DuFTEIvOAIGCgEBAwmLNQEB?= X-IPAS-Result: =?us-ascii?q?A0ABBADWDrlgh+iyRtlagmKDIFY7MYRIkUcwhA6XQ4FoCwE?= =?us-ascii?q?DAQ01DAQBAYRQAoF/Ah0HAQQ1BQ0CBBUBAQUBAQECAQMDBAETAQEBAQsNCQgpG?= =?us-ascii?q?oVoDYI4IoNrAQUjTxcLBAETHA4CAlcTBgIBAYJtAYMLC6pggTKBAYRkg2CBYoE?= =?us-ascii?q?6hWxTSAGGYiccP4FOgRUngns+gmICA4EfBIEHgkqCZASDSzaBAIF0niadOIMli?= =?us-ascii?q?g+TTAUSAyOBOYNnoDqhYZMYhSGBbIF8ewo7gmkJRxkOjjiIMDuFTEIvOAIGCgE?= =?us-ascii?q?BAwmLNQEB?= X-IronPort-AV: E=Sophos;i="5.83,246,1616454000"; d="scan'208,217";a="511577068" X-MGA-submission: =?us-ascii?q?MDG+JhpfJnpZ7xh4InteRcFxmG39h76Nk4V4kO?= =?us-ascii?q?6qRDzV5/hCAyLoub+Ysqy31S6qfZR29LjybMsCyZfTsIbNiclx4c2GKM?= =?us-ascii?q?JqvH+Vy8Yw4k0wzl+J41otK82XXjxOesK241TH6Yg5L85zNcvXykD+cL?= =?us-ascii?q?KcX/ohRulqFgtCWMl7PWIwWg=3D=3D?= Received: from relay12.mail.gandi.net ([217.70.178.232]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 03 Jun 2021 19:20:32 +0200 Received: (Authenticated sender: basile@starynkevitch.net) by relay12.mail.gandi.net (Postfix) with ESMTPSA id 87365200003 for ; Thu, 3 Jun 2021 17:20:32 +0000 (UTC) To: caml-list@inria.fr References: <20210603171753.nci6b45fepzyupnm@oulala> From: Basile Starynkevitch Message-ID: <950e3e57-ec7b-b85d-c3f5-7e11a5c336dd@starynkevitch.net> Date: Thu, 3 Jun 2021 19:20:32 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.8.1 MIME-Version: 1.0 In-Reply-To: <20210603171753.nci6b45fepzyupnm@oulala> Content-Type: multipart/alternative; boundary="------------C3E7BFDED84D036054D728CA" Content-Language: en-US Subject: Re: [Caml-list] serialization of closures Reply-To: Basile Starynkevitch X-Loop: caml-list@inria.fr X-Sequence: 18518 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: This is a multi-part message in MIME format. --------------C3E7BFDED84D036054D728CA Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit On 03/06/2021 19:17, Christophe Raffalli wrote: > Hello dear camlers, > > I just noticed that in 4.12+effect, in the road to multicore, we have now the > nice exception: > > Failure("Serializing closures is broken in multicore") > > This is a bit a pity: if you want to use both multicore and multi-machine > parallelism, then, marshalling closures was useful for communication between > machines in some cases. Is it a final decision or serialization of closures will > be lost forever in OCaml ? My guess is that serialization of closures might work in bytecode, and is broken in native, in relation to ASLR . Of course, I could be very wrong. Cheers -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/ --------------C3E7BFDED84D036054D728CA Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: 7bit


On 03/06/2021 19:17, Christophe Raffalli wrote:
Hello dear camlers,

I just noticed that in 4.12+effect, in the road to multicore, we have now the
nice exception:

  Failure("Serializing closures is broken in multicore")

This is a bit a pity: if you want to use both multicore and multi-machine
parallelism, then, marshalling closures was useful for communication between
machines in some cases. Is it a final decision or serialization of closures will
be lost forever in OCaml ?


My guess is that serialization of closures might work in bytecode, and is broken in native, in relation to ASLR.

Of course, I could be very wrong.


Cheers

-- 
Basile Starynkevitch                  <basile@starynkevitch.net>
(only mine opinions / les opinions sont miennes uniquement)
92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/
--------------C3E7BFDED84D036054D728CA--