Microsoft MVP성태의 닷넷 이야기
.NET Framework: 332. 함수형 언어의 코드가 그렇게 빠를까? [링크 복사], [링크+제목 복사],
조회: 26328
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
(연관된 글이 1개 있습니다.)

함수형 언어의 코드가 그렇게 빠를까?


개인적으로, 함수형 언어에 관심이 있으면서도 실제로 업무에 활용되지는 않다 보니 공부도 잘 안되고 실력이 영 늘지를 않는군요. ^^; 그래도 가끔씩 함수형 언어에 대한 글들을 보며 꾸준히 가랑비에 옷 젖듯이 배워가려고 노력은 하는데요.

근래에, 다음의 글을 읽게 되었습니다.

Haskell - 01 소개 Introduction
; http://haruroh.springnote.com/pages/7767164

본문에 보면, factorial 계산하는 예제가 소개되고 '번개처럼 계산해준다'라는 감탄사가 나옵니다. ^^

haskell_exe_time_1.png

아니... 얼마나 빠르길래 '번개'같다는 표현을 했을까요? 실제로 WinGHCi 환경에서 해당 코드를 돌려보았는데 0.03sec 가 나오는 것을 확인했습니다.

haskell_exe_time_2.png

my.hs 파일에는 본문에서처럼 다음과 같이 간단한 코드만 포함되었습니다.

factorial 1 = 1
factorial n = n * factorial (n - 1)

그런데, 비교를 위해 동일한 계산을 C#에서 한번 해볼까요?

결과값이 long 형을 넘으니 .NET 4.0 의 "System.Numerics" 어셈블리에서 제공되는 BigInteger를 이용해 다음과 같이 코딩할 수 있습니다.

class Program
{
    static void Main(string[] args)
    {
        Stopwatch st = new Stopwatch();
        st.Start();

        BigInteger sum = new BigInteger(1);

        for (int i = 1; i < 1000; i++)
        {
            sum *= i;
        }
        
        st.Stop();
        Console.WriteLine((double)st.ElapsedMilliseconds / 1000 + "sec");
        Console.WriteLine(sum);
        Console.WriteLine();
    }
}

출력값:
0.001 sec
...[1000! 계산값 생략]...

C#의 JIT 컴파일 등 복잡한 요소가 포함되긴 했지만, Haskell 역시 인터프리트 방식으로 속도에 손해를 보았기 때문에 둘 다 비슷한 패널티가 되었다고 가정해도 C#이 30배가 빠르다는 것은 왠지 미심쩍습니다. 미세한 시간 차이에서는 다른 요소들이 개입하는 경우 오차가 커질 수 있으니, ... 혹시 계산량을 늘리면 어떨까요?

다음은 각각의 계산값입니다.

1만
Haskell: 0.31 sec (38MB)
C#: 0.117 sec (12MB)

10만
Haskell: 31.45 sec (43MB)
C#: 20.219 sec (16MB)

100만
Haskell: 3934.42 sec (140MB)
C#: 2750.546 sec (26MB)

10만, 100만으로 계산해 보면 40% 정도 C# 이 빠르다는 것을 알 수 있습니다. 여기서 또 무시할 수 없는 것이 계산에 필요한 메모리 량입니다. Haskell 의 경우 100만 factorial 값을 계산하는 동안 꾸준히 ghc.exe 프로세스의 Commit 메모리 크기가 140MB 를 유지했습니다. 이런 거 10개를 동시에 계산하면 haskell 은 1.4 GB 의 메모리를 소비한다는 의미가 됩니다.

물론 코드량으로 보면, Haskell 은 2줄이지만, C# 은 (curly-braces 포함해서) 5줄이 필요하다는 차이가 있긴 합니다. ^^

(이 글의 결과가, 모든 함수형 언어를 대표하는 것은 아닙니다.)




참고로, 검색해 보니 다음의 자료를 찾을 수 있었습니다.

The Computer Language Benchmarks Game
; http://shootout.alioth.debian.org/index.php

"x64 Ubuntu™ Intel® Q6600® quad-core" 기준으로 가장 빠른 언어가 다음의 링크에 소개되는데요.

x64 Ubuntu : Intel® Q6600® quad-core
Computer Language Benchmarks Game 
; http://shootout.alioth.debian.org/u64q/which-programming-languages-are-fastest.php

재미있게도... Ubuntu 대상 테스트이다 보니 사용된 C#은 Mono 플랫폼 기준으로 되어 있습니다.

끝맺기 전에 한가지 더... Haskell 이 아닌 F# 으로도 테스트를 해보았습니다. 10만 값으로 factorial 계산을 했을 때,

// I'm Really Digging F#
// http://diditwith.net/2007/10/26/ImReallyDiggingF.aspx

open System

let factorial n = Seq.fold ( * ) 1I [1I .. n]

let st = new Diagnostics.Stopwatch()
st.Start()
factorial 100000I
st.Stop()

Console.WriteLine (st.ElapsedMilliseconds)

수행 시간은 13초, 메모리 사용량은 26MB 였습니다. 100만은 1354초(약 22분) 메모리 사용량은 100MB ~ 180MB 였습니다.




첨부된 파일은 F#, C#의 예제를 포함하고 있습니다.




[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]

