timekeeping: 갱신 중인 시계를 일관되게 읽기

이 코드는 어떤 문제를 푸나요?

커널의 현재 시각은 기준 시각과 그 뒤에 흐른 시간으로 계산할 수 있습니다. 그런데 두 값을 읽는 사이 다른 CPU가 기준을 갱신하면 서로 다른 세대의 값을 섞을 수 있습니다. ktime_get은 sequence counter를 확인해 충돌했을 때 다시 읽습니다.

읽을 범위: v6.18.37 · kernel/time/timekeeping.c · ktime_get 814–831행입니다. 아래에 이 범위의 원문과 각 줄의 설명을 실었습니다. 주제 전체의 흐름과 다른 경로는 기존 분석에서 함께 읽으실 수 있습니다.

먼저 알아둘 개념

monotonic time

벽시계의 날짜·시각을 그대로 반환하는 개념이 아닙니다. ktime_get은 CLOCK_MONOTONIC 계열의 시간을 읽으며 일반적인 시스템 suspend 구간을 포함하는 boottime과도 구분됩니다.

기준 시각과 경과 시간

마지막으로 정리해 둔 base에 clocksource에서 계산한 추가 나노초를 더합니다. 하드웨어 카운터 숫자를 그대로 날짜로 해석하지 않습니다.

sequence counter

읽기 전후에 갱신 여부를 확인하는 방법입니다. 독자가 writer를 막는 대신 충돌한 읽기를 버리고 다시 시도할 수 있습니다.

처음 읽을 때

기준 시각을 옛 값으로 읽고 경과 시간은 새 기준에 맞춘 값으로 읽었다면 합이 잘못될 수 있습니다. 두 값을 같은 갱신 구간에서 얻는 이유를 숫자 예로 설명해 보세요.

더 깊이 살펴볼 때

seqcount 재시도 조건과 timekeeping_get_ns의 clocksource 변환을 연결해 보세요. 독자의 잠금 대기 감소와 재시도 가능성이라는 교환 관계가 있습니다.

그림으로 보는 변화

GIF 재생1단계 · 멈춰 보기2단계 · 멈춰 보기3단계 · 멈춰 보기

1단계 고정

GIF 원본 열기

1. 읽기 시작 번호 기록

read_seqcount_begin

화살표는 읽기 순서입니다. 번호는 시간이 아니라 상태 갱신을 확인하는 값입니다.

2. 기준과 경과 시간 읽기

base + clocksource에서 얻은 nsecs

이 두 값은 같은 갱신 상태에 속해야 합니다.

3. 갱신 충돌 확인 후 합산

retry면 다시 읽고 아니면 base+nsecs 반환

되돌아가는 화살표는 데이터 복사가 아니라 재읽기입니다. 전체 시스템 시계를 되돌리지 않습니다.

ktime_get를 한 줄씩 읽기

줄 번호는 v6.18.37 원문 기준입니다. 주석·빈 줄을 포함한 함수 전체를 먼저 보고, 그 아래에서 각 줄을 설명합니다.

ktime_t ktime_get(void)
{
	struct timekeeper *tk = &tk_core.timekeeper;
	unsigned int seq;
	ktime_t base;
	u64 nsecs;

	WARN_ON(timekeeping_suspended);

	do {
		seq = read_seqcount_begin(&tk_core.seq);
		base = tk->tkr_mono.base;
		nsecs = timekeeping_get_ns(&tk->tkr_mono);

	} while (read_seqcount_retry(&tk_core.seq, seq));

	return ktime_add_ns(base, nsecs);
}

ktime_t ktime_get(void)

	struct timekeeper *tk = &tk_core.timekeeper;

	unsigned int seq;

	ktime_t base;

	u64 nsecs;

	WARN_ON(timekeeping_suspended);

	do {

		seq = read_seqcount_begin(&tk_core.seq);

		base = tk->tkr_mono.base;

		nsecs = timekeeping_get_ns(&tk->tkr_mono);

	} while (read_seqcount_retry(&tk_core.seq, seq));

	return ktime_add_ns(base, nsecs);

함께 생각해 볼 질문

출처와 읽은 범위

Linux stable v6.18.37 · kernel/time/timekeeping.c

해당 버전 원본 파일 · 기존 코드 분석 · 설명 원고