Ahn9807의 사용자 기여

2023년 12월 25일 (월)

• 08:032023년 12월 25일 (월) 08:03 차이 역사 −3 미디어위키:Liberty-Navbar 편집 요약 없음

2023년 12월 4일 (월)

• 04:562023년 12월 4일 (월) 04:56 차이 역사 +906 Beyond malloc efficiency to fleet efficiency: a hugepage-aware memory allocator 편집 요약 없음
• 03:282023년 12월 4일 (월) 03:28 차이 역사 +3,816 새글 Beyond malloc efficiency to fleet efficiency: a hugepage-aware memory allocator 새 문서: 분류: 시스템 논문 A.H. Hunter, Chris Kennelly, Paul Turner, Darryl Gove, Tipp Moseley OSDI 2021 == 개요 == == Motivation == Huge page는 TLB miss를 줄여서 컴퓨팅 자원을 빠르게 사용할 수 있도록 한다. 그러나 Huge page를 고려하여서 Memory allocator를 작성하게 되면, Huge page allocation policy에 해당하는 CPU자원을 먹는다는 단점이 있따. == Importance == 기존의 Transparent huge page와 같은 시...

2023년 11월 30일 (목)

• 04:192023년 11월 30일 (목) 04:19 차이 역사 +42 새글 MTE Memory Tagging Extension 문서로 넘겨주기 최신 태그: 새 넘겨주기

2023년 11월 29일 (수)

• 01:012023년 11월 29일 (수) 01:01 차이 역사 +28 새글 분류:ARM 새 문서: 분류: 컴퓨터 구조 최신
• 01:012023년 11월 29일 (수) 01:01 차이 역사 +2,614 새글 Memory Tagging Extension 새 문서: 분류: ARM == 개요 == Arm memory tagging extension(MTE)는 적은 overhead로 메모리 버그를 탐지할 수 있도록 하는 하드웨어 기술이다. 최대 16개의 segment로 메모리의 접근을 조절할 수 있기 때문에, 항상 메모리 버그를 탐지하지는 못한다. 그러나, Sequential tag가 항상 다르도록 설정할 수 있어서, 대다수의 메모리 버그를 하드웨어적으로 막을 수 있다. == Design == MTE는 lock and key... 최신

2023년 11월 27일 (월)

• 05:502023년 11월 27일 (월) 05:50 차이 역사 +2,510 PUMM: Preventing Use-After-Free Using Execution Unit Partitioning 편집 요약 없음
• 02:022023년 11월 27일 (월) 02:02 차이 역사 +390 새글 Intel PT 새 문서: 분류: 인텔 == 개요 == Intel Processor Trace (Intel PT)는 인텔 아키텍쳐에서, 실행된 명령어의 순서, timing, 에너지 사용량과 같은 정보를 시스템 성능상의 overhead 없이(심지어 cache interference까지) 추적 할 수 있도록 하는 기술이다. Linux의 perf툴이 Intel PT나 다른 아키텍쳐의 비슷한 기능위에서 지원된다. 최신

2023년 11월 21일 (화)

• 11:552023년 11월 21일 (화) 11:55 차이 역사 +1,802 새글 Pushing Performance Isolation Boundaries into Application with pBox 새 문서: 분류: 시스템 논문 SOSP 2023 CASYS Virtualization and isolation 내부 세미나 논문 정리 == Motivation == Per application에서의 performance isolation을 고려해야 한다. 예를 들어서 client A와 client B가 있을떄, 하나는 read transaction이 돌아가고, 하나는 write이 돌아갈때, client A가 만약 긴 transaction을 잡게된다면, client A가 종료된후, 로깅이 계속 쌓여서, undo log로 지워주어야 하는데, 이러한...
• 10:442023년 11월 21일 (화) 10:44 차이 역사 +2,056 새글 Shinjuku: Preemptive Scheduling for μsecond-scale Tail Latency 새 문서: 분류: 시스템 논문 NSDI 2019 == Motivation == u second level의 tail latency를 제공하는 Network시스템을 구축하기 위해서, NIC와 Application의 Data plane을 효율적으로 작성해야 한다. == Main Idea == * Dune을 사용하였다. * Approximate PS (Processor sharing)를 통해서 워크로드를 수행하였다. 기존에 ps를 사용하지 않은 이유는 processor간의 스케쥴링이 매우 느리기 때문이다. * PS는 효율적으로... 태그: 시각 편집: 전환됨
• 04:472023년 11월 21일 (화) 04:47 차이 역사 +245 잔글 KSplit: Automating Device Driver Isolation →Limitations 태그: 시각 편집

