Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

QEMU riscv32 SMP stucks #1345

Open
yf13 opened this issue Nov 5, 2024 · 2 comments
Open

QEMU riscv32 SMP stucks #1345

yf13 opened this issue Nov 5, 2024 · 2 comments

Comments

@yf13
Copy link
Contributor

yf13 commented Nov 5, 2024 •
edited
Loading

Issue

When trying sel4test with QEMU v6.2 on Ubuntu for SMP build, the target stuck at test IPC1001 (Test SMP inter-AS seL4_Send + seL4_Recv).

Reproducing steps

$ uname -a
Linux r7 6.2.0-33-generic #33~22.04.1-Ubuntu SMP PREEMPT_DYNAMIC Thu Sep  7 10:33:52 UTC 2 x86_64 x86_64 x86_64 GNU/Linux
$ cd sel4-test
$ repo init -u https://github.com/seL4/sel4test-manifest.git
$ repo sync
$ cd ~/tmp/rv32/aaa
$ ~/Projects/sel4-test/init-build.sh -DPLATFORM=qemu-riscv-virt -DKernelSel4Arch=riscv32 -DSMP=TRUE
$ ninja
$ qemu-system-riscv32 -M virt -m 2048 -smp 4 -nographic -bios images/sel4test-driver-image-riscv-qemu-riscv-virt

Note that Non-SMP build ends with 114 tests passed. 49 tests disabled. All is well in the universe.

Logs
@yf13
Copy link
Contributor Author

yf13 commented Nov 5, 2024

Updates: after waiting longer, it moves aheads and finally ends with 115 tests passed. 48 tests disabled. All is well in the universe.

Are the slow inter-AS tests normal?

@Indanz
Copy link
Contributor

Indanz commented Nov 5, 2024

The IPC1001-3 tests are very slow on real RISC-V hardware too, wouldn't surprise me if emulated SMP RISC-V in QEMU is even worse. It's on my todo list to look into what's happening, but haven't gotten to it yet.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@yf13 @Indanz