Files
adler32
ahash
aho_corasick
ansi_term
antidote
anyhow
arc_swap
arrayvec
async_speed_limit
async_stream
async_stream_impl
async_trait
atty
aws
backtrace
backtrace_sys
backup
base64
batch_system
bitfield
bitflags
block_buffer
boolinator
bstr
byteset
search
unicode
byteorder
bytes
buf
fmt
bzip2_sys
cargo_metadata
cdc
cfg_if
chrono
format
naive
offset
chrono_tz
clap
app
args
completions
cloud
codec
collections
concurrency_manager
configuration
configuration_derive
const_fn
const_random
const_random_macro
coprocessor_plugin_api
cpuid_bool
crc32fast
crc64fast
crossbeam
crossbeam_channel
crossbeam_deque
crossbeam_epoch
crossbeam_queue
crossbeam_skiplist
crossbeam_utils
crypto_mac
darling
darling_core
ast
codegen
error
options
usage
util
darling_macro
dashmap
debugid
derive_more
digest
dirs
dirs_sys
doc_comment
dtoa
either
encoding_rs
encryption
encryption_export
engine_panic
engine_rocks
cf_names.rscf_options.rscompact.rscompact_listener.rscompat.rsconfig.rsdb_options.rsdb_vector.rsencryption.rsengine.rsengine_iterator.rsevent_listener.rsfile_system.rsimport.rslib.rslogger.rsmisc.rsmvcc_properties.rsoptions.rsperf_context.rsperf_context_impl.rsperf_context_metrics.rsproperties.rsraft_engine.rsrange_properties.rsraw.rsraw_util.rsrocks_metrics.rsrocks_metrics_defs.rssnapshot.rssst.rssst_partitioner.rstable_properties.rsttl_properties.rsutil.rswrite_batch.rs
engine_test
engine_traits
cf_defs.rscf_names.rscf_options.rscompact.rscompaction_job.rsconfig.rsdb_options.rsdb_vector.rsencryption.rsengine.rsengines.rserrors.rsfile_system.rsimport.rsiterable.rslib.rsmisc.rsmutable.rsmvcc_properties.rsoptions.rspeekable.rsperf_context.rsproperties.rsraft_engine.rsrange.rsrange_properties.rssnapshot.rssst.rssst_partitioner.rstable_properties.rsttl_properties.rsutil.rswrite_batch.rs
engine_traits_tests
error_code
error_code_gen
example_plugin
external_storage
external_storage_export
fail
failure
failure_derive
farmhash
file_system
filetime
flate2
deflate
gz
zlib
fnv
foreign_types
foreign_types_shared
fs2
futures
futures_channel
futures_core
futures_executor
futures_io
futures_macro
futures_sink
futures_task
futures_timer
futures_util
async_await
compat
future
future
try_future
io
allow_std.rsbuf_reader.rsbuf_writer.rschain.rsclose.rscopy.rscopy_buf.rscursor.rsempty.rsfill_buf.rsflush.rsinto_sink.rslines.rsmod.rsread.rsread_exact.rsread_line.rsread_to_end.rsread_to_string.rsread_until.rsread_vectored.rsrepeat.rsseek.rssink.rssplit.rstake.rswindow.rswrite.rswrite_all.rswrite_vectored.rs
lock
sink
stream
futures_unordered
stream
buffer_unordered.rsbuffered.rscatch_unwind.rschain.rschunks.rscollect.rsconcat.rscycle.rsenumerate.rsfilter.rsfilter_map.rsflatten.rsfold.rsfor_each.rsfor_each_concurrent.rsforward.rsfuse.rsinto_future.rsmap.rsmod.rsnext.rspeek.rsready_chunks.rsscan.rsselect_next_some.rsskip.rsskip_while.rssplit.rstake.rstake_until.rstake_while.rsthen.rsunzip.rszip.rs
try_stream
task
fuzz
fxhash
gcp
generic_array
getrandom
getset
grpcio
grpcio_health
grpcio_sys
h2
codec
frame
hpack
proto
heck
hex
hmac
http
http_body
httparse
httpdate
hyper
body
client
common
proto
server
service
hyper_openssl
hyper_tls
ident_case
idna
indexmap
inferno
collapse
differential
flamegraph
inotify
inotify_sys
instant
into_other
iovec
ipnet
ipnetwork
itertools
adaptors
combinations.rscombinations_with_replacement.rsconcat_impl.rscons_tuples_impl.rsdiff.rseither_or_both.rsexactly_one_err.rsformat.rsfree.rsgroup_map.rsgroupbylazy.rsimpl_macros.rsintersperse.rskmerge_impl.rslazy_buffer.rslib.rsmerge_join.rsminmax.rsmultipeek_impl.rspad_tail.rspeeking_take_while.rspermutations.rsprocess_results_impl.rsput_back_n_impl.rsrciter_impl.rsrepeatn.rssize_hint.rssources.rstee.rstuple_impl.rsunique_impl.rswith_position.rszip_eq_impl.rszip_longest.rsziptuple.rs
itoa
keys
kvproto
lazy_static
lazycell
libc
unix
libflate
deflate
non_blocking
libflate_lz77
libloading
librocksdb_sys
libtitan_sys
libz_sys
linked_hash_map
linked_hash_set
lock_api
log
log_wrappers
lz4_sys
match_template
matches
md5
memchr
memmap
memoffset
memory_trace_macros
mime
mime_guess
mio
deprecated
net
sys
mio_extras
mio_uds
more_asserts
murmur3
native_tls
net2
nix
net
sys
nodrop
nom
bits
branch
bytes
character
combinator
multi
number
sequence
notify
num
num_complex
num_cpus
num_derive
num_format
impls
num_integer
num_iter
num_rational
num_traits
once_cell
opaque_debug
openssl
openssl_probe
openssl_sys
ordered_float
panic_hook
parking_lot
parking_lot_core
paste
paste_impl
pd_client
percent_encoding
pest
iterators
unicode
pin_project
pin_project_lite
pin_utils
pnet_base
pnet_datalink
pnet_sys
pprof
ppv_lite86
proc_macro2
proc_macro_error
proc_macro_error_attr
proc_macro_hack
proc_macro_nested
procfs
procinfo
net
pid
sys
profiler
prometheus
prometheus_static_metric
promptly
prost
prost_derive
protobuf
reflect
well_known_types
quick_xml
quote
raft
raft_engine
raft_log_engine
raft_proto
raftstore
coprocessor
store
fsm
snap
worker
rand
distributions
rngs
seq
rand_chacha
rand_core
rand_isaac
rayon
collections
compile_fail
iter
chain.rschunks.rscloned.rscopied.rsempty.rsenumerate.rsextend.rsfilter.rsfilter_map.rsfind.rsflat_map.rsflat_map_iter.rsflatten.rsflatten_iter.rsfold.rsfor_each.rsfrom_par_iter.rsinspect.rsinterleave.rsinterleave_shortest.rsintersperse.rslen.rsmap.rsmap_with.rsmod.rsmultizip.rsnoop.rsonce.rspanic_fuse.rspar_bridge.rspositions.rsproduct.rsreduce.rsrepeat.rsrev.rsskip.rssplitter.rsstep_by.rssum.rstake.rstry_fold.rstry_reduce.rstry_reduce_with.rsunzip.rsupdate.rswhile_some.rszip.rszip_eq.rs
slice
rayon_core
compile_fail
join
scope
sleep
spawn
thread_pool
regex
regex_automata
regex_syntax
ast
hir
unicode_tables
remove_dir_all
reqwest
async_impl
blocking
resolved_ts
rev_lines
rgb
ring
aead
gcm
arithmetic
digest
ec
curve25519
suite_b
io
rsa
rle_decode_fast
rocksdb
compaction_filter.rscomparator.rsencryption.rsevent_listener.rsfile_system.rslib.rslogger.rsmerge_operator.rsmetadata.rsperf_context.rsrocksdb.rsrocksdb_options.rsslice_transform.rssst_partitioner.rstable_filter.rstable_properties.rstable_properties_collector.rstable_properties_collector_factory.rstable_properties_rc.rstable_properties_rc_handles.rstitan.rswrite_batch.rs
rusoto_core
rusoto_credential
rusoto_kms
custom
rusoto_s3
rusoto_signature
rusoto_sts
rustc_demangle
rustyline
ryu
safemem
same_file
scopeguard
security
semver
semver_parser
serde
de
private
ser
serde_derive
serde_ignored
serde_json
serde_urlencoded
serde_with
duplicate_key_impls
serde_with_macros
server
sha2
shlex
signal
signal_hook_registry
slab
slog
slog_async
slog_derive
slog_global
slog_json
slog_term
smallvec
snappy_sys
socket2
spin
sst_importer
stable_deref_trait
standback
static_assertions
str_stack
strsim
structopt
structopt_derive
strum
strum_macros
helpers
macros
subtle
symbolic_common
symbolic_demangle
syn
attr.rsawait.rsbigint.rsbuffer.rscustom_keyword.rscustom_punctuation.rsdata.rsderive.rsdiscouraged.rserror.rsexport.rsexpr.rsext.rsfile.rsgenerics.rsgroup.rsident.rsitem.rslib.rslifetime.rslit.rslookahead.rsmac.rsmacros.rsop.rsparse.rsparse_macro_input.rsparse_quote.rspat.rspath.rsprint.rspunctuated.rsreserved.rssealed.rsspan.rsspanned.rsstmt.rsthread.rstoken.rstt.rsty.rsverbatim.rswhitespace.rs
syn_mid
synstructure
sysinfo
take_mut
tame_gcs
tame_oauth
tempfile
term
terminfo
test_backup
test_coprocessor
test_pd
test_raftstore
test_sst_importer
test_storage
test_util
textwrap
thiserror
thiserror_impl
thread_local
tidb_query_aggr
tidb_query_codegen
tidb_query_common
tidb_query_datatype
builder
codec
batch
chunk
collation
data_type
mysql
json
time
row
def
expr
tidb_query_executors
tidb_query_expr
tikv
coprocessor
dag
interceptors
statistics
coprocessor_v2
import
server
gc_worker
load_statistics
lock_manager
service
status_server
ttl
storage
kv
mvcc
raw
txn
actions
commands
acquire_pessimistic_lock.rsatomic_store.rscheck_secondary_locks.rscheck_txn_status.rscleanup.rscommit.rscompare_and_swap.rsmacros.rsmod.rsmvcc_by_key.rsmvcc_by_start_ts.rspause.rspessimistic_rollback.rsprewrite.rsresolve_lock.rsresolve_lock_lite.rsresolve_lock_readphase.rsrollback.rstxn_heart_beat.rs
tikv_alloc
tikv_ctl
tikv_jemalloc_ctl
tikv_jemalloc_sys
tikv_jemallocator
tikv_kv
tikv_server
tikv_util
codec
logger
metrics
mpsc
sys
worker
yatp_pool
time
time_macros
time_macros_impl
tipb
tipb_helper
tokio
fs
future
io
driver
util
async_buf_read_ext.rsasync_read_ext.rsasync_seek_ext.rsasync_write_ext.rsbuf_reader.rsbuf_stream.rsbuf_writer.rschain.rscopy.rsempty.rsflush.rslines.rsmem.rsmod.rsread.rsread_buf.rsread_exact.rsread_int.rsread_line.rsread_to_end.rsread_to_string.rsread_until.rsreader_stream.rsrepeat.rsshutdown.rssink.rssplit.rsstream_reader.rstake.rswrite.rswrite_all.rswrite_buf.rswrite_int.rs
loom
std
macros
net
tcp
udp
unix
park
process
runtime
blocking
task
thread_pool
signal
stream
sync
task
time
util
tokio_executor
tokio_macros
tokio_openssl
tokio_timer
clock
timer
wheel
tokio_tls
tokio_util
codec
toml
tower_service
tracing
tracing_core
try_lock
twoway
twox_hash
txn_types
typenum
ucd_trie
unchecked_index
unicase
unicode_bidi
unicode_normalization
unicode_segmentation
unicode_width
unicode_xid
untrusted
url
utf8parse
uuid
vec_map
vlog
walkdir
want
xml
reader
parser
writer
yatp
pool
queue
task
zeroize
zstd_sys
>
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115
/* * This is a copy of the sync_wrapper crate. */ //! A mutual exclusion primitive that relies on static type information only //! //! This library is inspired by [this discussion](https://internals.rust-lang.org/t/what-shall-sync-mean-across-an-await/12020/2). #![doc(html_logo_url = "https://developer.actyx.com/img/logo.svg")] #![doc(html_favicon_url = "https://developer.actyx.com/img/favicon.ico")] /// A mutual exclusion primitive that relies on static type information only /// /// In some cases synchronization can be proven statically: whenever you hold an exclusive `&mut` /// reference, the Rust type system ensures that no other part of the program can hold another /// reference to the data. Therefore it is safe to access it even if the current thread obtained /// this reference via a channel. Whenever this is the case, the overhead of allocating and locking /// a [`Mutex`] can be avoided by using this static version. /// /// One example where this is often applicable is [`Future`], which requires an exclusive reference /// for its [`poll`] method: While a given `Future` implementation may not be safe to access by /// multiple threads concurrently, the executor can only run the `Future` on one thread at any /// given time, making it [`Sync`] in practice as long as the implementation is `Send`. You can /// therefore use the sync wrapper to prove that your data structure is `Sync` even though it /// contains such a `Future`. /// /// # Example /// /// ```ignore /// use hyper::common::sync_wrapper::SyncWrapper; /// use std::future::Future; /// /// struct MyThing { /// future: SyncWrapper<Box<dyn Future<Output = String> + Send>>, /// } /// /// impl MyThing { /// // all accesses to `self.future` now require an exclusive reference or ownership /// } /// /// fn assert_sync<T: Sync>() {} /// /// assert_sync::<MyThing>(); /// ``` /// /// [`Mutex`]: https://doc.rust-lang.org/std/sync/struct.Mutex.html /// [`Future`]: https://doc.rust-lang.org/std/future/trait.Future.html /// [`poll`]: https://doc.rust-lang.org/std/future/trait.Future.html#method.poll /// [`Sync`]: https://doc.rust-lang.org/std/marker/trait.Sync.html #[repr(transparent)] pub struct SyncWrapper<T>(T); impl<T> SyncWrapper<T> { /// Creates a new SyncWrapper containing the given value. /// /// # Examples /// /// ```ignore /// use hyper::common::sync_wrapper::SyncWrapper; /// /// let wrapped = SyncWrapper::new(42); /// ``` pub fn new(value: T) -> Self { Self(value) } /// Acquires a reference to the protected value. /// /// This is safe because it requires an exclusive reference to the wrapper. Therefore this method /// neither panics nor does it return an error. This is in contrast to [`Mutex::get_mut`] which /// returns an error if another thread panicked while holding the lock. It is not recommended /// to send an exclusive reference to a potentially damaged value to another thread for further /// processing. /// /// [`Mutex::get_mut`]: https://doc.rust-lang.org/std/sync/struct.Mutex.html#method.get_mut /// /// # Examples /// /// ```ignore /// use hyper::common::sync_wrapper::SyncWrapper; /// /// let mut wrapped = SyncWrapper::new(42); /// let value = wrapped.get_mut(); /// *value = 0; /// assert_eq!(*wrapped.get_mut(), 0); /// ``` pub fn get_mut(&mut self) -> &mut T { &mut self.0 } /// Consumes this wrapper, returning the underlying data. /// /// This is safe because it requires ownership of the wrapper, aherefore this method will neither /// panic nor does it return an error. This is in contrast to [`Mutex::into_inner`] which /// returns an error if another thread panicked while holding the lock. It is not recommended /// to send an exclusive reference to a potentially damaged value to another thread for further /// processing. /// /// [`Mutex::into_inner`]: https://doc.rust-lang.org/std/sync/struct.Mutex.html#method.into_inner /// /// # Examples /// /// ```ignore /// use hyper::common::sync_wrapper::SyncWrapper; /// /// let mut wrapped = SyncWrapper::new(42); /// assert_eq!(wrapped.into_inner(), 42); /// ``` #[allow(dead_code)] pub fn into_inner(self) -> T { self.0 } } // this is safe because the only operations permitted on this data structure require exclusive // access or ownership unsafe impl<T: Send> Sync for SyncWrapper<T> {}