[연관 글]






[최초 등록일: ]
[최종 수정일: 8/15/2012]

Creative Commons License
이 저작물은 크리에이티브 커먼즈 코리아 저작자표시-비영리-변경금지 2.0 대한민국 라이센스에 따라 이용하실 수 있습니다.
by SeongTae Jeong, mailto:techsharer at outlook.com

비밀번호

댓글 작성자
 



2012-08-17 04시58분
[박중석] 흥미로운 내용 잘 보고 갑니다. 비교 값만을 놓고보면 F#이 빨라 보이네요 ^^
[guest]
2012-08-18 07시00분
일단 비교 언어중에서 factorial 코드만을 가지고 봤을 때는 F#이 빨라보입니다. ^^ 그런데... 계산을 빠르게 하기 위해 메모리 소비하는 것을 보면 사실 '마법은 없다'라는 말이 맞는 것 같습니다.
정성태
2012-08-18 01시19분
[송군] '마법은 없다'에 저도 한 표 던집니다.. ^^
[guest]
2012-08-19 08시47분
[Lyn] 역시 메모리 많이쓰면 속도 빠르게하는덴 유리하군요 : )
[guest]

... 121  122  123  124  125  126  127  128  129  130  131  [132]  133  134  135  ...
NoWriterDateCnt.TitleFile(s)
1755정성태9/22/201434168오류 유형: 241. Unity Web Player를 설치해도 여전히 설치하라는 화면이 나오는 경우 [4]
1754정성태9/22/201424517VC++: 80. 내 컴퓨터에서 C++ AMP 코드가 실행이 될까요? [1]
1753정성태9/22/201420492오류 유형: 240. Lync로 세미나 참여 시 소리만 들리지 않는 경우 [1]
1752정성태9/21/201440961Windows: 100. 윈도우 8 - RDP 연결을 이용해 VNC처럼 사용자 로그온 화면을 공유하는 방법 [5]
1751정성태9/20/201438840.NET Framework: 464. 프로세스 간 통신 시 소켓 필요 없이 간단하게 Pipe를 열어 통신하는 방법 [1]파일 다운로드1
1750정성태9/20/201423757.NET Framework: 463. PInvoke 호출을 이용한 비동기 파일 작업파일 다운로드1
1749정성태9/20/201423680.NET Framework: 462. 커널 객체를 위한 null DACL 생성 방법파일 다운로드1
1748정성태9/19/201425303개발 환경 구성: 238. [Synergy] 여러 컴퓨터에서 키보드, 마우스 공유
1747정성태9/19/201428344오류 유형: 239. psexec 실행 오류 - The system cannot find the file specified.
1746정성태9/18/201425977.NET Framework: 461. .NET EXE 파일을 닷넷 프레임워크 버전에 상관없이 실행할 수 있을까요? - 두 번째 이야기 [6]파일 다운로드1
1745정성태9/17/201422924개발 환경 구성: 237. 리눅스 Integration Services 버전 업그레이드 하는 방법 [1]
1744정성태9/17/201430951.NET Framework: 460. GetTickCount / GetTickCount64와 0x7FFE0000 주솟값 [4]파일 다운로드1
1743정성태9/16/201420904오류 유형: 238. 설치 오류 - Failed to get size of pseudo bundle
1742정성태8/27/201426880개발 환경 구성: 236. Hyper-V에 설치한 리눅스 VM의 VHD 크기 늘리는 방법 [2]
1741정성태8/26/201421252.NET Framework: 459. GetModuleHandleEx로 알아보는 .NET 메서드의 DLL 모듈 관계파일 다운로드1
1740정성태8/25/201432410.NET Framework: 458. 닷넷 GC가 순환 참조를 해제할 수 있을까요? [2]파일 다운로드1
1739정성태8/24/201426446.NET Framework: 457. 교착상태(Dead-lock) 해결 방법 - Lock Leveling [2]파일 다운로드1
1738정성태8/23/201421964.NET Framework: 456. C# - CAS를 이용한 Lock 래퍼 클래스파일 다운로드1
1737정성태8/20/201419673VS.NET IDE: 93. Visual Studio 2013 동기화 문제
1736정성태8/19/201425526VC++: 79. [부연] CAS Lock 알고리즘은 과연 빠른가? [2]파일 다운로드1
1735정성태8/19/201418119.NET Framework: 455. 닷넷 사용자 정의 예외 클래스의 최소 구현 코드 - 두 번째 이야기
1734정성태8/13/201419773오류 유형: 237. Windows Media Player cannot access the file. The file might be in use, you might not have access to the computer where the file is stored, or your proxy settings might not be correct.
1733정성태8/13/201426223.NET Framework: 454. EmptyWorkingSet Win32 API를 사용하는 C# 예제파일 다운로드1
1732정성태8/13/201434364Windows: 99. INetCache 폴더가 다르게 보이는 이유
1731정성태8/11/201426942개발 환경 구성: 235. 점(.)으로 시작하는 파일명을 탐색기에서 만드는 방법
1730정성태8/11/201422040개발 환경 구성: 234. Royal TS의 터미널(Terminal) 연결에서 한글이 깨지는 현상 해결 방법
... 121  122  123  124  125  126  127  128  129  130  131  [132]  133  134  135  ...