2025.02.17 (월)

  • 맑음동두천 -1.3℃
  • 맑음강릉 5.7℃
  • 맑음서울 -0.1℃
  • 맑음대전 1.2℃
  • 맑음대구 5.5℃
  • 맑음울산 6.0℃
  • 맑음광주 3.5℃
  • 맑음부산 8.0℃
  • 맑음고창 1.8℃
  • 흐림제주 7.2℃
  • 맑음강화 0.3℃
  • 맑음보은 0.8℃
  • 맑음금산 2.1℃
  • 맑음강진군 4.6℃
  • 맑음경주시 6.0℃
  • 맑음거제 5.8℃
기상청 제공

빅테크

KAIST, 美 국방부가 주목한 C-러스트 기술 선도…류석영 교수·홍재민 박사 연구팀 '쾌거'

KAIST, 프로그래밍 언어 C로 작성한 코드를 러스트(Rust) 언어로 자동 번역하는 기술 세계적으로 선도
백악관과 미 국방부가 메모리 문제를 막기 위해 C 언어 대신 러스트 사용 촉구
C 코드의 안전성에 중요한 여러 핵심 기능을 자동으로 변환하는 C-러스트 코드 번역 기술 선도

 

[뉴스스페이스=김시민 기자] 컴퓨터 시스템을 작동시키기 위해서는 소프트웨어를 작성해야 하는데 그때 필요한 언어가 바로 프로그래밍 언어다. 실행속도도 빠르고 유지보수도 쉬운 언어가 C언어인데 메모리 할당 및 관리 등에 치명적인 문제점을 가지고 있다.

 

이런 문제를 해결하기 위해 개발된 프로그래밍 언어는 러스트이다. 미국 백악관이나 국방성에서 메모리 문제를 막기 위해 러스트같이 안전한 언어 사용을 촉구하고 있는데 KAIST 연구진이 C-러스트 코드 번역 기술을 이미 선제적으로 개발하고 선도하고 있어 화제다.

 

KAIST(총장 이광형)는 전산학부 류석영 교수 연구팀(프로그래밍 언어 연구실)이 C언어의 유니언(union, 여러 종류의 데이터를 같은 공간에 보관해 메모리 효율을 높이는 C언어의 핵심 기능이다. 그러나 보관된 데이터가 어떤 종류인지 구분하지 않아 메모리 문제를 일으킬 수 있다)을 러스트의 태그드 유니언(tagged union, 같은 공간에 보관할 수 있는 여러 종류의 데이터 중 어떤 종류의 데이터를 보관하는지 태그를 붙여서 구분하여, 메모리 문제를 일으키지 않는다)으로 변환하는 기술을 세계 최초로 개발했다고 13일 밝혔다. 

 

연구팀은 C언어의 유니언에 특화된 새로운 프로그램 분석 기법을 고안해 러스트의 태그드 유니언으로 자동 번역하는 데 성공했다.

 

올해 2월 백악관에서도 C언어의 사용을 중단하라고 촉구한 바가 있고, 미국 국방고등연구계획국(이하 DARPA)에서 C언어로 작성된 코드를 러스트(Rust)로 자동 번역하는 기술을 개발하는 연구 과제를 발표했다.


DARPA는 미국 국방성의 연구·개발을 담당하는 기관이며 인터넷의 원형인 아파넷(ARPANET)을 개발하는 등 혁신적이고 영향력 있는 연구를 지원해 왔다. DARPA는 이 과제를 제안하며 C의 메모리 문제를 막기 위해 러스트같이 안전한 언어를 사용해야 한다고 밝혔다. 

 

러스트는 2015년부터 개발된 프로그래밍 언어다. 운영 체제, 웹 브라우저 개발 등에 쓰이며, 2022년에는 리눅스(Linux) 개발에도 공식 사용되기 시작했다. 

 

류 교수 연구진은 2023년 5월과 2024년 6월에 각각 C의 뮤텍스(mutex, 프로그램 동기화에 필요한 기능)와 출력 파라미터(output parameter, 계산 결과 전달에 사용되는 기능)를 러스트로 변환하는 기술을 세계 최초로 개발해, 최우수 국제 학술대회인 국제소프트웨어엔지니어링학회(ICSE)와 프로그래밍언어설계구현학회(PLDI)에 발표한 바 있다. 


C언어와 러스트의 큰 간극으로 인해 세계적으로도 C-러스트 코드 번역 기술을 성공적으로 개발한 연구팀은 극소수다. 그마저도 포인터(pointer, 데이터 저장 위치를 표현하는 기능)를 변환하는 데 머물고 있다. 그러나 류석영 교수 연구팀은 C의 여러 핵심 기능을 변환하는 기법을 연달아 제시해 C-러스트 코드 번역 기술을 선도하고 있다.
 

