운영 체제

サインイン

HotMem은 서버리스 함수의 메모리 할당을 분리하여 빠르고 효율적인 메모리 회수를 가능하게 하는 새로운 메모리 관리 메커니즘으로, 서버리스 환경에서 메모리 사용 효율성을 향상시킵니다.

xNVMe는 다양한 운영 체제 및 사용자 공간 I/O 라이브러리에서 NVMe 스토리지 하드웨어에 대한 프로그래밍을 단순화하는 통합 API를 제공하여 현대 NVMe 하드웨어의 기능을 활용하는 혁신적인 스토리지 시스템의 개발을 가능하게 합니다.

러스트가 리눅스 커널에 도입되었지만, C는 여전히 시스템 프로그래밍, 특히 저수준 라이브러리 및 어셈블리 코드와의 통합 측면에서 우위를 점하고 있어 대체 불가능한 언어로 남아있다.

iOS 18.0.1 업데이트에서 가장 주목할 만한 기능은 아이폰 사용자들끼리 통신망 없이 메시지를 주고받을 수 있는 위성 메시지 기능이며, 나머지 기능들은 크게 유용하지 않다.

본 논문에서는 안티체인 및 오라클 기법을 활용하여 유니프로세서 혼합-임계성 실시간 시스템에서 산발적 작업 세트에 대한 정확한 스케줄링 가능성을 판단하는 효율적인 알고리즘을 제시합니다.

본 논문에서는 테스트 케이스만으로는 찾기 힘든 동시성 및 자원 관리 버그를 효과적으로 감지하기 위해 맞춤형 정적 분석을 활용한 시스템 프로그래밍 과제 자동 평가 방식을 제안합니다.

eBPF는 운영 체제 커널 내에서 안전하고 효율적으로 실행되는 프로그램을 로드할 수 있는 런타임 환경을 제공한다.

CARTOS는 간헐적 배터리리스 장치에서 실시간 응용 프로그램의 안정적이고 지속적인 실행을 보장하는 충전 인식 실시간 운영 체제이다.

Ubuntu 시스템에서 FIFO 스케줄링이 Round Robin 스케줄링보다 컴퓨팅 집약적 워크로드에 대해 더 나은 성능과 에너지 효율성을 제공한다.

eBPF를 활용하여 애플리케이션의 메모리 접근 패턴을 기반으로 최적의 페이지 크기를 선택하는 메모리 관리 정책을 구현한다.

会社概要

プロダクト

リソース