ARM, 젊은 과학자들을 위한 권위 있는 Blavatnik Award 수상자 Arm의 Jade Alglave를 만나다

Arm의 선임 동시성 아키텍트이자 석학 엔지니어인 Jade Alglave가 2023년 블라바트니크 젊은 과학자상 수상자로 선정되었습니다. 이 권위 있는 상은 젊은 과학자들의 잠재력과 경력 초기에 과학 및 기술 발전에 기여한 뛰어난 업적을 인정합니다. Jade Alglave는 Luc Maranget과의 공동 연구를 통해 'cat'이라는 도메인 특화 언어로 구현된 수학적 프레임워크를 발명한 공로를 인정받았습니다. 'cat' 언어는 사용자가 Arm 아키텍처와 같이 동시성 시스템의 일반적인 원칙과 규칙을 명확하게 기술할 수 있도록 합니다. 이러한 원칙은 스마트폰부터 데이터 센터에 이르기까지 다양한 기술에 사용되는 대부분의 현대 컴퓨팅 시스템의 아키텍처에 내장되어 있습니다. Alglave와 Maranget은 또한 이러한 동시성 시스템에서 다양한 사양이 올바르게 구현되었는지 테스트할 수 있는 공개적으로 사용 가능한 오픈소스 소프트웨어 도구를 설계했습니다. 이 방법론과 도구는 Arm 및 Linux Foundation을 포함한 여러 선도적인 기술 기업에서 적용되었으며, 컴퓨터 칩의 배포 전, 중, 후에 버그를 발견하는 데 기여했습니다. Arm은 Alglave와의 인터뷰를 통해 그녀의 연구, Arm 및 학계에서의 역할, 수상 소식, 그리고 기술 분야에 입문하게 된 계기에 대해 들어보았습니다. **15년 전 개발한 방법론이 현재 왜 중요해졌다고 보십니까?** "15년 전에는 박사 과정 동안 연구했던 것이 오늘날 이렇게 유용할 것이라고는 예상하지 못했습니다. 제 박사 연구의 핵심 주제는 '동시성 시스템이 정확히 무엇을 해야 하는지 기술할 수 있는가?'였습니다. 당시에는 허용되거나 금지되는 동작에 대한 소수의 테스트나 설명이 있었지만, 그 이유는 비공식적인 논증에 의존했습니다. 사양은 매우 간결하거나, 반대로 이해하기 어려운 긴 설명으로 이루어져 있었습니다. 그래서 저희는 경험적인 접근 방식을 취했습니다. 사양에서 필요한 답을 얻기 어렵다면, 사양에 따라 구축되어야 하는 기계 자체에서 근사치를 얻을 수 있지 않을까 생각했습니다." "Luc Maranget과 저는 'diy'라는 도구를 설계하여 수많은 테스트를 생성했습니다. 그리고 이 테스트들을 다양한 기계에서 실행했습니다. 이를 통해 방대한 실험 캠페인에서 실험 모델을 얻을 수 있었습니다. 이 도구를 개발할 때, 저는 이미 업계에 존재하는 것을 재현했다고 확신했지만, 사실이 아니었습니다." **방법론이 산업계에서 채택된 이유는 무엇이라고 생각하십니까?** "하나의 매력은 단순히 종이 위의 수학이 아니라는 점입니다. 저희 모델은 실행 가능합니다. 사용자는 herd7 도구를 쿼리하여 '이 동작이 금지되는가, 아닌가?'와 같은 질문을 할 수 있으며, 수 페이지에 달하는 수학적 설명 대신 '예' 또는 '아니오'라는 답변을 얻을 수 있습니다. 또한, 모델은 미세 아키텍처 수준의 구현 고려 사항에 깊이 들어갈 필요가 없습니다." "디자이너는 herd7 도구를 사용하여 다양한 상황을 테스트할 수 있습니까? 그리고 도구는 '예, 그렇게 할 수 있습니다' 또는 '아니요, 할 수 없습니다'라고 말해줍니까?" "네, 정확합니다. 그리고 diy 도구를 사용하면 디자이너가 다양한 설계를 테스트하는 데 사용할 수 있는 방대한 시나리오 가족을 생성할 수 있습니다. 그런 다음, 이 테스트들을 herd7 도구의 실행 가능한 모델과 비교하고 하드웨어에서 관찰된 동작과 비교합니다." **실행 가능한 모델을 작성하기 위해 'cat' 언어를 개발하셨는데, 다른 언어를 사용할 가능성은 없었습니까? 아니면 'cat'이 목적에 맞게 효율적으로 구축되었습니까?** "'cat'을 처음 작성할 때, 저희는 Alloy라는 다른 시스템을 사용할 수 있다는 것을 몰랐습니다. Alloy는 'cat'과 유사하게 시스템에 대한 선언적 설명을 작성할 수 있도록 합니다. Alloy는 매우 일반적입니다. 반면에 'cat'의 경우, 매우 특정한 목적을 위해 구축된 도구 생태계를 개발했습니다." **동시성이란 무엇이며, 컴퓨팅 시스템에서 왜 중요하며, 귀하의 연구와는 어떻게 관련됩니까?** "높은 수준에서 동시성은 프로세서와 같은 다양한 에이전트가 서로 어떻게 통신하고 정보를 교환하는지를 설명합니다. 동시성은 작업을 여러 프로세서에 분산하여 병렬로 처리할 수 있기 때문에 높은 성능과 처리 효율성을 가능하게 합니다." **Arm에 합류하게 된 계기는 무엇이며, Arm은 고용주로서 귀하에게 무엇을 제공합니까?** "Arm은 동료 및 생태계를 통한 파트너들로부터 귀중한 지식과 통찰력에 접근할 수 있도록 해주었습니다. 이는 제 연구의 영향력이 훨씬 더 넓게 퍼질 수 있음을 의미합니다. 회사 내에서는 Arm의 최고 아키텍트인 Richard Grisenthwaite가 제 연구에 큰 지지를 보내주었습니다. 첫째, 제 팀이 올바르게 모델링할 수 있도록 기술적인 대화를 통해 도움을 주었습니다. 둘째, Arm 경영진 및 파트너들에게 제 팀의 연구가 회사와 더 넓은 생태계에 왜 가치 있고 중요한지를 전달했습니다." Richard Grisenthwaite, EVP 및 최고 아키텍트, Arm은 "Jade가 Arm 팀의 일원이라는 것은 매우 영광입니다. 그녀의 연구는 오늘날의 모든 현대 컴퓨팅 시스템에 지대한 영향을 미쳤습니다. Jade와 그녀의 팀이 개발한 방법론은 전 세계 인구의 70% 이상이 사용하는 Arm 기술의 필수적인 부분입니다. Jade가 블라바트니크 젊은 과학자상 수상자로 선정된 것은 뛰어난 업적이며, 전 세계 기술 환경 전반에 걸친 그녀의 연구의 상당한 영향을 인정하는 것입니다."라고 말했습니다. **현재 Arm에서의 역할은 무엇입니까?** "현재 저는 메모리 모델을 유지하고 발전시키는 팀을 이끌고 있으며, 관련 도구도 유지 및 업데이트하고 있습니다. 여기에는 Arm 아키텍트들과의 많은 협업이 포함되며, 모델이 상세하게 어떻게 동작해야 하는지에 대해 논의합니다. Arm의 파트너들과도 동일한 과정을 거칩니다. 이 모든 것이 모델과 지원 도구의 발전에 기여합니다." **UCL(University College London)의 컴퓨터 과학 교수이기도 하신데, 학업과 Arm에서의 업무를 어떻게 병행하십니까?** "두 직업 사이에 좋은 시너지가 있다고 생각합니다. 제 배경은 학계이기 때문에 Arm에서의 업무에도 종종 '연구 모자'를 씁니다. 하지만 Arm에서의 역할은 제 연구가 회사와 더 넓은 산업에 가치 있는 방식으로 적용되도록 노력할 수 있게 해줍니다." **현재 Arm 또는 학계에서 가장 흥미롭게 작업하고 있는 것은 무엇입니까?** "현재 저는 엔지니어링 프로세스와 관리에 대해 더 많이 배우는 것이 매우 흥미롭습니다. 이러한 학습은 Arm에서 제 팀의 영향력을 확장하는 방법에 대한 아이디어를 제공하여 모델과 지원 도구를 계속 개선할 수 있게 합니다." **Arm에서 하는 일 중 가장 좋아하는 것은 무엇입니까?** "지금 당장은 제 팀이 Arm 내에서 성장하는 것을 보는 것이 좋습니다. 모두가 함께 잘 일하는 모습을 보는 것은 엄청난 자부심의 원천입니다. 모델과 도구를 개발하는 것은 저 혼자만이 아닙니다. 제 팀원들은 기존 지식과 방법론을 더욱 발전시키고 있으며, 이는 우리가 더 야심찬 목표를 달성할 수 있음을 의미합니다." **블라바트니크 상에 누가 추천했습니까?** "저는 영국 왕립 공학한림원(Royal Academy of Engineering)으로부터 추천받았습니다. 저는 그곳의 펠로우이기 때문에 기관에서 저와 제 연구를 알고 있었고, 자격 요건을 충족한다고 연락해 왔습니다." **어린 시절, 기술과의 첫 경험은 어떠했습니까?** "저는 21살이 되어서야 컴퓨터를 소유했습니다. 어릴 때 집에는 전화기와 TV만 있었고, 그 외에는 별다른 것이 없었습니다. 기술과의 첫 번째 제대로 된 경험은 대학에 갈 때까지였습니다. 그래서 컴퓨터를 소유하지 않았던 것에서 컴퓨터 과학 박사 과정을 밟는 것은 상당한 도약이었습니다." **어떻게 그렇게 되었습니까?** "처음에는 수학과 물리학을 공부했지만, 둘 다 뛰어나지는 않다는 것을 깨달았습니다. 하지만 두 분야의 엄격함을 좋아했습니다. 저는 그것을 다른 곳에서 어떻게 활용할 수 있을까 궁금해하기 시작했습니다. 프로그래밍에 대한 지식은 제한적이었지만, 제가 따랐던 커리큘럼은 단순히 프로그래밍에 관한 것이 아니었습니다. 그것은 제가 하는 일, 즉 시스템 모델링에 관한 의미론에 관한 것이 많았습니다."