2023년 11월 20일 (월)

• 11:082023년 11월 20일 (월) 11:08 차이 역사 +3,490 KSplit: Automating Device Driver Isolation 편집 요약 없음
• 10:242023년 11월 20일 (월) 10:24 차이 역사 +1 잔글 Interface description language 편집 요약 없음 최신
• 10:242023년 11월 20일 (월) 10:24 차이 역사 +1,429 새글 Interface description language 새 문서: 분류: 전산용어 분류: 시스템 보안 == 개요 == 인터페이스 정의 언어는 서로 다른 컴포넌트 사이에서 통신을 가능하게 하기 위해서, 언어와 독립된, 혹은 컴포넌트와 독립된 방식으로 인터페이스를 묘사하는 방식이다. 예를 들어서, Rust와 C는 서로다른 함수 호출 규약을 가지고 있다. 이러한 경우에, 중간에 IDL로 작성된 Wrapper을 둠으로써, Rust로 작성된 함...
• 07:482023년 11월 20일 (월) 07:48 차이 역사 +5,319 KSplit: Automating Device Driver Isolation 편집 요약 없음
• 05:402023년 11월 20일 (월) 05:40 차이 역사 +51 새글 파일:KSplit- Automating Device Driver Isolation Figure 3.png 편집 요약 없음 최신

2023년 11월 19일 (일)

• 15:052023년 11월 19일 (일) 15:05 차이 역사 +1,420 새글 KSplit: Automating Device Driver Isolation 새 문서: 분류: 시스템 논문 2022 OSDI Yongzhe Huang, Vikram Narayanan, David Detweiler, Kaiming Huang, Gang Tan, Trent Jaeger, Anton Burtsev == 개요 == Ksplit은 Kernel과 Device driver의 Static analysis를 통해서, Isolation된 환경에서 동작하는 동기화된 커널 드라이버를 생성해난다. KSplit은 Driver와 Kernel이 공유하는 State들을 찾아내어서, Shared state들에 대한 정보를 포함하는 Interface Definition Lanauge (IDL)로 작성... 태그: 시각 편집: 전환됨

2023년 11월 14일 (화)

