Thread overview
"D for a @safer Linux Kernel" poster presentation at APLAS
Sep 27, 2019
RazvanN
Sep 27, 2019
M.M.
Sep 27, 2019
RazvanN
Sep 30, 2019
Walter Bright
Oct 03, 2019
RazvanN
Oct 04, 2019
RazvanN
September 27, 2019
Hello all,

Alexandru Militaru's work "D for a @safer Linux Kernel" [1] has just been accepted for a poster presentation at APLAS [2]. We hope that this will be good publicity for D,

Cheers,
RazvanN

[1] https://www.youtube.com/watch?v=weRSwbZtKu0
[2] https://conf.researchr.org/track/aplas-2019/aplas-2019-posters#About
September 27, 2019
On Friday, 27 September 2019 at 09:26:22 UTC, RazvanN wrote:
> Hello all,
>
> Alexandru Militaru's work "D for a @safer Linux Kernel" [1] has just been accepted for a poster presentation at APLAS [2]. We hope that this will be good publicity for D,
>
> Cheers,
> RazvanN
>
> [1] https://www.youtube.com/watch?v=weRSwbZtKu0
> [2] https://conf.researchr.org/track/aplas-2019/aplas-2019-posters#About

Congratulations! Hopefully, you will make a research paper out of it as well. That will make the content available to much broader audience!
September 27, 2019
On Friday, 27 September 2019 at 10:39:42 UTC, M.M. wrote:
> On Friday, 27 September 2019 at 09:26:22 UTC, RazvanN wrote:
>> Hello all,
>>
>> Alexandru Militaru's work "D for a @safer Linux Kernel" [1] has just been accepted for a poster presentation at APLAS [2]. We hope that this will be good publicity for D,
>>
>> Cheers,
>> RazvanN
>>
>> [1] https://www.youtube.com/watch?v=weRSwbZtKu0
>> [2] https://conf.researchr.org/track/aplas-2019/aplas-2019-posters#About
>
> Congratulations! Hopefully, you will make a research paper out of it as well. That will make the content available to much broader audience!

Thanks you! That is our plan also. We hope we will finish the paper until late December and we will see where we can submit.
September 30, 2019
On 9/27/2019 4:18 AM, RazvanN wrote:
> On Friday, 27 September 2019 at 10:39:42 UTC, M.M. wrote:
>> On Friday, 27 September 2019 at 09:26:22 UTC, RazvanN wrote:
>>> Hello all,
>>>
>>> Alexandru Militaru's work "D for a @safer Linux Kernel" [1] has just been accepted for a poster presentation at APLAS [2]. We hope that this will be good publicity for D,
>>>
>>> Cheers,
>>> RazvanN
>>>
>>> [1] https://www.youtube.com/watch?v=weRSwbZtKu0
>>> [2] https://conf.researchr.org/track/aplas-2019/aplas-2019-posters#About
>>
>> Congratulations! Hopefully, you will make a research paper out of it as well. That will make the content available to much broader audience!
> 
> Thanks you! That is our plan also. We hope we will finish the paper until late December and we will see where we can submit.

This is good news!
October 03, 2019
On Friday, 27 September 2019 at 09:26:22 UTC, RazvanN wrote:
> Hello all,
>
> Alexandru Militaru's work "D for a @safer Linux Kernel" [1] has just been accepted for a poster presentation at APLAS [2]. We hope that this will be good publicity for D,
>
> Cheers,
> RazvanN
>
> [1] https://www.youtube.com/watch?v=weRSwbZtKu0
> [2] https://conf.researchr.org/track/aplas-2019/aplas-2019-posters#About

Nice. Has there been any recent performance improvements? There was a similar talk recently at the Linux Security Summit [1] yesterday from the Rust community.

[1] https://www.youtube.com/watch?time_continue=1&v=RyY01fRyGhM
October 03, 2019
On Thursday, 3 October 2019 at 07:13:05 UTC, Arun Chandrasekaran wrote:
> On Friday, 27 September 2019 at 09:26:22 UTC, RazvanN wrote:
>> Hello all,
>>
>> Alexandru Militaru's work "D for a @safer Linux Kernel" [1] has just been accepted for a poster presentation at APLAS [2]. We hope that this will be good publicity for D,
>>
>> Cheers,
>> RazvanN
>>
>> [1] https://www.youtube.com/watch?v=weRSwbZtKu0
>> [2] https://conf.researchr.org/track/aplas-2019/aplas-2019-posters#About
>
> Nice. Has there been any recent performance improvements? There was a similar talk recently at the Linux Security Summit [1] yesterday from the Rust community.
>
> [1] https://www.youtube.com/watch?time_continue=1&v=RyY01fRyGhM

It seems that they are creating a framework for developing kernel modules in rust that can be integrated with the linux kernel. They haven't tested the performance of a particular rust driver compared to a C one. This is a bit different from what we did: we directly ported a C driver to D and integrated it with the kernel, with negligible performance loss. The 4% performance loss that was encountered in some situations is due to the fact that we have D wrappers over C function calls and some macros are translated as functions that are called at runtime - they are not inlined -; one thing we still need to do is to test with the recent link time optimizations (LTO) and profile guided optimizations (PGO) flags in clang; we are confident that this will enhance the performance of the ported driver).
October 03, 2019
On Thursday, 3 October 2019 at 11:21:41 UTC, RazvanN wrote:
> On Thursday, 3 October 2019 at 07:13:05 UTC, Arun Chandrasekaran wrote:
>> [...]
>
> It seems that they are creating a framework for developing kernel modules in rust that can be integrated with the linux kernel. They haven't tested the performance of a particular rust driver compared to a C one. This is a bit different from what we did: we directly ported a C driver to D and integrated it with the kernel, with negligible performance loss. The 4% performance loss that was encountered in some situations is due to the fact that we have D wrappers over C function calls and some macros are translated as functions that are called at runtime - they are not inlined -; one thing we still need to do is to test with the recent link time optimizations (LTO) and profile guided optimizations (PGO) flags in clang; we are confident that this will enhance the performance of the ported driver).

Good to know. May be you could publish the code on GitHub/GitLab and that could attract interest among people who care about performance to take a look. It's tricky to measure performance at this scale.
October 04, 2019
On Thursday, 3 October 2019 at 17:30:20 UTC, Arun Chandrasekaran wrote:
> On Thursday, 3 October 2019 at 11:21:41 UTC, RazvanN wrote:
>> [...]
>
> Good to know. May be you could publish the code on GitHub/GitLab and that could attract interest among people who care about performance to take a look. It's tricky to measure performance at this scale.

The code is public: https://github.com/alexandrumc/d-virtio/pull/1