Ahn9807의 사용자 기여

2023년 2월 3일 (금)

• 06:282023년 2월 3일 (금) 06:28 차이 역사 +2,563‎ 새글 Software fault isolation ‎ 새 문서: 분류: 소프트웨어 기반 보안 == 개요 == SFI (software fault isolation)은 memory access와 control transfer operation에 dynmaic한 checks를 수행함으로써 malicious한 프로그램의 실행에서 host를 보호하는 기법이다. SFI는 OS kernel extension의 분리, browser에서 plug-in들의 분리, 그리고 JVM에서 native libraries들의 분리와 같은 여러 분야에서 사용되고 있다. == 원리 == SFI는 machine-code level에서 프로... 최신
• 06:272023년 2월 3일 (금) 06:27 차이 역사 +672‎ 새글 TAL ‎ 새 문서: 분류: 프로그램밍 언어 이론 분류: 소프트웨어 기반 보안 == 개요 == Typed assembly language (TAL)이란 Assembly language에서 data type이나 Metadata와 같은 컴파일/디버깅에 도움이 되는 추가적인 정보를 가지고 있는 어셈블리 언어를 말한다. 이러한 추가적인 표시를 가지고 program이 static verification혹은 dynamic verficiation과 같은 일들을 할 수 있도록 한다. 추가적으로,... 최신
• 06:262023년 2월 3일 (금) 06:26 차이 역사 +1,138‎ 새글 ROM ‎ 새 문서: 분류: 메모리 == 개요 == Read only memory의 약자로 write이 불가능한 메모리를 말한다. 보통 컴퓨터에서 절대 바뀌면 안되는 영역 (ex. BIOS)와 같은 영역을 저장하고 있다. 그러나 요즘 들어 추세는 Flash Memory가 점점 싸지는 관계로, ROM도 명시적인 수정을 못한다 뿐이지 수정가능한 메모리를 가지고 ROM을 만드는 경우가 많다. ROM의 종류에는 만들 때 미리 그 내용이 기록... 최신
• 06:262023년 2월 3일 (금) 06:26 차이 역사 +559‎ 새글 GRPC ‎ 새 문서: 분류: 오픈소스 프로젝트 분류: 동시성 프로그래밍 == 개요 == gRPC는 gRPC Remote Procecure Calls의 약자로써, google에서 개발하고 공개한 성능 중심 RPC 프레임워크이다. gRPC는 General한 환경에서 여러개의 Microservice들 사이에서 굉장히 빠른 속도로 RPC호출을 할 수 있도록 개발되었다. gRPC는 HTTP/2를 통해서 구현되었으며, TLS를 통한 암호화, Protocol Buffers를 통한 Encoding... 최신
• 06:252023년 2월 3일 (금) 06:25 차이 역사 +926‎ 새글 리눅스 커널 ‎ 새 문서: 분류: 운영체제 사례 분류: 오픈소스 프로젝트 == 개요 == 리눅스는 리누스 토르발스가 개발하며 현재 성공적인 운영체제 오픈소스로서 공개되고 있고 유지되는 모놀리틱 커널기반의 운영체제 이다. 리눅스는 유닉스 계열 운영체제 이며, 매우 많은 패키지, 라이브러리 그리고 GNU오픈소스로써의 시스템 소프트웨어들이 제공되고 있다. == 운영체제 측면에... 최신
• 06:252023년 2월 3일 (금) 06:25 차이 역사 +1,433‎ 새글 분류:시스템 논문 ‎ 새 문서: 분류: 컴퓨터 시스템 == 정리된 사이트 == http://www.cs.technion.ac.il/~dan/index_sysvenues_deadline.html https://people.engr.tamu.edu/guofei/sec_conf_stat.htm == 사용하는 Metrics (2023.1.25 update) == ; 개요 * Breif summary of overall paper. ; Motivation * What is the problem your work attacks? * Why is it an important problem? ; Importance * Limitations of the state of the art in this topic * What are its limits? * What make this topic distinguished f...
• 06:242023년 2월 3일 (금) 06:24 차이 역사 +2,227‎ 새글 Ebpf kptr ‎ 새 문서: 분류: eBPF == 개요 == eBPF에서 pointer에 Rust의 ownership모델을 더하여서, 포인터의 활용성을 높이는 kptr이라는 새로운 타입을 말한다. == Referenced pointer == eBPF는 기존의 Helper function을 넘어서 더욱 많은 커널에 존재하는 기능을 사용하기 위해서 kfunc라는 새로운 unstable한 helper function API를 커널에 만들 수 있는 기법을 도입하였다. 이 kfunc는 reference pointer라는 새로운 po... 최신
• 06:232023년 2월 3일 (금) 06:23 차이 역사 +8,219‎ EBPF ‎편집 요약 없음 최신
• 06:222023년 2월 3일 (금) 06:22 차이 역사 +1,451‎ 새글 Express Data Path ‎ 새 문서: 분류: eBPF == 개요 == Express Data Path (XDP)는 개발자가 network program을 eBPF로 작성하여서 NIC, Driver, Socket단에 삽입할 수 있도록 하고, 커널에서 유저로의 전환 없이, Linux network stack을 타기 전에 매우 이른 시점에 Network program을 정의할 수있도록 한다. 이를 통해서 Overhead를 줄여서 high-end, flxible network programming을 가능하게 하였다. XDP는 리눅스 커널 4.18부터 도입되었으며,... 최신
• 06:222023년 2월 3일 (금) 06:22 차이 역사 +3,717‎ 새글 HXDP: Efficient software packet processing on FPGA NICs ‎ 새 문서: 분류: 시스템 논문 == 개요 == eBPF program을 FPGA를 통해서, 압축시키고, 병렬화 시키며, CPU가 아닌 FPGA CHIP을 통해서 빠르게 적은 리소스를 통해서 처리할 수 있음을 보인 논문이다. == Motivation == FPGA기반의 NIC은 성능, re-programmability측면에서 다른 NIC들과는 차별성을 가진다. 그러나 FPGA를 직접 프로그래밍하는 것은 매우 어려운 일이다. 이를 해결하기 위해서... 최신
• 06:212023년 2월 3일 (금) 06:21 차이 역사 +40‎ 새글 Bernstein Condition ‎ Bernstein's Conditions 문서로 넘겨주기 최신 태그: 새 넘겨주기
• 06:212023년 2월 3일 (금) 06:21 차이 역사 +2,227‎ 새글 EBPF ‎ 새 문서: 분류: eBPF == 개요 == eBPF에서 pointer에 Rust의 ownership모델을 더하여서, 포인터의 활용성을 높이는 kptr이라는 새로운 타입을 말한다. == Referenced pointer == eBPF는 기존의 Helper function을 넘어서 더욱 많은 커널에 존재하는 기능을 사용하기 위해서 kfunc라는 새로운 unstable한 helper function API를 커널에 만들 수 있는 기법을 도입하였다. 이 kfunc는 reference pointer라는 새로운 po...
• 06:202023년 2월 3일 (금) 06:20 차이 역사 +824‎ 새글 Bernstein's Conditions ‎ 새 문서: 분류: 동시성 프로그래밍 분류: 시스템 최적화 == 개요 == Bernstein's Conditions은 두 instructions P1, P2에 대하여 다음 조건이 성립하는 경우를 말한다. :<math>I_1 \cap O_2 = \emptyset; O_1 \cap I_2 = \emptyset; O_1 \cap O_2 = \emptyset; </math> 여기서 I1과 I2는 명령어의 input sets (즉, 소스 코드와 메모리)이며 O1과 O2는 그들의 아웃풋이다. 첫번째 두 조건은 P1과 P2의 인풋이 다른 명령어의... 최신
• 06:192023년 2월 3일 (금) 06:19 차이 역사 +318‎ 새글 Soundness ‎ 새 문서: 분류: 전산 용어 == 개요 == Soundness란 만약 프로그램이 analyzer에 의해서 reject되지 않는다면 그 프로그램이 안전한 것을 보장한다는 것을 말한다. 예를 들어서, 모든 프로그램을 reject하는 analyzer는 soundness하다. == 같이 보기 == # Completeness 최신
• 06:102023년 2월 3일 (금) 06:10 차이 역사 0‎ NVMe ‎편집 요약 없음
• 06:102023년 2월 3일 (금) 06:10 차이 역사 +2,234‎ 새글 NVMe ‎ 새 문서: 분류: 저장장치 분류: 컴퓨터 인터페이스 == 개요 == NVME(Non-Volatile Memory Express)는 기존의 AHCI프로토콜의 한계를 극복하기 위해서 등장한 데이터 전송 프로토콜이다. 쉽게 설명하자면 AHCI가 SATA장치의 처리를 위한 기본 프로토콜이었다면 NVME는 훨씬 빠른 PCIe에 장착된 스토리지 장치를 위해서 기존 AHCI프로토콜의 한계를 극복하기 위해서 인텔이 새로 만든...
• 05:362023년 2월 3일 (금) 05:36 차이 역사 0‎ Compute Express Link ‎편집 요약 없음
• 05:362023년 2월 3일 (금) 05:36 차이 역사 +705‎ 새글 Compute Express Link ‎ 새 문서: 분류: 메모리 인터페이스 == 개요 == Compute Express Link(CXL)은 PCIe에 장착하는 새로운 프로토콜로 캐쉬와 메모리에 최적화된 구조를 가지고 있다. CXL은 auto-negotiate란 특성을 사용해서 PCIe에 NVMe와 같은 PCIe용 프로토콜이 사용되면 그 모드로 아니면 CXL모드로 자동 전환되는 구조를 가지고 있다. CXL는 3개의 프로토콜로 나뉠 수 있다. ; CXL.io : PCIe의 IO와 같은...