mirror of
https://github.com/vlang/v.git
synced 2023-08-10 21:13:21 +03:00
context: add a new context module, based on Golang's context, intended to be used in webservers (#9563)
This commit is contained in:
committed by
GitHub
parent
b54188dfea
commit
07a6f4e445
188
vlib/context/README.md
Normal file
188
vlib/context/README.md
Normal file
@@ -0,0 +1,188 @@
|
||||
# Context
|
||||
|
||||
This module defines the Context type, which carries deadlines, cancellation signals,
|
||||
and other request-scoped values across API boundaries and between processes.
|
||||
|
||||
Incoming requests to a server should create a Context, and outgoing calls to servers
|
||||
should accept a Context. The chain of function calls between them must propagate the
|
||||
Context, optionally replacing it with a derived Context created using with_cancel,
|
||||
with_deadline, with_timeout, or with_value. When a Context is canceled, all Contexts
|
||||
derived from it are also canceled.
|
||||
|
||||
The with_cancel, with_deadline, and with_timeout functions take a Context (the parent)
|
||||
and return a derived Context (the child) and a CancelFunc. Calling the CancelFunc
|
||||
cancels the child and its children, removes the parent's reference to the child,
|
||||
and stops any associated timers. Failing to call the CancelFunc leaks the child
|
||||
and its children until the parent is canceled or the timer fires.
|
||||
|
||||
Programs that use Contexts should follow these rules to keep interfaces consistent
|
||||
across different modules.
|
||||
|
||||
Do not store Contexts inside a struct type; instead, pass a Context explicitly
|
||||
to each function that needs it. The Context should be the first parameter,
|
||||
typically named ctx, just to make it more consistent.
|
||||
|
||||
## Examples
|
||||
|
||||
In this section you can see some usage examples for this module
|
||||
|
||||
### Context With Cancellation
|
||||
|
||||
```v
|
||||
import context
|
||||
|
||||
// This example demonstrates the use of a cancelable context to prevent a
|
||||
// routine leak. By the end of the example function, the routine started
|
||||
// by gen will return without leaking.
|
||||
fn example_with_cancel() {
|
||||
// gen generates integers in a separate routine and
|
||||
// sends them to the returned channel.
|
||||
// The callers of gen need to cancel the context once
|
||||
// they are done consuming generated integers not to leak
|
||||
// the internal routine started by gen.
|
||||
gen := fn (mut ctx context.CancelerContext) chan int {
|
||||
dst := chan int{}
|
||||
go fn (mut ctx context.CancelerContext, dst chan int) {
|
||||
ch := ctx.done()
|
||||
loop: for i in 0 .. 5 {
|
||||
select {
|
||||
_ := <-ch {
|
||||
// returning not to leak the routine
|
||||
break loop
|
||||
}
|
||||
dst <- i {}
|
||||
}
|
||||
}
|
||||
}(mut ctx, dst)
|
||||
return dst
|
||||
}
|
||||
|
||||
mut ctx := context.with_cancel(context.background())
|
||||
defer {
|
||||
context.cancel(mut ctx)
|
||||
}
|
||||
|
||||
ch := gen(mut ctx)
|
||||
for i in 0 .. 5 {
|
||||
v := <-ch
|
||||
assert i == v
|
||||
}
|
||||
}
|
||||
```
|
||||
|
||||
### Context With Deadline
|
||||
|
||||
```v
|
||||
import context
|
||||
import time
|
||||
|
||||
const (
|
||||
// a reasonable duration to block in an example
|
||||
short_duration = 1 * time.millisecond
|
||||
)
|
||||
|
||||
fn after(dur time.Duration) chan int {
|
||||
dst := chan int{}
|
||||
go fn (dur time.Duration, dst chan int) {
|
||||
time.sleep(dur)
|
||||
dst <- 0
|
||||
}(dur, dst)
|
||||
return dst
|
||||
}
|
||||
|
||||
// This example passes a context with an arbitrary deadline to tell a blocking
|
||||
// function that it should abandon its work as soon as it gets to it.
|
||||
fn example_with_deadline() {
|
||||
dur := time.now().add(short_duration)
|
||||
mut ctx := context.with_deadline(context.background(), dur)
|
||||
|
||||
defer {
|
||||
// Even though ctx will be expired, it is good practice to call its
|
||||
// cancellation function in any case. Failure to do so may keep the
|
||||
// context and its parent alive longer than necessary.
|
||||
context.cancel(mut ctx)
|
||||
}
|
||||
|
||||
after_ch := after(1 * time.second)
|
||||
ctx_ch := ctx.done()
|
||||
select {
|
||||
_ := <-after_ch {
|
||||
assert false
|
||||
}
|
||||
_ := <-ctx_ch {
|
||||
assert true
|
||||
}
|
||||
}
|
||||
}
|
||||
```
|
||||
|
||||
### Context With Timeout
|
||||
|
||||
```v
|
||||
import context
|
||||
import time
|
||||
|
||||
const (
|
||||
// a reasonable duration to block in an example
|
||||
short_duration = 1 * time.millisecond
|
||||
)
|
||||
|
||||
fn after(dur time.Duration) chan int {
|
||||
dst := chan int{}
|
||||
go fn (dur time.Duration, dst chan int) {
|
||||
time.sleep(dur)
|
||||
dst <- 0
|
||||
}(dur, dst)
|
||||
return dst
|
||||
}
|
||||
|
||||
// This example passes a context with a timeout to tell a blocking function that
|
||||
// it should abandon its work after the timeout elapses.
|
||||
fn example_with_timeout() {
|
||||
// Pass a context with a timeout to tell a blocking function that it
|
||||
// should abandon its work after the timeout elapses.
|
||||
mut ctx := context.with_timeout(context.background(), short_duration)
|
||||
defer {
|
||||
context.cancel(mut ctx)
|
||||
}
|
||||
|
||||
after_ch := after(1 * time.second)
|
||||
ctx_ch := ctx.done()
|
||||
select {
|
||||
_ := <-after_ch {
|
||||
assert false
|
||||
}
|
||||
_ := <-ctx_ch {
|
||||
assert true
|
||||
}
|
||||
}
|
||||
}
|
||||
```
|
||||
|
||||
### Context With Value
|
||||
|
||||
```v
|
||||
import context
|
||||
|
||||
type ValueContextKey = string
|
||||
|
||||
// This example demonstrates how a value can be passed to the context
|
||||
// and also how to retrieve it if it exists.
|
||||
fn example_with_value() {
|
||||
f := fn (ctx context.ValueContext, key ValueContextKey) string {
|
||||
if value := ctx.value(key) {
|
||||
if !isnil(value) {
|
||||
return *(&string(value))
|
||||
}
|
||||
}
|
||||
return 'key not found'
|
||||
}
|
||||
|
||||
key := ValueContextKey('language')
|
||||
value := 'VAL'
|
||||
ctx := context.with_value(context.background(), key, &value)
|
||||
|
||||
assert value == f(ctx, key)
|
||||
assert 'key not found' == f(ctx, ValueContextKey('color'))
|
||||
}
|
||||
```
|
||||
Reference in New Issue
Block a user