Ahn9807의 사용자 기여

2024년 11월 27일 (수)

• 05:402024년 11월 27일 (수) 05:40 차이 역사 +401 새글 MOAT: Towards Safe BPF Kernel Extension 새 문서: 분류: USENIX Security USENIX Security 2024 Hongyi Lu, Shuai Wang, Techang Wu, Wanning He, Fengwei Zhang == 개요 == MOAT는 eBPF의 문제점을 Intel PKS를 통해서 해결한 논문이다. == Motivation == eBPF는 널리 사용되고 있지만 다음 두개의 문제점을 가지고 있다. TO BE CONTINUED X == Importance == == Design == == Challenge == == Conclusion ==
• 05:002024년 11월 27일 (수) 05:00 차이 역사 −2 잔글 Fast, Flexible, and Practical Kernel Extensions 편집 요약 없음 최신

2024년 11월 26일 (화)

• 11:042024년 11월 26일 (화) 11:04 차이 역사 −1 BUDAlloc: Defeating Use-After-Free Bugs by Decoupling Virtual Address Management from Kernel 편집 요약 없음
• 11:042024년 11월 26일 (화) 11:04 차이 역사 +28 새글 분류:ACM SOSP 새 문서: 분류: 시스템 논문 최신
• 11:042024년 11월 26일 (화) 11:04 차이 역사 +8 잔글 Fast, Flexible, and Practical Kernel Extensions 편집 요약 없음
• 11:032024년 11월 26일 (화) 11:03 차이 역사 −16 Fast, Flexible, and Practical Kernel Extensions 편집 요약 없음
• 10:582024년 11월 26일 (화) 10:58 차이 역사 +28 새글 분류:USENIX Security 새 문서: 분류: 시스템 논문 최신
• 10:582024년 11월 26일 (화) 10:58 차이 역사 +72 분류:시스템 논문 편집 요약 없음
• 10:572024년 11월 26일 (화) 10:57 차이 역사 +2,289 새글 Conclusion 새 문서: 분류: 시스템 논문 == 주의 사항 == * Conclusion은 필자의 주관적인 평가로, 일부 틀리거나 과장된 내용이 있을 수 있습니다. * 논문에서 언급된 장점을 충분히 이해한 뒤, 연구의 발전 가능성을 탐구하기 위해 단점을 중심으로 분석하려고 노력하였습니다. * Conclusion의 내용은 Reviewer의 입장에서 연구를 연습하고, 차후 논문 아이디어를 발전시키기 위한 목적으로 작... 최신
• 10:512024년 11월 26일 (화) 10:51 차이 역사 +2,580 잔글 HIVE: A Hardware-assisted Isolated Execution Environment for eBPF on AArch64 편집 요약 없음 최신
• 09:572024년 11월 26일 (화) 09:57 차이 역사 +1,110 잔글 HIVE: A Hardware-assisted Isolated Execution Environment for eBPF on AArch64 편집 요약 없음
• 08:202024년 11월 26일 (화) 08:20 차이 역사 +2,632 새글 HIVE: A Hardware-assisted Isolated Execution Environment for eBPF on AArch64 새 문서: 분류: 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...
• 07:362024년 11월 26일 (화) 07:36 차이 역사 +67 분류:시스템 논문 편집 요약 없음
• 06:172024년 11월 26일 (화) 06:17 차이 역사 +2,972 Fast, Flexible, and Practical Kernel Extensions 편집 요약 없음 태그: 시각 편집: 전환됨
• 04:322024년 11월 26일 (화) 04:32 차이 역사 +2,205 Fast, Flexible, and Practical Kernel Extensions 편집 요약 없음 태그: 시각 편집: 전환됨

2024년 11월 22일 (금)

