$30 off During Our Annual Pro Sale. View Details »

Coroutine Based Concurrency with PHP and Swoole

Bruce Dou
February 20, 2020

Coroutine Based Concurrency with PHP and Swoole

PHP Swoole has gained traction during the past several years. More and more people are interested with started to try PHP Swoole and use coroutine in PHP to build high performance, large scale web services, online game, micro-services.

Bruce Dou

February 20, 2020
Tweet

More Decks by Bruce Dou

Other Decks in Programming

Transcript

  1. Coroutine Based Concurrency with
    PHP and Swoole
    Bruce Dou | @doubaokun
    [email protected]
    20th Feb 2020 PHPUK2020

    View Slide

  2. About me
    • Founder at Transfon
    • Twitter: @doubaokun
    • Email: [email protected]
    • Linkedin: linkedin.com/in/brucedou
    • Github: github.com/doubaokun
    Twitter: @doubaokun

    View Slide

  3. Agenda
    • Rethinking about software development
    • Concurrency, I/O, Scheduling and OS
    • Coroutine: Cooperative multi-tasking
    • Swoole Coroutine Internal
    • Swoole
    • Coroutine and Swoole code samples
    • Demo
    Twitter: @doubaokun

    View Slide

  4. Rethinking about software development
    Twitter: @doubaokun

    View Slide

  5. Twitter: @doubaokun
    Mapping real world problems onto machine

    View Slide

  6. Execution Unit
    Twitter: @doubaokun

    View Slide

  7. I/O and Task Processing
    Twitter: @doubaokun

    View Slide

  8. Twitter: @doubaokun

    View Slide

  9. Twitter: @doubaokun
    Mapping real world problems onto machine
    with several levels abstraction

    View Slide

  10. Twitter: @doubaokun

    View Slide

  11. Twitter: @doubaokun
    Mapping real world problems onto machine
    with several levels abstraction
    with real world limitations in mind

    View Slide

  12. Twitter: @doubaokun
    1. 1 CPU cycle 0.3 ns
    2. Main memory access 120 ns
    3. Goroutine 170 ns
    4. Swoole Coroutine 190 ns
    5. Linux OS context switch 1,000 ns
    6. Linux thread launch 5,000 ns
    7. Linux process launch 20,000 ns
    8. Per-thread stack is 8MB (ulimit -s)

    View Slide

  13. • Unpredictable external performance
    • Client side I/O
    • Server side I/O
    • Queue theory
    Twitter: @doubaokun

    View Slide

  14. Twitter: @doubaokun
    wait time
    utilization

    View Slide

  15. Twitter: @doubaokun
    Mapping real world problems onto machine
    with several levels abstraction
    with real world limitations in mind
    about management and structure

    View Slide

  16. Scaling up the power
    Twitter: @doubaokun

    View Slide

  17. Scaling up the power
    Twitter: @doubaokun

    View Slide

  18. = Scaling the concurrency
    Twitter: @doubaokun

    View Slide

  19. What is Concurrency?
    Twitter: @doubaokun

    View Slide

  20. Concurrency is managing multi-tasking
    Twitter: @doubaokun

    View Slide

  21. Concurrency is managing multi-tasking
    in both real world and machine world
    Twitter: @doubaokun

    View Slide

  22. Twitter: @doubaokun

    View Slide

  23. What is blocking
    Twitter: @doubaokun

    View Slide

  24. Twitter: @doubaokun

    View Slide

  25. Blocking is sequential
    Twitter: @doubaokun

    View Slide

  26. Blocking and sequential are the nature
    of human mind and machine
    Twitter: @doubaokun

    View Slide

  27. Blocking and sequential are the nature
    of a single Execution Unit
    Twitter: @doubaokun

    View Slide

  28. What is blocking I/O
    Twitter: @doubaokun

    View Slide

  29. Twitter: @doubaokun

    View Slide

  30. Blocking I/O is the nature of machine
    Twitter: @doubaokun

    View Slide

  31. What is async I/O
    Twitter: @doubaokun

    View Slide

  32. Twitter: @doubaokun

    View Slide

  33. The nature of real world I/O
    Twitter: @doubaokun

    View Slide

  34. The nature of real world is better
    resources utilisation
    Twitter: @doubaokun

    View Slide

  35. Mapping real world to machine
    Twitter: @doubaokun

    View Slide

  36. Mapping real world to machines:
    Unlimited Execution Unit and I/O
    vs
    Limited resources and machines
    Twitter: @doubaokun

    View Slide

  37. Concurrency is hard
    Twitter: @doubaokun

    View Slide

  38. Concurrency models
    • Process
    • Process pool
    • Thread
    • Thread pool
    • Single thread async I/O
    • Light weight thread: Fiber / Coroutine / …
    Twitter: @doubaokun

    View Slide

  39. Concurrency is hard
    • Inefficient scaling
    • Race condition
    Twitter: @doubaokun

    View Slide

  40. https://unixism.net/2019/04/linux-applications-performance-introduction/
    Twitter: @doubaokun
    Performance of Concurrent I/O models

    View Slide

  41. Machine I/O Concurrency
    Twitter: @doubaokun

    View Slide

  42. Decoupling I/O and CPU
    Twitter: @doubaokun

    View Slide

  43. Async machine I/O
    Twitter: @doubaokun

    View Slide

  44. Twitter: @doubaokun

    View Slide

  45. Event based callbacks ?
    Twitter: @doubaokun

    View Slide

  46. not the nature of human mind
    Twitter: @doubaokun

    View Slide

  47. Async machine I/O should be
    abstracted
    Twitter: @doubaokun

    View Slide

  48. Understand the machine better
    Twitter: @doubaokun

    View Slide

  49. Concurrency and Operating System
    Twitter: @doubaokun

    View Slide

  50. What is a function?
    Twitter: @doubaokun

    View Slide

  51. a sequence of instructions that
    takes inputs and returns outputs
    Twitter: @doubaokun

    View Slide

  52. function add($a, $b) {
    return $a + $b;
    }
    Twitter: @doubaokun

    View Slide

  53. What is Context?
    Twitter: @doubaokun

    View Slide

  54. Twitter: @doubaokun

    View Slide

  55. Call Stack and Stack Frame
    Twitter: @doubaokun

    View Slide

  56. function add($a, $b) {
    return $a + $b;
    }
    function plus5($c, 5) {
    return add($c, 5);
    }
    Twitter: @doubaokun

    View Slide

  57. Twitter: @doubaokun

    View Slide

  58. What is context switch?
    Twitter: @doubaokun

    View Slide

  59. Twitter: @doubaokun

    View Slide

  60. History of multi-tasking in OS
    Twitter: @doubaokun

    View Slide

  61. 1. No scheduler
    Twitter: @doubaokun

    View Slide

  62. 2. Cooperative Scheduler
    Non-preemptive
    Twitter: @doubaokun

    View Slide

  63. 3. Preemptive timer interrupt
    scheduler
    Twitter: @doubaokun

    View Slide

  64. Twitter: @doubaokun

    View Slide

  65. Twitter: @doubaokun

    View Slide

  66. Thread context switch can be
    expensive
    Twitter: @doubaokun

    View Slide

  67. Not scalable
    Twitter: @doubaokun

    View Slide

  68. Light weight thread
    Twitter: @doubaokun

    View Slide

  69. Light weight Execution Unit
    Twitter: @doubaokun

    View Slide

  70. Light weight Execution Unit
    provided by machine/library
    Twitter: @doubaokun

    View Slide

  71. Light weight Execution Unit
    provided by machine
    to map real world problems
    Twitter: @doubaokun

    View Slide

  72. Light weight Execution Unit
    provided by machine
    to map real world problems
    to execute real world tasks
    Twitter: @doubaokun

    View Slide

  73. What is Coroutine?
    Twitter: @doubaokun

    View Slide

  74. “Coroutines are computer components that
    generalise subroutines for non-preemptive multitasking,
    by allowing execution to be suspended and resumed.”
    - Wikipedia
    Twitter: @doubaokun

    View Slide

  75. “a type of functions that enables concurrency
    via cooperative multitasking”
    Twitter: @doubaokun

    View Slide

  76. Cooperative multi-tasking
    Twitter: @doubaokun

    View Slide

  77. Multi-tasking management strategy
    Twitter: @doubaokun

    View Slide

  78. On machine:
    User space yield and resume
    Twitter: @doubaokun

    View Slide

  79. 1
    3
    start
    2
    4
    Twitter: @doubaokun

    View Slide

  80. Twitter: @doubaokun

    View Slide

  81. Swoole
    Twitter: @doubaokun

    View Slide

  82. https://www.swoole.co.uk/
    https://github.com/swoole/swoole-src
    @php_swoole
    Coroutine-based concurrency library with PHP syntax
    Twitter: @doubaokun

    View Slide

  83. Twitter: @doubaokun

    View Slide

  84. Super fast
    Twitter: @doubaokun

    View Slide

  85. Super fast
    https://tsh.io/blog/swoole-is-it-node-in-php-or-am-i-wrong/
    Twitter: @doubaokun

    View Slide

  86. Super fast
    Twitter: @doubaokun

    View Slide

  87. Twitter: @doubaokun
    • Async I/O
    • Reuse states
    • Coroutine
    • Coroutine scheduler based on I/O

    View Slide

  88. Twitter: @doubaokun

    View Slide

  89. Swoole server
    Twitter: @doubaokun

    View Slide

  90. HTTP server with PHP Swoole
    Twitter: @doubaokun

    View Slide

  91. Server structure
    Twitter: @doubaokun

    View Slide

  92. Server structure
    Twitter: @doubaokun

    View Slide

  93. Swoole Coroutine Internal
    Twitter: @doubaokun

    View Slide

  94. Twitter: @doubaokun

    View Slide

  95. Use cases
    Twitter: @doubaokun

    View Slide

  96. Twitter: @doubaokun

    View Slide

  97. Common pitfalls
    Twitter: @doubaokun

    View Slide

  98. Twitter: @doubaokun
    Common pitfalls
    • Looking to run it on M$ Windows
    • Trying to run it with PHP-FPM
    • Stateless mind
    • Variable scope: super global, global, static, local variables
    • Blocking within Coroutine context
    • Exception handling
    • Exit

    View Slide

  99. Code samples
    Twitter: @doubaokun

    View Slide

  100. Coroutine
    Twitter: @doubaokun

    View Slide

  101. View Slide

  102. 1
    3
    start
    2
    4
    Coroutine yield and resume

    View Slide

  103. 2
    1
    3
    2
    Coroutine structure

    View Slide

  104. Server
    Twitter: @doubaokun

    View Slide

  105. Server response timeout

    View Slide

  106. Timer
    Twitter: @doubaokun

    View Slide

  107. Timer

    View Slide

  108. Client
    Twitter: @doubaokun

    View Slide

  109. HTTP Client

    View Slide

  110. Channel
    Twitter: @doubaokun

    View Slide

  111. View Slide

  112. Coroutine Pooling
    Twitter: @doubaokun

    View Slide

  113. View Slide

  114. View Slide

  115. Linux process
    Twitter: @doubaokun

    View Slide

  116. View Slide

  117. HashTable
    Twitter: @doubaokun

    View Slide

  118. View Slide

  119. Task worker
    Twitter: @doubaokun

    View Slide

  120. View Slide

  121. View Slide

  122. Coroutine Server
    Twitter: @doubaokun

    View Slide

  123. Twitter: @doubaokun

    View Slide

  124. Demo
    Twitter: @doubaokun

    View Slide

  125. https://www.swoole.co.uk/
    https://twitter.com/php_swoole
    https://github.com/swoole/swoole-src
    https://github.com/21days-dev/phpuk2020
    Thank you

    View Slide