www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.announce - "D for a safer Linux Kernel" poster presentation at APLAS

reply RazvanN <razvan.nitu1305 gmail.com> writes:
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
Sep 27 2019
next sibling parent reply M.M. <matus email.cz> writes:
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!
Sep 27 2019
parent reply RazvanN <razvan.nitu1305 gmail.com> writes:
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.
Sep 27 2019
parent Walter Bright <newshound2 digitalmars.com> writes:
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!
Sep 30 2019
prev sibling parent reply Arun Chandrasekaran <aruncxy gmail.com> writes:
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
Oct 03 2019
parent reply RazvanN <razvan.nitu1305 gmail.com> writes:
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).
Oct 03 2019
parent reply Arun Chandrasekaran <aruncxy gmail.com> writes:
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.
Oct 03 2019
parent RazvanN <razvan.nitu1305 gmail.com> writes:
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
Oct 04 2019