A Brief Survey of Korean IT

Bada(바다), Nov. 2009-2010 [http://developer.bada.com/apis/index.do]

삼성전자에서 개발한 Bada platform은 모바일 디바이스에서 사용자로 하여금 좀 더 풍부한 UI 경험을 가능케하는 새로운 오픈 플랫폼이라고 합니다. 

    1) 개발 취지

취지만 보자면 안드로이드와 흡사한 면이 있지만, 프로그래밍언어는 C++만을 지원하고, 운영체제의 경우 리눅스 및 기타 realtime OS를 지원한다는 점 등에서 차이가 있습니다. 마케팅적인 요소를 모두 배제하고 생각해보면, 각각의 아키텍처에서 제공되는 API와 OpenGL과 같은 그래픽 라이브러리를 적절하게 사용하여   Bada platform 만의 고수준의 API를 제공하고 있습니다. 이것은 이노에이스나 유비벨록스같은 회사에서 오래 전부터 해오던 작업이라 새삼스러울 것은 없다고 보여집니다. 좀 특별한 것은 앱스토어와 연동한다는 점과, 무엇보다 삼성이라는 막대한 자금력을 가진 회사가 주도적으로 추진하고 있다는 점입니다.

    2) 원천 기술

요새 흔히들 부르짖는 원천기술 측면에서보면, 운영체제, 주요 라이브러리, 그리고 개발 툴을 오픈소스에서 차용했기 때문에 삼성이 독자적으로 개발한 핵심원천기술은 없는 것으로 생각됩니다.(삼성전자의 오픈소스에 대한 기여도는 별개의 문제로 생각했습니다.) 

    3) 비교 우위 및 전망

조심스레 몇 가지 예측을 해보자면,  오픈소스를 차용해서 쓸 것같으면 선두인 구글 안드로이드보다 개발 인프라가 상당히 부족하고, 독자적 원천기술을 확보해서 플랫폼을 구축할 것같으면 애플과 비교해서 상당한 기술격차가 존재합니다. 더군다나 Chrome OS를 기반으로 한 구글 폰을 생각하면, 웹 플랫폼 기술력이 전무한 삼성의 경우 상당히 고전할 것으로 생각됩니다.(Osp::Web을 통해 embedded browsing functionality를 지원한다고 하지만 구현물의 performance와 html 표준에 대한 conformance가 얼마나 될지는 별개의 문제로 생각했습니다.) 결론은 "이거 쉽지 않겠구나"입니다. 재미있는 반전은 마케팅 관점에서 보면 전통적인 하드웨어 기업인 삼성은 단말기 시장 점유율만 높이면 때문에, "잘 되면 좋고, 안 되면 그만"이 되지 않을까 생각합니다. 쉽게 예측해 볼 수 있듯이 삼성은 바다 뿐만 아니라 안드로이드, 윈도우 모바일(윈도우 폰), 그리고 심비안 같은 다양한 플랫폼을 가진 모델을 꾸준히 출시하리라 보여집니다. 소프트웨어 시장에 대한 끊임없는 삼성의 러브콜, 그 무한도전에 박수를 보냅니다.

 // C++, Eclipse+GNU tool-chain

