runtime locking correctness validator


Luisa Cicolini <luisacicolini@...>
 

Hey everyone :)

I'm new to the community and I'd like to start contributing to Zephyr.
As a first-timer contributor, I would like to address this issue: https://github.com/zephyrproject-rtos/zephyr/issues/51073

If anyone has any suggestions or has begun tackling this issue already and wants to share their experience, please let me know!

Best :)

Luisa


Chris Friedt
 

Hi Luisa,

 

Welcome 😊

I’ll add some comments on the GH issue.

 

Cheers,

 

C

 

From: devel@... <devel@...> on behalf of Luisa Cicolini <luisacicolini@...>
Date: Wednesday, October 19, 2022 at 6:46 AM
To: devel@... <devel@...>
Subject: [Zephyr-devel] runtime locking correctness validator

Hey everyone :) I'm new to the community and I'd like to start contributing to Zephyr. As a first-timer contributor, I would like to address this issue: https: //github. com/zephyrproject-rtos/zephyr/issues/51073 If anyone has any suggestions

ZjQcmQRYFpfptBannerStart

This Message Is From an Untrusted Sender

You have not previously corresponded with this sender.

ZjQcmQRYFpfptBannerEnd

Hey everyone :)

I'm new to the community and I'd like to start contributing to Zephyr.

As a first-timer contributor, I would like to address this issue: https://github.com/zephyrproject-rtos/zephyr/issues/51073

If anyone has any suggestions or has begun tackling this issue already and wants to share their experience, please let me know!

Best :)

Luisa


Chris Friedt
 

Hi Luisa,

I almost forgot - if you would like a bit more real-time Q&A, Discord is probably your best bet. The community is very friendly and you’ll likely get an answer to your questions within a few minutes.

https://discord.com/invite/Ck7jw53nU2

Cheers,

 

C

 

From: devel@... <devel@...> on behalf of Chris Friedt via lists.zephyrproject.org <cfriedt=meta.com@...>
Date: Wednesday, October 19, 2022 at 2:36 PM
To: Luisa Cicolini <luisacicolini@...>, devel@... <devel@...>
Subject: Re: [Zephyr-devel] runtime locking correctness validator

Hi Luisa, Welcome 😊 I’ll add some comments on the GH issue. Cheers, C From: devel@ lists. zephyrproject. org <devel@ lists. zephyrproject. org> on behalf of Luisa Cicolini <luisacicolini@ gmail. com> ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍

ZjQcmQRYFpfptBannerStart

This Message Is From an External Sender

ZjQcmQRYFpfptBannerEnd

Hi Luisa,

 

Welcome 😊

I’ll add some comments on the GH issue.

 

Cheers,

 

C

 

From: devel@... <devel@...> on behalf of Luisa Cicolini <luisacicolini@...>
Date: Wednesday, October 19, 2022 at 6:46 AM
To: devel@... <devel@...>
Subject: [Zephyr-devel] runtime locking correctness validator

Hey everyone :) I'm new to the community and I'd like to start contributing to Zephyr. As a first-timer contributor, I would like to address this issue: https: //github. com/zephyrproject-rtos/zephyr/issues/51073 If anyone has any suggestions

ZjQcmQRYFpfptBannerStart

This Message Is From an Untrusted Sender

You have not previously corresponded with this sender.

ZjQcmQRYFpfptBannerEnd

Hey everyone :)

I'm new to the community and I'd like to start contributing to Zephyr.

As a first-timer contributor, I would like to address this issue: https://github.com/zephyrproject-rtos/zephyr/issues/51073

If anyone has any suggestions or has begun tackling this issue already and wants to share their experience, please let me know!

Best :)

Luisa


Chris Friedt
 

Hi Luisa,

 

You likely will not need a board to test functionality. In fact, a large amount of Zephyr development and Zephyr CI uses virtual hardware and / or native_posix.

