새 문서 목록

08:202024년 11월 26일 (화) 08:20 HIVE: A Hardware-assisted Isolated Execution Environment for eBPF on AArch64 (역사 | 편집) [6,322 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: USENIX Security Peihua Zhang, Chenggang Wu, Xiangyu Meng, Yinqian Zhang, ... and Zhe Wang 33rd USENIX Security Symposium (USENIX Security 2024) == 개요 == eBPF의 한계를 극복하기 위해서 Runtime check을 통해서 static verification의 한계를 극복한 논문이다. == Motivation == eBPF는 크게 두개의 문제가 있다. * Complexity issue: eBPF verifier가 legal program을 false positive하게 reject하는 경우 * Security issue: Malicious...)

11:212024년 11월 22일 (금) 11:21 Snapshot at the begining (역사 | 편집) [3,525 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: Garbage collection == Snapshot at the Beginning == '''Snapshot at the Beginning'''은 가비지 컬렉션(Garbage Collection, GC)에서 객체 참조 상태를 추적하기 위해 사용되는 전략이다. 주로 동시 가비지 컬렉션(Concurrent Garbage Collection)에서 사용되며, GC가 시작하는 시점의 객체 참조 상태(스냅샷)를 기준으로 살아있는 객체를 마킹한다. 이 전략은 객체 참조 상태의 동적 변경에 따른...)
04:442024년 11월 22일 (금) 04:44 Card table (역사 | 편집) [3,353 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: Garbage collection == Card Table 개요 == Card Table은 객체 참조 관계를 효율적으로 관리하기 위해 사용하는 데이터 구조이다. 주로 Generational GC에서 세대 간 참조를 추적하는 데 사용된다. == Card Table의 역할 == ;Generational GC의 효율성 보장 :Generational GC는 Young 세대와 Old 세대 간 객체 참조를 관리해야 한다. Card Table은 Old 세대에서 Young 세대를 참조하는 객체를 효율적...)

12:272024년 11월 21일 (목) 12:27 G1GC (역사 | 편집) [7,912 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: Garbage collection == 개요 == G1GC(Garbage-First Garbage Collector)는 자바 가상 머신(JVM)의 가비지 컬렉션 알고리즘 중 하나이다. 대규모 힙 메모리를 효율적으로 관리하고 가비지 컬렉션으로 인한 지연 시간을 최소화하기 위해 설계되었다. G1GC는 힙 메모리를 여러 리전(region)으로 나누어 관리하며, 가비지가 많은 리전을 우선적으로 수집하는 방식으로 동작한다. == 주...)

04:282024년 11월 20일 (수) 04:28 Bad unlock balance (역사 | 편집) [2,127 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: 디버깅 == WARNING: bad unlock balance detected! == '''WARNING: bad unlock balance detected!'''는 Linux 커널에서 락(lock)을 사용하는 과정에서 락의 상태 관리가 올바르게 이루어지지 않았음을 나타내는 경고이다. 이는 코드의 특정 경로에서 락을 걸고 해제하는 균형(balance)이 맞지 않을 때 발생한다. === 발생 상황 === 이 경고는 다음과 같은 상황에서 발생할 수 있다: ==== 1. 락...)

04:282024년 10월 22일 (화) 04:28 C4: The Continuously Concurrent Compacting Collector (역사 | 편집) [1,773 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: 시스템 논문 == 개요 == C4 GC는 The Pauseless GC Algorithm논문을 개선하여, Multi generational support와 Linux OS Modification에 대한 Detail그리고 X86 64시스템에 적용시킨 논문이다. == Motvation & Importance & Main Idea == The Pauseless GC Algorithm논문 참고 == Design == ; Multi-generational support : Pauseless GC와는 다르게, 여러개의 Yound, old generation을 지원하여셔, 더 큰 Throughput을 제공하였다...)

05:282024년 10월 21일 (월) 05:28 (State of) The Art of War: Offensive Techniques in Binary Analysis (역사 | 편집) [6,649 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: 시스템 논문 2016 IEEE Symposium on Security and Privacy Yan Shoshitaishvili, Ruoyu Wang, Christopher Salls, Nick Stephens, Mario Polino, Andrew Dutcher, John Grosen, Siji Feng, Christophe Hauser, Christopher Kruegel, Giovanni Vigna == 개요 == angr라는 시스템을 개발하게 된 이유와, 여러 구현 사항들, 그리고 Evaluation을 담고 있는 논문이다. == Importance == Binary Analysis는 매우 중요한 연구 주제이다. Binrary progr...)

13:382024년 10월 20일 (일) 13:38 The Pauseless GC Algorithm (역사 | 편집) [3,238 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: 시스템 논문 Usenix VEE 2025 Cliff Click, Gil Tene, Michael Wolf == 개요 == 인터럽트를 User-level에 효율적으로 전달할 수 있고, Read-barrier를 하드웨어적으로 구현할 수 있는 특수 CPU를 사용하여서, Garbage collection의 고질적인 문제인 Stop-the-world시간을 최소한 (이론상 0)으로 만들 수 있는 GC를 설계함 == Motivation == 기존 시스템에서 GC의 Stop-the-world는 Real-time시스템이나 Late...)

08:172024년 10월 18일 (금) 08:17 A Robust and Efficient Defense against Use-after-Free Exploits via Concurrent Pointer Sweeping (역사 | 편집) [2,416 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: 시스템 논문 CCS 2018 Daiping Liu, Mingwei Zhang, Haining Wang == 개요 == Pointer nullification알고리즘을 Concurrent하게 수행할 수 있도록 하고, 가능한 Synchronization문제를 load barrier를 통해서 해결하였다. == Design == pSweeper에서 Use after free버그를 막기 위해서, 모든 오브젝트가 Free되며, 모든 Dangling pointer들은 UAF를 막기 위해서 Nullification된다. 이때 기존 방식들은 Application...)

05:152024년 10월 14일 (월) 05:15 Fast, Flexible, and Practical Kernel Extensions (역사 | 편집) [7,879 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: 시스템 논문 SOSP 2024 Kumar Kartikeya Dwivedi, Rishabh Lyer, Sandihya Kashyap == 개요 == OS의 커널 리소스와 Kernel-extension의 리소르를 구분하여, Kernel extension을 Pratical하게 만드는 방법을 제시 == Motivation == Kernel extension은 많이 연구되어 왔고, 실제로도 많이 사용되고 있다. Kernel extension은 다음 4가지를 충족시켜주어야 한다. * Safety * Flexibility * Performance * Practicality == Impor...)