2023년 2월 12일 (일)
- 04:152023년 2월 12일 (일) 04:15 차이 역사 −29 SVA 넘겨주기 대상을 Virtual instruction set computing: Secure Virtual Architecture에서 Virtual instruction set computing 문서로 변경했습니다 최신 태그: 넘겨주기 대상 변경
- 04:152023년 2월 12일 (일) 04:15 차이 역사 +80 새글 SVA Virtual instruction set computing: Secure Virtual Architecture 문서로 넘겨주기 태그: 새 넘겨주기
- 04:132023년 2월 12일 (일) 04:13 차이 역사 +51 새글 VISC Virtual instruction set computing 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 04:132023년 2월 12일 (일) 04:13 차이 역사 −79 Virtual instruction set computing 편집 요약 없음
- 04:122023년 2월 12일 (일) 04:12 차이 역사 +226 Virtual instruction set computing →Secure Virtual Architecture
- 03:592023년 2월 12일 (일) 03:59 차이 역사 +3,679 새글 Secure Virtual Architecture: A Safe Execution Environment for Commodity Operating Systems 새 문서: 분류: 시스템 논문 2009 SOSP John Criswell, Andrew Lenharth, Dinakar Dhurijati, Vikram Adve == 개요 == == Motivation == 시스템 보안에 많은 진보가 있어왔지만, 운영체제는 그 중요성에도 불구하고 계속해서 새로운 취약점이 발견되고 있다. 특히 메모리 관련 버그들, Buffer overruns, double free, format string error와 같은 에러들, Control flow integrity관련 에러들이 심각한 취약점 영향을 미치... 최신
2023년 2월 11일 (토)
- 09:472023년 2월 11일 (토) 09:47 차이 역사 +28 새글 분류:소프트웨어 기반 보안 새 문서: 분류: 컴퓨터 보안 최신
- 09:472023년 2월 11일 (토) 09:47 차이 역사 +1,491 새글 Virtual instruction set computing 새 문서: 분류: 컴파일러 == 개요 == Virtual instruction set computing (VISC)는 ISA디자인시에, 프로세서가 사용할 ISA와 컴파일되는 ISA가 일치하지 않는 환경을 말한다. 컴파일러가 만드는 virtual ISA (vISA)는 프로세서가 사용할 ISA로 compile time, link time, install time, boot time, 혹은 Just-in-time 러와 같은 특정 상황에서 실제 ISA로 변환 되게 된다. == Secure Virtual Architecture == Secure Virtual Arch...
- 09:332023년 2월 11일 (토) 09:33 차이 역사 +53 새글 Hardening Hypervisors with Ombro 새 문서: 분류: 시스템 논문 ATC 2022 == 개요 ==
- 09:192023년 2월 11일 (토) 09:19 차이 역사 +28 새글 분류:취약점 공격 새 문서: 분류: 컴퓨터 보안 최신
- 09:182023년 2월 11일 (토) 09:18 차이 역사 +2,010 새글 Row hammer 새 문서: 분류: 취약점 공격 == 개요 == Row hammer 공격은 DRAM에서 인접한 메모리 셀이 전하적으로 다른 셀에 영향을 주어서, 원래는 읽을 수 없는 곳의 정보가 영향을 준 다른 셀에 의하여 읽히거나, 혹은 내용이 바뀌는 Security Attack기법이다. 이러한 영향은 매우 집적도가 높아지는 현대 DRAM구조에서 정교한 Memory access pattern으로 인하여 같은 메모리 Row를 연속적으로 접근... 최신
- 03:122023년 2월 11일 (토) 03:12 차이 역사 +33 새글 A* algorithm Ahn9807님이 A* algorithm 문서를 A* 알고리즘 문서로 이동했습니다 최신 태그: 새 넘겨주기
- 03:122023년 2월 11일 (토) 03:12 차이 역사 0 잔글 A* 알고리즘 Ahn9807님이 A* algorithm 문서를 A* 알고리즘 문서로 이동했습니다
- 03:112023년 2월 11일 (토) 03:11 차이 역사 +4,312 새글 A* 알고리즘 새 문서: 분류: Path Finding 분류: 탐색 300px|프레임없음|가운데 == 개요 == '''A* 알고리즘'''은 주어진 출발 꼭짓점에서부터 목표 꼭짓점까지 가는 최단 경로를 찾아내는 알고리즘 중 하나이다. 이 알고리즘은 다익스트라 알고리즘과 유사하나 차이점은 각 꼭짓점 <math>x</math>에 대해 그 꼭짓점을 통과하는 최상의 경로를 추정하는 순위값인 "휴리스틱 추...
- 03:112023년 2월 11일 (토) 03:11 차이 역사 +34 새글 Simulated annealing 담금질 기법 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 03:102023년 2월 11일 (토) 03:10 차이 역사 +6 Genetic algorithm 유전 알고리즘 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 03:102023년 2월 11일 (토) 03:10 차이 역사 +31 새글 Genetic algorithm 새 문서: 분류: 유전 알고리즘
- 03:102023년 2월 11일 (토) 03:10 차이 역사 +28 새글 Beam search 빔 서치 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 03:092023년 2월 11일 (토) 03:09 차이 역사 0 Local search 편집 요약 없음 최신
- 03:092023년 2월 11일 (토) 03:09 차이 역사 0 Local search 편집 요약 없음
- 03:092023년 2월 11일 (토) 03:09 차이 역사 +1,240 새글 Local search 새 문서: 분류: 탐색 == 개요 == Local search란 Heuristic Search를 사용하여 탐색하는 방법중 하나를 말한다. 지역 탐색은 여러개의 답이 될 수 있는 후보중에서 적절한 시간안에 구할 수 있는 최적의 해를 구하고자 한다. 지역 탐색은 현재의 상태를 바탕으로 조금씩 수정해 나가면서 최적의 해를 찾는 알고리즘이다. Local search 알고리즘은 답을 찾기 위한 속도는 신경쓰지는 않...
- 03:092023년 2월 11일 (토) 03:09 차이 역사 +1,016 새글 Hill climbing 새 문서: 분류: Path Finding 분류: 탐색 == 개요 == Hill Climbing은 현재 상태를 더 좋은 상태가 발견되면 그 지점으로 조금씩 움직이는 방식으로 현재의 해보다 더 좋은 최적의 해를 찾아서 조금씩 움직이는 알고리즘을 말한다. 현재의 상태만을 저장한채, 바로 다음 단계의 예측만을 바탕으로 정답을 향해서 나아간다. 여러개의 변종이 있으며 현재의 상황보다 조금이라도 좋...
- 03:082023년 2월 11일 (토) 03:08 차이 역사 +5,719 새글 담금질 기법 새 문서: 분류: 탐색 == 개요 == '''담금질 기법'''은 전역 최적화 문제에 대한 일반적인 확률적 메타 알고리즘이다. 이 기법은 광대한 탐색 공간 안에서, 주어진 함수의 전역 최적해에 대한 좋은 근사를 준다. 커크패트릭, 젤라트, 베키가 1983년에 고안했다. 보통 영어를 그냥 읽어서 '''시뮬레이티드 어닐링'''이라고 부른다. 담금질 기법이라는 말은 금속 공학... 최신
- 03:082023년 2월 11일 (토) 03:08 차이 역사 +985 새글 빔 서치 새 문서: 분류: 탐색 == 개요 == 빔 서치는 Best-First Search에서 기억 노드의 수를 제한하는 방법이다. Best-First Search는 최적의 해를 찾아가지만, 만약 다음 노드로 가는 해가 많이 존재한다면 그 해를 다 구해서 비교하고 평가하는 작업이 필요하다는 단점이 있다. 따라서 제약된 기억공간을 통해서 어느정도는 합리적인 답을 최대한 빠르게 탐색하는 방법이다. 구체적으로... 최신
- 03:072023년 2월 11일 (토) 03:07 차이 역사 +10,927 새글 유전 알고리즘 새 문서: 분류: 탐색 == 개요 == 유전 알고리즘은 자연계의 생물 유전학에 기본 이론을 두며, 병렬적이고 전역적인 탐색 알고리즘으로서, 다윈의 적자생존 이론을 기본 개념으로 한다. 유전 알고리즘은 풀고자 하는 문제에 대한 가능한 해들을 정해진 형태의 자료구조로 표현한 다음, 이들을 점차적으로 변형함으로써 점점 더 좋은 해들을 만들어 낸다. 여기에... 최신
- 03:072023년 2월 11일 (토) 03:07 차이 역사 +1,593 새글 Minimax 알고리즘 새 문서: 분류: 탐색 == 개요 == Minimax 알고리즘은 상대방의 해는 최소화 하면서 나의 해는 최대화 하는 것을 말한다. 게임에서, 상대방은 항상 상대방이 내릴 수 있는 최선의 결과를 도출할 것이라고 가정을 한다면, 내가 다음에 Greedy하게 어떠한 행위를 하더라도, 상대방의 응수로 인하여 더 큰 손실을 얻을 수 있는 것이다. 따라서 이번턴에서 나의 손해를 조금 감수하더... 최신
- 03:072023년 2월 11일 (토) 03:07 차이 역사 +44 새글 Alpha-beta pruning Ahn9807님이 Alpha-beta pruning 문서를 알파-베타 가지치기 문서로 이동했습니다 최신 태그: 새 넘겨주기
- 03:072023년 2월 11일 (토) 03:07 차이 역사 0 잔글 알파-베타 가지치기 Ahn9807님이 Alpha-beta pruning 문서를 알파-베타 가지치기 문서로 이동했습니다 최신
- 03:062023년 2월 11일 (토) 03:06 차이 역사 +4,173 새글 알파-베타 가지치기 새 문서: 분류: 탐색 == 개요 == 알파-베타 가지치기(Alpha–beta pruning)는 탐색 트리에서 최소극대화(미니맥스) 알고리즘을 적용할 때 평가(evaluate)하는 노드의 수를 줄이기 위한 알고리즘이다. 이 알고리즘은 적대탐색 알고리즘이라고도 하며, 기계가 플레이하는 2인용 게임(틱택토, 체스, 바둑)에 주로 사용된다. 이 알고리즘은 이전에 평가한 노드보다 현재 평가하는 노드가...
- 03:062023년 2월 11일 (토) 03:06 차이 역사 +1,456 새글 Eventual consistency 새 문서: 분류: 데이터베이스 == 개요 == Eventual Consistency란, 데이터베이스에 새로운 업데이트가 없으면 분산된 데이터 베이스 환경에서 결국 최적적으로 마지막 업데이트된 쿼리가 나오는 것을 보장하는 것을 말한다. 즉 데이터 베이스의 노드들이 서로 동기화 하여 결국에는 모두 동기화가 완료되기 때문에 요청에 대한 답이 수렴하게 설계하는 방법론을 말한다. 즉 어떠... 최신
- 03:052023년 2월 11일 (토) 03:05 차이 역사 +827 새글 BASE 새 문서: 분류: 데이터베이스 == 개요 == BASE란 Basix Availablity, Soft-state, Eventual consistency를 만족하는 관계를 말한다.ACID는 데이터에 대해서 일관성을 보장하지만 너무 pessmistic(빡빡하게) 제약조건을 거는 것이 사실이다. 따라서 좀더 느슨한 데이터에 대한 consistency를 보장하는 관계를 BASE라고 한다. 생각해보면 TCP와 UDP의 관계라고 생각할 수 있을 것이다. == BA, S, E =... 최신
- 03:052023년 2월 11일 (토) 03:05 차이 역사 +1,371 새글 CAP 정리 새 문서: 분류: 데이터베이스 == 개요 == ''CAP 정리''', 또는 '''브루어의 정리'''(Brewer -)는 다음과 같은 세 가지 조건을 모두 만족하는 분산 컴퓨터 시스템이 존재하지 않음을 증명한 정리이다. CAP 정리에 의하면 이 모든 것을 제공하는 것은 불가능하며, 한순간에 2개까지만을 최대한으로 제공할 수 있음이 증명되었다 (분산 컴퓨터 시스템에서). * 일관성('''C'''onsistency): 모... 최신
- 03:052023년 2월 11일 (토) 03:05 차이 역사 +6,261 새글 B-tree 새 문서: 분류: 자료 구조 == 개요 == 전산 과학에서 '''B-트리'''(B-tree)는 데이터베이스와 파일 시스템에서 널리 사용되는 트리 자료구조의 일종으로, 이진 트리를 확장해 하나의 노드가 가질 수 있는 자식 노드의 최대 숫자가 2보다 큰 트리 구조이다. 방대한 양의 저장된 자료를 검색해야 하는 경우 검색어와 자료를 일일이 비교하는 방식은 비효... 최신
- 03:052023년 2월 11일 (토) 03:05 차이 역사 +2,040 새글 해시 새 문서: 분류: 탐색 분류: 자료 구조 == 개요 == 해시란 키가 취할 수 있는 범위의 집합을 제한된 수치범위에 매핑시키는 방식이다. 이 매핑을 수행하는 변환함수를 해시 함수라 한다. 해시 함수는 보통 그리 복잡하지 않은 알고리즘으로 구현되기 때문에, 상대적으로 CPU, 메모리 같은 시스템 자원을 덜 소모하는 특성이 있다. 그리고 같은 입력값에 대해서는 같은 출력... 최신
- 03:042023년 2월 11일 (토) 03:04 차이 역사 +450 새글 Interrupt vector 새 문서: 분류: 제어흐름 == 개요 == 인터럽트 벡터(영어: interrupt vector)는 인터럽트가 발생했을 때, 그 인터럽트를 처리할 수 있는 서비스 루틴들의 주소를 가지고 있는 공간이다. 인텔 아키텍처에서는, 가상메모리를 사용하지 않았던 386이전에는 주로 Main Memory의 0번째에 위치하였으나, 이후부터는 IDT(Interrupt descriptor table)의 형태로 바뀌었다. 최신
- 03:042023년 2월 11일 (토) 03:04 차이 역사 +44 새글 IDT Interrupt descriptor table 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 03:042023년 2월 11일 (토) 03:04 차이 역사 +19 Interrupt descriptor table 편집 요약 없음 최신
- 03:042023년 2월 11일 (토) 03:04 차이 역사 +6,031 새글 Interrupt descriptor table 새 문서: 분류: 예외적 제어흐름 == 개요 == '''인터럽트 디스크립터 테이블 (Interrupt Descriptor Table''' ('''IDT'''))은 인터럽트 벡터 테이블을 구현하기 위해 X86 아키텍처에서 사용되는 데이터 구조체이다. IDT는 프로세서가 인터럽트와 예외에 대한 정확한 반응을 결정하기 위해 사용된다. 아래에서 설명할 자세한 부분들은 x86 아티텍처와 AMD64 ...
- 03:032023년 2월 11일 (토) 03:03 차이 역사 +28 새글 분류:GPU 새 문서: 분류: 컴퓨터 구조 최신
- 03:022023년 2월 11일 (토) 03:02 차이 역사 −13 GPU 편집 요약 없음 최신
- 03:022023년 2월 11일 (토) 03:02 차이 역사 +3,529 새글 GPU 새 문서: 분류: 컴퓨터 구조 == 개요 == GPU는 Rater based graphics에서 가속을 하기 위해서 등장하였다. GPU는 Turing complete이기 때문에 CPU가 할 수 있는 모든 일을 처리할 수는 있지만, 병렬 컴퓨팅이 아닌 환경에서는 CPU에 비해 매우매우 느리다. GPU는 단순한 계산의 병렬처리에 특화 되어 있기 때문에, 행렬 처리에 특화되어 있다고도 할 수 있다. 실리콘 다이에 있어서 CP...
- 03:022023년 2월 11일 (토) 03:02 차이 역사 +195 새글 Stall 새 문서: 분류: 동시성 프로그래밍 == 개요 == Stall이란 의존성 있는 오래 걸리는 명령을 실행하느라, 현재 다음 명령어를 실행하지 못하는 현상을 말한다. 최신
- 03:002023년 2월 11일 (토) 03:00 차이 역사 +31 새글 CoW Copy on write 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 03:002023년 2월 11일 (토) 03:00 차이 역사 +3,974 새글 Fork 새 문서: 분류: POSIX 시스템 콜 분류: 프로그램 실행 == 개요 == 컴퓨팅, 특히 유닉스 운영 체제와 유닉스 계열 환경에서 포크(fork)란 프로세스가 자기 자신을 복제하는 동작이다. 이는 일반적으로 시스템 호출의 일종이며, 커널 안에서 구현된다. 포크는 유닉스 계열 운영 체제에서 프로세스를 만드는 주된 방식이다. 복제의 대상을 부모 프로세스라 하고 그 결과물을 자... 최신
- 02:592023년 2월 11일 (토) 02:59 차이 역사 +31 새글 OOM Out of memory 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 02:592023년 2월 11일 (토) 02:59 차이 역사 +321 새글 Out of memory 새 문서: 분류: 메모리 관리 == 개요 == 메모리 부족(Out of memory, OOM) 현상은 대량의 애플리케이션 구동으로 인해 시스템 메모리가 부족할 때 OS에 의해 애플리케이션이 다운되는 것을 말한다. (우선순위에 의해 백그라운드 애플리케이션이 먼저 닫힌다) 최신
- 02:592023년 2월 11일 (토) 02:59 차이 역사 +37 새글 분류:POSIX 시스템 콜 새 문서: 분류: 시스템 프로그래밍 최신
- 02:592023년 2월 11일 (토) 02:59 차이 역사 +1,780 새글 Exec 새 문서: 분류: POSIX 시스템 콜 == 개요 == 다른 프로그램을 실행시킨다. 이때 다른 프로그램은 현재 프로세스의 메모리를 덮어쓰게 된다. : execve(flinename, argv, envp) # filename: 실행시킬 프로그램을 서술한다. # argv: 실행시킬 프로그램의 파라미터를 가르키는 포인터를 서술한다. # envp: 프로그램이 어떤 환경에서 실행될지를 기술한다. Exec는 Permission error, no executable, OOM등의... 최신
- 02:582023년 2월 11일 (토) 02:58 차이 역사 +2,055 새글 Copy on write 새 문서: 분류: 메모리 관리 == 개요 == Copy On Write란 말 그대로 작성시 이전의 내용을 Copy한다는 뜻이다. 부모나 자식 프로세스가 copy on write 메모리 영역에 접근하게 되면 그 영역을 먼저 복사하고 작성하게 된다. Linux(Unix)에서는 자식 프로세스(child process)를 생성(fork)하면 같은 메모리 공간을 공유하게 된다. 그런데 부모 프로세스가 데이터를 새로 넣거나, 수정하거나,... 최신
- 02:582023년 2월 11일 (토) 02:58 차이 역사 +6,294 새글 Convolution layer 새 문서: 분류: 딥러닝 == 개요 == Convolution layer은 이미지의 공간적인 구조를 계산하고 싶은 것이다. 이미지의 feature들은 자유변형에 따라서 위치가 크게 변화하지만 서로 상대적인 값은 크게 변화하지 않는 특징이 있다. 따라서 이러한 구조에 대한 정보를 보존하기 위해서 filter와의 convolution연산을 통해서 이미지를 계산하게 된다. 이를 Convoluton layer이라고 한다. 필터는... 최신