Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:98262
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain brzuchalski.com designates 188.165.245.118 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <15caa5d8-07d1-d76e-974a-c0bb0c4e8126@php.net>
References: <CAAn=CzU3kB-GWPTYk1L+mtkDK9yjfNOAb2eHfFm4bdRVbZiUFg@mail.gmail.com>
 <CAAn=CzXaa8BrZ4UA3idLQJiBXnViBTjsDeHi2iOMBayY6wVO0g@mail.gmail.com> <15caa5d8-07d1-d76e-974a-c0bb0c4e8126@php.net>
Date: Wed, 8 Feb 2017 14:54:03 +0100
Message-ID: <CABdc3WoB1c8s_TYbOsjHDOT=d5kwPHOoGOL9_QryhpKuOO0RoA@mail.gmail.com>
To: Michael Wallner <mike@php.net>
Cc: Alex Bowers <bowersbros@gmail.com>, PHP <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=94eb2c095b2a9255d105480532ba
Subject: Re: [PHP-DEV] [Discussion] FFI in PHP
From: michal@brzuchalski.com (=?UTF-8?Q?Micha=C5=82_Brzuchalski?=)

--94eb2c095b2a9255d105480532ba
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

2017-02-08 12:51 GMT+01:00 Michael Wallner <mike@php.net>:

> On 05/02/17 23:25, Alex Bowers wrote:
> > And here is the previous messaging without borked formatting. Sorry
> folks.
> >
> >
> > FFI RFC
> > =3D=3D=3D=3D=3D=3D
> ...
> > Example
> > =3D=3D=3D
> >
> > Take an example of a rust program that takes two numbers in and gives
> > you the sum of them.
> >
> > ```rust
> > #[no_mangle]
> > pub extern fn add(a: i32, b: i32) -> i32 {
> >     a + b
> > }
> >
> > ```
> >
> > with the Cargo.toml file containing:
> >
> > ```
> > [package]
> > name =3D "math"
> > version =3D "0.1.0"
> > authors =3D ["Alex Bowers <bowersbros@gmail.com>"]
> >
> > [dependencies]
> >
> > [lib]
> > name =3D "math"
> > crate-type =3D ["dylib"]
> > ```
> >
> > `cargo build --release` will create `.so`, `.dylib`, or `.dll` files
> > depending on your system.
> >
> > These should be usable within PHP using the exposed functions.
> >
> > ```php
> > $math =3D ffi("/path/to/math.so");
> > $result =3D $math->add(1, 5);
> >
> > echo $result; // 6
> > ```
>
> With ext/psi [1], that would work differently. You wouldn't define the
> interface at runtime, like the above example, pecl/ffi [2] or MFFI [3].
>
> First, you would create an interface description file (a PSI file [4]),
> where you specify the native declaration and the library to load:
>
> ```
> // https://github.com/m6w6/ext-psi#lib
> lib "/path/to/math.so";
>
> // https://github.com/m6w6/ext-psi#declarations
> extern int32_t add(int32_t a, int32_t b);
> ```
>
> The PHP interface to this function would usually be defined in the same
> file possibly looking along the following lines:
>
> ```
> // https://github.com/m6w6/ext-psi#implementations
> function math\add(int $a, int $b) : int {
>         let a =3D intval($a);
>         let b =3D intval($b);
>         return to_int(add);
> }
> ```
>

What is the purpose of `intval` call if both variables were declared as int
already?
Also what to_int stands for if we already declared int return type?


>
> Those PSI files would be loaded from a directory configured in php.ini
> (psi.directory) and loaded at startup, i.e. the interfaces would be
> available to user land for the lifetime of the process, not the request.
>
> Have a look at the complete libidn example [5] of the README or the
> sqlite test [6] utilizing a user land callback.
>
> I've been working on ext/psi for the good parts of more than a year now,
> and I would be more than happy about insights, suggestions or
> collaboration with other interested parties.
>
> The (currently) two major to-dos are decent CPP support in the parser,
> so one could basically just parse C headers, and levelling out support
> for input/output marshalling, which currently differ in sophistication,
> AFAIR, while quite a lot is already possible. Other random bits can be
> found in the TODO [7].
>
> It has been successfully built and run on Linux and OSX but YMMV; also,
> grab a coffee when building the first time, because `configure` performs
> a ton of checks for POSIX builtins (still like, 10% only yet), so don't
> forget the -C/--cache-file switch.
>
>
> [1] https://github.com/m6w6/ext-psi
> [2] https://pecl.php.net/ffi
> [3] https://github.com/mgdm/MFFI
> [4] https://github.com/m6w6/ext-psi#psi-files
> [5] https://github.com/m6w6/ext-psi#complete-example
> [6] https://github.com/m6w6/ext-psi/tree/master/tests/sqlite
> [7] https://github.com/m6w6/ext-psi/blob/master/TODO
>
> --
> Regards,
> Mike
>
>


--=20
regards / pozdrawiam,
--
Micha=C5=82 Brzuchalski
about.me/brzuchal
brzuchalski.com

--94eb2c095b2a9255d105480532ba--