device_bind와 장치 객체 생성

QUESTION

device_bind와 장치 객체 생성 단계에서 실제로 바뀌는 상태는 무엇인가?

STRUCTURE

객체와 주소가 놓이는 구조

CALL PATH

실행 흐름

STATE LEDGER

단계별 입력과 출력

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

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

UPSTREAM SOURCE

원본 코드

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

225fail_alloc2:
226	if (CONFIG_IS_ENABLED(DM_DEVICE_REMOVE)) {
227		if (dev_get_flags(dev) & DM_FLAG_ALLOC_PDATA) {
228			free(dev_get_plat(dev));
229			dev_set_plat(dev, NULL);
230		}
231	}
232fail_alloc1:
233	devres_release_all(dev);
234
235	free(dev);
236
237	return ret;
238}
239
240int device_bind_with_driver_data(struct udevice *parent,
241				 const struct driver *drv, const char *name,
242				 ulong driver_data, ofnode node,
243				 struct udevice **devp)
244{
245	return device_bind_common(parent, drv, name, NULL, driver_data, node,
246				  0, devp);
247}
248
249int device_bind(struct udevice *parent, const struct driver *drv,
250		const char *name, void *plat, ofnode node,
251		struct udevice **devp)
252{
253	return device_bind_common(parent, drv, name, plat, 0, node, 0,
254				  devp);
255}
256
257int device_bind_by_name(struct udevice *parent, bool pre_reloc_only,
258			const struct driver_info *info, struct udevice **devp)
259{
260	struct driver *drv;
261	uint plat_size = 0;
262	int ret;
263
264	drv = lists_driver_lookup_name(info->name);
265	if (!drv)
266		return -ENOENT;
267	if (pre_reloc_only && !(drv->flags & DM_FLAG_PRE_RELOC))
268		return -EPERM;
269
270#if CONFIG_IS_ENABLED(OF_PLATDATA)
271	plat_size = info->plat_size;
272#endif
273	ret = device_bind_common(parent, drv, info->name, (void *)info->plat, 0,
274				 ofnode_null(), plat_size, devp);
275	if (ret)
276		return ret;
277
278	return ret;
279}
280
281int device_reparent(struct udevice *dev, struct udevice *new_parent)
282{
283	struct udevice *pos, *n;
284
285	assert(dev);
286	assert(new_parent);
287
288	device_foreach_child_safe(pos, n, dev->parent) {
289		if (pos->driver != dev->driver)
290			continue;
291
292		list_del(&dev->sibling_node);
293		list_add_tail(&dev->sibling_node, &new_parent->child_head);
294		dev->parent = new_parent;
295
296		break;
297	}
298
299	return 0;
300}
301
302static void *alloc_priv(int size, uint flags)
303{
304	void *priv;
305
306	if (flags & DM_FLAG_ALLOC_PRIV_DMA) {
307		size = ROUND(size, ARCH_DMA_MINALIGN);
308		priv = memalign(ARCH_DMA_MINALIGN, size);
309		if (priv) {
310			memset(priv, '\0', size);
311
312			/*
313			 * Ensure that the zero bytes are flushed to memory.

READING CONTRACT

발췌 범위와 읽기 기준

원문 225-313줄에는 앞뒤 문맥이 포함됩니다. 기준 구문 int device_bind(struct udevice *parent은 L249에 있습니다. 발췌 첫 줄을 함수 정의의 시작으로 해석하지 않습니다.

bind는 레지스터를 만지는 probe가 아니다. 이름, driver, node, parent, uclass와 자동 할당 데이터가 만들어지는 범위를 정확히 구분한다.

DETAILS

내부 동작을 더 깊게 읽기

IMPLEMENTATION NOTES

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

OBJECT LIFETIME

객체와 수명

FAILURE PATH

실패 지점과 증상

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

EVIDENCE

소스 밖에서 확인할 증거

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

LAB

직접 확인할 실험

1. 01
   dm tree에서 bound-only 장치 확인

   driver match 진입 전후에 driver metadata의 주소·크기·반환값과 timestamp를 함께 남긴다.

2. 02
   bind 실패 지점마다 list 길이 비교

   device_bind 진입 전후에 udevice allocation의 주소·크기·반환값과 timestamp를 함께 남긴다.

3. 03
   dev->flags의 bound/probed bit 기록

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

PRIMARY REFERENCES

원문과 다음 글