Daniel, Dao Quang Minh

Results 13 issues of Daniel, Dao Quang Minh

This supports fetching PSI stats for cgroupv2 containers. We read the PSI metrics if they are available from: - cpu.pressure - memory.pressure - io.pressure See more about PSI at https://www.kernel.org/doc/html/latest/accounting/psi.html

area/cgroupv2
impact/changelog
kind/feature

Fix #3734 In cgroupv2 hierrachy, cgroup setup for nested containers (i.e. docker) are incorrect without enabling cgroup namespace. This enables cgroup namespace for all containers to fix the incorrect cgroup...

Currently, container is run without cgroup namespace, which creates non-functioning setup with cgroupv2 when cgroupv2 restrictions are enforced. For example, the cgroup tree for docker without cgroup namespace is: ```...

This expose a way to set the tcp upstream socket's request buffer manually, so we can call write later. The reason this is splitted into 2 functions is because i...

conflict

magic-trace failed to parse perf output with the following errors: ``` (monitor.ml.Error ("BUG: exception raised while parsing perf output. Please report this to https://github.com/janestreet/magic-trace/issues/" (exn Not_found) (perf_output ("1907478/1909463 457407.880965552: 1...

bug

Whenever a process is launched via `docker exec`, it seems that killing `docker exec` will not terminate the process. For example: ``` > docker run -d --name test-exec busybox top...

area/runtime
exp/expert
kind/bug
version/master

We have a simple reproducer: ```cpp ///usr/bin/env -S clang++ -O0 "$0" -o /tmp/demo && exec /tmp/demo "$@" #include #include #include using namespace std; extern "C" { void __attribute__((noinline)) __attribute__((used)) magic_trace_stop_indicator()...

bug

There are two things in the patch: - allow an idp public cert to be embedded rather than reading it from the path. Useful when we not store the cert...

Still considering where to put client, templates and the content of the global variables that we should support.

Werkzeug doesn't provide a clean way to start and shutdown it's development server. Hence, we need a lightweight wsgi server, able to run Flask application, and able to start and...