This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
rfc:fiber [2018/04/17 22:57] lvhtrfc:fiber [2018/06/12 07:40] (current) – move back to discussion krakjoe
Line 2: Line 2:
   * Version: 0.1   * Version: 0.1
   * Date: 2017-09-13   * Date: 2017-09-13
-  * Author: Haitao Lvi@lvht.net+  * Author: Haitao Lv<i@lvht.net>, Dmitry Stogov<dmitry@zend.com>, Martin Schröder<m.schroeder2007@googlemail.com>
   * Status: Under Discussion   * Status: Under Discussion
   * First Published at: http://wiki.php.net/rfc/fiber   * First Published at: http://wiki.php.net/rfc/fiber
Line 16: Line 16:
 ===== Proposal ===== ===== Proposal =====
 ==== Why not make it as a Extension? ==== ==== Why not make it as a Extension? ====
-Fibers is a major feature, that allows significant benefits for asynchronous frameworks. Providing it as an optional extension, just doesn't make sense.+Fiber is a major language feature, that allows significant benefits for asynchronous frameworks. Providing it as an optional extension, just doesn't make sense.
 ==== Implementation ==== ==== Implementation ====
Line 63: Line 63:
 === Usage Demo === === Usage Demo ===
-Here is the usage demo, 
 <code php> <code php>
 function sub1() function sub1()
Line 82: Line 81:
 === Implementation Detail === === Implementation Detail ===
 +In our simple implementation, we only backup/restore the **zend stack**. We **cannot** pause a Fiber during internal function call like `array_map`.
 ===== Backward Incompatible Changes ===== ===== Backward Incompatible Changes =====
Line 107: Line 107:
 ===== Open Issues ===== ===== Open Issues =====
-<blockquote>What happens if there are internal calls on the call stack?Say something like array_map(function() { await; }, [1, 2, 3]); inside a fiber. Internal calls (using the C stack rather than the VM stack) are usually the problem with this kind of endeavor. +<blockquote>Why not support backup/restore the stack?</blockquote> 
-</blockquote>+Martin Schröder is working on this at https://github.com/fiberphp/fiber-ext/pull/30. 
-Fiber does not support yielding during the internal callCalling Fiber::yield in a internal call will trigger a fatal error.+And here is the comparison. 
 +^Property^Stackless Fiber^Native Fiber^ 
 +|1 Minimum Memory Usage|VM stack only (4 KB)|VM & C stack (4 KB + 4 KB)| 
 +|2 Supported Architecturs|any platform|x86 at this time| 
 +|3 Yield in Internal Function|unsupported|supported| 
 +|4 Yield in Iterator|unsupported|supported|
-<blockquote>How do you determine when a fiber has returned? Looking at the source, it appears Fiber::status() must be usedcomparing against constantsSeparate methods similar to Generator would be better.</blockquote>+Stackless fiber use less memory and are not platform-dependend (1 & 2which makes them very portable and efficient. They do however lack support for anything that involves internal function calls (3) including opcode handlers (4e.g. foreach loop).
-Offering methods like <code>Fiber::alive()</code>, <code>Fiber::running()</code> makes any meaningful difference to check the <code>Fiber::status()</code> return valueThis is just coding style issueAnd as a language feature, Fiber only offer the essential API and let other works to the userland code.+Native fibers are very platform-dependend (2and use more memory because they do need to allocate a C call stack (1). While memory allocation will be done using mmap() it will still reserve virtual memory (can be problematic for large number of fibers on 32 bit systems due to limited virtual memory addressing)The big advantage is that all kinds of internal function call (3 & 4) are supported without any changes to the existing codebase.
-<blockquote>What about throwing exceptions into a fiber?</blockquote>+<blockquote>Why not introduce helper like **Fiber::alive(),Fiber::running()**?</blockquote>
-The Fiber::throw(Exception $exception) has been implemented.+And as a language feature, Fiber should only offer the essential API. User can implement these methods in user land code easily.
-<blockquote>Using Fiber::resume() to initialize the fiber and resume feels awkward. Separate methods again would be better here, perhaps Fiber::init(...$args) and Fiber::resume($send).</blockquote>+<blockquote>Why not introduce a dedicate method other than **Fiber::resume()** for Fiber initialization?</blockquote>
-Both Ruby's Fiber and Lua's coroutine using the **resume()** API to **init** and **resume** their coroutine. There is no need to offer a **dedicate init** API. +Both Ruby's Fiber and Lua's coroutine using the same **resume()** API to **init** and **resume** their coroutine.
- +
-<blockquote>What happens if the sub1() function in the RFC is invoked outside of a fiber?</blockquote> +
- +
-You will get a Fatal Error like +
- +
-Fatal error: Uncaught Error: Cannot call Fiber::yield out of Fiber +
- +
-<blockquote>I think a keyword here would be beneficial, even if it has a minor BC impact. Fibers could then be written like generators. `await` or `emit` as a keyword perhaps? This would be a less verbose API, feel less magical (a static method call that actually pauses execution feels out of place), and would allow Fibers to be returned from methods, named functions, etc with less boilerplate.</blockquote> +
- +
-Introducing new keywords like await/emit does not offer any essential benefit but only cause BC impact. +
- +
-Both Ruby's Fiber and Lua's coroutine use method to pause and resume their coroutine. There is no need to introduce new keyword.+
 ===== Unaffected PHP Functionality ===== ===== Unaffected PHP Functionality =====
Line 140: Line 133:
 ===== Future Scope ===== ===== Future Scope =====
-This sections details areas where the feature might be improved in future, but that are not currently proposed in this RFC. 
-===== Proposed Voting Choices ===== +Syntax like async/await can be implemented in the future, but it's out of the scope of this RFC.
-2/3+1 voting majority+
 ===== Patches and Tests ===== ===== Patches and Tests =====
rfc/fiber.1524005857.txt.gz · Last modified: 2018/04/17 22:57 by lvht