COMIC, 2008-2009 [http://comic.snu.ac.kr/]

서울대학교 컴퓨터공학부 이재진 교수님 연구실 [링크1]에서 개발함. COMIC(A Coherent Shared Memory Interface for Cell BE)은 Cell BE 프로세서 [링크2]에서 복잡한 프로그래밍 환경-예를 들어 SPE의 로컬 메모리 및 DMA를 직접 관리해야 하는 부담 등-을 개선하기 위한 런타임 시스템입니다. 다시 말해, 프로그래머에게 PPE와 SPE사이에 전역공유메모리가 있는 것처럼 보이게 함으로써, 프로그래밍 복잡도를 완화하는 겁니다. 참고로 Patterson 그리고 Hennessy 교수님 의견에 따르면, 흔히 사용하는 "shared memory"라는 표현보다는 "single address space"라는 표현이 더 정확한 뜻을 담고 있다고 합니다. 그런 의미에서 "단일주소공간에서 프로그래밍을 하는 것처럼 보이게 한다"라는 표현도 좋지 않을까 생각해봅니다.. 프로그래머는 데이터가 어디에 있는지, 어떻게 얻는지 고민할 필요가 없이 C 프로그래밍을 하면 됩니다. 관련 논문은 PACT'08에서 채택되었습니다 [링크3, 링크4]. 덧붙여서, 버지니아 대학교의 Kim Hazelwood교수님은(쓸데없는 소리지만 사진으로 봤는데 상당한 미인이십니다) 이러한 기술이 하드웨어 수준에서 처리되는 것을 multicore virtualization의 일종이라고 부르는데요, 저수준에서 이루어지는 코어 관리(core management)를 추상화하여 소프트웨어 단에서의 부담을 줄이는 기술을 말합니다. 더욱 자세한 내용은 Philip M. Wells, Koushik Chakraborty, and Gurindar S. Sohi 라는 분들이 쓴 논문을 참조하세요. 또 OASES라는 것도 있는데요, runtime monitoring을 용이하게 하기 위해서 캐시 이벤트(cache event)를 명시적으로 소프트웨어 단에 노출하는 겁니다.(by Vijay Nagarajan and Rajiv Gupta). 이런 건 정말 생각만 해도 신나는 것들이로군요. 앞서 소개된 내용은 2009년 현재 cutting edge를 넘어서 bleeding edge에 속하는 기술들입니다. // Cell BE(IBM), written in C

FaCSim, 2008 [http://facsim.snu.ac.kr/]

서울대학교 컴퓨터공학부 이재진 교수님 연구실 [링크1]에서 개발함. FaCSim(A Fast and Cycle-Accurate Simulator)은 이름에서 말해주듯이 빠르면서도 정확하게 cycle 단위 수행시간을 계산할 수 있는 가상 플랫폼(virtual platform)입니다. 좀 더 정확하게 말씀드리면, FaCSim은 ARM9E-S 프로세서 코어와 ARM926EJ-S processor의 메모리 서브시스템(memory subsystem)을 모델링합니다. 운영체제와 같은 whole-system 시뮬레이션을 위해서 예외(exception)과 인터럽트(interrupt)까지 시뮬레이션합니다. FaCSim에서 애플리케이션이 구동 되려면 ARM에서 제공하는 semi-hosting [링크2]지원 라이브러리와 함께 컴파일되어야 합니다.(참고로.. 리눅스커널의 경우는 그럴 필요가 없습니다) semi-hosting은 디버거나 시뮬레이터에서 system call을 가로채서 해당하는 function을 가상으로 시뮬레이션 해주는 매커니즘을 말합니다. 잘 아시겠지만, 국내에서는 보기드물고, 해외에서도 인정받은 연구결과물입니다. 해당 논문은 LCTES'08에 채택되었습니다. // ARM9, written in C++

CHAMELEO(까멜레오), 2008-2009 [http://chameleo.org/]

서광열님이 CTO로 계시는 노메드커넥션에서 개발한 멀티미디어 플랫폼입니다. 까멜레오를 활용해서 프로그래머는 손쉽게 다양한 비디오 플레이어 위젯을 만들 수 있다고 합니다. 다가올 미디어 플랫폼의 핵심(core)이 될 목표를 가지고 있다고 나와 있네요. 해외에서도 소개되었습니다 [링크1, 링크2]. 개인적인 생각을 좀 써보자면, 까멜레오를 보면 오래전에 스티브잡스의 NeXTSTEP이 머릿속에 떠오릅니다 [링크3]. 너무 시대를 앞서 나간 뛰어난 기술이었기 때문에 사람들에게 외면받았던 비운의 그리고 전설의 운영체제이죠.(하지만 어쨌든 NeXTSTEP은 이 후에 MAC OS X의 전신이 되었습니다.) 현재 노메드커넥션이라는 회사가 어떤 상황에 있는지 구체적인 것은 잘모르겠지만, 전체적으로 조용해진 것을 보면 까멜레오가 앞으로 NeXTSTEP과 같은 길을 걷게 되는 것은 아닐까 걱정이 됩니다. 오늘 마침 가상머신의 미래에 대해서 곰곰이 생각해보다가, 플랫폼 싸움은 결국 구글이 승기를 잡았구나, 앞으로 대한민국은 뭘해야할까 하는 고민을 하게 됐습니다. 그리고는 서광열님과 함께 까멜레오가 떠오르더라구요. 참고로 가상머신과 플랫폼에 대해서 오해를 하고 계신분들이 생각보다 많이 계신 것 같습니다. 가상머신, JAVA, 소프트웨어플랫폼, 클라우드컴퓨팅, Linux, VMware, OpenCL, Android... 이런 것들 솔직히 말씀드리면 큰 의미없습니다. 대부분의 기술이 추구하는 바는 소위 "윈텔" 한 번 잡아 보자는 쪽으로 수렴됩니다. 그리고 이 모든 기술들이 웹브라우저에 모조리 통합되리라는 것을 M$와 우리는 15년전부터 예견하고 있었고, M$는 필사적으로 버텨왔습니다 [링크4]. 많은 분들이 짐작하시겠지만, 이제 그 치열했던 역사적인 싸움의 마무리가 구글에 의해서 자행(?)되는 것을 모두 함께 지켜보고 있는 셈이 되었습니다. 아마도 시간이 흐르면 까멜레오는 꽤 "신선하고 뛰어난" 기술중 하나로 회자될 것 같습니다. 이 글을 쓰고나서 나중에 좀 찾아봤더니 Company100, Inc.에 계시는 군요 [링크5]. 잠깐 사이트를 둘러봤는데 상당히 인상적인 벤처인 것 같습니다. // 플랫폼중립, C, python

XASM, 2004-2008 [http://blog.naver.com/www56321]

캐나다에서 여운산님이(id: www56321) 개발한 intel architecture용 어셈블러. 어린 나이에도 불구하고 다양한 시도를 하고 있음. 소스코드는 공개되어 있지 않고, binary만을 배포하고 있음. 링커나 라이브러리가 따로 없는 것을 보니 naive한 기계어만을 뽑는 것같은데, 현재는 미약하지만 앞으로 차근히 parsing이나 syntax/semantic analysis 이론과 같은 기초를 공부해나간다면 새로운 language에 대한 컴파일러까지 구현할 것으로 기대하고 있음. 앞으로의 행보가 기대되는 rookie임. // written in C++(Windows), x86, x86_64, Itanium

Versert(버섯), 2005 [http://mearie.org/projects/versert/]

강성훈(lifthrasiir)님이 "Befunge [링크1]라는 언어에 스택이 없으면 어떻게 되는가?"라는 물음으로 시작하여 개발한 독특한 로우레벨 프로그래밍 언어. 저급이라고 말한 이유는 전통적인 컴퓨터 아키텍처 관점에서 볼 때, 버섯이라는 언어 자체가 기존에 없는 특수한 머신을 가정했고, 그 머신에서 실행되는 기본적인 논리/연산/분기명령을 지원하는 형태이기 때문이다. 그런 의미에서 언어라기보다는 추상적인 가상머신에 대한 Instruction Set Architecture명세에 가깝지만, 기호화된 문법, 입출력을 추상화하여 지원한다는 점, 그리고 VM형태의 인터프리터에서 결과물을 직접 내놓기 때문에 저급언어라고 보아도 무방하겠다. 이 독특한 머신은 스택이 없고, 2차원 배열형태로 명령어/데이터가 메모리에 저장되고 명령어 실행순서가 순차적이지 않고 분기가 매우 격심한 레지스터-레지스터모델 형태임(load-store모델이라고도 함). 따라서 실제 해당 머신 및 프로그램 구현시 pipeline(ILP), cache(memory Hierarchy), multiple issue(static or dynamic), SMT(TLP), concurrent programming 등을 종합적으로 고려했을 때 그 어떤 언어보다 이해하기 어려우며 최악의 실행성능을 구현할 수 있음(Versert deserves the world worst awards). 내부적으로 Instruction Pointer, Velocity, Data Pointer, Register와 같은 변수를 갖고 있음. 참고로 Befunge라는 언어는 "가능한 컴파일하기 난해한 언어"가 목표라고 함. 더 자세한 내용은 해당 홈페이지 참조. // 버섯

WIPI(위피), 2001 - 2009 [http://wipi.or.kr/, http://ko.wikipedia.org/wiki/WIPI]

한국무선인터넷 표준화 포럼(KWISF : Korea Wireless Internet Standardization Forum)의 모바일 플랫폼 특별 분과에서 WIPI(Wireless Internet Platform for Interoperability)를 만듦. 덕분에 SKT 단말용 GVM을 개발한 신지소프트가 타격을 입었고, 대표이사는 주가조작/배임/횡령 등의 혐의로 구속 [링크1]됐었고... 여하튼 말도 많고 탈도 많았던 위피. 모바일 플랫폼 표준 규격으로서 무선 인터넷을 통해 다운로드 된 응용프로그램을 이동통신 단말기에 탑재시켜 실행 시키기 위한 환경을 제공하는데 필요한 표준규격. 2009년 4월을 기준으로 의무화가 해제되었으며, WIPI 3.0개발 중이라고 함. 2009년 현재 유관업체로는 "신지소프트(GNEX [링크2]), 아로마 소프트, 엠페이지, 지어소프트, 이노에이스,  XCE, 유비벨록스(주)" 등이 있으며, WIPI플랫폼의 업체별 구현은 해당 홈페이지를 참조하세요. WIPI보다는 차라리 어언 10년 전에 신지소프트에서 개발한 GVM을 집중적으로 지원했더라면, 더 좋은 결과물이 나왔을지도 모르겠습니다. // 하드웨어 플랫폼 중립, WIPI-Java, WIPI-C

GVM, 2000-2001 [http://www.sinjisoft.com/]

신지소프트에서 개발한 플랫폼. 초기 SWAP(SINJI Wireless Application Plug-in)이라는 명칭으로 개발된 GVM는 1.0 최종 버젼이 2000년 6월에 개발이 완료되었고, 2000년 10월에 최초로 SK Teletech IM-2000단말기에 적용되어 출시되었으며, SK Telecom의 무선인터넷 서비스인 nTOP을 통하여 서비스가 시작되었다. 이후 2001년에 GVM(General Vertual Machine)으로 이름이 변경되어 GVM Version 1X, 2X를 개발하여 단말기에 탑재됨. // Mini C 또는 Mobile C

nML, 1999-2004 [http://ropas.snu.ac.kr/n/]

서울대학교 컴퓨터공학부 이광근 교수님 연구실(ROPAS; 링크1)에서 관리/개발하고 있는 프로그래밍 언어. nML은 고차 타입을 갖춘(higher-order and typed) 프로그래밍 언어라고 합니다. Standard ML과 Objective Caml에서 파생된 언어기 때문에 대부분의 특징을 공유할 것이라고 짐작해 볼 수 있음. 그리고 거의 대부분의 구현은 이광근 교수님께서 카이스트(KAIST)에 계실 때 작성된 것으로 알고 있음. 이광근 교수님은 2007년 4월 25일 서울대학교 학사과정 세미나에서 파수닷컴의 SPARROW(정적분석 툴)가 ML로 개발되었다고 설명함 [링크2]. 그리고 nML 덕분에 프로그램이 작고 간단해지며 프로그램 기획이 편리해진다고 함. // nML parser + nML type-checker + nML-to-OCaml translator + the OCaml compiler

**관련 커뮤니티

시스템 S/W 스터디 그룹 [http://iamroot.org/] 

(주)누스코에 백창우님이 운영하는 사이트. 참고로 백창우님은 SMK, LEO, AM-RTOS와 같은 운영체제 개발에 참여한 것으로 알고 있고, 무엇보다 "유닉스 리눅스 프로그래밍 필수 유틸리티 (한빛미디어)"의 저자로 잘 알려져 있음. 해당 커뮤니티는 시스템프로그래밍을 포함하여 IT기술 전반에 관한 소모임으로 구성되어 있으며, 각종 오프라인 모임을 통해 활발히 교류하고 있는 곳. 멀티코어/이종코어의 대중화로 인해서 지난 50년간 근근히 이어져왔던 컴퓨터업계의 조류가 급변하고 있습니다. 이러한 때에 컴퓨터 아키텍처에 대한 깊이있는 이해와 운영체제 개발 경험은 경쟁력을 갖추기 위한 필수라고 해야할 것 같습니다. 그런 의미에서 이 곳이 가장 앞서나가는 모임이라고 생각됩니다.

LangDev.net [http://langdev.net]

홍민희님이 운영하는 사이트. 프로그래밍 언어와 구현에 관심이 있는 공개 웹커뮤니티는 여기 한 곳 뿐으로 생각되므로 관심있는 분들의 많은 방문을 바랍니다. 저같은 경우는 언어 자체에는 그다지 관심이 없는 편이라서 또 플랫폼 구현이 아닌 파서나 언어 특성을 구현하는 부분에는 별로 관심이 없습니다. 그래서 잘 가지 않지만 다른 분들은 참고가 되실 듯합니다. 여기서 활동하시는 서상현(sanxiyn)님은 llvm 소스커미터 이기도 하시죠.