검색 여닫기
메뉴 여닫기
501
215
4
1.9천
noriwiki
환경 설정 메뉴 여닫기
개인 메뉴 여닫기
로그인하지 않음
지금 편집한다면 당신의 IP 주소가 공개될 수 있습니다.

새 문서 목록

다른 명령
새 문서 목록
등록된 사용자 숨기기 | 봇을 숨기기 | 넘겨주기를 보이기
(최신 | 오래됨) ( | 이전 50개) (20 | 50 | 100 | 250 | 500) 보기

2025년 1월 15일 (수)

  • 10:182025년 1월 15일 (수) 10:18 Motivation (역사 | 편집) [6,829 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: Style: Lessons in Clarity and Grace == 개요 == 어떻게 Introduction, Motivation, 그리고 Conclusion을 써야 할 것이지 설명한다. Motivation은 크게 두가지 목적이 있다. * 독자들에게 앞으로 어떤 것에 대해서 설명할으로써, 그들이 좀더 많은 지식을 가지고 글을 읽을 수 있도록 함 * 독자들이 글을 읽고 싶도록 Motivate하여, 그들이 그을 더욱 자세히 읽도록 함 == Introduction 을 작...)

2025년 1월 13일 (월)

2025년 1월 12일 (일)

2025년 1월 11일 (토)

2025년 1월 9일 (목)

2025년 1월 6일 (월)

2025년 1월 5일 (일)

2025년 1월 2일 (목)

2024년 12월 26일 (목)

2024년 12월 25일 (수)

  • 15:072024년 12월 25일 (수) 15:07 수레바퀴 아래서 (역사 | 편집) [10,197 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: 문학 분류: 유럽문학 서귀포에서 1등한 경험. 그떄 느꼈던 야릇한 승리감. 고등학교 생활. 그후 겪은 좌절. 방황에 대한 수필 작성. 책을 읽으면서도 받는 공부에 대한 스트레스 (대학원 입장). 한국의 교육과 학벌에 대한 사람들의 문제점. 나의 생각. 대학원생에게 수레바퀴란? 한국의 젋은이들의 자살율, 삶의 질. 소설에 나오는 아버지는 지극히 평범한...)

2024년 12월 21일 (토)

2024년 12월 18일 (수)

2024년 12월 12일 (목)

2024년 12월 10일 (화)

2024년 12월 9일 (월)

2024년 12월 6일 (금)

  • 14:012024년 12월 6일 (금) 14:01 Fuzzing (역사 | 편집) [3,586 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: Fuzzing == 개요 == FUzzing은 소프트웨어 테스트 기법으로서, 컴퓨터 프로그램에 유효하고 무작우의 데이터를 입력하는 것이다. 이후 프로그램은 잘못된 실행을 하는지에 대한 체크를 통해서 잠재적인 버그를 찾는다. 퍼징은 주로 소프트웨어나 컴퓨터 시스템들의 보안 문제를 테스트하기 위해 사용된다. 퍼징 프로그램의 형태로 변이 기반(Mutation)과 생성 기...)
  • 13:132024년 12월 6일 (금) 13:13 BRF: Fuzzing the eBPF Runtime (역사 | 편집) [2,015 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: ACM FSE HSIN-WEI HUNG, ARDALAN AMIRI SANI ACM FSE 2024 == 개요 == eBPF Fuzzer설계시에 기존 시스템의 한계인 대부분의 경우 eBPF Static verifier가 프로그램을 Reject시키는 문제를 eBPF Semantic정보를 통하여 해결하여 극복한 논문이다. == Motivation == eBPF 버그 많다. eBPF 버그 Fuzzer로 잡으면 좋다. == Importance == 그러나 기존의 방식들은 eBPF Semantic에 맞지않는 프로그램을 생성하여...)
  • 04:152024년 12월 6일 (금) 04:15 Validating the eBPF Verifier via State Embedding (역사 | 편집) [2,840 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: USENIX OSDI Hao Sun, Zhendong Su USENIX OSDI 2024 == 개요 == State embedding (Assertion을 집어 넣는 것)을 통하여 eBPF의 State transition을 반영한 Gray-box기반의 eBPF Fuzzer를 개발함 == Motivation == eBPF중요함. 버그 많음. 기존 Fuzzer black-box임. Black-box Fuzzing으로는 eBPF에서 발생하는 버그들은 Hard to notice, Hard to detect의 두가지 성질을 가지고 있음. 따라서, 새로운 eBPF Fuzzer개발해야 함....)

2024년 12월 5일 (목)

2024년 12월 4일 (수)

  • 09:372024년 12월 4일 (수) 09:37 Random Testing for C and C++ Compilers with YARPGen (역사 | 편집) [7,114 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: ACM OOPSLA VSEVOLOD LIVINSHII, DMITRY BABOKIN, JOHN REGEHR ACM OOPSLA 2020 == 개요 == 컴파일러 테스팅을 위하여 프로그램을 랜덤 생성할시 커버리지를 높이기 위하여 코드 특성을 체계적으로 변경하는 매커니즘을 제공하고, 언어의 제한된 하위 집합에 머물지 않으면서도 정의되지 않은 동작이 없는 코드를 생성해내는 새로운 Compiler fuzzing test generator을 고안하였다. == Mot...)
  • 05:312024년 12월 4일 (수) 05:31 Differential testing (역사 | 편집) [1,454 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: Fuzzing == 개요 == Differential testing은 동일한 입력을 여러 유사한 Application (혹은 버전만 다른 같은 Application)에 제공하고 실행의 차이를 관찰하여 버그를 탐지하는 Fuzzing기법이다. Differnetial testing은 Crash나 Abortion을 유발하지 않는 Semantic혹은 Logical bug를 발견하기 위해서 사용된다. Differential testing은 다른 발로 Back-to-Back testing이라고 불리기도 한다. Differential tes...)

2024년 12월 2일 (월)

  • 06:562024년 12월 2일 (월) 06:56 Operating System Transactions (역사 | 편집) [4,211 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: ACM SOSP Donald E. Porter, Owen S. Hofmann, Christopher J. Rossbach, Alexander Benn, and Emmett Witchel SOSP’09 == 개요 == 시스템 콜을 Transaction하게 만든 디자인을 제시한 논문이다. == Motivation == Applications developer들은 논리적으로 연관된 여러개의 시스템콜을 사용한다. 이러한 Complexity는 buggy하거나 malicious한 어플리케이션에서 Critical한 Attack point혹은 Data lose로 이어질 수 있다...)

2024년 11월 29일 (금)

2024년 11월 27일 (수)

2024년 11월 26일 (화)

2024년 11월 22일 (금)

  • 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 세대를 참조하는 객체를 효율적...)

2024년 11월 21일 (목)

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

2024년 11월 20일 (수)

  • 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. 락...)

2024년 10월 22일 (화)

2024년 10월 21일 (월)

2024년 10월 20일 (일)

  • 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...)

2024년 10월 18일 (금)

2024년 10월 14일 (월)

(최신 | 오래됨) ( | 이전 50개) (20 | 50 | 100 | 250 | 500) 보기
원본 주소 "http://junhoahn.kr/noriwiki/index.php/특수:새문서"