투기적 실행

1. 개요

투기적 실행은 열정적 실행의 반대 개념으로, 추측을 포함하는 실행 방식이다. 느긋한 언어인 하스켈 프로그래밍 언어의 구현에 투기적 실행을 통합하는 연구가 진행되고 있으며, 하스켈의 변형인 이거 하스켈은 투기적 실행을 중심으로 설계되었다. 2003년 박사 논문에서는 글래스고 하스켈 컴파일러가 낙관적 실행의 잘못된 선택을 철회하는 낙태 메커니즘을 갖춘 투기적 실행을 지원하도록 했으나, 이는 복잡하다는 평가를 받았다.

더 읽어볼만한 페이지

• 병행성 - 세마포어
  세마포어는 데이크스트라가 고안한 정수 변수로, P/V 연산을 통해 자원 접근을 제어하고 동기화 문제를 해결하며, 계수 세마포어와 이진 세마포어로 나뉘어 멀티스레드 환경에서 자원 관리 및 스레드 동기화에 기여한다.
• 병행성 - 기아 상태
  기아 상태는 컴퓨터 과학에서 프로세스가 필요한 자원을 할당받지 못해 무한정 대기하는 현상으로, 단순한 스케줄링 알고리즘, 우선순위 역전, 교착 상태 등으로 인해 발생하며 시스템 효율성을 저하시키고 작업 완료를 지연시키지만, 에이징 기법과 같은 공정한 스케줄링 알고리즘이나 우선순위 조정으로 해결할 수 있다.
• 명령어 처리 - 멀티스레딩
  멀티스레딩은 프로세스 내에서 여러 스레드를 동시 실행하여 처리 능력을 향상시키는 기술로, 응답성 향상과 자원 공유 등의 장점이 있지만, 자원 간섭과 소프트웨어 복잡성 증가 등의 단점도 존재하며, 다양한 모델과 구현 방식, 스레드 스케줄러, 가상 머신 활성화 가능성 등을 고려해야 한다.
• 명령어 처리 - 마이크로아키텍처
  마이크로아키텍처는 명령어 집합 아키텍처를 구현하는 프로세서의 구성 요소, 상호 연결, 작동 방식을 포괄하는 개념으로, 동일 ISA에서 반도체 기술 발전과 새로운 구조 및 회로를 통해 성능 향상을 가능하게 한다.