류석영 교수는 “안전한 소프트웨어 제작을 목표로 연구하면서 C-러스트 코드 번역의 중요성을 일찍이 파악하고 각종 프로그래밍 언어 기법들을 코드 번역에 적극적으로 도입하여 나온 결과”라면서, “완전한 자동 번역을 위해 아직 풀어야 할 난제가 많으니 후속 연구에 정진하여 계속 이 분야를 선도하겠다”고 말했다.

 

KAIST 전산학부 홍재민 석박사통합과정 학생이 제1 저자로 참여한 이번 연구 결과는 최우수 국제 학술대회인 국제자동소프트웨어엔지니어링학회(ASE)에 채택됐다(논문명: To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions).

 

한편 이번 연구는 한국연구재단 선도연구센터 및 중견연구자지원사업, 정보통신기획평가원(IITP), 삼성전자의 지원을 받아 수행됐다.

배너
배너
배너

관련기사

93건의 관련기사 더보기


일론 머스크, 13명째 아빠 됐다...“출산이 부업이냐” 댓글에 웃음

[뉴스스페이스=윤슬 기자] 트럼프정부에서 미국 정부효율부(DOGE) 수장인 일론 머스크(54) 테슬라 최고경영자(CEO)의 아이를 출산했다는 20대 여성이 등장했다. 20대 보수 성향 인플루언서 애슐리 세인트 클레어(26)는 14일(현지시간) 엑스(X·옛 트위터)에 “5개월 전, 새로운 아기를 세상에 맞이했다”며 “머스크가 아버지”라고 고백했다. 이어 “아이의 사생활과 안전을 보호하기 위해 이 사실을 공개하지 않았지만, 최근 타블로이드 미디어가 이를 보도하려는 것이 분명해졌다”고 공개 이유를 밝혔다. 언론의 보도가 나오기 전에 스스로 이를 먼저 공개한다는 취지다. 그러면서 “나는 우리 아이가 정상적이고 안전한 환경에서 자라도록 할 것”이라며 “미디어가 아이의 사생활을 존중하고 이를 침해하는 보도는 삼가 주길 요청한다”고 했다. 글에는 “Alea Iacta Est(주사위는 던져졌다)”라는 라틴어 문구가 달려 있었다. 매일 100여개 이상의 게시글을 X에 올리는 머스크는 현재까지 이에 대해 공식 입장을 밝히지 않았다. 다만 한 이용자가 “또 다른 아이를 갖는 것이 머스크의 ‘부업’이냐”는 농담성 댓글을 달자 여기에 웃는 모양의 이모티콘으로 반응하며 사실상 이를

'휴머노이드 로봇' 테슬라 독주에 메타도 참전…구글·엔비디아·오픈AI·애플까지 '판 커진다'

[뉴스스페이스=김정영 기자] 테슬라가 독주하는 휴머노이드 로봇 분야에 빅테크 기업들이 연이어 참전을 준비 중인 것으로 알려지면서 판이 커지고 있다. 테슬라, 메타는 물론 구글, 아마존, 엔비디아, 오픈AI, 애플까지 휴머노이드 로봇시장에 뛰어들면서 빅테크 7강들이 모두 참전해 로봇전쟁도 본격화되고 있다. 블룸버그 통신은 14일(현지시간) 페이스북 모회사 메타가 인공지능(AI) 기반 휴머노이드 로봇을 개발하기 위해 새로운 부서를 꾸리고 있다고 보도했다. 메타 최고기술책임자(CTO) 앤드류 보스워스는 최근 내부 메모에서 새로운 팀이 "라마(Llama) 플랫폼 기능을 극대화하는 것을 목표로 컨슈머 휴머노이드 로봇 관련 연구 개발에 집중할 것"이라고 말했다. 메타는 휴머노이드 로봇팀을 리얼리티 랩스 부문 내에 신설할 예정이다. 리얼리티 랩스는 가상현실 헤드셋 등을 포함해 메타버스(3차원 가상세계) 시대에 대비해 연구해 온 조직이다. 라마는 메타의 AI 모델로, 이를 이용해 가정 등에서 사용할 수 있는 인간을 닮은 로봇 개발에 나서겠다는 것이다. 메타는 처음에는 집안일을 하는 자체 휴머노이드 로봇 하드웨어 개발을 검토하고 있으며, 여러 회사가 개발하는 로봇에 들어가는

[영상] 바지 뒷주머니 있던 휴대폰 '펑'…아이폰도 갤럭시도 아니었다, 어디?