The native_posix (or native_posix_64) targets have the advantage of being just regular Linux applications (unfortunately macOS is not yet supported), so it’s good for testing hardware-agnostic code like libraries.

For other purposes, I would suggest a Qemu target – e.g. qemu_x86_64, qemu_cortex_a53, …

You can run an individual sample app with, for example,
    west build -p auto -b qemu_x86_64 -t run samples/hello_world

if you would like to debug the sample app, then use
    west build -p auto -b qemu_x86_64 -t debugserver samples/hello_world

and then hit F5 in VS Code. See my launch.json file below for reference [1].

For running an entire suite of tests, you can use
    twister -p qemu_x86_64 -T tests/kernel

For more real-time support, I would very much suggest getting on the Discord server.

Cheers,

C

[1]
{

    "version": "0.2.0",

    "configurations": [

        {

            "name": "Remote Attach",

            "type": "lldb",

            "request": "custom",

            "targetCreateCommands": [

                "target create ${workspaceFolder}/build/zephyr/zephyr.elf"

            ],

            "processCreateCommands": [

                "gdb-remote localhost:1234",

            ]

        },

        {

            "name": "Remote Attach (riscv64)",

            "type": "cppdbg",

            "request": "launch",

            "cwd": "${workspaceFolder}",

            "program": "${workspaceFolder}/build/zephyr/zephyr.elf",

            "MIMode": "gdb",

            "miDebuggerPath": "${userHome}/zephyr-sdk-0.15.1/riscv64-zephyr-elf/bin/riscv64-zephyr-elf-gdb",

            "miDebuggerServerAddress": "localhost:1234",

            "launchCompleteCommand": "exec-run",

        },

    ],

}

From: luisa cicolini <luisacicolini@...>
Date: Wednesday, November 2, 2022 at 12:42 PM
To: Chris Friedt <cfriedt@...>
Subject: Re: [Zephyr-devel] runtime locking correctness validator

Dear Chris, Thank you very much for your suggestions. Unfortunately, I had some troubles with my laptop in the last weeks - should be solved now. I still have a question though: do you think I will need a board to test the functionality - even

ZjQcmQRYFpfptBannerStart

This Message Is From an Untrusted Sender

You have not previously corresponded with this sender.

ZjQcmQRYFpfptBannerEnd

Dear Chris,

Thank you very much for your suggestions. Unfortunately, I had some troubles with my laptop in the last weeks - should be solved now.

I still have a question though: do you think I will need a board to test the functionality - even though it is a software issue?

I read the documentation, but could not find anything regarding boards' emulation nor anything similar.

Best,

Luisa Cicolini

 

On Thu, Oct 20, 2022 at 2:09 PM Chris Friedt <cfriedt@...> wrote:

Hi Luisa,

I almost forgot - if you would like a bit more real-time Q&A, Discord is probably your best bet. The community is very friendly and you’ll likely get an answer to your questions within a few minutes.

https://discord.com/invite/Ck7jw53nU2

Cheers,

 

C

 

From: devel@... <devel@...> on behalf of Chris Friedt via lists.zephyrproject.org <cfriedt=meta.com@...>
Date: Wednesday, October 19, 2022 at 2:36 PM
To: Luisa Cicolini <
luisacicolini@...>, devel@... <devel@...>
Subject: Re: [Zephyr-devel] runtime locking correctness validator

Hi Luisa, Welcome 😊 I’ll add some comments on the GH issue. Cheers, C From: devel@ lists. zephyrproject. org <devel@ lists. zephyrproject. org> on behalf of Luisa Cicolini <luisacicolini@ gmail. com> ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍

ZjQcmQRYFpfptBannerStart

This Message Is From an External Sender

ZjQcmQRYFpfptBannerEnd

Hi Luisa,

 

Welcome 😊

I’ll add some comments on the GH issue.

 

Cheers,

 

C

 

