http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
정진환,고광원,차승준,김강호,김진미,정성인,Jeong, J.H.,Koh, K.W.,Cha, S.J.,Kim, K.H.,Kim, J.M.,Jung, S.J. 한국전자통신연구원 2014 전자통신동향분석 Vol.29 No.5
최근 프로세서는 회로의 집적도 기술을 동작속도를 높이는 것에서 코어의 수를 늘리는 것으로 활용하고 있다. 근래에는 4코어, 8코어가 널리 쓰이고 있으며 서버급에서는 15코어, 18코어까지 출시되고 있다. 또한 향후 몇 년 안에 128코어를 넘어서서 수백 혹은 수천 코어의 Manycore 시스템까지 예상되고 있다. 이에 반해 프로세서를 관리하는 소프트웨어인 운영체제는 아직은 적은 수의 코어에 최적화되어 있는 것이 현실이다. 본 논문에서는 현재의 운영체제가 Manycore 시스템에서 어떠한 문제가 있는지를 알아보고, 세계 여러 연구소에서 이러한 문제를 해결하기 위해 제시한 몇 가지 운영체제를 소개함으로써 Manycore 시스템에 대응하는 운영체제의 변화를 살펴본다.
매니코어 시대를 대비하는 Haskell 병렬 프로그래밍 동향
김진미,변석우,김강호,정진환,고광원,차승준,정성인,Kim, J.M.,Byun, S.W.,Kim, K.H.,Jeong, J.H.,Koh, K.W.,Cha, S.J.,Jung, S.J. 한국전자통신연구원 2014 전자통신동향분석 Vol.29 No.5
매니코어 구조의 고성능 컴퓨팅 시대가 시작되고 있다. 매니코어의 성능을 활용하기 위해서는 병렬 프로그래밍이 필수적인데, 이 방식은 기존 프로그래밍에 비해 훨씬 더 복잡하고 어렵다. 또한 컴퓨터의 성능이 높아짐에 따라 소프트웨어의 규모와 복잡도 또한 증가하게 되며, 소프트웨어를 에러 없이 안전하게 개발하는 것은 매우 어려운 문제가 되고 있다. 이 문제해결에 도움을 줄 수 있는 한 방법으로 기존의 명령형 프로그래밍 언어 대신 Haskell과 같은 순수 함수형 언어의 이용을 고려한다. Haskell은 지난 수십 년 동안 람다 계산법, 타입 이론, 의미론 등의 강력한 이론적 배경하에 최신 기술을 수용하면서 발전하고 있는 순수 함수형 언어이다. 함수의 순수성은 결정적(deterministic) 병렬 프로그래밍을 표현하는데 매우 유리하다. 최근 이와 관련된 매우 고무적인 연구결과가 발표되고 있으며 여러 응용프로그램들이 개발되고 있다. Haskell은 여러 강력한 이론 덕택으로 병렬 프로그래밍뿐만 아니라 소프트웨어의 생산성 및 안정성과 관련된 많은 문제에 도움을 줄 수 있는 다목적 언어로써 주목 받고 있다.