• 12:052024년 11월 22일 (금) 12:05 차이 역사 +1,895 G1GC 편집 요약 없음 최신
• 11:242024년 11월 22일 (금) 11:24 차이 역사 −1 SATB 넘겨주기 대상을 Snapshot at the beginging에서 Snapshot at the begining 문서로 변경했습니다 최신 태그: 넘겨주기 대상 변경
• 11:232024년 11월 22일 (금) 11:23 차이 역사 +43 새글 SATB Snapshot at the beginging 문서로 넘겨주기 태그: 새 넘겨주기
• 11:212024년 11월 22일 (금) 11:21 차이 역사 +3,525 새글 Snapshot at the begining 새 문서: 분류: Garbage collection == Snapshot at the Beginning == '''Snapshot at the Beginning'''은 가비지 컬렉션(Garbage Collection, GC)에서 객체 참조 상태를 추적하기 위해 사용되는 전략이다. 주로 동시 가비지 컬렉션(Concurrent Garbage Collection)에서 사용되며, GC가 시작하는 시점의 객체 참조 상태(스냅샷)를 기준으로 살아있는 객체를 마킹한다. 이 전략은 객체 참조 상태의 동적 변경에 따른... 최신
• 10:452024년 11월 22일 (금) 10:45 차이 역사 +4 새글 파일:G1GC.png 편집 요약 없음 최신
• 05:572024년 11월 22일 (금) 05:57 차이 역사 +1,894 G1GC 편집 요약 없음
• 04:442024년 11월 22일 (금) 04:44 차이 역사 +3,353 새글 Card table 새 문서: 분류: Garbage collection == Card Table 개요 == Card Table은 객체 참조 관계를 효율적으로 관리하기 위해 사용하는 데이터 구조이다. 주로 Generational GC에서 세대 간 참조를 추적하는 데 사용된다. == Card Table의 역할 == ;Generational GC의 효율성 보장 :Generational GC는 Young 세대와 Old 세대 간 객체 참조를 관리해야 한다. Card Table은 Old 세대에서 Young 세대를 참조하는 객체를 효율적... 최신
• 04:142024년 11월 22일 (금) 04:14 차이 역사 −40 잔글 Mark and sweep 편집 요약 없음 최신
• 04:142024년 11월 22일 (금) 04:14 차이 역사 +2 잔글 Garbage collection 편집 요약 없음 최신
• 04:132024년 11월 22일 (금) 04:13 차이 역사 +28 새글 분류:Garbage collection 새 문서: 분류: 메모리 관리 최신
• 04:122024년 11월 22일 (금) 04:12 차이 역사 +22 새글 Garbage-First Garbage Collection G1GC 문서로 넘겨주기 최신 태그: 새 넘겨주기

2024년 11월 21일 (목)

• 12:272024년 11월 21일 (목) 12:27 차이 역사 +4,123 새글 G1GC 새 문서: 분류: Garbage collection == 개요 == G1GC(Garbage-First Garbage Collector)는 자바 가상 머신(JVM)의 가비지 컬렉션 알고리즘 중 하나이다. 대규모 힙 메모리를 효율적으로 관리하고 가비지 컬렉션으로 인한 지연 시간을 최소화하기 위해 설계되었다. G1GC는 힙 메모리를 여러 리전(region)으로 나누어 관리하며, 가비지가 많은 리전을 우선적으로 수집하는 방식으로 동작한다. == 주...
• 08:572024년 11월 21일 (목) 08:57 차이 역사 +297 Spin lock 편집 요약 없음 최신
• 08:562024년 11월 21일 (목) 08:56 차이 역사 0 Kmalloc 편집 요약 없음 최신
• 08:552024년 11월 21일 (목) 08:55 차이 역사 +509 잔글 Kmalloc 편집 요약 없음
• 04:352024년 11월 21일 (목) 04:35 차이 역사 +1 잔글 ARM Confidential compute architecture 편집 요약 없음 최신

2024년 11월 20일 (수)

• 04:292024년 11월 20일 (수) 04:29 차이 역사 −779 Bad unlock balance 편집 요약 없음 최신
• 04:282024년 11월 20일 (수) 04:28 차이 역사 +2,906 새글 Bad unlock balance 새 문서: 분류: 디버깅 == WARNING: bad unlock balance detected! == '''WARNING: bad unlock balance detected!'''는 Linux 커널에서 락(lock)을 사용하는 과정에서 락의 상태 관리가 올바르게 이루어지지 않았음을 나타내는 경고이다. 이는 코드의 특정 경로에서 락을 걸고 해제하는 균형(balance)이 맞지 않을 때 발생한다. === 발생 상황 === 이 경고는 다음과 같은 상황에서 발생할 수 있다: ==== 1. 락...

2024년 10월 22일 (화)

• 04:282024년 10월 22일 (화) 04:28 차이 역사 +1,770 새글 C4: The Continuously Concurrent Compacting Collector 새 문서: 분류: 시스템 논문 == 개요 == 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을 제공하였다...

2024년 10월 21일 (월)

• 06:092024년 10월 21일 (월) 06:09 차이 역사 +112 새글 PSweeper A Robust and Efficient Defense against Use-after-Free Exploits via Concurrent Pointer Sweeping 문서로 넘겨주기 최신 태그: 새 넘겨주기
• 05:282024년 10월 21일 (월) 05:28 차이 역사 +6,657 새글 (State of) The Art of War: Offensive Techniques in Binary Analysis 새 문서: 분류: 시스템 논문 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...
• 02:232024년 10월 21일 (월) 02:23 차이 역사 0 잔글 The Pauseless GC Algorithm 편집 요약 없음

