합성 커널

합성 분산 운영 체제는 효율적인 커널 호출과 고급의 직교 인터페이스를 결합합니다. 주요 개념은 커널 내의 코드 합성기를 사용하여 특정 상황에 맞는 특화된(따라서 짧고 빠른) 커널 루틴을 생성하는 것입니다. 우리는 코드 합성을 위한 세 가지 방법을 가지고 있습니다: 반복하지 않는 계산을 우회하기 위한 불변 인수 분해; 불필요한 절차 호출과 컨텍스트 전환을 제거하기 위한 레이어 축소; 및 데이터 구조 탐색 시간을 단축하기 위한 실행 가능한 데이터 구조. 이러한 방법을 적용하여, /dev/mem을 읽기 위해 합성된 커널 호출은 68020 기계에서 약 15 마이크로초가 소요됩니다. 합성 기계라는 간단한 계산 모델이 병렬 및 분산 처리를 지원합니다. 합성 기계의 인터페이스는 네 가지 종류의 객체에 대한 여섯 가지 작업으로 구성됩니다. 코드 합성기와의 이 고급 인터페이스의 조합은 강력한 인터페이스와 효율적인 구현 간의 전통적인 트레이드오프를 피합니다.