Chromium Code Reviews| OLD | NEW |
|---|---|
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 /** | 5 /** |
| 6 * Concurrent programming using _isolates_: | 6 * Concurrent programming using _isolates_: |
| 7 * independent workers that are similar to threads | 7 * independent workers that are similar to threads |
| 8 * but don't share memory, | 8 * but don't share memory, |
| 9 * communicating only via messages. | 9 * communicating only via messages. |
| 10 * | 10 * |
| 11 * See also: | 11 * See also: |
| 12 * [dart:isolate - Concurrency with Isolates](https://www.dartlang.org/docs/dart -up-and-running/contents/ch03.html#ch03-dartisolate---concurrency-with-isolates) | 12 * [dart:isolate - Concurrency with Isolates](https://www.dartlang.org/docs/dart -up-and-running/contents/ch03.html#ch03-dartisolate---concurrency-with-isolates) |
| 13 * in the library tour. | 13 * in the library tour. |
| 14 */ | 14 */ |
| 15 library dart.isolate; | 15 library dart.isolate; |
| 16 | 16 |
| 17 import "dart:async"; | 17 import "dart:async"; |
| 18 | 18 |
| 19 part "isolate_stream.dart"; | 19 /** |
| 20 * Thrown when an isolate cannot be created. | |
| 21 */ | |
| 22 class IsolateSpawnException implements Exception { | |
| 23 const IsolateSpawnException(); | |
| 24 } | |
| 20 | 25 |
| 21 class IsolateSpawnException implements Exception { | 26 /// *DEPRECATED*. |
| 22 const IsolateSpawnException(String this._s); | 27 ReceivePort get port => _Isolate.port; |
| 23 String toString() => "IsolateSpawnException: '$_s'"; | 28 |
| 24 final String _s; | 29 class Isolate { |
| 30 | |
| 31 final SendPort _controlPort; | |
| 32 | |
| 33 /** | |
| 34 * Creates and spawns an isolate that shares the same code as the current | |
| 35 * isolate. | |
| 36 * | |
| 37 * The argument [entryPoint] specifies the entry point of the spawned | |
| 38 * isolate. It must be a static top-level function or a static method that | |
| 39 * takes no arguments. It is not allowed to pass a function closure. | |
| 40 * | |
| 41 * The entry-point function is invoked with the initial [message]. | |
| 42 * Usually the initial [message] contains a [SendPort] so | |
| 43 * that the spawner and spawnee can communicate with each other. | |
| 44 * | |
| 45 * Returns a future that will complete with an [Isolate] instance. The | |
| 46 * isolate instance can be used to control the spawned isolate. | |
| 47 */ | |
| 48 external static Future<Isolate> spawn(void entryPoint(message), var message, | |
| 49 { bool startPaused: false }); | |
|
kasperl
2013/10/15 10:26:11
How about just getting rid of this pausing support
floitsch
2013/10/17 12:30:56
Done.
| |
| 50 | |
| 51 /** | |
| 52 * Creates and spawns an isolate that runs the code from the library with | |
| 53 * the specified URI. | |
| 54 * | |
| 55 * The isolate starts executing the top-level `main` function of the library | |
| 56 * with the given URI. Otherwise similar to [spawn]. | |
| 57 */ | |
| 58 external static Future<Isolate> spawnUri(Uri uri, var arguments); | |
| 59 | |
| 60 Isolate._fromControlPort(this._controlPort); | |
|
kasperl
2013/10/15 10:26:11
I'd move this up above the static functions.
floitsch
2013/10/17 12:30:56
Done.
| |
| 61 | |
| 62 /** | |
|
kasperl
2013/10/15 10:26:11
I'd get rid of these unimplemented methods and the
floitsch
2013/10/17 12:30:56
Done.
| |
| 63 * Listening to this stream will install an error handler on the isolate. | |
| 64 * | |
| 65 * The installation of the error handler is an asynchronous operation. | |
| 66 * If one wants to be sure to see all errors, one should start the isolate in | |
| 67 * a paused state, start listening to the errors, and then only resume the | |
| 68 * other isolate. | |
| 69 */ | |
| 70 Stream get uncaughtErrors { throw new UnimplementedError("isolate error"); } | |
| 71 | |
| 72 /** | |
| 73 * Pauses the isolate. | |
| 74 */ | |
| 75 Future pause() { throw new UnimplementedError("isolate pause"); } | |
| 76 | |
| 77 /** | |
| 78 * Resumes the isolate. | |
| 79 */ | |
| 80 Future resume() { throw new UnimplementedError("isolate resume"); } | |
| 81 | |
| 82 /** | |
| 83 * Since this is an asynchronous operation the state might change before | |
| 84 * we get a chance to act on it (if someone else has the capability to | |
| 85 * resume the isolate). | |
| 86 */ | |
| 87 Future<bool> queryIsPaused() { throw new UnimplementedError("query pause"); } | |
| 25 } | 88 } |
| 26 | 89 |
| 27 /** | 90 /** |
| 28 * The initial ReceivePort available by default for this isolate. | 91 * Sends messages to its [ReceivePort]s. |
| 29 * | |
| 30 * This ReceivePort is created automatically | |
| 31 * and is commonly used to establish | |
| 32 * the first communication between isolates. | |
| 33 * (See [spawnFunction] and [spawnUri].) | |
| 34 */ | |
| 35 ReceivePort get port => _Isolate.port; | |
| 36 | |
| 37 /** | |
| 38 * Creates and spawns an isolate | |
| 39 * that shares the same code as the current isolate, | |
| 40 * but that starts from the specified function. | |
| 41 * | |
| 42 * The [topLevelFunction] argument must be | |
| 43 * a static top-level function or a static method that takes no | |
| 44 * arguments. It is illegal to pass a function closure. | |
| 45 * | |
| 46 * When any isolate starts (even the main script of the application), a default | |
| 47 * [ReceivePort] is created for it. This port is available from the top-level | |
| 48 * getter [port] defined in this library. | |
| 49 * | |
| 50 * This function returns a [SendPort] derived from | |
| 51 * the child isolate's default port. | |
| 52 * | |
| 53 * The optional [unhandledExceptionCallback] argument is invoked whenever an | |
| 54 * exception inside the isolate is unhandled. It can be seen as a big | |
| 55 * `try/catch` around everything that is executed inside the isolate. The | |
| 56 * callback should return `true` if it was able to handle the exception. | |
| 57 */ | |
| 58 SendPort spawnFunction(void topLevelFunction(), | |
| 59 [bool unhandledExceptionCallback(IsolateUnhandledException e)]) | |
| 60 => _Isolate.spawnFunction(topLevelFunction, unhandledExceptionCallback); | |
| 61 | |
| 62 /** | |
| 63 * Creates and spawns an isolate that runs the code from the specified URI. | |
| 64 * | |
| 65 * As with [spawnFunction], | |
| 66 * the child isolate has a default [ReceivePort], | |
| 67 * and this function returns a [SendPort] derived from it. | |
| 68 */ | |
| 69 SendPort spawnUri(String uri) => _Isolate.spawnUri(uri); | |
| 70 | |
| 71 /** | |
| 72 * Together with [ReceivePort], | |
| 73 * the only means of communication between isolates. | |
| 74 * | 92 * |
| 75 * [SendPort]s are created from [ReceivePort]s. Any message sent through | 93 * [SendPort]s are created from [ReceivePort]s. Any message sent through |
| 76 * a [SendPort] is delivered to its respective [ReceivePort]. There might be | 94 * a [SendPort] is delivered to its respective [ReceivePort]. There might be |
| 77 * many [SendPort]s for the same [ReceivePort]. | 95 * many [SendPort]s for the same [ReceivePort]. |
| 78 * | 96 * |
| 79 * [SendPort]s can be transmitted to other isolates. | 97 * [SendPort]s can be transmitted to other isolates. |
| 80 */ | 98 */ |
| 81 abstract class SendPort { | 99 abstract class SendPort { |
| 82 | 100 |
| 83 /** | 101 /** |
| 84 * Sends an asynchronous [message] to this send port. The message is copied to | 102 * Sends an asynchronous [message] to this send port. The message is copied to |
| 85 * the receiving isolate. If specified, the [replyTo] port will be provided to | 103 * the receiving isolate. |
| 86 * the receiver to facilitate exchanging sequences of messages. | |
| 87 * | 104 * |
| 88 * The content of [message] can be: primitive values (null, num, bool, double, | 105 * The content of [message] can be: primitive values (null, num, bool, double, |
| 89 * String), instances of [SendPort], and lists and maps whose elements are any | 106 * String), instances of [SendPort], and lists and maps whose elements are any |
| 90 * of these. List and maps are also allowed to be cyclic. | 107 * of these. List and maps are also allowed to be cyclic. |
| 91 * | 108 * |
| 92 * In the special circumstances when two isolates share the same code and are | 109 * In the special circumstances when two isolates share the same code and are |
| 93 * running in the same process (e.g. isolates created via [spawnFunction]), it | 110 * running in the same process (e.g. isolates created via [spawnFunction]), it |
| 94 * is also possible to send object instances (which would be copied in the | 111 * is also possible to send object instances (which would be copied in the |
| 95 * process). This is currently only supported by the dartvm. For now, the | 112 * process). This is currently only supported by the dartvm. For now, the |
| 96 * dart2js compiler only supports the restricted messages described above. | 113 * dart2js compiler only supports the restricted messages described above. |
| 97 * | 114 * |
| 98 * Deprecation note: it is no longer valid to transmit a [ReceivePort] in a | 115 * The second argument [replyTo] is deprecated. |
| 99 * message. Previously they were translated to the corresponding send port | |
| 100 * before being transmitted. | |
| 101 */ | 116 */ |
| 102 void send(var message, [SendPort replyTo]); | 117 void send(var message, [SendPort replyTo]); |
| 103 | 118 |
| 104 /** | 119 /** |
| 105 * Sends a message to this send port and returns a [Future] of the reply. | |
| 106 * Basically, this internally creates a new receive port, sends a | |
| 107 * message to this send port with replyTo set to such receive port, and, when | |
| 108 * a reply is received, it closes the receive port and completes the returned | |
| 109 * future. | |
| 110 */ | |
| 111 Future call(var message); | |
| 112 | |
| 113 /** | |
| 114 * Tests whether [other] is a [SendPort] pointing to the same | 120 * Tests whether [other] is a [SendPort] pointing to the same |
| 115 * [ReceivePort] as this one. | 121 * [ReceivePort] as this one. |
| 116 */ | 122 */ |
| 117 bool operator==(var other); | 123 bool operator==(var other); |
| 118 | 124 |
| 119 /** | 125 /** |
| 120 * Returns an immutable hash code for this send port that is | 126 * Returns an immutable hash code for this send port that is |
| 121 * consistent with the == operator. | 127 * consistent with the == operator. |
| 122 */ | 128 */ |
| 123 int get hashCode; | 129 int get hashCode; |
| 124 | |
| 125 } | |
| 126 | |
| 127 /** | |
| 128 * Together with [SendPort], the only means of | |
| 129 * communication between isolates. | |
| 130 * | |
| 131 * [ReceivePort]s have a [:toSendPort:] method | |
| 132 * which returns a [SendPort]. Any message that is sent through this [SendPort] | |
| 133 * is delivered to the [ReceivePort] it has been created from. There, they are | |
| 134 * dispatched to the callback that has been registered on the receive port. | |
| 135 * | |
| 136 * A [ReceivePort] may have many [SendPort]s. | |
| 137 */ | |
| 138 abstract class ReceivePort { | |
| 139 | |
| 140 /** | |
| 141 * Opens a long-lived port for receiving messages. The returned port | |
| 142 * must be explicitly closed through [ReceivePort.close]. | |
| 143 */ | |
| 144 external factory ReceivePort(); | |
| 145 | |
| 146 /** | |
| 147 * Sets up a callback function for receiving pending or future | |
| 148 * messages on this receive port. | |
| 149 */ | |
| 150 void receive(void callback(var message, SendPort replyTo)); | |
| 151 | |
| 152 /** | |
| 153 * Closes this receive port immediately. Pending messages will not | |
| 154 * be processed and it is impossible to re-open the port. Single-shot | |
| 155 * reply ports, such as those created through [SendPort.call], are | |
| 156 * automatically closed when the reply has been received. Multiple | |
| 157 * invocations of [close] are allowed but ignored. | |
| 158 */ | |
| 159 void close(); | |
| 160 | |
| 161 /** | |
| 162 * Creates a new send port that sends to this receive port. It is legal to | |
| 163 * create several [SendPort]s from the same [ReceivePort]. | |
| 164 */ | |
| 165 SendPort toSendPort(); | |
| 166 | |
| 167 } | |
| 168 | |
| 169 /** | |
| 170 * [SendPortSync]s are created from [ReceivePortSync]s. Any message sent through | |
| 171 * a [SendPortSync] is delivered to its respective [ReceivePortSync]. There | |
| 172 * might be many [SendPortSync]s for the same [ReceivePortSync]. | |
| 173 * | |
| 174 * [SendPortSync]s can be transmitted to other isolates. | |
| 175 */ | |
| 176 abstract class SendPortSync { | |
| 177 /** | |
| 178 * Sends a synchronous message to this send port and returns the result. | |
| 179 */ | |
| 180 callSync(var message); | |
| 181 | |
| 182 /** | |
| 183 * Tests whether [other] is a [SendPortSync] pointing to the same | |
| 184 * [ReceivePortSync] as this one. | |
| 185 */ | |
| 186 bool operator==(var other); | |
| 187 | |
| 188 /** | |
| 189 * Returns an immutable hash code for this send port that is | |
| 190 * consistent with the == operator. | |
| 191 */ | |
| 192 int get hashCode; | |
| 193 } | 130 } |
| 194 | 131 |
| 132 /** | |
| 133 * Together with [SendPort], the only means of communication between isolates. | |
| 134 * | |
| 135 * [ReceivePort]s have a `sendport` getter which returns a [SendPort]. | |
| 136 * Any message that is sent through this [SendPort] | |
| 137 * is delivered to the [ReceivePort] it has been created from. There, the | |
| 138 * message is dispatched to its listener. | |
| 139 * | |
| 140 * A [ReceivePort] is a non-broadcast stream. This means that it buffers | |
| 141 * incoming messages until a listener is registered. Only one listener can | |
| 142 * receive messages. See [Stream.asBroadcastStream] for transforming the port | |
| 143 * to a broadcast stream. | |
| 144 * | |
| 145 * A [ReceivePort] may have many [SendPort]s. | |
| 146 */ | |
| 147 abstract class ReceivePort implements Stream { | |
| 148 | |
| 149 /** | |
| 150 * Opens a long-lived port for receiving messages. | |
| 151 * | |
| 152 * A [ReceivePort] is a non-broadcast stream. This means that it buffers | |
| 153 * incoming messages until a listener is registered. Only one listener can | |
| 154 * receive messages. See [Stream.asBroadcastStream] for transforming the port | |
| 155 * to a broadcast stream. | |
| 156 * | |
| 157 * A receive port is closed by canceling its subscription. | |
| 158 */ | |
| 159 external factory ReceivePort(); | |
| 160 | |
| 161 /** | |
| 162 * Inherited from [Stream]. | |
| 163 * | |
| 164 * Note that all named arguments are ignored since a ReceivePort will never | |
| 165 * receive an error, or done message. | |
| 166 */ | |
| 167 StreamSubscription listen(void onData(var message), | |
| 168 { Function onError, | |
| 169 void onDone(), | |
| 170 bool cancelOnError }); | |
| 171 | |
| 172 /// deprecated. | |
| 173 void receive(void onData(var message, SendPort replyTo)); | |
| 174 | |
| 175 /// deprecated | |
| 176 void close(); | |
| 177 | |
| 178 /** | |
| 179 * Returns a send port that sends to this receive port. | |
| 180 */ | |
| 181 SendPort get sendPort; | |
| 182 } | |
| 183 | |
| 195 // The VM doesn't support accessing external globals in the same library. We | 184 // The VM doesn't support accessing external globals in the same library. We |
| 196 // therefore create this wrapper class. | 185 // therefore create this wrapper class. |
| 197 // TODO(6997): Don't go through static class for external variables. | 186 // TODO(6997): Don't go through static class for external variables. |
| 198 abstract class _Isolate { | 187 abstract class _Isolate { |
| 199 external static ReceivePort get port; | 188 external static ReceivePort get port; |
| 200 external static SendPort spawnFunction(void topLevelFunction(), | |
| 201 [bool unhandledExceptionCallback(IsolateUnhandledException e)]); | |
| 202 external static SendPort spawnUri(String uri); | 189 external static SendPort spawnUri(String uri); |
| 203 } | 190 } |
| 204 | 191 |
| 205 /** | 192 /** |
| 206 * Wraps unhandled exceptions thrown during isolate execution. It is | 193 * Wraps unhandled exceptions thrown during isolate execution. It is |
| 207 * used to show both the error message and the stack trace for unhandled | 194 * used to show both the error message and the stack trace for unhandled |
| 208 * exceptions. | 195 * exceptions. |
| 209 */ | 196 */ |
| 197 // TODO(floitsch): probably going to remove and replace with something else. | |
| 210 class IsolateUnhandledException implements Exception { | 198 class IsolateUnhandledException implements Exception { |
| 211 /** Message being handled when exception occurred. */ | 199 /** Message being handled when exception occurred. */ |
| 212 final message; | 200 final message; |
| 213 | 201 |
| 214 /** Wrapped exception. */ | 202 /** Wrapped exception. */ |
| 215 final source; | 203 final source; |
| 216 | 204 |
| 217 /** Trace for the wrapped exception. */ | 205 /** Trace for the wrapped exception. */ |
| 218 final Object stackTrace; | 206 final Object stackTrace; |
| 219 | 207 |
| 220 const IsolateUnhandledException(this.message, this.source, this.stackTrace); | 208 const IsolateUnhandledException(this.message, this.source, this.stackTrace); |
| 221 | 209 |
| 222 String toString() { | 210 String toString() { |
| 223 return 'IsolateUnhandledException: exception while handling message: ' | 211 return 'IsolateUnhandledException: exception while handling message: ' |
| 224 '${message} \n ' | 212 '${message} \n ' |
| 225 '${source.toString().replaceAll("\n", "\n ")}\n' | 213 '${source.toString().replaceAll("\n", "\n ")}\n' |
| 226 'original stack trace:\n ' | 214 'original stack trace:\n ' |
| 227 '${stackTrace.toString().replaceAll("\n","\n ")}'; | 215 '${stackTrace.toString().replaceAll("\n","\n ")}'; |
| 228 } | 216 } |
| 229 } | 217 } |
| OLD | NEW |