[2D4]Python에서의 동시성_병렬성

1.
Python 동시성/병렬성 DEVIEW2014 정민영 @ 비트패킹컴퍼니

2.
발표자 • 정민영 • 미투데이 / 비트패킹컴퍼니 • 07년 Nginx를 만난 후 비동기 덕후 • kkung@beatpacking.com

3.
우리는

5.
매우 사랑하긴 하지만…

6.
def calc(): returnmax([random() for x in xrange(20000000)]) ! if __name__ == '__main__': print(calc()) print(calc()) 4.418s

7.
if __name__ =='__main__': threads = [] for i in xrange(2): threads.append(threading.Thread(target=calc)) threads[-1].start() for t in threads: t.join() 7.683s

9.
가끔은…. 당황!

10.
왜 thread가 더느리지?

11.
Global Interpreter Lock

12.
Thread 1

13.
Thread 1 Thread2

14.
Thread 1 Thread2 Thread 3

15.
Thread 1 Thread2 Thread 3 3개의 Python thread가 수행되고 있는 상태에서, Thread 1이 수행되고 있는 상황의 예를 보겠습니다.

16.
Thread 1 Thread2 Thread 3 I/O

17.
Thread 1 Thread2 Thread 3 I/O release GIL

18.
Thread 1 Thread2 Thread 3 I/O release GIL acquire GIL

19.
Thread 1 Thread2 Thread 3 I/O release GIL Context Switch acquire GIL Python은, I/O(/System call)이 발생하게 되면, thread는 GIL을 해제하게 되고, 다른 GIL을 획득 하는 thread로 제어권이 넘어갑니다.

20.
Thread 1 Thread2 Thread 3 I/O release GIL Context Switch acquire GIL Python은, I/O와 같은 경우 처럼 Python 객체를 건드리지 않고, 계속 수행할 필요가 있을 경우 Py_BEGIN_ALLOW_THREADS 를 통해서, 계속 thread를 수행하게 할 수 있습니다.

21.
또한, system call뿐만아니라, Python byte code 상에서 100개가 실행될 때마다도 마찬가지로 GIL을 해제함으로써, 다른 thread로 제어권을 넘기게 됩니다. Thread 1 Thread 2 Thread 3 I/O 100 tick release GIL C/S acquire GIL

22.
Python은 사실상 SingleThread 따라서, Python은 threading 모듈을 통해서 여러 thread 를 생성할 수 있음에도 불구하고, 사실상 GIL에 의해서 예 외적인 경우를 제외하고, 한 시점에는 하나의 thread만 작 동하는 것 처럼 보이게 됩니다.

23.
I/O는 되는거 아닌가요?

24.
Thread 1 Thread2 Thread 3 I/O I/O

25.
Thread 1 Thread2 Thread 3 I/O I/O

26.
Thread 1 Thread2 Thread 3 I/O I/O C/S ? System call에 의해서 GIL을 획득하지 못한 thread가 계속 수행되는 경우에도, system call이 종료되고 python 코드를 수행하기 위해서는 GIL을 획득해야하기 때문에, 원하는 시점에 thread가 제어권을 다시 획 득하는 보장이 없습니다.

27.
장담할 수 없음!

28.
Implicit Scheduling

29.
어떤 thread로 넘어갈지는사실상 랜덤 Python은 별도의 thread 스케쥴링 없이, 시스템이 제공하는 threading library의 lock mechanism에 의해서 문맥이 전환됩니다.

30.
그럼, GIL은 무조건나쁜가요?

31.
그건 아닙니다.

32.
(상대적으로) 단순한 구현 적은 버그와 용이한 구현

33.
single thread 성능에우위 Python은 memory 관리를 reference counting의 방법으로 하는데, GIL에 대비되는 fine-grained lock방법을 사용할 경우 모든 객체의 접 근마다 lock 으로 관리해야 하므로 그 overhead가 매우 큽니다.

34.
C 확장 개발에용이

36.
더 많은 일을 빠르게 처리하려면?

37.
일?

38.
CPU BOUND

39.
수행시간에 CPU가 더영향이 큰 작업

40.
압축, 정렬, 인코딩,….

41.
I/O BOUND

42.
수행시간에 I/O가 더영향이 큰 작업

43.
네트워크, 디스크, ….

44.
대부분의 WEB APP!

