Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add channels examples #13202

Merged
merged 5 commits into from
Jan 23, 2020
Merged
Changes from 4 commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
115 changes: 114 additions & 1 deletion lib/system/channels.nim
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,120 @@
##
## **Note:** Channels cannot be passed between threads. Use globals or pass
## them by `ptr`.
##
## Example
## =======
## The following is a simple example of two different ways to use channels:
## blocking and non-blocking.
##
## .. code-block :: Nim
## # Be sure to compile with --threads:on.
## # The channels and threads modules are part of system and should not be
## # imported.
## import os
##
## # Channels can either be:
## # - declared at the module level, or
## # - passed to procedures by ptr (raw pointer) -- see note on safety.
## #
## # For simplicity, in this example a channel is declared at module scope.
## # Channels are generic, and they include support for passing objects between
## # threads.
## # Note that objects passed through channels will be deeply copied.
## var chan: Channel[string]
##
## # This proc will be run in another thread using the threads module.
## proc firstWorker() =
## chan.send("Hello World!")
##
## # This is another proc to run in a background thread. This proc takes a while
## # to send the message since it sleeps for 2 seconds (or 2000 milliseconds).
## proc secondWorker() =
## sleep(2000)
## chan.send("Another message")
##
## # Initialize the channel.
## chan.open()
##
## # Launch the worker.
## var worker1: Thread[void]
## createThread(worker1, firstWorker)
##
## # Block until the message arrives, then print it out.
## assert chan.recv() == "Hello World!"
##
## # Wait for the thread to exit before moving on to the next example.
## worker1.joinThread()
##
## # Launch the other worker.
## var worker2: Thread[void]
## createThread(worker2, secondWorker)
## # This time, use a non-blocking approach with tryRecv.
## # Since the main thread is not blocked, it could be used to perform other
## # useful work while it waits for data to arrive on the channel.
## while true:
## let tried = chan.tryRecv()
## if tried.dataAvailable:
## assert tried.msg == "Another message"
## break
##
## echo "Pretend I'm doing useful work..."
## # For this example, sleep in order not to flood stdout with the above
## # message.
## sleep(400)
##
## # Wait for the second thread to exit before cleaning up the channel.
## worker2.joinThread()
##
## # Clean up the channel.
## chan.close()
##
## Sample output
## -------------
## The program should output something similar to this, but keep in mind that
## exact results may vary in the real world::
## Hello World!
## Pretend I'm doing useful work...
## Pretend I'm doing useful work...
## Pretend I'm doing useful work...
## Pretend I'm doing useful work...
## Pretend I'm doing useful work...
## Another message
##
## Passing Channels Safely
## ----------------------
## Note that when passing objects to procedures on another thread by pointer
## (for example through a thread's argument), objects created using the default
## allocator will use thread-local, GC-managed memory. Thus it is generally
## safer to store channel objects in global variables (as in the above example),
## in which case they will use a process-wide (thread-safe) shared heap.
##
## However, it is possible to manually allocate shared memory for channels
## using e.g. ``system.allocShared0`` and pass these pointers through thread
## arguments:
##
## .. code-block :: Nim
## proc worker(channel: ptr Channel[string]) =
## let greeting = channel[].recv()
## echo greeting
##
## proc localChannelExample() =
## # Use allocShared0 to allocate some shared-heap memory and zero it.
## # The usual warnings about dealing with raw pointers apply. Exercise caution.
## var channel = cast[ptr Channel[string]](
## allocShared0(sizeof(Channel[string]))
## )
## channel[].open()
## # Create a thread which will receive the channel as an argument.
## var thread: Thread[ptr Channel[string]]
## createThread(thread, worker, channel)
## channel[].send("Hello from the main thread!")
## # Clean up resources.
## thread.joinThread()
## channel[].close()
## deallocShared(channel)
##
## localChannelExample() # "Hello from the main thread!"

when not declared(ThisIsSystem):
{.error: "You must not import this module explicitly".}
Expand Down Expand Up @@ -336,4 +450,3 @@ proc ready*[TMsg](c: var Channel[TMsg]): bool =
## new messages.
var q = cast[PRawChannel](addr(c))
result = q.ready