나는 2005년 말쯤 이 책을 집필하기 시작했다. 그 당시에는 듀얼 코어 프로세서가 일반 고객(프로그래머가 아닌)이 구입하는 주류 PC의 표준이었고, 산업계의 일부 사람들이 곧 들이닥칠 동시성 문제에 대해 얘기하기 시작했다(허브 서터Herb Sutter의 논문인 공짜 점심은 끝났다가 생각난다). 물론 사람들이 걱정하는 문제는 과거의 소프트웨어가 추가적인 계산 파워를 자연스럽게 사용할 수 있게 하는 방법으로 작성되지 않았다는 점이다. 클록 속도의 끝없는 증가와는 대조된다. 실질적으로 공짜 점심은 없는 것이다.

동시성은 결국 모든 소프트웨어 개발자의 일에 중요한 부분이 될 것이고, 이런 책은 중요하고 유용한 것이 될 것처럼 보인다. 2년 후에는 운영체제에서 시작해 라이브러리를 거쳐 애플리케이션 자체까지 영향이 미칠 것이다.

이것은 6개월간 작업한 작은 부업 프로젝트인 병렬 언어 통합 쿼리(PLINQ, Parallel Language Integrated Query)의 원형을 마무리 짓던 시기와 일치한다. PLINQ 프로젝트는 동시성과 멀티코어, 특히 동시성이 실제로 일상적인 프로그램에 어떻게 사용되는지에 대한 복잡성을 탐구할 수 있는 통로가 됐다. 나는 동시성을 플랫폼의 어디가 부족한지 알아내는 도구로 사용했다. 이것은 마이크로소프트에서 본업과 더불어 2년간 어느 정도 산업계의 유행어가 된 기술인 소프트웨어 전이 메모리(STM, Software Transitional Memory)에 집중돼 있다. 말할 필요도 없이 동시성의 모든 주제에 관해 꽤나 견고한 지식을 갖게 됐다. 그 주제에 관해 책을 집필하는 것보다 더욱 견고하게 하는 좋은 방법이 있는가?

이런 모든 프로젝트에 종사하고, 결국 PLINQ는 닷넷 프레임워크 기술의 병렬 확장(Parallel Extension)으로 발전됨에 따라 윈도우에서 동시성에 관한 좋은 책이 얼마나 적은지 알고 놀랬다. 나는 계속해서 동시성과 관련된 정보의 복잡성과 소수만 이해하는 내용에 놀라거나 신기해했던 것을 기억한다. 이 내용은 책에 포함하려고 적어두고 특정 목적에 배정했다. 나는 단지 누군가가 전에 이것을 작성해 놓음으로써 복도에서 대화와, 윈도우와 CLR 소스코드에 쏟아 부은 긴 밤, 엄청나게 많은 마이크로소프트 직원의 블로그를 읽고 또 읽는 등의 여러 소스를 샅샅이 뒤질 필요가 없기를 바랐다. 그러나 이 주제에 관한 최고의 책은 90년대 초반으로 거슬러 올라갔고, 여전히 훌륭하긴 하지만 기계학에 중점을 두고 있으며, 병렬 프로그램의 구조화, 병렬 알고리즘의 구현, 병렬성의 위험 요소 처리를 포함한 모든 중요한 개념에 대해서는 충분하지 않았다. 다른 모든 것은 애플리케이션과 시스템, 라이브러리 개발자보다는 학계와 연구자들을 목표로 했다.

나는 스스로 배워면서 찾아냈던 무작위의 모든 정보를 손쉬운 방법으로 처리하는 매력적이고 유용한 방법을 책으로 집필하기 시작했다. 이 책을 끝내는 데 놀랍게도 긴 시간인 2년 반이 걸렸지만, 기술은 천천히 발전하고, 이 주제에 대한 좋은 책의 상태도 그렇게 많이 변하지 않았다. 내가 바라는 노력의 결과는 실제적이고 유용하지만, 여전히 매우 심도 깊은 기술 정보를 포함한 새로운 책이다. 이 책은 장래에 동시성이 모든 소프트웨어의 기본 요구 조건이 될 것이라고 믿는 모든 윈도우 개발자나 닷넷 개발자를 위한 책이다. 이것은 마치 모든 산업의 트렌드를 의미하는 것처럼 보인다.

나는 긴장을 풀고 여유로운 마음으로 이 책을 즐기길 바란다. 그리고 독자들도 그렇게 하길 바란다.---저자 서문 중에서

★ 옮긴이의 말 ★

지금 우리는 엄청난 컴퓨팅 패러다임의 변화를 경험하고 있다. 또한 동시성과 병렬성 모두에 기반한 양적인 증가(클라우드, 멀티코어 프로세스)뿐만 아니라 동시성에 기반한 다양성(모바일, 태블릿)에 있어서도 여러 가지 시도가 이뤄지는 시대에 살고 있다. 이런 다양한 하드웨어적인 환경에서 개발자들의 동시성에 대한 학습은 필수라 하겠다. 우선 많은 사람이 혼동해 사용하는 동시성과 병렬성에 대한 용어를 정리해보겠다. 동시성 프로그래밍(Concurrent Programming)은 프로그램이 여러 개의 동시적인 스레드로 실행이 되고, 따라서 결과가 비결정적인 특성이 있다. 반면에 병렬 프로그래밍(Parallel Programming)은 성능 향상에 목적을 두고 명시적으로 멀티프로세서를 사용하는 기술을 말한다. 이 책이 동시성(Concurrency)에 초점이 맞춰져 있음에도 '병렬 프로그래밍'이라는 제목이 정해진 이유는 병렬성(Parallelism)이라는 용어가 동시성을 포함한 광범위한 개념으로 인식되고 있기 때문이다.