45.
이런 일을 더많이, 더 빠르게

46.
동시성을 높인다

47.
병렬성을 높인다

48.
동시성? 병렬성?

49.
같은말 아닌가요?

50.
동시성 ≠ 병렬성

51.
PARALLELISM

52.
CONCURRENCY

53.
CPU BOUND 병렬성으로UP

54.
I/O BOUND 동시성으로UP

55.
그럼 python은 병렬성은물건너 갔나요?

56.
“(…) If youwant your application to make better use of the computational resources of multi-core machines, you are advised to use multiprocessing. (…)” https://docs.python.org/2/library/threading.html

57.
multiprocessing

59.
Fork

60.
if __name__ =='__main__': processes = [] for i in xrange(2): processes.append(multiprocessing.Process(target=calc)) processes[-1].start() p.join() 2.431s for p in processes:

61.
multiprocessing 모듈은, fork를통해서 동시에 여러 프로세스에 원하는 작업을 실행할 수 있도록 도와주는 모듈입니다. 앞서 예제 코드를 실행할 경우, main process를 포함해서 추가로 2개의 프로세스가 작동하 여 병렬화 되는 모습을 확인할 수 있습니다.

62.
Queue / Pipe

63.
Lock

64.
Shared Memory / Manager

65.
Pool

66.
from multiprocessing importcpu_count, Pool ! if __name__ == '__main__': pool = Pool(processes=cpu_count()) for url in ('http://deview.kr', 'http://beatpacking.com', 'http://kkung.net'): pool.apply_async(fetch, url) Pool 객체는, 마치 thread pool과 같이 지정한 갯수의 프 로세스들에 작업을 지속적으로 할당하여, 병렬처리를 손쉽 게 할 수 있도록 지원합니다.

67.
그렇다면 동시성은?

68.
non blocking socket

69.
asyncore

70.
select / poll

72.
asyncore 모듈이나, python표준에 포함된 select 등은 그래프와 같이 일반적으로 다뤄야 하는 fd(socket)의 수가 증가할수록 비례하여 성능이 저하 되어 효율이 극히 떨어집니다.

74.
class Handler(asyncore.dispatcher): def__init__(self, host): pass ! def handle_connect(self): pass ! def handle_close(self): pass ! def handle_read(self): pass ! def handle_write(self): pass

75.
connect('deview.kr', function(result, socket){ socket.read(function(data) { socket.write(data, function(result) { socket.close(function(result) { }); }); }); }); 또한, 일반적으로 비동기 방식으로 I/O를 다루는 방법은 동기적으로 I/O를 다루는 방법보다 개발의 복잡도를 높 이고, 코드의 구조를 알아보기 어렵게 합니다.

77.
SHOW TIME

78.
def handle_request(s): try: s.recv(1024) s.send('HTTP/1.0 200 OKrn') s.send('Content-Type: text/plainrn') s.send('Content-Length: 5rn') s.send('rn') s.send('hello') s.close() except Exception, e: logging.exception(e)

79.
def test(): s= socket.socket() s.setsockopt(socket.SOL_SOCKET, socket.SO_REUSEADDR, 1) s.bind(('0.0.0.0', 8000)) s.listen(512) ! while True: cli, addr = s.accept() logging.info('accept ', addr) t = threading.Thread(target=handle_request, args=(cli, )) t.daemon = True t.start() 클라이언트의 요청을 받으면, 지정된 응답을 내려주는 HTTP서버를 모사 한 형태의 테스트 입니다.

80.
Requests

81.
per

82.
second:

86.
2099.21