From: devel@... <devel@...> on behalf of Luisa Cicolini <luisacicolini@...>
Date: Wednesday, October 19, 2022 at 6:46 AM
To:
devel@... <devel@...>
Subject: [Zephyr-devel] runtime locking correctness validator

Hey everyone :) I'm new to the community and I'd like to start contributing to Zephyr. As a first-timer contributor, I would like to address this issue: https: //github. com/zephyrproject-rtos/zephyr/issues/51073 If anyone has any suggestions

ZjQcmQRYFpfptBannerStart

This Message Is From an Untrusted Sender

You have not previously corresponded with this sender.

ZjQcmQRYFpfptBannerEnd

Hey everyone :)

I'm new to the community and I'd like to start contributing to Zephyr.

As a first-timer contributor, I would like to address this issue: https://github.com/zephyrproject-rtos/zephyr/issues/51073

If anyone has any suggestions or has begun tackling this issue already and wants to share their experience, please let me know!

Best :)

Luisa


Luisa Cicolini <luisacicolini@...>
 

Thank you very much for your time!
As soon as I am diving deeper into coding details I will definitely switch to Discord.

Have a great day!

Luisa

On Mon, Nov 7, 2022 at 4:16 PM Chris Friedt <cfriedt@...> wrote:

Hi Luisa,

 

You likely will not need a board to test functionality. In fact, a large amount of Zephyr development and Zephyr CI uses virtual hardware and / or native_posix.

The native_posix (or native_posix_64) targets have the advantage of being just regular Linux applications (unfortunately macOS is not yet supported), so it’s good for testing hardware-agnostic code like libraries.

For other purposes, I would suggest a Qemu target – e.g. qemu_x86_64, qemu_cortex_a53, …

You can run an individual sample app with, for example,
    west build -p auto -b qemu_x86_64 -t run samples/hello_world

if you would like to debug the sample app, then use
    west build -p auto -b qemu_x86_64 -t debugserver samples/hello_world

and then hit F5 in VS Code. See my launch.json file below for reference [1].

For running an entire suite of tests, you can use
    twister -p qemu_x86_64 -T tests/kernel

For more real-time support, I would very much suggest getting on the Discord server.

Cheers,

C

[1]
{

    "version": "0.2.0",

    "configurations": [

        {

            "name": "Remote Attach",

            "type": "lldb",

            "request": "custom",

            "targetCreateCommands": [

                "target create ${workspaceFolder}/build/zephyr/zephyr.elf"

            ],

            "processCreateCommands": [

                "gdb-remote localhost:1234",

            ]

        },

        {

            "name": "Remote Attach (riscv64)",

            "type": "cppdbg",

            "request": "launch",

            "cwd": "${workspaceFolder}",

            "program": "${workspaceFolder}/build/zephyr/zephyr.elf",

            "MIMode": "gdb",

            "miDebuggerPath": "${userHome}/zephyr-sdk-0.15.1/riscv64-zephyr-elf/bin/riscv64-zephyr-elf-gdb",

            "miDebuggerServerAddress": "localhost:1234",

            "launchCompleteCommand": "exec-run",

        },

    ],

}

From: luisa cicolini <luisacicolini@...>
Date: Wednesday, November 2, 2022 at 12:42 PM
To: Chris Friedt <cfriedt@...>
Subject: Re: [Zephyr-devel] runtime locking correctness validator

Dear Chris, Thank you very much for your suggestions. Unfortunately, I had some troubles with my laptop in the last weeks - should be solved now. I still have a question though: do you think I will need a board to test the functionality - even

ZjQcmQRYFpfptBannerStart

This Message Is From an Untrusted Sender

You have not previously corresponded with this sender.

ZjQcmQRYFpfptBannerEnd

Dear Chris,

Thank you very much for your suggestions. Unfortunately, I had some troubles with my laptop in the last weeks - should be solved now.

I still have a question though: do you think I will need a board to test the functionality - even though it is a software issue?

