Flynn grafts Actor-Model programming onto Swift, providing a new level of safety and performance for your highly concurrent Swift code. Flynn is heavily inspired by the Pony programming language. Here's what you need to know:
Using Actors to separate concurrent logic provides safety, performance, and efficiency.
class ConcurrentDatastore: Actor {
// Everything inside this actor is safe and cannot
// be accessed concurrently by any other thread
private var storage: [String: String] = [:]
...
}
Actors provide behaviors (which look like normal method calls at the call site) that execute asynchronously from the caller's perspective.
let datastore = ConcurrentDatastore()
datastore.beStore("SomeKey", "SomeValue")
From the Actor's perspective, behaviors execute synchronously (in the same order they are sent for the calling code).
class ConcurrentDatastore: Actor {
...
// Behaviors are called asynchronously but execute synchronously on the Actor
private func _beStore(_ key: String, _ value: String) {
storage[key] = value
}
}
Unlike other attempts to bring Actor-Model programming to Swift, Flynn does not use DispatchQueues. Instead, Flynn includes a modified version of the Pony language runtime. This makes actors in Flynn much more light-weight than DispatchQueues; you can have millions of actors all sending messages to each other incredibly efficiently.
Flynn provides the scaffolding for safer concurrency but it relies on you, the developer, to follow the best practices for safe concurrency. FlynnLint will help you by enforcing those best practices for you at compile time. This keeps you out of numerous concurrency pitfalls by not allowing unsafe code to compile:
In this example, we have a public variable on our Counter Actor. Public variables are not allowed as they can be potentially accessed from other threads, breaking the concurrency safety the Actor-Model paradigm provides us.
RemoteActors are an advanced topic and are likely useful only to a subset of developers.
As of v0.2 Flynn has a new kind of actor, the RemoteActor
. RemoteActors behave similarly to Actors; they have internal state which is concurrency safe and you interact with them by calling behaviors. RemoteActors are intended to execute outside of your normal Flynn environment, usually that's in another process running on an different machine. Since RemoteActors run elsewhere, they are more restrictive then normal Actors (for instance, you cannot choose to unsafely expose access RemoteActors). Please see the RemoteActor documentation for more details.
Actors - Concurrency safe Swift classes
Behaviors - Asynchronous method calls
Scheduling - How and when Actors execute Behaviors
FlynnLint - Protects against data races and other bad things
Flowable Actors - Easily chainable networks of actors
Flynn.Timer - Actor friendly Timers
RemoteActors - Run actors in another process
Hello World - You guessed it!
Battery Tester - Use an Actor's core affinity to make smart choices between performance and energy consumption
Simple HTTP Server - Actors for HTTP connections, Actors as services
Concurrent Data SwiftUI - Simple example of using Actor as ObservableObject for SwiftUI
Actor Callbacks - Two scenarios for how to call back to an actor
FlynnLint - FlynnLint uses Flynn to concurrently check your Swift files for Flynn best practices
Jukebox - Linux daemon for running a homebrewed Alexa powered Jukebox
Cutlass - Fully concurrent user interfaces using Flynn, Yoga and Metal
Have you released something using Flynn? Let us know!
Flynn is a fully compatible with the Swift Package Manager.
If you use swiftpm, you can add Flynn as a dependency directly to your Package.swift file.
dependencies: [
.package(url: "https://github.com/KittyMac/Flynn.git", .upToNextMajor(from: "0.1.1")),
],
To integrate with Xcode, simply add it as a package dependency by going to
File -> Swift Packages -> Add Package Dependency
and pasting the url to this repository. Follow the instructions to complete the dependency addition. Check the releases page for release versions or choose master branch for the bleeding edge.
Flynn is most effective when used with FlynnLint. FlynnLint helps protect you from accidentally introducing data races in your highly concurrent code by enforcing Flynn's best programming practices.
FlynnLint is included in the Flynn repository in the meta folder. Just add a new "Run Script Phase" with:
FLYNNLINTSWIFTPM=${SRCROOT}/.build/checkouts/flynn/meta/FlynnLint
FLYNNLINTXCODE=${BUILD_ROOT}/../../SourcePackages/checkouts/flynn/meta/FlynnLint
if [ -f "${FLYNNLINTSWIFTPM}" ]; then
${FLYNNLINTSWIFTPM} ${SRCROOT}
elif [ -f "${FLYNNLINTXCODE}" ]; then
${FLYNNLINTXCODE} ${SRCROOT}
else
echo "warning: Unable to find FlynnLint, aborting..."
fi
Example:
FlynnLint processes any and all directories provided as arguments. If you want to restrict it to a subset of directories, simply list each directory after the call to FlynnLint. For example, if you use swiftpm and your source files are in /Sources and /Tests, then the following would lint just those directories:
${FLYNNLINTSWIFTPM} ${SRCROOT}/Sources ${SRCROOT}/Tests
Flynn is free software distributed under the terms of the MIT license, reproduced below. Flynn may be used for any purpose, including commercial purposes, at absolutely no cost. No paperwork, no royalties, no GNU-like "copyleft" restrictions. Just download and enjoy.
Copyright (c) 2020 Chimera Software, LLC
Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
link |
Stars: 26 |
Last commit: 1 week ago |
Swiftpack is being maintained by Petr Pavlik | @ptrpavlik | @swiftpackco