[Caml-list] OCaml and SGX

[Caml-list] OCaml and SGX

[Ivana Vukotic]

[-- Attachment #1: Type: text/plain, Size: 1139 bytes --]

Hi,

We are trying to run some OCaml code within an Intel SGX enclave.

This OCaml code is called by a C wrapper using the method described
here:  https://caml.inria.fr/pub/docs/manual-ocaml/intfc.html

Because Intel SGX doesn't support the entire standard C library, we had
to create ocalls for the functions that are used by ocamlrun but not
supported by SGX.  Using the functionalities provided by Intel SGX, we
managed to create an .so library containing our OCaml code along with
the C wrapper.  This .so library is what is meant to run in an SGX
enclave (we so far only implemented the ocalls that we needed, and not
all missing functionalities from ocamlrun).

Our problem is now that when we call caml_startup from within our C
wrapper (in order to start the OCaml code), the code seem to simply call
'exit' and stop there.  Does anyone know why this call to caml_startup
would call 'exit'?

We managed to create a simple example, which I can forward to anyone interested
to take a look (unfortunately mailing list has a limited attachment
and I can not
 send it).

Please note that we use ocaml 4.06.1 and gcc 7.3.0

Best,

Ivana

[-- Attachment #2: Type: text/html, Size: 1413 bytes --]

Re: [Caml-list] OCaml and SGX

[Ivana Vukotic]

[-- Attachment #1: Type: text/plain, Size: 1832 bytes --]

Dera Nicolas,

Thank you for your suggestion!

Actually I already posted the same question with code on the github:
https://github.com/intel/linux-sgx/issues/315


Best,
Ivana


On Thu, Oct 11, 2018 at 1:42 PM Nicolás Ojeda Bär <
nicolas.ojeda.bar@lexifi.com> wrote:

> Dear Ivana,
>
> You may get more people willing to help if you put up the simple
> example somewhere publicly accessible, such as github.
>
> Best wishes,
> Nicolás
> On Tue, Oct 9, 2018 at 6:23 PM Ivana Vukotic <ivanatodvuk@gmail.com>
> wrote:
> >
> > Hi,
> >
> > We are trying to run some OCaml code within an Intel SGX enclave.
> >
> > This OCaml code is called by a C wrapper using the method described
> > here:  https://caml.inria.fr/pub/docs/manual-ocaml/intfc.html
> >
> > Because Intel SGX doesn't support the entire standard C library, we had
> > to create ocalls for the functions that are used by ocamlrun but not
> > supported by SGX.  Using the functionalities provided by Intel SGX, we
> > managed to create an .so library containing our OCaml code along with
> > the C wrapper.  This .so library is what is meant to run in an SGX
> > enclave (we so far only implemented the ocalls that we needed, and not
> > all missing functionalities from ocamlrun).
> >
> > Our problem is now that when we call caml_startup from within our C
> > wrapper (in order to start the OCaml code), the code seem to simply call
> > 'exit' and stop there.  Does anyone know why this call to caml_startup
> > would call 'exit'?
> >
> > We managed to create a simple example, which I can forward to anyone
> interested
> > to take a look (unfortunately mailing list has a limited attachment and
> I can not
> >  send it).
> >
> > Please note that we use ocaml 4.06.1 and gcc 7.3.0
> >
> > Best,
> >
> > Ivana
>

[-- Attachment #2: Type: text/html, Size: 2641 bytes --]

Re: [Caml-list] OCaml and SGX

[Nicolás Ojeda Bär]

Dear Ivana,

There doesn't seem to be any call to caml_startup in the code you posted.

Regards,
Nicolás
On Thu, Oct 11, 2018 at 1:52 PM Ivana Vukotic <ivanatodvuk@gmail.com> wrote:
>
> Dera Nicolas,
>
> Thank you for your suggestion!
>
> Actually I already posted the same question with code on the github:
> https://github.com/intel/linux-sgx/issues/315
>
>
> Best,
> Ivana
>
>
> On Thu, Oct 11, 2018 at 1:42 PM Nicolás Ojeda Bär <nicolas.ojeda.bar@lexifi.com> wrote:
>>
>> Dear Ivana,
>>
>> You may get more people willing to help if you put up the simple
>> example somewhere publicly accessible, such as github.
>>
>> Best wishes,
>> Nicolás
>> On Tue, Oct 9, 2018 at 6:23 PM Ivana Vukotic <ivanatodvuk@gmail.com> wrote:
>> >
>> > Hi,
>> >
>> > We are trying to run some OCaml code within an Intel SGX enclave.
>> >
>> > This OCaml code is called by a C wrapper using the method described
>> > here:  https://caml.inria.fr/pub/docs/manual-ocaml/intfc.html
>> >
>> > Because Intel SGX doesn't support the entire standard C library, we had
>> > to create ocalls for the functions that are used by ocamlrun but not
>> > supported by SGX.  Using the functionalities provided by Intel SGX, we
>> > managed to create an .so library containing our OCaml code along with
>> > the C wrapper.  This .so library is what is meant to run in an SGX
>> > enclave (we so far only implemented the ocalls that we needed, and not
>> > all missing functionalities from ocamlrun).
>> >
>> > Our problem is now that when we call caml_startup from within our C
>> > wrapper (in order to start the OCaml code), the code seem to simply call
>> > 'exit' and stop there.  Does anyone know why this call to caml_startup
>> > would call 'exit'?
>> >
>> > We managed to create a simple example, which I can forward to anyone interested
>> > to take a look (unfortunately mailing list has a limited attachment and I can not
>> >  send it).
>> >
>> > Please note that we use ocaml 4.06.1 and gcc 7.3.0
>> >
>> > Best,
>> >
>> > Ivana

Re: [Caml-list] OCaml and SGX

[Ivana Vukotic]

[-- Attachment #1: Type: text/plain, Size: 2411 bytes --]

Dear Nicolas,

The call to caml_startup can be find in Enclave/Enclave.c

Best regards,
Ivana

On Thu, Oct 11, 2018 at 1:59 PM Nicolás Ojeda Bär <
nicolas.ojeda.bar@lexifi.com> wrote:

> Dear Ivana,
>
> There doesn't seem to be any call to caml_startup in the code you posted.
>
> Regards,
> Nicolás
> On Thu, Oct 11, 2018 at 1:52 PM Ivana Vukotic <ivanatodvuk@gmail.com>
> wrote:
> >
> > Dera Nicolas,
> >
> > Thank you for your suggestion!
> >
> > Actually I already posted the same question with code on the github:
> > https://github.com/intel/linux-sgx/issues/315
> >
> >
> > Best,
> > Ivana
> >
> >
> > On Thu, Oct 11, 2018 at 1:42 PM Nicolás Ojeda Bär <
> nicolas.ojeda.bar@lexifi.com> wrote:
> >>
> >> Dear Ivana,
> >>
> >> You may get more people willing to help if you put up the simple
> >> example somewhere publicly accessible, such as github.
> >>
> >> Best wishes,
> >> Nicolás
> >> On Tue, Oct 9, 2018 at 6:23 PM Ivana Vukotic <ivanatodvuk@gmail.com>
> wrote:
> >> >
> >> > Hi,
> >> >
> >> > We are trying to run some OCaml code within an Intel SGX enclave.
> >> >
> >> > This OCaml code is called by a C wrapper using the method described
> >> > here:  https://caml.inria.fr/pub/docs/manual-ocaml/intfc.html
> >> >
> >> > Because Intel SGX doesn't support the entire standard C library, we
> had
> >> > to create ocalls for the functions that are used by ocamlrun but not
> >> > supported by SGX.  Using the functionalities provided by Intel SGX, we
> >> > managed to create an .so library containing our OCaml code along with
> >> > the C wrapper.  This .so library is what is meant to run in an SGX
> >> > enclave (we so far only implemented the ocalls that we needed, and not
> >> > all missing functionalities from ocamlrun).
> >> >
> >> > Our problem is now that when we call caml_startup from within our C
> >> > wrapper (in order to start the OCaml code), the code seem to simply
> call
> >> > 'exit' and stop there.  Does anyone know why this call to caml_startup
> >> > would call 'exit'?
> >> >
> >> > We managed to create a simple example, which I can forward to anyone
> interested
> >> > to take a look (unfortunately mailing list has a limited attachment
> and I can not
> >> >  send it).
> >> >
> >> > Please note that we use ocaml 4.06.1 and gcc 7.3.0
> >> >
> >> > Best,
> >> >
> >> > Ivana
>

[-- Attachment #2: Type: text/html, Size: 3612 bytes --]