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

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

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

3. 우리는

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

6. def calc():
return max([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
Thread 2

14. Thread 1
Thread 2
Thread 3

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

16. Thread 1
Thread 2
Thread 3
I/O

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

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

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

20. Thread 1
Thread 2
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은 사실상
Single Thread
따라서, Python은 threading 모듈을 통해서 여러 thread
를 생성할 수 있음에도 불구하고, 사실상 GIL에 의해서 예
외적인 경우를 제외하고, 한 시점에는 하나의 thread만 작
동하는 것 처럼 보이게 됩니다.

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

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

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

26. Thread 1
Thread 2
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 you want 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
import cpu_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
RPS 2099 4504 214%
TPR 487 227 214%
gevent를 적용하기 전(A)과 gevent(moneky patch)
를 적용한 후 (B)의 성능 비교

124. gevent

125. scheduler +
!

126. scheduler +
event loop +

127. scheduler +
event loop +
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”, on the 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():
while True:
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():
while True:
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():
while True:
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():
while True:
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. MAIN THREAD
Coroutine
Coroutine
Coroutine
Coroutine

157. MAIN THREAD
Coroutine
Coroutine
Coroutine
Coroutine

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
(NO CALLBACK!)
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. 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()

174. 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()

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

176. example

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

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

179. from gevent.pool import Pool
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 in files:
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