I read the documentation, but could not find anything regarding boards' emulation nor anything similar.

Best,

Luisa Cicolini

 

On Thu, Oct 20, 2022 at 2:09 PM Chris Friedt <cfriedt@...> wrote:

Hi Luisa,

I almost forgot - if you would like a bit more real-time Q&A, Discord is probably your best bet. The community is very friendly and you’ll likely get an answer to your questions within a few minutes.

https://discord.com/invite/Ck7jw53nU2

Cheers,

 

C

 

From: devel@... <devel@...> on behalf of Chris Friedt via lists.zephyrproject.org <cfriedt=meta.com@...>
Date: Wednesday, October 19, 2022 at 2:36 PM
To: Luisa Cicolini <
luisacicolini@...>, devel@... <devel@...>
Subject: Re: [Zephyr-devel] runtime locking correctness validator

Hi Luisa, Welcome 😊 I’ll add some comments on the GH issue. Cheers, C From: devel@ lists. zephyrproject. org <devel@ lists. zephyrproject. org> on behalf of Luisa Cicolini <luisacicolini@ gmail. com> ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍

ZjQcmQRYFpfptBannerStart

This Message Is From an External Sender

ZjQcmQRYFpfptBannerEnd

Hi Luisa,

 

Welcome 😊

I’ll add some comments on the GH issue.

 

Cheers,

 

C

 

From: devel@... <devel@...> on behalf of Luisa Cicolini <luisacicolini@...>
Date: Wednesday, October 19, 2022 at 6:46 AM
To:
devel@... <devel@...>
Subject: [Zephyr-devel] runtime locking correctness validator

Hey everyone :) I'm new to the community and I'd like to start contributing to Zephyr. As a first-timer contributor, I would like to address this issue: https: //github. com/zephyrproject-rtos/zephyr/issues/51073 If anyone has any suggestions

ZjQcmQRYFpfptBannerStart

This Message Is From an Untrusted Sender

You have not previously corresponded with this sender.

ZjQcmQRYFpfptBannerEnd

Hey everyone :)

I'm new to the community and I'd like to start contributing to Zephyr.

As a first-timer contributor, I would like to address this issue: https://github.com/zephyrproject-rtos/zephyr/issues/51073

If anyone has any suggestions or has begun tackling this issue already and wants to share their experience, please let me know!

Best :)

Luisa


Martin Schröder
 

I can also suggest renode for testing. 

I personally rarely feel the need to use real hardware for continuous development anymore when we have such amazing tools like renode where we can code up any scenario and run it automatically.


On Mon, 7 Nov 2022 at 16:16, Chris Friedt via lists.zephyrproject.org <cfriedt=meta.com@...> wrote:

Hi Luisa,

 

You likely will not need a board to test functionality. In fact, a large amount of Zephyr development and Zephyr CI uses virtual hardware and / or native_posix.

The native_posix (or native_posix_64) targets have the advantage of being just regular Linux applications (unfortunately macOS is not yet supported), so it’s good for testing hardware-agnostic code like libraries.

For other purposes, I would suggest a Qemu target – e.g. qemu_x86_64, qemu_cortex_a53, …

You can run an individual sample app with, for example,
    west build -p auto -b qemu_x86_64 -t run samples/hello_world

if you would like to debug the sample app, then use
    west build -p auto -b qemu_x86_64 -t debugserver samples/hello_world

and then hit F5 in VS Code. See my launch.json file below for reference [1].

For running an entire suite of tests, you can use
    twister -p qemu_x86_64 -T tests/kernel

For more real-time support, I would very much suggest getting on the Discord server.

Cheers,

C

