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.

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

Use systemd API to create cgroup #251

Closed
PhilippWendler opened this issue Jul 23, 2017 · 4 comments · Fixed by #791
Closed

Use systemd API to create cgroup #251

PhilippWendler opened this issue Jul 23, 2017 · 4 comments · Fixed by #791

Comments

@PhilippWendler
Copy link
Member

Currently we create cgroups ourselves, but the kernel is moving in the direction of allowing only a single process to manipulate the cgroup hierarchy. This would be systemd in practice. So we should start migrating to use systemd's dbus API for creating cgroups, and later on for all cgroup accesses.

Documentation on this is available here, we should be able to use a "scope". We can also look at systemd-run to see how this can be done.

Because scopes can be created by ordinary users, this even has the advantage that in the future we might be able to install and use BenchExec on systems as regular users without any special permissions, which would be great.

@danieldietsch
Copy link
Contributor

Would this mean that benchexec then depends on systemd? If so, what about Linux systems without systemd?

@PhilippWendler
Copy link
Member Author

No, of course we can simply keep the existing code for systems without systemd.

@danieldietsch
Copy link
Contributor

Sounds good, thanks!

@PhilippWendler
Copy link
Member Author

Part of #791 for cgroupsv2. Will not be implemented for cgroupsv1.

@PhilippWendler PhilippWendler linked a pull request Oct 20, 2023 that will close this issue
3 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Development

Successfully merging a pull request may close this issue.

2 participants