2024년 10월 20일 (일)

• 13:382024년 10월 20일 (일) 13:38 차이 역사 +3,244 새글 The Pauseless GC Algorithm 새 문서: 분류: 시스템 논문 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...

2024년 10월 18일 (금)

• 08:172024년 10월 18일 (금) 08:17 차이 역사 +2,425 새글 A Robust and Efficient Defense against Use-after-Free Exploits via Concurrent Pointer Sweeping 새 문서: 분류: 시스템 논문 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...

2024년 10월 14일 (월)

• 05:152024년 10월 14일 (월) 05:15 차이 역사 +2,712 새글 Fast, Flexible, and Practical Kernel Extensions 새 문서: 분류: 시스템 논문 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...

2024년 9월 27일 (금)

• 06:172024년 9월 27일 (금) 06:17 차이 역사 +2,761 새글 ZIO: Accelerating IO-Intensive Applications with Transparent Zero-Copy IO 새 문서: 분류: 시스템 논문 Tim Stamler, Deukyeon Hwang, Amanda Raybuc, Wei Zhang, Simon Peter OSDI 2022 == 개요 == zIO는 transparent한 zero-copy IO를 제공한다. zIO는 IO데이터를 추적하여, 불필요한 copy를 없애고, 동시에 data consistency를 보장하였다. == Motivation == 점차 성능이 빨라지는 IO Stack에서 Zero-copy IO는 성능을 위해서 많이 사용된다. 하지만 data에 대한 Ownership을 안전하게 넘기기 위한...

2024년 9월 23일 (월)

• 04:402024년 9월 23일 (월) 04:40 차이 역사 +5,621 새글 DINT: Fast In-Kernel Distributed Transactions with eBPF 새 문서: 분류: 시스템 논문 NSDI 2024 Yang Zhou, Xingyu Xiang, Matthew Kiley, Sowmya Dharanipragada, Minlan Yu == 개요 == Kernel networking stack에 적용하기 위한 Extensible kernel메커니즘을 eBPF로 구현하여서, XDP로는 표현할 수 없는 복잡한 Mechanisms을 커널에 구현할 수 있도록 하였다. == Motivation == CXL과 같은 Fast distributed in-memory transaction이 가능해지는 현재, Storage가 아닌 Networking stack에 Bottlenec...

2024년 9월 4일 (수)

• 03:222024년 9월 4일 (수) 03:22 차이 역사 +9 대문 편집 요약 없음
• 03:062024년 9월 4일 (수) 03:06 차이 역사 −1 Pointer authentication code 편집 요약 없음
• 03:042024년 9월 4일 (수) 03:04 차이 역사 0 잔글 Pointer authentication code Ahn9807님이 Pointer autehntication code 문서를 Pointer authentication code 문서로 이동했습니다
• 03:042024년 9월 4일 (수) 03:04 차이 역사 +2,846 새글 Pointer authentication code 새 문서: 분류: 하드웨어 기반 보안 분류: ARM == 개요 == Pointer Authentication Code (PAC)는 ARMv8.3 (AArch64)에서 도입된 보안 기법으로, 포인터를 사용하기 전에 이를 인증하기 위해 사용된다. ARM PAC은 Cherry비슷한 Capability-based isolation환경을 Application과 Kernel모두에게 제공한다. == PAC == Return oridented programming과 같은 공격을 방어하기 위해서, Pointer address의 무결성(Integrity)를...

2024년 9월 1일 (일)

• 06:172024년 9월 1일 (일) 06:17 차이 역사 +135 FetchBPF: Customizable Prefetching Policies in Linux with eBPF 편집 요약 없음
• 06:162024년 9월 1일 (일) 06:16 차이 역사 +2,143 새글 FetchBPF: Customizable Prefetching Policies in Linux with eBPF 새 문서: 분류: 시스템 논문 USENIX ATC 2024 Xuechun Cao Shaurya Patel Soo Yee Lim Xueyuan Han Thomas Pasquier == 개요 == == Motivation == 시스템이 점점 메모리를 많이 요구함에 따라서, Userlevel의 특정 Application에 최적화된 prefetching 알고리즘을 구현하는 것이 점차 중요해지고 있다. == Impotance == Userlevel의 Application에서 Prefetching알고리즘을 조절할 수 있도록 하는 Previous work들이 있었지만, Perfor...

2024년 8월 15일 (목)

• 13:322024년 8월 15일 (목) 13:32 차이 역사 +25 대문 편집 요약 없음

2024년 8월 5일 (월)

• 09:472024년 8월 5일 (월) 09:47 차이 역사 −3 EXTMEM: Enabling Application-Aware Virtual Memory Management for Data-Intensive Applications 편집 요약 없음