[1]
{

    "version": "0.2.0",

    "configurations": [

        {

            "name": "Remote Attach",

            "type": "lldb",

            "request": "custom",

            "targetCreateCommands": [

                "target create ${workspaceFolder}/build/zephyr/zephyr.elf"

            ],

            "processCreateCommands": [

                "gdb-remote localhost:1234",

            ]

        },

        {

            "name": "Remote Attach (riscv64)",

            "type": "cppdbg",

            "request": "launch",

            "cwd": "${workspaceFolder}",

            "program": "${workspaceFolder}/build/zephyr/zephyr.elf",

            "MIMode": "gdb",

            "miDebuggerPath": "${userHome}/zephyr-sdk-0.15.1/riscv64-zephyr-elf/bin/riscv64-zephyr-elf-gdb",

            "miDebuggerServerAddress": "localhost:1234",

            "launchCompleteCommand": "exec-run",

        },

    ],

}

From: luisa cicolini <luisacicolini@...>
Date: Wednesday, November 2, 2022 at 12:42 PM
To: Chris Friedt <cfriedt@...>
Subject: Re: [Zephyr-devel] runtime locking correctness validator

Dear Chris, Thank you very much for your suggestions. Unfortunately, I had some troubles with my laptop in the last weeks - should be solved now. I still have a question though: do you think I will need a board to test the functionality - even

ZjQcmQRYFpfptBannerStart

This Message Is From an Untrusted Sender

You have not previously corresponded with this sender.

ZjQcmQRYFpfptBannerEnd

Dear Chris,

Thank you very much for your suggestions. Unfortunately, I had some troubles with my laptop in the last weeks - should be solved now.

I still have a question though: do you think I will need a board to test the functionality - even though it is a software issue?

I read the documentation, but could not find anything regarding boards' emulation nor anything similar.

Best,

Luisa Cicolini

 

On Thu, Oct 20, 2022 at 2:09 PM Chris Friedt <cfriedt@...> wrote:

Hi Luisa,

I almost forgot - if you would like a bit more real-time Q&A, Discord is probably your best bet. The community is very friendly and you’ll likely get an answer to your questions within a few minutes.

https://discord.com/invite/Ck7jw53nU2

Cheers,

 

C

 

From: devel@... <devel@...> on behalf of Chris Friedt via lists.zephyrproject.org <cfriedt=meta.com@...>
Date: Wednesday, October 19, 2022 at 2:36 PM
To: Luisa Cicolini <
luisacicolini@...>, devel@... <devel@...>
Subject: Re: [Zephyr-devel] runtime locking correctness validator

Hi Luisa, Welcome 😊 I’ll add some comments on the GH issue. Cheers, C From: devel@ lists. zephyrproject. org <devel@ lists. zephyrproject. org> on behalf of Luisa Cicolini <luisacicolini@ gmail. com> ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍

ZjQcmQRYFpfptBannerStart

This Message Is From an External Sender

ZjQcmQRYFpfptBannerEnd

Hi Luisa,

 

Welcome 😊

I’ll add some comments on the GH issue.

 

Cheers,

 

C

 

From: devel@... <devel@...> on behalf of Luisa Cicolini <luisacicolini@...>
Date: Wednesday, October 19, 2022 at 6:46 AM
To:
devel@... <devel@...>
Subject: [Zephyr-devel] runtime locking correctness validator

Hey everyone :) I'm new to the community and I'd like to start contributing to Zephyr. As a first-timer contributor, I would like to address this issue: https: //github. com/zephyrproject-rtos/zephyr/issues/51073 If anyone has any suggestions

ZjQcmQRYFpfptBannerStart

This Message Is From an Untrusted Sender

You have not previously corresponded with this sender.

ZjQcmQRYFpfptBannerEnd

Hey everyone :)

I'm new to the community and I'd like to start contributing to Zephyr.

As a first-timer contributor, I would like to address this issue: https://github.com/zephyrproject-rtos/zephyr/issues/51073

If anyone has any suggestions or has begun tackling this issue already and wants to share their experience, please let me know!

Best :)

Luisa



--
Best regards,

Martin Schröder
Embedded Firmware Consultant

Swedish Embedded Consulting Group AB