• 03:212023년 11월 14일 (화) 03:21 차이 역사 0 잔글 갈루아 대응 →이용 최신 태그: 시각 편집
• 03:202023년 11월 14일 (화) 03:20 차이 역사 +4 잔글 Narrowing 편집 요약 없음 최신
• 03:192023년 11월 14일 (화) 03:19 차이 역사 +4 잔글 Widening 편집 요약 없음 최신
• 03:192023년 11월 14일 (화) 03:19 차이 역사 +29 새글 Least fixed point Fixed point 문서로 넘겨주기 최신 태그: 새 넘겨주기
• 03:192023년 11월 14일 (화) 03:19 차이 역사 −8 Narrowing 편집 요약 없음
• 03:182023년 11월 14일 (화) 03:18 차이 역사 +1,622 새글 Narrowing 새 문서: 분류: 프로그램 분석 == 개요 == Widening과 같은 경우에는 Overshooting을 통해서 finite한 시간안에 Least fixed point를 찾도록 해주지만, 너무 Overshooting되어서 precise한 결과를 가져오지 못하는 한계가 있다. 이를 해결하기 위해서 Narrowing을 통해서 Widening된 해답을 Optimal solution을 향해서 좁혀나가는 것을 의미한다. Narrowing operation은 <math>\bigtriangleup : D^{\sharp} \times D^{\s...
• 03:082023년 11월 14일 (화) 03:08 차이 역사 +1,664 새글 Widening 새 문서: 분류: 프로그램 분석 == 개요 == Widening은 fix point iterations에서 lattice가 infinite이거나, search space가 너무 크면 수렴에 무한히 (오랜)시간이 걸리는 문제를 해결하기 위해서, step을 한번에 크게 가져가는 것을 말한다. widening operation은 <math>\bigtriangledown : D^{\sharp} \times D^{\sharp} \rightarrow D^{\sharp}</math> 라는 기호로 표기한다. 여기서 다음 조건을 만족시키는 finite chain Y를...

2023년 11월 13일 (월)

• 06:032023년 11월 13일 (월) 06:03 차이 역사 +23 새글 Partial order set Order 문서로 넘겨주기 최신 태그: 새 넘겨주기
• 06:032023년 11월 13일 (월) 06:03 차이 역사 −1 잔글 갈루아 대응 편집 요약 없음
• 06:032023년 11월 13일 (월) 06:03 차이 역사 +1,374 새글 갈루아 대응 새 문서: 분류: 프로그램 분석 == 개요 == 갈루아 대응 (Galois connection)은 Partial order set의 관계를 묘사한 이론이다. 간략하게 프로그램적인 지식으로 설명하면, 변조된 데이터로부터 절대 원래 데이터를 완벽하게 복구할 수 없다는 이론이다. 예를 들어서 손실 압축후에는 원본 파일을 완벽하게 복구하는 것은 불가능하다. <math>D\Leftrightarrow D^{'}</math> 란 관계가 있다고...
• 04:252023년 11월 13일 (월) 04:25 차이 역사 +3 잔글 Taint analysis 편집 요약 없음 최신
• 04:252023년 11월 13일 (월) 04:25 차이 역사 +1,019 새글 Taint analysis 새 문서: 분류: 시스템 분석 == 개요 == 오염 분석은 접근된 오브젝트가 접근하는 모든 메모리를 분석하여서, Secure한 데이터가 Insecure한 데이터로부터 어떻게 접근되는지를 추적하여서, 미연에 격리하고 만약 잘못된 접근이 있을 경우 경고하는 기법이다. 오염 분석은, 데이터의 흐름을 추적하며 정적 분석, 혹은 동적 분석의 방법으로 추적된다. Source에 꼬리표를 붙... 태그: 시각 편집: 전환됨

2023년 11월 10일 (금)

• 05:132023년 11월 10일 (금) 05:13 차이 역사 +6 잔글 Steensgaard's algorithm →개요 최신 태그: 시각 편집
• 04:432023년 11월 10일 (금) 04:43 차이 역사 +549 새글 Context sensitive algorithm 새 문서: 분류: 프로그램 분석 == 개요 == Context sensitive algorithm이란, context에서 변수가 분석되는 알고리즘을 말한다. Context란 program의 어떤 위치에서 변수가 사용되었는지를 의미한다. 예를 들어서 malloc()이라는 함수가 프로그램의 다른 위치에서 쓰였다고 하자. Context insensitive 알고리즘은 malloc이라는 함수를 context와 상관없이 분석하지만, context sensitive 알고리즘은 각 malloc... 최신
• 04:382023년 11월 10일 (금) 04:38 차이 역사 +10 Steensgaard's algorithm →같이 보기 태그: 시각 편집: 전환됨
• 04:382023년 11월 10일 (금) 04:38 차이 역사 +3,209 새글 Steensgaard's algorithm 새 문서: 분류: 프로그램 분석 == 개요 == 큰 프로그램에 대해서 Anderson algorithm과 같은 경우에는 세제곱 복잡도로 인해서 성능이 매우 느려진다. Steensgaard 알고리즘은 정확도를 포기해서 거의 Linear-time에 프로그램 분석을 가능하도록 하는 알고리즘이다. 본 알고리즘은 Field-insensitive 알고리즘이며, 만약 Field sensitive하게 알고리즘을 만들면 이 알고리즘은 더이상 Linear-t...
• 04:122023년 11월 10일 (금) 04:12 차이 역사 +73 Anderson algorithm 편집 요약 없음 최신
• 04:092023년 11월 10일 (금) 04:09 차이 역사 +23 Anderson algorithm 편집 요약 없음
• 03:452023년 11월 10일 (금) 03:45 차이 역사 +4 Abstract interpretation 편집 요약 없음 최신
• 03:452023년 11월 10일 (금) 03:45 차이 역사 +31 새글 분류:Abstract interpretation 새 문서: 분류: 프로그램 분석 최신
• 03:442023년 11월 10일 (금) 03:44 차이 역사 +600 새글 Field sensitive algorithm 새 문서: 분류: 프로그램 분석 == 개요 == Field sensitive algorithm이란 구조체의 각각의 field (즉 구조체의 멤버 변수)들에 대한 포인터 참고를 추적하는 것이며, Field insensitive algorithm이란 구조체 전체를 퉁쳐서 계산하는 것을 말한다. 예를 들어서, Struct {Int f; Int g}; 란 구조체가 있다고 해보자. <br> p.f := &x p.g := &y 란 assignment가 있었을때, Field sensitive 알고리즘은 각 구조체의 fi... 최신
• 03:302023년 11월 10일 (금) 03:30 차이 역사 0 잔글 Anderson algorithm Ahn9807님이 Anderson Algorithm 문서를 넘겨주기를 만들지 않고 Anderson algorithm 문서로 이동했습니다
• 03:302023년 11월 10일 (금) 03:30 차이 역사 +1,347 Anderson algorithm 편집 요약 없음

2023년 11월 9일 (목)

• 09:462023년 11월 9일 (목) 09:46 차이 역사 +1,280 새글 Anderson algorithm 새 문서: 분류: 프로그램 분석 == 개요 == 앤덜슨 알고리즘은 프로그램 분석에서 기본이 되는 2가지 알고리즘 중에 하나로, 제일 정확하지만, 제일 오래걸리는 특징을 가진다. Context-insensitive 알고리즘 이며, Flow-insensitive분석 방법이다. == 알고리즘 == 포인터는 다음 4가지의 상태에서 연산된다. * address of: A = &B or (A = malloc(size), A = new ...) * copy: A = B * assign: *A = B * dere...

2023년 11월 8일 (수)

• 07:332023년 11월 8일 (수) 07:33 차이 역사 −1 잔글 Fixed point 편집 요약 없음 최신
• 07:332023년 11월 8일 (수) 07:33 차이 역사 −2 Fixed point 편집 요약 없음
• 07:332023년 11월 8일 (수) 07:33 차이 역사 +23 새글 Complete partial order Order 문서로 넘겨주기 최신 태그: 새 넘겨주기 시각 편집: 전환됨
• 07:322023년 11월 8일 (수) 07:32 차이 역사 +23 새글 Partial order Order 문서로 넘겨주기 최신 태그: 새 넘겨주기 시각 편집: 전환됨
• 07:322023년 11월 8일 (수) 07:32 차이 역사 +1,334 새글 Fixed point 새 문서: 분류: Abstract interpretation == 개요 == Fixed point란 F(X) = X를 만족시키는 점들을 말한다. * x 는 만약 <math>f : A \rightarrow A, x \in A </math>을 만족시키면 fixed point이다. 이때 함수가 Monotonic function이고, Partial order이 정의되어 있다면, 항상 제일큰 fixed point와 가장 작은 fixed point가 존재할 것이다. * leat fixed point: Monotonic 그리고 partial order인 집합 A에서, 제일 작은 fixed point...
• 07:012023년 11월 8일 (수) 07:01 차이 역사 +742 Order →Complete partial order 최신 태그: 시각 편집
• 06:192023년 11월 8일 (수) 06:19 차이 역사 +1,562 Order 편집 요약 없음
• 04:262023년 11월 8일 (수) 04:26 차이 역사 +2,136 새글 Order 새 문서: 분류: 프로그래밍 언어 == 개요 == 순서쌍 (a,b)에 대해서 관계를 정의하고, 그 관계를 통해서 나온 == 관계 == 집합 <math>X</math> 위의 이항 관계 <math>\le</math>가 다음 관계가 있다. * Reflexive: 임의의 <math>x\in X</math>에 대하여, <math>x\le x</math> * Anit-Reflexive: 임의의 <math>x\in X</math>에 대하여, <math>x\not< x</math> * Transitive: 임의의 <math>x,y,z\in X</math>에 대하여, <math>x\le y\le z</m...
• 03:442023년 11월 8일 (수) 03:44 차이 역사 +868 새글 Abstract interpretation 새 문서: 분류: 프로그램 분석 == 개요 == Abstract Interpretation이란, 프로그램을 Soundess를 충족하는 Abstraction(추상화)를 만들어서 Program을 검증하는 것이다. Abstract Interpretation은 Static analysis를 구현하는 이론적인 토대가 되어서, Compiler에서 프로그램의 Optimization이나, Verifier에서 프로그램의 문제를 분석하는 것에 사용된다. 프로그램을 Concrete한 정보를 가지고 분석하는 일은...