From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail-il1-f178.google.com ([209.85.166.178]) by ewsd; Sat Nov 21 17:16:00 -0500 2020
Received: by mail-il1-f178.google.com with SMTP id a19so6153664ilm.3
        for <9front@9front.org>; Sat, 21 Nov 2020 14:15:46 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=greymanlabs-com.20150623.gappssmtp.com; s=20150623;
        h=content-transfer-encoding:from:mime-version:subject:date:message-id
         :references:in-reply-to:to;
        bh=3ninLdd0Z2T1ICqZuJoUh7fUcCb67Wwugu8talQrn48=;
        b=liRNtqi/sML5TMYGbdZa6i+RDMfW/xBBHxQxP3LeoNN/z2KNiahGo5YaQr26dAHl5c
         qWAv6tgj82UhCfUBJiL4unYR9ou9lUEEuAq/2iyautTxtIu1prxzF36QEmjVaSCSqwPU
         iwrAofgXNr7FWdSVThdmH0UwuMPm17mp49xP7T6/Oc9MxODCeW/4mri8rOB1ylG2WGa2
         XrH9p8EsTLxNlMLtPbjM/IDV+C5OODN6RJI6SKAxec4Imc1+6+8odR2ZQiz97WpR2PQV
         96AJ00mlJFbITmS8fv3SA9vlY6lz2zwgUIKk4jnEMpsPVwfasmeBumCLBHOhGuk59t6n
         Ldvg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20161025;
        h=x-gm-message-state:content-transfer-encoding:from:mime-version
         :subject:date:message-id:references:in-reply-to:to;
        bh=3ninLdd0Z2T1ICqZuJoUh7fUcCb67Wwugu8talQrn48=;
        b=A40TIC+gm6MfB6JyehGQAfp7Fam0wbWp1O0o4Gf6EwWBsCZjEsBLQ4MxpTKyJM565q
         B4i7xSYUUmoDcnjk1LL3K66yw+oN6CiqbwtQjzShOJej4QgNaquPOUDutuma7UP3XN6B
         FC6i8tmGd/ZC+0JJrgX1IGwZbmvevcOPB3gLvqJ1MoB6esm9zTN8lgamJrxP5IRAuOxY
         G6gb74CSys7jv12YdUavcs6V2TAQZBCCqmiDoMylipgQ1dMO70QYwzmN3p/sZKfGYlnZ
         lmc6emY9GIF+gghzvDqAOJaL7bSXPizV5i4b7yWTjiFlODzk3oAgM2gu2NsSk36XNeY9
         1aGg==
X-Gm-Message-State: AOAM533Q2S9qPJFsko1gS1397Dus64Va6aPnOR9kBOErpH83mjxFp0Uf
	Jhwlj/BRP/Uho5imtLRI16QI/vC/TTYOqRcc
X-Google-Smtp-Source: ABdhPJzDTvO9u1vLmUrTuFIoaSCs+9LgGVoH9UU1TQCf70dvGssQLWEtukmT2C5VxC+fwtqNlBJY+A==
X-Received: by 2002:a92:cc52:: with SMTP id t18mr13766613ilq.124.1605996945473;
        Sat, 21 Nov 2020 14:15:45 -0800 (PST)
Return-Path: <mckay.marston@greymanlabs.com>
Received: from ?IPv6:2601:681:897f:e75e:48f5:658:711b:f1d4? ([2601:681:897f:e75e:48f5:658:711b:f1d4])
        by smtp.gmail.com with ESMTPSA id m26sm4832770ill.21.2020.11.21.14.15.44
        for <9front@9front.org>
        (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128);
        Sat, 21 Nov 2020 14:15:45 -0800 (PST)
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
From: McKay Marston <mckay.marston@greymanlabs.com>
Mime-Version: 1.0 (1.0)
Subject: Re: [9front] Bounty: OCaml 4.11.1
Date: Sat, 21 Nov 2020 15:15:44 -0700
Message-Id: <3DC97281-CF73-4448-8271-BFAA4367FF2F@greymanlabs.com>
References: <20201121195622.sn675gq4lozvmepa@wololo.home.arpa>
In-Reply-To: <20201121195622.sn675gq4lozvmepa@wololo.home.arpa>
To: 9front@9front.org
X-Mailer: iPad Mail (18B92)
List-ID: <9front.9front.org>
List-Help: <http://lists.9front.org>
X-Glyph: ➈
X-Bullshit: optimized non-blocking factory-oriented configuration-oriented scripting cloud 


> On Nov 21, 2020, at 12:59, Nick Owens <mischief@offblast.org> wrote:
>=20
> =EF=BB=BFOn Fri, Nov 20, 2020 at 11:24:01PM -0700, McKay Marston wrote:
>>=20
>>=20
>>>> On Nov 20, 2020, at 10:46 PM, ori@eigenstate.org wrote:
>>>=20
>>> Quoth McKay Marston <mckay.marston@greymanlabs.com>:
>>>> I tried porting it myself, but it relies heavily
>>>> on aligned memory blocks that are generated in
>>>> preprocessor macros, and I gave up trying to
>>>> figure out how that could be done in plan9.
>>>=20
>>> I don't have the time to do the full port myself,
>>> but do you have any specific examples of
>>> the kind of thing that's giving trouble?
>>=20
>> Well, specifically this:
>>=20
>> runtime/caml/misc.h:
>> #if defined(__STDC_VERSION__) && __STDC_VERSION__ >=3D 201112L
>> #define CAMLalign(n) _Alignas(n)
>> #elif defined(SUPPORTS_ALIGNED_ATTRIBUTE)
>> #define CAMLalign(n) __attribute__((aligned(n)))
>> #elif _MSC_VER >=3D 1500
>> #define CAMLalign(n) __declspec(align(n))
>> #else
>> #error "How do I align values on this platform?=E2=80=9D   <- this is whe=
re it bails on plan9
>> #endif
>>=20
>> which is used by:
>>=20
>> runtime/caml/domain_state.h
>> #define DOMAIN_STATE(type, name) CAMLalign(8) type name;
>> #define DOMAIN_STATE(type, name) CAMLalign(8) type _##name;
>>=20
>> which is used by a bunch of stuff like this:
>>=20
>> DOMAIN_STATE(intnat, stat_compactions)
>> DOMAIN_STATE(intnat, stat_heap_chunks)
>>=20
>> And my issue is that the only way that I can see to align memory in plan9=
 is with mallocalign, which isn=E2=80=99t easily translated (by me, at least=
) into something that works with the =E2=80=9Cset an aligned attribute at de=
claration" method used here.
>>=20
>> If I=E2=80=99m missing something, though, I=E2=80=99d appreciate any guid=
ance.
>=20
> what happens if you cheat and define it as nothing?
>=20
>>=20
>> =E2=80=94
>> zgasma
>> Mckay Marston
>>=20

Interesting thought. It certainly got farther, so I=E2=80=99ll keep working a=
t. Thanks for the suggestion!

The bounty still stands, though, unless I make a breakthrough.

=E2=80=94
zgasma
McKay Marston