모든 공개 기록

noriwiki에서 사용할 수 있는 모든 기록이 표시됩니다. 기록 종류나 사용자 이름(대소문자 구별) 또는 영향을 받는 문서(대소문자 구별)를 선택하여 범위를 좁혀서 살펴볼 수 있습니다.

• 2023년 2월 3일 (금) 11:53 Ahn9807 토론 기여님이 분류:리눅스 커널 API 문서를 만들었습니다 (새 문서: 분류: 리눅스 커널)
• 2023년 2월 3일 (금) 11:53 Ahn9807 토론 기여님이 Kmalloc 문서를 만들었습니다 (새 문서: 분류: 리눅스 커널 API == 개요 == static __always_inline void *kmalloc(size_t size, gfp_t flags) Kmalloc은 리눅스 커널에서 메모리를 할당시키는 함수이다. kmalloc은 내부적으로 slab cache를 사용하여 메모리를 할당한다. * kmalloc은 vmalloc과는 다르게 physically contiguous한 메모리를 보장한다. * kmalloc은 부팅 시간에는 hugepage로 부팅후에는 4KB page로 할당된다. * 8K보다 큰 메모리는 buddy s...)
• 2023년 2월 3일 (금) 11:52 Ahn9807 토론 기여님이 Oops 문서를 만들었습니다 (새 문서: 분류: 리눅스 커널 == 개요 == 커널은 문제가 되는 상황에 커널을 종료 시키거나 (Panic)혹은 Oops 메시지를 출력하고 문제가 되는 부분을 복구하는 방식을 채택한다. 이 문서는 Oops상황에서 출력되는 메시지를 분석하는 법을 정리한다. == 정리 == # my_oops_init+0x12/0x21 은 symbol + offset/length이며 gdb에서는 list로 addr2line 으로는 addr2line -3 vmlinux 12341234(+offset)으로 디버깅하...)
• 2023년 2월 3일 (금) 11:52 Ahn9807 토론 기여님이 리눅스 빌드 문서를 만들었습니다 (새 문서: 분류: 리눅스 커널 == 개요 == 이 문서는 Linux를 소스코드를 build하고 디버깅하기 위한 과정들을 서술한다. == Build == linux 소스 코드 다운 git clone --depth 1 https://github.com/torvalds/linux 만약 원하는 리눅스 버전이 있다면 다음 사이트에서 확인 후 다운 https://mirrors.edge.kernel.org/pub/linux/kernel/ 패키지 매니저를 이용해서 다운 받을 수도 있음 sudo apt-get source linux 필수 라이...)
• 2023년 2월 3일 (금) 11:51 Ahn9807 토론 기여님이 Research proposal 문서를 만들었습니다 (새 문서: 분류: 연구 논문 == 개요 == == 주의 사항 == # 가이드 라인을 잘 따라갈것. # Format. Font, Figure등 적힌 내용이 잘 읽을 수 있는지 확인 할 것. Times new roman 12 가 추천할 만한 사양 # Misspellings, poor grammar를 조심 할 것 # The research objective로 시작 할 것. 즉 목표부터 제시할 것 # Proposal의 목표는 Research지 Not Research가 아님. 즉, Develop, Design, Optimize, Control, Manage와 같은 내용은...)
• 2023년 2월 3일 (금) 11:50 Ahn9807 토론 기여님이 Makefile 문서를 만들었습니다 (새 문서: 분류: 오픈 소스 프로젝트 == 개요 == Makefile은 Unix 시스템에서 Build시에 발생하는 여러 과정들을 하나의 make 커맨드를 통해서 실행시켜주는 프로그램이다. 1976년 GNU프로젝트의 일환으로 탄생하였다. Make은 Makefile 파일에 등록된 일련의 과정을 수행시켜 준다. 예를 들어서 <syntaxhighlight lang=c> main: test.o main.o gcc -std=c11 -g -o main test.o main.o test.o: test.h test.c...)
• 2023년 2월 3일 (금) 11:50 Ahn9807 토론 기여님이 GDB 문서를 만들었습니다 (새 문서: 분류: 디버깅 == 개요 == GDB는 GNU프로젝트의 일환으로 소스코드를 Debugging에 사용되는 Tool이다. == 유용한 명령어 == * set-follow-mode child: Parent 프로세스가 아니라 Child process를 디버깅한다. * set detach-on-fork: fork() 후에 Parnet 혹은 Child를 디버깅 할건지, 아니면 둘다 attaching할건지 결정한다. * show <Mode-Name>: 현재 어떤 모드로 실행중인지를 표시한다. 예) show set-follow-mode)
• 2023년 2월 3일 (금) 11:50 Ahn9807 토론 기여님이 Huge page 문서를 만들었습니다 (새 문서: 분류: 메모리 관리 == 개요 == Super Page, Huge Page, Extended Page Table이라고도 불리는 이 기술은 Page Table의 엔트리의 크기를 2MB로 늘릴 수 있는 기술이다. 이를 통해서 Page Table에 대한 Access를 줄이고 TLB 캐시 히트 정도를 늘리는 방법이다. 그러나 만약 데이터베이스처럼 메모리의 여러 공간을 광역적으로 사용하는 경우 이 기술을 사용하면, 오히려 Swap out되는 용량이 증...)
• 2023년 2월 3일 (금) 11:49 Ahn9807 토론 기여님이 Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication 문서를 만들었습니다 (새 문서: 분류: 시스템 논문 USENIX ATC 2020 == Paper summary (How paper express it's thought) == 이 논문은 micro kernel의 본질적인 문제 였던, IPC Cost를 MPK를 통해서 최소화한 Paper이다. 기존의 Micro kernel은 Server domain이 User space에서 작동하였다. 그러나 이 논문은 Server process를 Kernel에 있을 수 있도록 하고, 그 경우에는 Protection는 MPK를 통해서 함으로써, IPC Cost를 줄이고, User Kernel Migration을...)
• 2023년 2월 3일 (금) 11:47 Ahn9807 토론 기여님이 HawkEye: Efficient Fine-grained OS Support for Huge Pages 문서를 만들었습니다 (새 문서: 분류: 시스템 논문 ASPLOS '19: Architectural Support for Programming Languages and Operating Systems == 개요 == Ingends[1], FreeBSD, Linux의 Huge page allocation은 여러 문제가 있다. HawkEye는 이 문제점을 분석하고, Async page pre-zeroing, De-dupulication of zero-filled pages, Access tracking, Hardware performance counter를 통해서 이를 극복하였다. == Problems and Importance == Background 내용은 Coordinated and Efficient Huge Page...)
• 2023년 2월 3일 (금) 11:46 Ahn9807 토론 기여님이 CBMM: Financial Advice for Kernel Memory Managers 문서를 만들었습니다 (새 문서: 분류: 시스템 논문 USENIX ATC 2022 == 개요 == 기존의 시스템은 High-quality information이 MM policy에 사용되지 않았으며, User-space의 cost benefit을 고려하지 않은 MM Allocation 정책 그리고 그러한 Policy들이 커널의 여러 부위에 난잡하게 있어, Debugging과 유지 보수가 어렵다는 단점이 있었다. CBMM(Cost-based memory management)은 철저의 cost-benefit 모델에 의거하여, user space의 이익을 극대...)
• 2023년 2월 3일 (금) 09:56 Ahn9807 토론 기여님이 파일:CXL Read Flow.png 문서를 만들었습니다
• 2023년 2월 3일 (금) 09:56 Ahn9807 토론 기여님이 파일:CXL Read Flow.png 파일을 올렸습니다
• 2023년 2월 3일 (금) 07:11 Ahn9807 토론 기여님이 파일:CXL Cache memory hierarchy.png 문서를 만들었습니다
• 2023년 2월 3일 (금) 07:11 Ahn9807 토론 기여님이 파일:CXL Cache memory hierarchy.png 파일을 올렸습니다
• 2023년 2월 3일 (금) 07:07 Ahn9807 토론 기여님이 파일:CXL Usages.png 문서를 만들었습니다
• 2023년 2월 3일 (금) 07:07 Ahn9807 토론 기여님이 파일:CXL Usages.png 파일을 올렸습니다
• 2023년 2월 3일 (금) 06:56 Ahn9807 토론 기여님이 Kernel shared memory 문서를 만들었습니다 (새 문서: 분류: 리눅스 커널 == 개요 == KSM (Kernel Shared memory)는 커널에서 중복되는 메모리를 하나로 COW로 만들어서, 통합시키는 기술의 이름이다. KSM기능은 CONFIG_KSM=y로 설정할 수 있으며, 리눅스 2.6.32에서 등장하였다. KSM는 시초에는 KVM과 하이퍼바이저로써, VM의 중복되는 데이터를 하나로 저장하기 위해서 등장하였지만, 많은 General Application특히 중복된 데이터를 많...)
• 2023년 2월 3일 (금) 06:56 Ahn9807 토론 기여님이 Application-Informed Kernel Synchronization Primitives 문서를 만들었습니다 (새 문서: 분류: 시스템 논문 OSDI 2022 'Application-Informed Kernel Synchronization Primitives' == 개요 == BPF와 Livepatch를 이용하여서, Application마다 달라지는 Locking Policy를 BPF Hooking을 통해서 구현 할 수 있다는 것을 보여준 논문이다. == Main Idea and Contribution == # BPF가 여러 다양한 분야에서 (이번엔 Lock)에서도 이용 될 수 있음을 보임 # Lock의 구현이 Application need마다 달라지는 경우가 많은...)
• 2023년 2월 3일 (금) 06:55 Ahn9807 토론 기여님이 MVCC 문서를 만들었습니다 (Multiversion concurrency control 문서로 넘겨주기) 태그: 새 넘겨주기
• 2023년 2월 3일 (금) 06:55 Ahn9807 토론 기여님이 ASLR 문서를 만들었습니다 (Address space layout randomization 문서로 넘겨주기) 태그: 새 넘겨주기
• 2023년 2월 3일 (금) 06:54 Ahn9807 토론 기여님이 Address space layout randomization 문서를 만들었습니다 (새 문서: 분류: 운영체제 보안 == 개요 == ASLR은 컴퓨터 보안기술로서, 메모리의 주소값을 Attacker가 알 수 없도록 하여서, 특정 주소로 JMP할떄 Attacker에게 힌트를 주지 않는 기술이다. ASLR은 커널이나 Application의 스택, 힙, 라이브러리와 같은 영역들의 주소값을 랜덤하게 제시 함으로써, Attacker가 쉽게 메모리의 취약점을 이용할 수 없도록 만든다. == 장점 == ASLR은...)
• 2023년 2월 3일 (금) 06:54 Ahn9807 토론 기여님이 Multiversion concurrency control 문서를 만들었습니다 (새 문서: 분류: 동시성 프로그래밍 == 개요 == 다중 버전 동시성 제어(multiversion concurrency control, MCC, MVCC), 다중 버전 병행 수행 제어는 데이터베이스 관리 시스템이 일반적으로 사용하는 동시성 제어 방식으로, 데이터베이스로의 동시 접근을 제공하고 프로그래밍 언어에서 트랜잭셔널 메모리를 구현한다. 동시성 제어 없이 누군가가 데이터베이스를 읽는 동시에 다른 누군...)
• 2023년 2월 3일 (금) 06:53 Ahn9807 토론 기여님이 Extensibility, safety and performance in the SPIN operating system 문서를 만들었습니다 (새 문서: 분류: 시스템 논문 :B. N. Bershad et al., “Extensibility, safety and performance in the SPIN operating system,” Proceedings of the 15th ACM Symposium on Operating Systems Principles, SOSP 1995, pp. 267–284, 1995, doi: 10.1145/224056.224077. == 개요 == == Problems and importance == 기존 시스템에서 운영체제의 구현과 어플리케이션이 요구하는 것은 다를 수 있다. 예를 들어서 데이터 베이스 시스템은 스스로의 파일...)
• 2023년 2월 3일 (금) 06:50 Ahn9807 토론 기여님이 Isolation 문서를 만들었습니다 (새 문서: 분류: 운영체제 == 개요 == Isolation이란 여러개의 User space Applicatio이 동작하는 과정에서, 서로의 리소스에 대한 접근을 제한하는 것을 말한다. == Isolation? == 일반적으로 Isolation을 이해하기 쉽다. Isolation은 메모리나 스토리지처럼 컴퓨터의 물리적인 디바이스에 대한 접근을 제한하고 서로에 대한 Access를 IPC와 같은 방식을 통해서 분리시켜서 OS의 중요 역...)
• 2023년 2월 3일 (금) 06:49 Ahn9807 토론 기여님이 Coordinated and efficient huge page management with ingens 문서를 만들었습니다 (새 문서: 분류: 시스템 논문 Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016 == 개요 == Linux의 Greedy한 Huge page allocation은 많은 문제가 있다. Ingens는 이러한 문제를 다양한 접근법을 통해서 해결하여 Huge page를 사용할때 제약사항이 없도록 하였다. == Problems and Importance == Ram크기가 커지고 TLB Miss가 Critical한 Performance degradation을 가져오며, Kernel page a...)
• 2023년 2월 3일 (금) 06:49 Ahn9807 토론 기여님이 Operating System Support for Safe and Efficient Auxiliary Execution 문서를 만들었습니다 (새 문서: 분류: 시스템 논문 OSDI 2022 == 개요 == Lightwegith한 커널내 Fork를 만들어서, Auxiliary Task라 불리우는 Process의 sub group을 안전하게 Isolate된 환경에서 돌릴 수 있도록 하였다. == Problems == Application의 task중에서 optimize, examine, debug 그리고 control목적으로 사용되는 task들이 있는데, 그것들을 Auxiliary Task라고 부른다. 만약 Auxiliary Task가 Main process의 자원에 제약없이 접근 가능...)
• 2023년 2월 3일 (금) 06:48 Ahn9807 토론 기여님이 Latency 101 문서를 만들었습니다 (새 문서: 분류: 시스템 벤치마크 == Stroage Latency Comparison == <syntaxhighlight lang="c" line> L1 cache reference 0.5 ns Branch mispredict 5 ns L2 cache reference 7 ns 14x L1 cache Mutex lock/unlock 25 ns getpid 50 ns Main memory reference 100 ns 20x L2...)
• 2023년 2월 3일 (금) 06:48 Ahn9807 토론 기여님이 Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel 문서를 만들었습니다 (새 문서: 분류: 시스템 논문 PLDI == 개요 == eBPF를 기존에 Linux Kernel에서 분석하는 방식은 PL (programming language)에 대한 고민없이 진행되었다고 주장한다. 이 논문은 이러한 문제를 Abstract Interpretation이라는 기법을 통해서 해결하고 이에 따라 eBPF의 고질적인 문제였던, False negative문제와 Loop explosion을 해결하였다고 주장한다. == Problems and Importance == eBPF는 점점더 복잡해지고...)
• 2023년 2월 3일 (금) 06:47 Ahn9807 토론 기여님이 OSv Optimizing the Operating System for Virtual Machines 문서를 만들었습니다 (새 문서: 분류: 시스템 논문 http://osv.io/ == 개요 == OSv는 ExoKernel에서 제시된 libOS에 대한 아이디어를 VM환경에서의 OS에 적용한 논문이다. 풀어서 설명하자면, libOS는 kernel의 추상화를 최소한 간단하게 만들고 많은 부분을 Application에 의존한다. 이러한 구조를 따르는 OS를 LibOS라고 부른다. 즉 한 어플리케이션이나 환경만을 위한 커널을 최소한의 라이브러리로 구성하고 하드...)
• 2023년 2월 3일 (금) 06:46 Ahn9807 토론 기여님이 Native Posix Thread Library 문서를 만들었습니다 (새 문서: 분류: 리녹스 커널 분류: 스레드 == 개요 == Native Posix Thread Library (NPTL)은 기존의 LinuxThread처럼 M:N 스레딩 방식의 한계를 극복하기 위해서 1:1방식의 스레딩을 구현한 Posix 스레드 규격이다. == 설명 == 기존 리눅스 2.6버전 이하에서는 리눅스에서 스레드를 생성하기 위해서는 CLONE으로 생성하였어야 했다. 여기다가 User level thread를 올리든, Clone된 Process를 VM_CLONE하...)
• 2023년 2월 3일 (금) 06:40 Ahn9807 토론 기여님이 CXL 문서를 만들었습니다 (Compute Express Link 문서로 넘겨주기) 태그: 새 넘겨주기
• 2023년 2월 3일 (금) 06:36 Ahn9807 토론 기여님이 논문 영어 표현 문서를 만들었습니다 (새 문서: 분류: 연구 논문 == 개요 == 무지성 추출한 논문에 나오는 표현정리 == Hint == <sys>: System name <fig>: Figure or table name <idea>: Main idea <num>: Number <limitation>: Limitaion of main idea == Design == # <sys> is a # We disign the <sys> # First, <sys> should be ..., Second, we # A <sys> includes # <fig> shows/presents # We provide # The <sys> provides # To support a <idea> # Also, the proposed way # We devise <num> nechanisms to achieve #...)
• 2023년 2월 3일 (금) 06:35 Ahn9807 토론 기여님이 Discriminative model 문서를 만들었습니다 (새 문서: 분류: 지도 학습 == 개요 == Generative model과는 다르게 특정 데이터가 어떤 분포에 속하는 지를 나타내는 확률이다. (학술적으로는 Posterior p를 학습에 사용하는 모델이다. ) 이를 통해서, Discriminative model은 특정 Input이 어떤 분류에 속하는지에 대한 확률을 구한다. 예를 들어서, 한글인지 일본어인지 학습하는 모델이 있다고 해보자, generative model은 우선 한글과 일...)
• 2023년 2월 3일 (금) 06:34 Ahn9807 토론 기여님이 Setuid 문서를 만들었습니다 (새 문서: 분류: POSIX 시스템 콜 == 개요 == SETUID는 유닉스의 특정 권한 플래그로, 지금 프로그램을 수행한 사람이 아니라, 실행 파일 소유자 혹은 그룹의 파일 시스템 권한으로 실행파일을 실행 할 수 있도록 해준다.)
• 2023년 2월 3일 (금) 06:34 Ahn9807 토론 기여님이 분류:컴퓨터 시스템 문서를 만들었습니다 (새 문서: 분류: 전산 과학)
• 2023년 2월 3일 (금) 06:33 Ahn9807 토론 기여님이 분류:시스템 세미나 문서를 만들었습니다 (새 문서: 분류: 컴퓨터 시스템)
• 2023년 2월 3일 (금) 06:33 Ahn9807 토론 기여님이 2022 ebpf summit alexei starovoitov 문서를 만들었습니다 (새 문서: 분류: 시스템 세미나 2022 eBPF Summit - https://ebpf.io/summit-2022/ Alexei Starovoitov == 개요 == eBPF 는 2013년 이후부터 socket filters, sccomp와 같은 다양한 분야에서 사용되어 왔다. 다음과 같은 목표를 세웠지만 달성되지 못하였다. * gcc로 컴파일 -> 현재 clang으로만 사용중 * BPF verifier가 이처럼 복잡해 질것이라고는 생각하지 못하였다. 현재 BPF는 많은 관심을 받고 있으며 여...)
• 2023년 2월 3일 (금) 06:33 Ahn9807 토론 기여님이 2022 ebpf summit daniel xu 문서를 만들었습니다 (새 문서: 분류: 시스템 세미나 2022 eBPF Summit - https://ebpf.io/summit-2022/ Daniel Xu == 개요 == eBPF의 문제점 ;Loop explosion :Loop body에 Control flow가 많으면 M^N으로 verifier path가 증가하여 verification이 불가능해짐. Tail call도 이 문제에 대한 답이 될 수가 없으며, 특히 Overhead측면에서 큰 문제가 생긴다. 이런 문제의 해결방안으로 LBCS (bit vector match)와 같은 방법을 쓰면 된다고 한다. (JHA: bi...)
• 2023년 2월 3일 (금) 06:32 Ahn9807 토론 기여님이 Singularity: Rethinking the Software Stack 문서를 만들었습니다 (새 문서: 분류: 시스템 논문 == Abstract == Safe Language를 통해서 운영체제를 만들면 어떤 장점 & 단점이 있을까? 3개의 요소로 파악. SFI를 통한 프로그램 서비스의 분리, Channel의 디자인, 그리고 Manifest-based의 프로그램 verification. == Problem & Importance == OS가 처음 태동하던 1970년대와 2000년대의 컴퓨팅 환경은 완전히 다르다. 그때 사용하던 OS디자인 컨셉을 지금도 사용하는 것은...)
• 2023년 2월 3일 (금) 06:31 Ahn9807 토론 기여님이 Return oriented programming 문서를 만들었습니다 (새 문서: 분류: 취약점 공격 == 개요 == Return oriented programming은 stack overflow를 이용한 공격방식으로, DEP, ASLR이 실행되는 환경에서 임의의 Gadget을 이용하여 함수를 실행 시킬 수 있게 한다. == Procedure == 공격자는 Ret Assembly의 특징을 이용하게 된다. Ret은 스택에 있는 주소로 Jump하는데, 스택에 Ret으로 끝나는 Sequence들을 주게 되면, Ret이 실행되면서 특정한 공격이 수행되게 된...)
• 2023년 2월 3일 (금) 06:30 Ahn9807 토론 기여님이 Intel SGX 문서를 만들었습니다 (Intel software guard exteensions 문서로 넘겨주기) 태그: 새 넘겨주기
• 2023년 2월 3일 (금) 06:30 Ahn9807 토론 기여님이 Intel software guard extensions 문서를 만들었습니다 (새 문서: 분류: 하드웨어 기반 보안 == 개요 == Intel software guard extensions는 특정 애플리케이션 코드 및 데이터를 메모리 내에 격리하는 하드웨어 기반 메모리 암호호를 제공한다. Intel SGX를 사용하는 프로세스는 자식 프로세스를 생성할때 특정한 boundary안에서만 메모리를 작동할 수 있도록 "하드웨어 적으로" 제공하게 된다. 즉 이 boundary안에서 작동하는 메모리 영역을 다른...)
• 2023년 2월 3일 (금) 06:29 Ahn9807 토론 기여님이 Seccomp 문서를 만들었습니다 (새 문서: 분류: 리눅스 커널 분류: 가상화 분류: 운영체제 기반 보안 == 개요 == seccomp (secure computing mode의 약자)는 리눅스 커널에서 애플리케이션 샌드박싱 메커니즘을 제공하는 컴퓨터 보안 기능이다. seccomp은 프로세스가 exit(), sigreturn(), 그리고 이미 열린 파일 디스크립터에 대한 read(), write() 를 제외한 어떠한 시스템 호출도 일으킬 수 없는 안전한 상태로 일방향...)
• 2023년 2월 3일 (금) 06:29 Ahn9807 토론 기여님이 Intel Memory Portection Key 문서를 삭제했습니다 (내용: "#넘겨주기 Intel Memory Protection Key". 유일한 편집자는 "Ahn9807" (토론))
• 2023년 2월 3일 (금) 06:29 Ahn9807 토론 기여님이 Intel Memory Portection Key 문서를 Intel Memory Protection Key 문서로 이동했습니다
• 2023년 2월 3일 (금) 06:28 Ahn9807 토론 기여님이 MPK 문서를 만들었습니다 (Intel Memory Protetection Key 문서로 넘겨주기) 태그: 새 넘겨주기
• 2023년 2월 3일 (금) 06:28 Ahn9807 토론 기여님이 Intel Memory Portection Key 문서를 만들었습니다 (새 문서: 분류: 하드웨어 기반 보안 == 개요 == Intel MPK는 intel에 의해서 skyylake이후부터 적용되기 시작한 Memory Protection 방식중에 하나로, protection key를 통해서 메모리를 보장하는 방식이다. (기존 방식인 segmentation, Paging에 추가함). MPK는 PTE에 기존에 사용하지 않은 비트 PK(32~35)의 4개의 비트를 사용해서 지금 메모리가 어디에 속해있는지 마킹한다. 이떄 이러한 마킹은...)
• 2023년 2월 3일 (금) 06:28 Ahn9807 토론 기여님이 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에서 프로...)
• 2023년 2월 3일 (금) 06:27 Ahn9807 토론 기여님이 TAL 문서를 만들었습니다 (새 문서: 분류: 프로그램밍 언어 이론 분류: 소프트웨어 기반 보안 == 개요 == Typed assembly language (TAL)이란 Assembly language에서 data type이나 Metadata와 같은 컴파일/디버깅에 도움이 되는 추가적인 정보를 가지고 있는 어셈블리 언어를 말한다. 이러한 추가적인 표시를 가지고 program이 static verification혹은 dynamic verficiation과 같은 일들을 할 수 있도록 한다. 추가적으로,...)