87.
[#/sec]

88.
(mean)

89.
! Time

90.
per

91.
request:

98.
487.803

99.
[ms]

100.
(mean)

101.
Requests

102.
per

103.
second:

107.
4504.64

108.
[#/sec]

109.
(mean)

110.
! Time

111.
per

112.
request:

119.
227.321

120.
[ms]

121.
(mean)

122.
A B RPS2099 4504 214% TPR 487 227 214% gevent를 적용하기 전(A)과 gevent(moneky patch) 를 적용한 후 (B)의 성능 비교

124.
gevent

125.
scheduler + !

126.
scheduler + eventloop +

127.
scheduler + eventloop + python stdlib interface

128.
python code gevent greenlet libev Kernel

129.
python code gevent greenlet libev thread event loop Kernel scheduler + stdlib interface api + ….

130.
libev

131.
현재 시스템에 가장적절한 event-loop 시스템 선택

132.
event loop

133.
while True: events= wait_for_events() for event in events: handle_event(event) event loop란, 위 코드와 같이 event가 발생하길 기다렸다가, event가 발생한다면 적절한 event 처리기를 실행하는 구조를 말합니다.

134.
event?

135.
I/O kernel

136.
I/O kernel REQUEST

137.
I/O BLOCK kernel

138.
I/O kernel RESPONSE 보통 I/O 요청은, 커널에 의해서 처리가 완료될때까지 block 됩니다.

139.
I/O event loop kernel

140.
I/O event loop kernel REQUEST

141.
I/O event loop kernel REQUEST EVENT RETURN

142.
I/O event loop kernel EVENT

143.
I/O event loop kernel callback RESPONSE 그러나, event-loop을 사용한 비동기의 방식을 도입하면, I/O요청은 즉시 반 환되어 block되지 않고, kernel에 의해서 처리가 완료되는 순간 통지 받도록 할 수 있습니다.

144.
Greenlet

145.
A “greenlet”, onthe other hand, is a still more primitive notion of micro-thread with no implicit scheduling; coroutines, in other words.

146.
coroutine

147.
진입점이 여러개인 함수

148.
def hello(): whileTrue: name = (yield) print 'Hello %s' % name ! c = hello() c.next() c.send('kkung') c.send('Deview 2014') ! Hello kkung Hello Deview 2014 python의 generator를 이용한 coroutine 예제 입니다. hello() 함수는 무한 루프를 도는 함수임에도 불구하고, 예제와 같이 출력되는 모습을 볼 수 있습니다.

149.
def hello(): whileTrue: name = (yield) print 'Hello %s' % name ! c = hello() c.next() c.send('kkung') c.send('Deview 2014') ! Hello kkung Hello Deview 2014 hello 함수는 내부적으로 무한 루프를 돌도록 되어 있으나 yield를 포함하고 있어 generator 함수로 처리되며, c.next()에 의해서 진입합니다.

150.
def hello(): whileTrue: name = (yield) print 'Hello %s' % name ! c = hello() c.next() c.send('kkung') c.send('Deview 2014') ! Hello kkung Hello Deview 2014 yield에 의해 문맥은 다시 hello() 함수 바깥으로 전환되고, c.send(‘kkung’) 에 의해서 ‘kkung’이 전달됨과 동시에, 문맥이 hello 함수로 전환됩니다.

151.
def hello(): whileTrue: name = (yield) print 'Hello %s' % name ! c = hello() c.next() c.send('kkung') c.send('Deview 2014') ! Hello kkung Hello Deview 2014 hello 함수는, 문맥이 전환됨에 따라(재진입) print문을 실행하게 됩니다.

152.
Cooperative Multitasking

153.
명시적인 스케줄링

154.
MAIN THREAD Coroutine Coroutine Coroutine Coroutine greenlet은, 특정 python thread에 귀속되며 실제 thread보다 훨씬 가벼워 많은 수의 greenlet을 저렴하게 생성할 수 있습니다.

155.
MAIN THREAD Coroutine Coroutine Coroutine Coroutine

156.

157.

158.
MAIN THREAD Coroutine Coroutine Coroutine Coroutine 앞서 설명했던 바와 같이 GIL은 시스템의 threading library의 lock mechanism에 의존적이기 때문에 문맥 전환이 암시적입니다. 그러나 greenlet은 그림과 같이 명시적으로 문맥을 전환시킵니다.

159.
Single Thread 스케줄링

160.
너무 많은 일을하면 X greenlet은, 앞서 설명한바와 같이 특정 thread에서 귀속되며 그 thread단위로 스케쥴링 됩니다. 이는 특정 greenlet이 CPU를 오 래 점유하면 할 수록, 같은 thread에 있는 다른 greenlet들은 idle 상태를 유지한다는 말과 같습니다.

161.
Sync-like API (NOCALLBACK!) gevent의 장점중 한가지는, Python에 존재하는 표준 library의 인 터페이스를 그대로 변화 없이 사용해도, 비동기적인 처리 효과를 제 공해 준다는 점입니다.

162.
callbackhell.com

163.
connect('deview.kr', function(result, socket){ socket.read(function(data) { socket.write(data, function(result) { socket.close(function(result) { }); }); }); }); 예를들어, 특정 언어에서는 비동기 처리를 위해서 callback을 연쇄 적으로 제공하는 방법(CPS)외에는 선택지가 없는 경우도 있지만….

164.
s.connect('deview.kr') data =s.read() s.write(data) s.close() gevent를 사용한다면, Python에서는 이렇게 직관적으로도 비동기 처리를 할 수 있습니다. (특정 언어 비하의 의도는 없습니다^^;)

165.
connect('deview.kr', function(result, socket){ socket.read(function(data) { socket.write(data, function(result) { socket.close(function(result) { }); }); }); }); s.connect('deview.kr') data = s.read() s.write(data) s.close()

166.
def recv(self, *args): while True: try: return sock.recv(*args) except error as ex: if ex.args[0] != EWOULDBLOCK: raise self._wait(self._read_event)

167.
def recv(self, *args): while True: try: return sock.recv(*args) except error as ex: if ex.args[0] != EWOULDBLOCK: raise self._wait(self._read_event)

168.
def recv(self, *args): while True: try: return sock.recv(*args) except error as ex: if ex.args[0] != EWOULDBLOCK: raise self._wait(self._read_event) 이것이 가능한 이유는, gevent는 내부적으로 python library의 인터페이스를 그대로 구현하면서, 각 API를 모두 greenlet에서 수행하기 때문입니다. Non block socket을 이용해서, 요청한 순간 바로 처리할 수 없다면 event-loop에서 처리 가능해질때 greenlet을 깨우도록 기다립니다.

169.
asyncio

170.
coroutine

171.
import asyncio ! @asyncio.coroutine def compute(x, y): print(Compute %s + %s ... % (x, y)) yield from asyncio.sleep(1.0) return x + y ! @asyncio.coroutine def print_sum(x, y): result = yield from compute(x, y) print(%s + %s = %s % (x, y, result)) ! loop = asyncio.get_event_loop() loop.run_until_complete(print_sum(1, 2)) loop.close() Python 3.4 이상부터는, AsyncIO 라이브러리를 이용할 수도 있습니다. 이 라이브러리 는, python 3.3에서 도입된 yield from 문법을 이용해서 coroutine을 구현하여 좀 더 pythonic한 방법으로 비동기 처리를 제공합니다.

172.
import asyncio ! @asyncio.coroutine def compute(x, y): print(Compute %s + %s ... % (x, y)) yield from asyncio.sleep(1.0) return x + y ! @asyncio.coroutine def print_sum(x, y): result = yield from compute(x, y) print(%s + %s = %s % (x, y, result)) ! loop = asyncio.get_event_loop() loop.run_until_complete(print_sum(1, 2)) loop.close()

173.

174.

175.
앞서, coroutine은 진입점이여러개인 함수다 라는 표현을 사용하였는데, 위 코드에서 보는 바와 같이 print_sum, compute, asyncio.sleep 이 각 호출되면서도 종료시에 yield from의 다음 줄이 수행되는 모습을 볼 수 있습니다.

176.
example

177.
S3에 수백만개의 파일올리기

178.
from gevent importmonkey monkey.patch_all() monkey patch는, python 표준 라이브러리들 중 IO에 관계 있는 주요 라이브러리들 을, gevent의 그것으로 대체시킵니다. 따라서, monkey patch후에는 기존의 python 에서 IO를 다루던 방법 그래도 수행하여도, gevent에 의해서 비동기 처리로 전환됩니다.

179.
from gevent.pool importPool pool = Pool(1024)

180.
def upload_to_s3(file_name): bucket.new_key(file_name) .set_contents_from_fi lename(file_name)

181.
for file_name infiles: pool.spawn(upload_to_s3, file_name) gevent.wait()

182.
1Gb/s+ / Process

183.
recap

184.
CPU가 많이 필요한일은 multiprocessing

185.
I/O가 많이 필요한일은 gevent/AsyncIO

186.
감사합니다. kkung@beatpacking.com

[2D4]Python에서의 동시성_병렬성

More Related Content

What's hot

Similar to [2D4]Python에서의 동시성_병렬성

More from NAVER D2

[2D4]Python에서의 동시성_병렬성