< (왼쪽부터) 전산학부 류석영 교수, 홍재민 석박사통합과정 >
컴퓨터 시스템을 작동시키기 위해서는 소프트웨어를 작성해야 하는데 그때 필요한 언어가 바로 프로그래밍 언어이다. 실행속도도 빠르고 유지보수도 쉬운 언어가 C언어인데 메모리 할당 및 관리 등에 치명적인 문제점을 가지고 있다. 이런 문제를 해결하기 위해 개발된 프로그래밍 언어는 러스트이다. 미국 백악관이나 국방성에서 메모리 문제를 막기 위해 러스트같이 안전한 언어 사용을 촉구하고 있는데 우리 대학 연구진이 C-러스트 코드 번역 기술을 이미 선제적으로 개발하고 선도하고 있어 화제다.
우리 대학 전산학부 류석영 교수 연구팀(프로그래밍 언어 연구실)이 C언어의 유니언(union)*을 러스트의 태그드 유니언(tagged union)으로 변환하는 기술을 세계 최초로 개발했다고 13일 밝혔다.
*유니언: 여러 종류의 데이터를 같은 공간에 보관해 메모리 효율을 높이는 C언어의 핵심 기능이다. 그러나 보관된 데이터가 어떤 종류인지 구분하지 않아 메모리 문제를 일으킬 수 있다.
**태그드 유니언: 같은 공간에 보관할 수 있는 여러 종류의 데이터 중 어떤 종류의 데이터를 보관하는지 태그를 붙여서 구분하여, 메모리 문제를 일으키지 않는다.
연구팀은 C언어의 유니언에 특화된 새로운 프로그램 분석 기법을 고안해 러스트의 태그드 유니언으로 자동 번역하는 데 성공했다.
올해 2월 백악관에서도 C언어의 사용을 중단하라고 촉구한 바가 있고(https://www.whitehouse.gov/wp-content/uploads/2024/02/Final-ONCD-Technical-Report.pdf) 미국 국방고등연구계획국(이하 DARPA)에서 C언어로 작성된 코드를 러스트(Rust)로 자동 번역하는 기술을 개발하는 연구 과제를 발표했다.(https://www.darpa.mil/program/translating-all-c-to-rust) DARPA는 미국 국방성의 연구·개발을 담당하는 기관이며 인터넷의 원형인 아파넷(ARPANET)을 개발하는 등 혁신적이고 영향력 있는 연구를 지원해 왔다. DARPA는 이 과제를 제안하며 C의 메모리 문제를 막기 위해 러스트같이 안전한 언어를 사용해야 한다고 밝혔다.
러스트는 2015년부터 개발된 프로그래밍 언어다. 운영 체제, 웹 브라우저 개발 등에 쓰이며, 2022년에는 리눅스(Linux) 개발에도 공식 사용되기 시작했다.(https://www.infoq.com/news/2022/12/linux-6-1-rust/) C와 달리 프로그램 실행 전에 메모리 문제를 탐지하고 예방할 수 있는 것이 특징이다.
류 교수 연구진은 2023년 5월과 2024년 6월에 각각 C의 뮤텍스(mutex)*와 출력 파라미터(output parameter)**를 러스트로 변환하는 기술을 세계 최초로 개발해, 최우수 국제 학술대회인 국제소프트웨어엔지니어링학회(ICSE)와 프로그래밍언어설계구현학회(PLDI)에 발표한 바 있다.
*뮤텍스: 프로그램 동기화에 필요한 기능
**출력 파라미터: 계산 결과 전달에 사용되는 기능
< 그림 1. 제시한 번역 기법의 전체 과정 도식. C 코드를 문법적 번역기를 사용해 유니언을 사용하는 러스트 코드로 번역한다. 분석 후보 선정, 가리키는 곳 분석, 휴리스틱 알고리즘의 단계를 통해 코드를 분석한다. 분석 결과를 바탕으로 두 가지 변환 전략을 적용하여 유니언을 태그드 유니언으로 변환한다. >
C언어와 러스트의 큰 간극으로 인해 세계적으로도 C-러스트 코드 번역 기술을 성공적으로 개발한 연구팀은 극소수다. 그마저도 포인터(pointer)*를 변환하는 데 머물고 있다. 그러나 류석영 교수 연구팀은 C의 여러 핵심 기능을 변환하는 기법을 연달아 제시해 C-러스트 코드 번역 기술을 선도하고 있다.
*포인터: 데이터 저장 위치를 표현하는 기능
류석영 교수는 “안전한 소프트웨어 제작을 목표로 연구하면서 C-러스트 코드 번역의 중요성을 일찍이 파악하고 각종 프로그래밍 언어 기법들을 코드 번역에 적극적으로 도입하여 나온 결과”라면서, “완전한 자동 번역을 위해 아직 풀어야 할 난제가 많으니 후속 연구에 정진하여 계속 분야를 선도하겠다”고 말했다.
< 그림 2. 유니언을 사용하는 C 코드의 기존 번역 결과와 제안한 기법을 적용한 번역 결과. 기존 번역 결과는 유니언을 태그드 유니언으로 대체하지 않아 메모리 문제를 방지하지 못했다. 반면, 제안한 기법을 적용한 번역 결과는 유니언을 태그드 유니언으로 대체해 메모리 문제를 방지했다. >
전산학부 홍재민 석박사통합과정 학생이 제1 저자로 참여한 이번 연구 결과는 최우수 국제 학술대회인 국제자동소프트웨어엔지니어링학회(ASE)에 채택됐다(논문명: To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions).
한편 이번 연구는 한국연구재단 선도연구센터 및 중견연구자지원사업, 정보통신기획평가원(IITP), 삼성전자의 지원을 받아 수행됐다.
-
연구 AI가 그린수소와 배터리 미래 신소재 찾아낸다
그린수소 또는 배터리 분야 등 청정 에너지의 성능을 높이는데 가장 큰 영향을 미치는 소재 중 하나는 전극이다. 한국 연구진이 차세대 전극 및 촉매로 활용될 수 있는 신소재를 효율적으로 설계하는 인공지능 기술을 개발했다. 이 기술을 통해 친환경 에너지 사회를 촉진하는데 중요한 역할을 할 것으로 기대된다. 우리 대학 기계공학과 이강택 교수 연구팀의 주도로 한국에너지기술연구원 (원장 이창근), 한국지질자원연구원 (원장 이평구), KAIST 신소재공학과 공동 연구팀들과 함께, 인공지능(AI)과 계산화학을 결합해 그린수소 및 배터리에 활용될 수 있는 스피넬 산화물 신소재를 설계하고, 성능과 안정성을 예측할 수 있는 새로운 지표를 개발하는 데 성공했다고 21일 밝혔다. 스피넬 산화물(AB2O4)은 그린수소 또는 배터리 분야의 차세대 촉매 및 전극 물질로 활용되어 산소 환원 반응(ORR)과 산소 발생 반응(OER)의 속도를 향상시킬 수 있는 잠재력이 높은 물질이다. 하지만, 수천 개
2024-11-21 -
연구 초박막으로 초고해상도 이미지 즐긴다
한미 공동 연구진이 기존 센서 대비 전력 효율이 높고 크기가 작은 고성능 이미지 센서를 구현할 수 있는 차세대 고해상도 이미지 센서 기술을 개발했다. 특히 세계 시장에서 소니(Sony)社가 주도하고 있는 초고해상도 단파적외선(SWIR) 이미지 센서 기술에 대한 원천 기술을 확보해 향후 시장 진입 가능성이 크다. 우리 대학 전기및전자공학부 김상현 교수팀이 인하대, 미국 예일대와 공동연구를 통해 개발한 초박형 광대역 광다이오드(PD)가 고성능 이미지 센서 기술에 새로운 전환점을 마련했다고 20일 밝혔다. 이번 연구는 광다이오드의 기존 기술에서 나타나는 흡수층 두께와 양자 효율 간의 상충 관계를 획기적으로 개선한 것으로, 특히 1마이크로미터(μm) 이하의 얇은 흡수층에서도 70% 이상의 높은 양자 효율을 달성했다. 이 성과는 기존 기술의 흡수층 두께를 약 70% 줄이는 결과를 가져왔다. 흡수층이 얇아지면 화소 공정이 간단해져 높은 해상도 달성이 가능하고 캐리어 확산이
2024-11-20 -
연구 에너지 저장, 하중지지 동시 가능한 구조배터리 개발
친환경 에너지 기반 자동차, 모빌리티, 항공우주 산업군 등에 활용되는 구조배터리는 높은 에너지 밀도를 통한 에너지 저장과 높은 하중 지지의 두 기능을 동시에 충족되어야 한다. 기존 구조배터리 기술은 두 가지 기능이 상충하여 동시에 향상하기 어려웠지만 우리 연구진이 이를 해결하기 위한 기반 기술 개발에 성공했다. 우리 대학 기계공학과 김성수 교수 연구팀이 하중 지지가 가능하고 화재 위험이 없고 얇고 균일한 고밀도 다기능 탄소섬유 복합재료 구조 배터리*를 개발했다고 19일 밝혔다. *다기능 복합재료 구조 배터리(Multifunctional structural batteries): 복합재료를 구성하는 각 소재가 하중 지지 구조체 역할과 에너지 저장 역할을 동시에 수행할 수 있다는 점을 의미 초기의 구조 배터리는 상용 리튬이온전지를 적층형 복합재료에 삽입한 형태로, 기계적-전기화학적 성능 통합 정도가 낮으므로, 이는 소재 가공, 조립 및 설계 최적화에 어려움이 있어 상용화되기
2024-11-19 -
연구 미래 반도체 소재 나노 분석 정확도 획기적 향상
머리카락 두께의 수만 분의 1도 관찰할 수 있는 초정밀 현미경으로 특수 전자소자를 측정할 때 발생하던 오차의 원인이 밝혀졌다. 한미 공동 연구진이 그동안 측정 대상 물질의 특성으로 여겨졌던 오차가, 실제로는 현미경 탐침 끝부분과 물질 표면 사이의 극미세 공간 때문이라는 사실을 밝혀낸 것이다. 이번 연구는 반도체, 메모리 소자, 센서 등에 활용되는 나노 소재 특성을 정확하게 분석하여 관련 기술 발전에 크게 기여할 것이다. 우리 대학 신소재공학과 홍승범 교수 연구팀이 미국 버클리 대학 레인 마틴(Lane W. Martin) 교수팀과의 국제 공동연구를 통해, 주사탐침현미경 측정의 최대 난제였던 신호 정확도를 저해하는 핵심 요인을 규명하고 이를 제어하는 획기적인 방법을 개발했다고 18일 밝혔다. 연구팀은 현미경 탐침과 시료 표면 사이에 존재하는 비접촉 유전 간극이 측정 오차의 주요 원인임을 밝혀냈다. 이 간극은 측정환경에서 쉽게 변조되거나 오염물질로 채워져 있어 전기적 측정에
2024-11-18 -
연구 1700% 뛰어난 신축성, 고성능 웨어러블 열전소자 개발
열 에너지를 전기로 전환시키는 열전 소자는 버려지는 폐열을 활용할 수 있어 지속 가능하고 친환경적인 에너지 플랫폼으로 주목받고 있다. 한국 연구진이 우수한 신축성과 최고 수준 성능을 보이는 열전소자를 개발하여 웨어러블 소자를 위한 체온을 이용한 차세대 에너지 공급원으로의 가능성을 한층 더 앞당겼다. 우리 대학 생명화학공학과 문홍철 교수팀이 POSTECH 화학공학과 박태호 교수팀과 공동연구를 통해 열역학적 평형 조절을 통한 기존 N형 열전갈바닉 소자*성능 한계 극복 기술을 구현했다고 14일 밝혔다. *열전갈바닉 소자: 생성되는 전자 흐름의 방향에 따라 N형과 P형으로 구분 가능 네거티브(negative)를 의미하는 N형은 전자가 저온에서 고온 쪽으로, 포지티브(positive)를 의미하는 P형은 고온에서 저온 쪽으로 전자가 이동 열전 소자의 성능을 최대한 끌어올리기 위해 P형과 N형 소자의 통합이 필수적이다. 최근 우수한 성능을 지닌 P형 열전 소자에 대한 연구는 많이 진
2024-11-14