block 장치와 partition 문자열 해석

QUESTION

block 장치와 partition 문자열 해석 단계에서 실제로 바뀌는 상태는 무엇인가?

STRUCTURE

객체와 주소가 놓이는 구조

CALL PATH

실행 흐름

STATE LEDGER

단계별 입력과 출력

각 단계의 입력과 처리 후 바뀌는 상태를 정리한 표다. 사용 중인 소스 버전에서 다른 필드를 변경한다면 그에 맞춰 표도 수정한다.

분석 범위의 전제와 비교해, 다음 단계에 잘못된 입력을 넘긴 부분부터 조사한다.

UPSTREAM SOURCE

원본 코드

아래 코드는 U-Boot v2026.07의 disk/part.c에서 431-519줄을 그대로 가져온 것이다. 설명을 위해 실제 코드를 가짜 의사 코드로 바꾸지 않았다.

431	*desc = get_dev_hwpart(ifname, dev, hwpart);
432	if (!(*desc) || ((*desc)->type == DEV_TYPE_UNKNOWN)) {
433		debug("** Bad device %s %s **\n", ifname, dev_hwpart_str);
434		dev = -ENODEV;
435		goto cleanup;
436	}
437
438	if (blk_enabled()) {
439		/*
440		 * Updates the partition table for the specified hw partition.
441		 * Always should be done, otherwise hw partition 0 will return
442		 * stale data after displaying a non-zero hw partition.
443		 */
444		if ((*desc)->uclass_id == UCLASS_MMC)
445			part_init(*desc);
446	}
447
448cleanup:
449	free(dup_str);
450	return dev;
451}
452
453#define PART_UNSPECIFIED -2
454#define PART_AUTO -1
455int blk_get_device_part_str(const char *ifname, const char *dev_part_str,
456			     struct blk_desc **desc,
457			     struct disk_partition *info, int allow_whole_dev)
458{
459	int ret;
460	const char *part_str;
461	char *dup_str = NULL;
462	const char *dev_str;
463	int dev;
464	char *ep;
465	int p;
466	int part;
467	struct disk_partition tmpinfo;
468
469	*desc = NULL;
470	memset(info, 0, sizeof(*info));
471
472#if IS_ENABLED(CONFIG_SANDBOX) || IS_ENABLED(CONFIG_SEMIHOSTING)
473	/*
474	 * Special-case a pseudo block device "hostfs", to allow access to the
475	 * host's own filesystem.
476	 */
477	if (!strcmp(ifname, "hostfs")) {
478		strcpy((char *)info->type, BOOT_PART_TYPE);
479		strcpy((char *)info->name, "Host filesystem");
480
481		return 0;
482	}
483#endif
484
485#if IS_ENABLED(CONFIG_CMD_UBIFS) && !IS_ENABLED(CONFIG_XPL_BUILD)
486	/*
487	 * Special-case ubi, ubi goes through a mtd, rather than through
488	 * a regular block device.
489	 */
490	if (!strcmp(ifname, "ubi")) {
491		if (!ubifs_is_mounted()) {
492			printf("UBIFS not mounted, use ubifsmount to mount volume first!\n");
493			return -EINVAL;
494		}
495
496		strcpy((char *)info->type, BOOT_PART_TYPE);
497		strcpy((char *)info->name, "UBI");
498		return 0;
499	}
500#endif
501
502	/* If no dev_part_str, use bootdevice environment variable */
503	if (CONFIG_IS_ENABLED(ENV_SUPPORT)) {
504		if (!dev_part_str || !strlen(dev_part_str) ||
505		    !strcmp(dev_part_str, "-"))
506			dev_part_str = env_get("bootdevice");
507	}
508
509	/* If still no dev_part_str, it's an error */
510	if (!dev_part_str) {
511		printf("** No device specified **\n");
512		ret = -ENODEV;
513		goto cleanup;
514	}
515
516	/* Separate device and partition ID specification */
517	part_str = strchr(dev_part_str, ':');
518	if (part_str) {
519		dup_str = strdup(dev_part_str);

READING CONTRACT

발췌 범위와 읽기 기준

원문 431-519줄에는 앞뒤 문맥이 포함됩니다. 기준 구문 int blk_get_device_part_str(const char *ifname은 L455에 있습니다. 발췌 첫 줄을 함수 정의의 시작으로 해석하지 않습니다.

문자열 파싱, 장치 probe, partition table 해석을 한 함수의 성공으로 뭉개지 않는다. 반환값 0, 1 이상, 음수의 의미도 호출자와 함께 본다.

DETAILS

내부 동작을 더 깊게 읽기

IMPLEMENTATION NOTES

구현을 읽을 때 놓치기 쉬운 부분

OBJECT LIFETIME

객체와 수명

FAILURE PATH

실패 지점과 증상

로그가 끊긴 함수뿐 아니라 그 함수에 주소, 크기, 플래그를 전달한 앞 단계도 조사한다. 오류 처리 후 등록된 객체나 하드웨어 설정이 그대로 남아 있는지도 확인한다.

EVIDENCE

소스 밖에서 확인할 증거

소스에서 파악한 동작을 실제 빌드 결과와 대상 보드의 로그로 확인한다. 아래 명령의 보드 이름과 툴체인 접두사는 사용 중인 빌드 환경에 맞게 바꾼다.

LAB

직접 확인할 실험

1. 01
   part list와 GPT 도구 출력 대조

   device number 진입 전후에 blk uclass의 주소·크기·반환값과 timestamp를 함께 남긴다.

2. 02
   깨진 GPT CRC에서 fallback 관찰

   partition table 진입 전후에 whole disk의 주소·크기·반환값과 timestamp를 함께 남긴다.

3. 03
   512/4096 block 장치의 offset 계산 비교

   disk_partition 진입 전후에 GPT or DOS table의 주소·크기·반환값과 timestamp를 함께 남긴다.

PRIMARY REFERENCES

원문과 다음 글