[뉴스스페이스=김문균 기자] 브라질에서 쇼핑을 하던 여성이 바지 뒷주머니에 넣어둔 휴대전화가 폭발하면서 다치는 사건이 발생했다. 13일(현지시간) 브라질의 G1 등에 따르면 지난 8일 브라질 중서부 지역 고이아스주 아나폴리스의 한 매장에서 쇼핑 중이던 여성 바지 뒷주머니의 휴대전화가 폭발했다. 폐쇄회로(CC)TV 영상에는 긴박했던 사고 당시 모습이 고스란히 찍혀 있었다. 여성은 남편과 청소용품 진열대를 둘러보던 대화를 나누고 있었다. 그 순간 여성의 바지 뒷주머니에서 휴대전화가 폭발하며 연기가 피어오르고 수 초 만에 등까지 불이 붙었다. 주변 사람들은 공포에 휩싸인 채 자리를 피하거나, 놀란 모습으로 여성을 지켜봤다. 여성은 엉덩이에 불이 붙은 채 매장 내부를 이리저리 뛰어다녔고, 옆에 있던 남편이 손으로 불을 끄려고 애썼다. 남편이 가까스로 뒷주머니에서 발화 원인인 휴대전화를 꺼냈다. 병원으로 이송된 여성은 손, 팔뚝, 등, 엉덩이에 1도, 2도 화상을 진단받았다. 여성의 남편은 "휴대전화가 폭발하기 직전 아내는 뒷주머니에서 강한 열기를 느꼈지만, 너무 빨리 불이 나면서 사고를 피할 수 없었다"고 전했다. 여성의 휴대전화는 모토로라의 모토 E32 모델로 약

테슬라 장갑차 구매하려던 美 국무부, 논란되자 '철회'…계속되는 머스크 이해상충 '논란'

[뉴스스페이스=이종화 기자] 미국 국무부가 4억 달러(약 5800억원) 규모로 추진했던 테슬라 전기 장갑차 구매 계획을 보류했다. 트럼프 정부에서 정부효율부(DOGE) 수장을 맡은 일론 머스크 테슬라 최고경영자(CEO)로 쏟아진 이해 상충 논란을 의식한 것으로 풀이된다. '정부효율부'를 맡아 정부 예산을 들여다보고 있는 머스크가 정부기관에 테슬라의 전기차를 납품하는 것은 이해상충 문제가 있다고 판단한 것이다. 13일(현지시각) 뉴욕타임스(NYT)와 더힐 등 외신에 따르면, 미국 국무부는 이날 약 4억 달러 규모로 책정했던 전기 장갑차 구매 계획을 보류했다고 밝혔다. 국무부는 이날 성명에서 머스크의 회사에 특혜를 줬다는 주장을 반박하며 "해당 구매 계획은 민간 기업의 전기 장갑차 생산에 대한 관심을 조사하기 위해 바이든 행정부의 요청에 따른 것이었다"고 해명했다. 그러면서 현재로서는 이 구매 요청을 실행할 계획이 없다고 밝혔다. 전날 NYT는 국무부의 2025년 구매 예상 명세를 담은 조달 예측 문서에 4억 달러 규모의 테슬라 장갑차가 포함됐다고 보도했다. 이 문서는 트럼프 대통령 당선 이후 취임하기 전인 작년 12월에 공개됐다. 머스크 역시 테슬라가 국무부와

테슬라 사이버트럭, 美 국무부와 6000억 '전기 장갑차' 수주 계약…뒷말 '무성'

[뉴스스페이스=이종화 기자] 일론 머스크 최고경영자(CEO)가 이끄는 테슬라가 4억달러(약 6000억원) 규모의 전기 장갑차를 미 정부에 공급하는 수주 계약을 따낼 가능성이 높다는 보도가 나왔다. 12일(현지시간) 전기차 매체 일렉트릭과 테슬라 전문매체 테슬라라티의 보도에 따르면, 미국 국무부가 최근 발표한 2025년도 '조달 예측'에 근거해 테슬라가 미 국무부에 사이버트럭 픽업의 장갑 버전을 공급하는 계약을 체결할 가능성이 높다고 전했다. 국무부의 조달 예측 문서에는 해당 기관이 구매할 것으로 예상되는 구매 내역이 자세히 나와 있는데 여기에는 4억 달러 규모의 테슬라 장갑차(Armored Tesla)가 기재됐다. 테슬라가 국무부와 계약을 체결하면 상업용 차량을 넘어 군용 및 특수차령 등 방위산업에 진출하는 것이다. 계약 예상 체결일은 올해 9월 30일로, 계약 기간은 5년인 것으로 알려졌다. 하지만 트럼프 행정부에서 정부효율부(DOGE) 수장을 맡아 정부 예산삭감을 위해 국무부 예산을 들여다보고 있는 머스크가 국방부와 계약을 체결한 당사자라는 점에서 이해상충 문제가 불거질 것으로 예상된다. 테슬라의 어떤 모델이 장갑차로 채택될지 공개되진 않았지만, 공급 모