Sign in
qemu
/
qemu
/
2dfe5113b11ce0ddb08176ebb54ab7ac4104b413
/
docs
/
tcg-exclusive.promela
c265e97
cpus-common: lock-free fast path for cpu_exec_start/end
by Paolo Bonzini
· 8 years ago
758e1b2
cpus-common: simplify locking for start_exclusive/end_exclusive
by Paolo Bonzini
· 8 years ago
cf07da6
cpus-common: remove redundant call to exclusive_idle()
by Paolo Bonzini
· 8 years ago
a200f2f
docs: include formal model for TCG exclusive sections
by Paolo Bonzini
· 8 years ago