오늘날 작은 모바일 기기가 멀티, 쿼드 코어 시대로 나아가고 있고, 대용량 컴퓨팅을 위해 엔비디아(NVIDIA) 사는 그래픽에만 이용되던 GPUGraphic Processing Unit를 GPGeneral Purpose-GPU라고 불리는 형태로 보조적인 계산에도 이용한다. 모바일 컴퓨팅의 변화에 대해서는 애플 iOS와 구글 안드로이드의 발전상에서도 쉽게 확인할 수 있다. 초기 iOS 제품에서는 개발자들의 멀티태스킹에 대한 접근이 철저하게 금지됐다. 당시 애플은 시스템의 안정성을 이유로 들었다. 하지만 iOS가 발전하고 하드웨어 사양이 높아짐에 따라 멀티태스킹의 안정성을 확보하게 된 애플은 개발자에게 동시성을 이용한 프로그래밍을 허용하기에 이르렀다. 이는 싱글코어 하드웨어에서 멀티코어 하드웨어로 나아가는 관문을 통과했다고 볼 수 있다. 애플과는 달리 최초 소프트웨어 개발자 키트SDK를 배포할 때부터 개발자에게 동시성 프로그래밍에 대한 문호를 개방한 안드로이드는 초기에 다소 불안했던 개발 환경을 극복하고, 많은 버그 수정과 테스트 끝에 지금은 높은 안정성을 보여주고 있다. 따라서 이러한 모바일 플랫폼에서 개발자의 동시성에 대한 이해는 시스템의 안정성뿐만 아니라 효율성도 높이는 아주 중요한 요소로 인식되고 있다.

요즘 많은 이슈가 되고 있는 빅 데이터(Big Data)의 처리는 대부분 클라우드 컴퓨팅(Cloud Computing)이라는 대규모 데이터 센터에서 이뤄진다. 클라우드 컴퓨팅의 기본은 병렬성이며, 기본적인 처리 방법은 데이터를 작은 조각으로 나누고, 여러 컴퓨터에 분산해 다루는 것이다. 이러한 기술은 흔히 맵리듀스(Map-Reduce)라고 불리며, 가장 대표적인 플랫폼으로는 하둡(Hadoop)이라는 아파치 공개 소프트웨어를 들 수 있다. 여기서 병렬성의 개념은 동시성의 확장이라고 이해하면 된다. 로컬의 여러 스레드(프로세스)가 동시에 작업을 진행하던 것을 여러 컴퓨터가 작업하는 것이라고 볼 수 있다. 이렇듯 병렬성과 동시성의 기본적인 이해를 높이는 데 이 책의 내용은 여러 모로 도움이 될 것이 분명하다.

마지막으로, 프로세서 자체의 발전상을 이해해야 한다. 지금까지 인텔과 AMD에서 주도하던 프로세서 아키텍처에 새로운 패러다임을 제시한 엔비디아 사는 수백 개의 코어를 이용한 컴퓨팅을 전제로 한다. 하지만 엔비디아 사의 GPU는 자체적으로 동작하기보다는 대용량 컴퓨팅이 필요한 작업에 대해 인텔과 AMD 프로세서의 보조 역할로서 자리매김하고 있다. GPU의 여러 프로세서(코어)에는 하나의 큰 메인 메모리가 있으며, 코어 그룹인 블록Block에는 공유 메모리가 있다. 이런 메모리 구조의 계층화는 동시성의 필요성을 높이는 계기가 됐다고 할 수 있다.

여기에서 이야기한 모든 발전상을 완전히 따라가기에는 무리가 있겠지만, 이 책에서 설명하는 기본 개념을 알고 있다면 개발자들은 어떤 플랫폼에서 개발을 하더라도 엄청난 적응력을 발휘할 수 있을 것이다. 참고로 이 책은 저자인 조 더피(Joe Duffy)가 윈도우 비스타와 2008을 개발하던 시기의 경험을 바탕으로 쓰여진 내용이며, 그 당시에 이미 동시성에 대한 마이크로소프트의 기술은 성숙 단계에 올라 있었다고 볼 수 있다. 따라서 그 이후에 출시된 윈도우 7과 8은 모두 이 책에 설명된 기술을 바탕으로 계승 발전된 형태를 띤다. 이 책은 윈도우 7이나 8의 세부 기술에 대해 논의하지는 않으므로 이에 대한 정보를 얻기에는 한계가 있으나, 윈도우의 동시성 프로그래밍의 기본 기술을 깨우치는 데는 충분히 참고할 만하다.
PC 개발자뿐만 아니라, 모바일 개발자, 클라우드 개발자, GPU 개발자 모두가 이 책에서 설명하는 개념을 완벽히 이해하기 바라며, 이 책을 강력히 추천한다.