noriwiki에서 사용할 수 있는 모든 기록이 표시됩니다. 기록 종류나 사용자 이름(대소문자 구별) 또는 영향을 받는 문서(대소문자 구별)를 선택하여 범위를 좁혀서 살펴볼 수 있습니다.
- 2023년 2월 3일 (금) 06:48 Ahn9807 토론 기여님이 Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel 문서를 만들었습니다 (새 문서: 분류: 시스템 논문 PLDI == 개요 == eBPF를 기존에 Linux Kernel에서 분석하는 방식은 PL (programming language)에 대한 고민없이 진행되었다고 주장한다. 이 논문은 이러한 문제를 Abstract Interpretation이라는 기법을 통해서 해결하고 이에 따라 eBPF의 고질적인 문제였던, False negative문제와 Loop explosion을 해결하였다고 주장한다. == Problems and Importance == eBPF는 점점더 복잡해지고...)