요약·해설과 원문, 전문 번역을 서로 분리했습니다. API 이름, symbol, source path는 원문 표기를 사용합니다.
1. 요약·해설
원문의 핵심 논리와 kernel programming 관점의 보충 설명입니다. 아래의 전문 번역과는 별도로 작성했습니다.
State and interface
freezer-subsystem.rst:56-99Self/parent freezing state와 세 interface file을 정리합니다.
Usage
freezer-subsystem.rst:100-131Freeze/thaw command와 cgroup v2 권고를 다룹니다.
2. 영어 원문 전체
번역 기준이 된 Linux v6.18.37 원문입니다. 줄 번호는 이 버전의 파일 좌표입니다.
원문 전체 펼치기
==============
Cgroup Freezer
==============
The cgroup freezer is useful to batch job management system which start
and stop sets of tasks in order to schedule the resources of a machine
according to the desires of a system administrator. This sort of program
is often used on HPC clusters to schedule access to the cluster as a
whole. The cgroup freezer uses cgroups to describe the set of tasks to
be started/stopped by the batch job management system. It also provides
a means to start and stop the tasks composing the job.
The cgroup freezer will also be useful for checkpointing running groups
of tasks. The freezer allows the checkpoint code to obtain a consistent
image of the tasks by attempting to force the tasks in a cgroup into a
quiescent state. Once the tasks are quiescent another task can
walk /proc or invoke a kernel interface to gather information about the
quiesced tasks. Checkpointed tasks can be restarted later should a
recoverable error occur. This also allows the checkpointed tasks to be
migrated between nodes in a cluster by copying the gathered information
to another node and restarting the tasks there.
Sequences of SIGSTOP and SIGCONT are not always sufficient for stopping
and resuming tasks in userspace. Both of these signals are observable
from within the tasks we wish to freeze. While SIGSTOP cannot be caught,
blocked, or ignored it can be seen by waiting or ptracing parent tasks.
SIGCONT is especially unsuitable since it can be caught by the task. Any
programs designed to watch for SIGSTOP and SIGCONT could be broken by
attempting to use SIGSTOP and SIGCONT to stop and resume tasks. We can
demonstrate this problem using nested bash shells::
$ echo $$
16644
$ bash
$ echo $$
16690
From a second, unrelated bash shell:
$ kill -SIGSTOP 16690
$ kill -SIGCONT 16690
<at this point 16690 exits and causes 16644 to exit too>
This happens because bash can observe both signals and choose how it
responds to them.
Another example of a program which catches and responds to these
signals is gdb. In fact any program designed to use ptrace is likely to
have a problem with this method of stopping and resuming tasks.
In contrast, the cgroup freezer uses the kernel freezer code to
prevent the freeze/unfreeze cycle from becoming visible to the tasks
being frozen. This allows the bash example above and gdb to run as
expected.
The cgroup freezer is hierarchical. Freezing a cgroup freezes all
tasks belonging to the cgroup and all its descendant cgroups. Each
cgroup has its own state (self-state) and the state inherited from the
parent (parent-state). Iff both states are THAWED, the cgroup is
THAWED.
The following cgroupfs files are created by cgroup freezer.
* freezer.state: Read-write.
When read, returns the effective state of the cgroup - "THAWED",
"FREEZING" or "FROZEN". This is the combined self and parent-states.
If any is freezing, the cgroup is freezing (FREEZING or FROZEN).
FREEZING cgroup transitions into FROZEN state when all tasks
belonging to the cgroup and its descendants become frozen. Note that
a cgroup reverts to FREEZING from FROZEN after a new task is added
to the cgroup or one of its descendant cgroups until the new task is
frozen.
When written, sets the self-state of the cgroup. Two values are
allowed - "FROZEN" and "THAWED". If FROZEN is written, the cgroup,
if not already freezing, enters FREEZING state along with all its
descendant cgroups.
If THAWED is written, the self-state of the cgroup is changed to
THAWED. Note that the effective state may not change to THAWED if
the parent-state is still freezing. If a cgroup's effective state
becomes THAWED, all its descendants which are freezing because of
the cgroup also leave the freezing state.
* freezer.self_freezing: Read only.
Shows the self-state. 0 if the self-state is THAWED; otherwise, 1.
This value is 1 iff the last write to freezer.state was "FROZEN".
* freezer.parent_freezing: Read only.
Shows the parent-state. 0 if none of the cgroup's ancestors is
frozen; otherwise, 1.
The root cgroup is non-freezable and the above interface files don't
exist.
* Examples of usage::
# mkdir /sys/fs/cgroup/freezer
# mount -t cgroup -ofreezer freezer /sys/fs/cgroup/freezer
# mkdir /sys/fs/cgroup/freezer/0
# echo $some_pid > /sys/fs/cgroup/freezer/0/tasks
to get status of the freezer subsystem::
# cat /sys/fs/cgroup/freezer/0/freezer.state
THAWED
to freeze all tasks in the container::
# echo FROZEN > /sys/fs/cgroup/freezer/0/freezer.state
# cat /sys/fs/cgroup/freezer/0/freezer.state
FREEZING
# cat /sys/fs/cgroup/freezer/0/freezer.state
FROZEN
to unfreeze all tasks in the container::
# echo THAWED > /sys/fs/cgroup/freezer/0/freezer.state
# cat /sys/fs/cgroup/freezer/0/freezer.state
THAWED
This is the basic mechanism which should do the right thing for user space task
in a simple scenario.
This freezer implementation is affected by shortcomings (see commit
76f969e8948d8 ("cgroup: cgroup v2 freezer")) and cgroup v2 freezer is
recommended.
3. 한국어 전문 번역
영어 원문의 문단 순서와 의미를 유지한 전체 번역입니다. 코드, 함수명, symbol과 URL은 원문 표기를 유지합니다.
Batch scheduling과 checkpointing
1-18Cgroup freezer는 system administrator 정책에 따라 machine resource를 schedule하는 batch job manager가 task 집합을 시작·정지할 때 유용합니다. 특히 HPC cluster에서 cluster 전체 access를 schedule하는 데 쓰이며 cgroup으로 job task 집합을 표현하고 그 task들을 함께 stop/start합니다.
Task group을 quiescent state로 만드는 두 대표 목적입니다.
Freezer가 task group의 일관된 snapshot 수집을 가능하게 합니다.
SIGSTOP/SIGCONT가 부적합한 이유
19-55User-space에서 `SIGSTOP`과 `SIGCONT`를 차례로 보내는 것만으로는 task를 투명하게 stop/resume할 수 없습니다. 두 signal 모두 대상 task 내부에서 관측할 수 있습니다. `SIGSTOP`은 catch·block·ignore할 수 없지만 wait하거나 parent를 ptrace하면 보이고, `SIGCONT`는 task가 직접 catch할 수도 있습니다.
demonstrate this problem using nested bash shells::
$ echo $$
16644
$ bash
$ echo $$
16690
From a second, unrelated bash shell:
$ kill -SIGSTOP 16690
$ kill -SIGCONT 16690
<at this point 16690 exits and causes 16644 to exit too>
Bash, gdb와 ptrace-aware program이 보게 되는 차이입니다.
Nested Bash 예제에서는 child shell 16690에 두 signal을 보내자 child가 종료되고 parent 16644도 함께 종료됩니다. Bash가 signal을 관측해 자체 대응하기 때문입니다. `gdb`처럼 ptrace를 사용하는 program도 같은 문제가 생길 수 있습니다.
Cgroup freezer는 kernel freezer code를 사용해 freeze/unfreeze cycle을 대상 task에 보이지 않게 하므로 Bash 예제와 gdb가 예상대로 동작합니다.
계층 상태와 cgroupfs interface
56-99Freezer는 hierarchical합니다. Cgroup을 freeze하면 그 cgroup과 모든 descendant cgroup의 task가 freeze됩니다. 각 cgroup은 자체 self-state와 parent에서 상속한 parent-state를 가지며 둘 다 `THAWED`일 때만 effective state가 `THAWED`입니다.
각 cgroup이 제공하는 state file과 의미입니다.
Effective state는 self와 ancestor request, 실제 task freeze 완료 여부를 결합합니다.
`freezer.state` read는 combined effective state를 반환합니다. Self나 parent 중 하나가 freezing이면 effective state도 `FREEZING` 또는 `FROZEN`입니다. 모든 local·descendant task가 frozen이 되면 `FREEZING`에서 `FROZEN`으로 바뀝니다.
`THAWED`를 써도 ancestor가 freezing이면 effective state는 thawed가 되지 않습니다. 실제 effective state가 `THAWED`가 되면 그 cgroup 때문에 freezing 중이던 descendant도 freezing을 벗어납니다. Root cgroup은 freeze할 수 없고 이 interface file도 없습니다.
Mount·freeze·thaw 예제와 v2 권고
100-131* Examples of usage::
# mkdir /sys/fs/cgroup/freezer
# mount -t cgroup -ofreezer freezer /sys/fs/cgroup/freezer
# mkdir /sys/fs/cgroup/freezer/0
# echo $some_pid > /sys/fs/cgroup/freezer/0/tasks
to get status of the freezer subsystem::
# cat /sys/fs/cgroup/freezer/0/freezer.state
THAWED
to freeze all tasks in the container::
# echo FROZEN > /sys/fs/cgroup/freezer/0/freezer.state
# cat /sys/fs/cgroup/freezer/0/freezer.state
FREEZING
# cat /sys/fs/cgroup/freezer/0/freezer.state
FROZEN
to unfreeze all tasks in the container::
# echo THAWED > /sys/fs/cgroup/freezer/0/freezer.state
# cat /sys/fs/cgroup/freezer/0/freezer.state
THAWED
Child cgroup을 만들고 task를 attach한 뒤 state가 완료될 때까지 관측합니다.
Legacy freezer와 권장 대안을 구분합니다.
Purpose
freezer-subsystem.rst:1-55Checkpointing과 signal-based stopping의 문제를 설명합니다.