pub struct DoubleCheckedLockExecutor<L = (), T = ()> { /* private fields */ }Expand description
Reusable double-checked lock executor.
The executor owns the lock handle, condition tester, execution logger, and optional prepare lifecycle callbacks. Each execution performs:
- A first condition check outside the lock.
- Optional prepare action.
- Lock acquisition.
- A second condition check inside the lock.
- The submitted task.
- Optional prepare commit or rollback after the lock is released.
The tester is intentionally run both outside and inside the lock. Any state read by the first check must therefore use atomics or another synchronization mechanism that is safe without this executor’s lock.
§Type Parameters
L- The lock type implementingLock<T>.T- The data type protected by the lock.
§Examples
Use DoubleCheckedLockExecutor::builder to attach a lock (for example
crate::ArcMutex), set a Tester with
[ExecutorLockBuilder::when], then call Self::call, Self::execute,
Self::call_with, or Self::execute_with on the built executor.
use std::sync::{Arc, atomic::{AtomicBool, Ordering}};
use qubit_dcl::{DoubleCheckedLockExecutor, Lock};
use qubit_lock::ArcMutex;
use qubit_dcl::double_checked::ExecutionResult;
fn main() {
let data = ArcMutex::new(10);
let skip = Arc::new(AtomicBool::new(false));
let executor = DoubleCheckedLockExecutor::builder()
.on(data.clone())
.when({
let skip = skip.clone();
move || !skip.load(Ordering::Acquire)
})
.build();
let updated = executor
.call_with(|value: &mut i32| {
*value += 5;
Ok::<i32, std::io::Error>(*value)
})
.get_result();
assert!(matches!(updated, ExecutionResult::Success(15)));
assert_eq!(data.read(|value| *value), 15);
skip.store(true, Ordering::Release);
let skipped = executor
.call_with(|value: &mut i32| {
*value += 1;
Ok::<i32, std::io::Error>(*value)
})
.get_result();
assert!(matches!(skipped, ExecutionResult::ConditionNotMet));
assert_eq!(data.read(|value| *value), 15);
}§Author
Haixing Hu
Implementations§
Source§impl DoubleCheckedLockExecutor<(), ()>
impl DoubleCheckedLockExecutor<(), ()>
Sourcepub fn builder() -> ExecutorBuilder
pub fn builder() -> ExecutorBuilder
Creates a builder for a reusable double-checked lock executor.
§Returns
A builder in the initial state. Attach a lock with
ExecutorBuilder::on, then configure a tester with
[ExecutorLockBuilder::when].
Examples found in repository?
38fn main() -> Result<(), Box<dyn std::error::Error>> {
39 // Create shared state
40 let running = Arc::new(AtomicBool::new(false));
41 let data = ArcMutex::new(42);
42
43 println!(
44 "Initial state: running = {}",
45 running.load(Ordering::Acquire)
46 );
47 println!("Initial data: {}", data.read(|d| *d));
48
49 let executor = DoubleCheckedLockExecutor::builder()
50 .on(data.clone())
51 .when({
52 let running = running.clone();
53 move || running.load(Ordering::Acquire)
54 })
55 .build();
56
57 // Try to execute when service is not running (should fail)
58 let result = executor
59 .call_with(|value: &mut i32| {
60 *value += 1;
61 Ok::<_, ServiceError>(*value)
62 })
63 .get_result();
64
65 if result.is_success() {
66 println!("Unexpected success: {}", result.unwrap());
67 } else {
68 println!("Expected failure: Condition not met.");
69 }
70
71 // Start the service
72 running.store(true, Ordering::Release);
73 println!(
74 "Service started: running = {}",
75 running.load(Ordering::Acquire)
76 );
77
78 // Now execute should succeed
79 let result = executor
80 .call_with(|value: &mut i32| {
81 *value += 1;
82 Ok::<_, ServiceError>(*value)
83 })
84 .get_result();
85
86 if result.is_success() {
87 println!("Success: new value = {}", result.unwrap());
88 } else {
89 println!("Unexpected failure: {:?}", result);
90 }
91
92 // Verify the data was updated
93 println!("Final data: {}", data.read(|d| *d));
94
95 // Stop the service
96 running.store(false, Ordering::Release);
97 println!(
98 "Service stopped: running = {}",
99 running.load(Ordering::Acquire)
100 );
101
102 // Try to execute when service is stopped (should fail)
103 let result = executor
104 .call_with(|value: &mut i32| {
105 *value += 1;
106 Ok::<_, ServiceError>(*value)
107 })
108 .get_result();
109
110 if result.is_success() {
111 println!("Unexpected success: {}", result.unwrap());
112 } else {
113 println!("Expected failure: Condition not met.");
114 }
115
116 Ok(())
117}Source§impl<L, T> DoubleCheckedLockExecutor<L, T>where
L: Lock<T>,
impl<L, T> DoubleCheckedLockExecutor<L, T>where
L: Lock<T>,
Sourcepub fn new(builder: ExecutorReadyBuilder<L, T>) -> Self
pub fn new(builder: ExecutorReadyBuilder<L, T>) -> Self
Sourcepub fn call<C, R, E>(&self, task: C) -> ExecutionContext<R, E>
pub fn call<C, R, E>(&self, task: C) -> ExecutionContext<R, E>
Executes a zero-argument callable while holding the write lock.
Use Self::call_with when the task needs direct mutable access to the
protected data.
§Parameters
task- The callable task to execute after both condition checks pass.
§Returns
An ExecutionContext containing success, unmet-condition, or failure
information.
Sourcepub fn execute<Rn, E>(&self, task: Rn) -> ExecutionContext<(), E>
pub fn execute<Rn, E>(&self, task: Rn) -> ExecutionContext<(), E>
Executes a zero-argument runnable while holding the write lock.
§Parameters
task- The runnable task to execute after both condition checks pass.
§Returns
An ExecutionContext containing success, unmet-condition, or failure
information.
Sourcepub fn call_with<C, R, E>(&self, task: C) -> ExecutionContext<R, E>
pub fn call_with<C, R, E>(&self, task: C) -> ExecutionContext<R, E>
Executes a callable with mutable access to the protected data.
§Parameters
task- The callable receiving&mut Tafter both condition checks pass.
§Returns
An ExecutionContext containing success, unmet-condition, or failure
information.
Examples found in repository?
38fn main() -> Result<(), Box<dyn std::error::Error>> {
39 // Create shared state
40 let running = Arc::new(AtomicBool::new(false));
41 let data = ArcMutex::new(42);
42
43 println!(
44 "Initial state: running = {}",
45 running.load(Ordering::Acquire)
46 );
47 println!("Initial data: {}", data.read(|d| *d));
48
49 let executor = DoubleCheckedLockExecutor::builder()
50 .on(data.clone())
51 .when({
52 let running = running.clone();
53 move || running.load(Ordering::Acquire)
54 })
55 .build();
56
57 // Try to execute when service is not running (should fail)
58 let result = executor
59 .call_with(|value: &mut i32| {
60 *value += 1;
61 Ok::<_, ServiceError>(*value)
62 })
63 .get_result();
64
65 if result.is_success() {
66 println!("Unexpected success: {}", result.unwrap());
67 } else {
68 println!("Expected failure: Condition not met.");
69 }
70
71 // Start the service
72 running.store(true, Ordering::Release);
73 println!(
74 "Service started: running = {}",
75 running.load(Ordering::Acquire)
76 );
77
78 // Now execute should succeed
79 let result = executor
80 .call_with(|value: &mut i32| {
81 *value += 1;
82 Ok::<_, ServiceError>(*value)
83 })
84 .get_result();
85
86 if result.is_success() {
87 println!("Success: new value = {}", result.unwrap());
88 } else {
89 println!("Unexpected failure: {:?}", result);
90 }
91
92 // Verify the data was updated
93 println!("Final data: {}", data.read(|d| *d));
94
95 // Stop the service
96 running.store(false, Ordering::Release);
97 println!(
98 "Service stopped: running = {}",
99 running.load(Ordering::Acquire)
100 );
101
102 // Try to execute when service is stopped (should fail)
103 let result = executor
104 .call_with(|value: &mut i32| {
105 *value += 1;
106 Ok::<_, ServiceError>(*value)
107 })
108 .get_result();
109
110 if result.is_success() {
111 println!("Unexpected success: {}", result.unwrap());
112 } else {
113 println!("Expected failure: Condition not met.");
114 }
115
116 Ok(())
117}Sourcepub fn execute_with<Rn, E>(&self, task: Rn) -> ExecutionContext<(), E>
pub fn execute_with<Rn, E>(&self, task: Rn) -> ExecutionContext<(), E>
Executes a runnable with mutable access to the protected data.
§Parameters
task- The runnable receiving&mut Tafter both condition checks pass.
§Returns
An ExecutionContext containing success, unmet-condition, or failure
information.
Trait Implementations§
Source§impl<L: Clone, T: Clone> Clone for DoubleCheckedLockExecutor<L, T>
impl<L: Clone, T: Clone> Clone for DoubleCheckedLockExecutor<L, T>
Source§fn clone(&self) -> DoubleCheckedLockExecutor<L, T>
fn clone(&self) -> DoubleCheckedLockExecutor<L, T>
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read more