Mercurial > public > mercurial-scm > hg
annotate rust/pyo3-sharedref/tests/test_sharedref.rs @ 52612:a945845137b1
rust-pyo3-sharedref: share/map methods on PyShareable
The pattern to borrow (with owner) for the sole purpose of calling
`share_immutable`, and then `map()` is pretty common, being exactly
what is needed in the constructors of derived Python objects.
we therefore introduce new helpers doing exactly that. We keep the
intermediate `share()` and `try_share()` that are used in integration
tests, but is is possible that consumers of the API never need it.
A nice feature of the new `share_map()` helper is that it collapses
all the unsafety in constructors of derived object to one call. It makes
sense, since the reason for unsafety is the same all along the call stack:
the `owner` object, that cannot be guessed from `PyShareable` itself, must
be the right one.
It is remarkable that it is only at this point that the compiler insists
that `T` should be `'static`, which is actually very reasonable, as it
encompasses owned data. We could have set it since the beginning, but the
added value is low, as PyO3 would not let us use some `PyShareable<&'a T>`
as a Python object data field (with `'a` not outliving `'static` of course)
author | Georges Racinet <georges.racinet@cloudcrane.io> |
---|---|
date | Sun, 15 Dec 2024 15:36:11 +0100 |
parents | 4a73eb3923ac |
children | ac0cb3c334a1 |
rev | line source |
---|---|
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
1 use pyo3::prelude::*; |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
2 use pyo3_sharedref::*; |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
3 |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
4 #[pyclass] |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
5 struct Owner { |
52610
c25d345f5aa5
rust-pyo3-sharedref: renamed PySharedRefCell to PyShareable
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52609
diff
changeset
|
6 string: PyShareable<String>, |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
7 } |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
8 |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
9 #[pymethods] |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
10 impl Owner { |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
11 #[new] |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
12 fn new(s: String) -> Self { |
52608
d85514a88706
rust-pyo3-sharedref: reworked constructors
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52607
diff
changeset
|
13 Self { string: s.into() } |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
14 } |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
15 } |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
16 |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
17 fn with_setup( |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
18 test: impl FnOnce(Python<'_>, &Bound<'_, Owner>) -> PyResult<()>, |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
19 ) -> PyResult<()> { |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
20 pyo3::prepare_freethreaded_python(); |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
21 Python::with_gil(|py| { |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
22 let owner = Bound::new(py, Owner::new("new".to_owned()))?; |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
23 test(py, &owner) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
24 }) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
25 } |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
26 |
52611
4a73eb3923ac
rust-pyo3-sharedref: renamed UnsafePyLeaked to SharedByPyObject
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52610
diff
changeset
|
27 /// "leak" in the sense of `SharedByPyObject` the `string` data field, |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
28 /// taking care of all the boilerplate |
52611
4a73eb3923ac
rust-pyo3-sharedref: renamed UnsafePyLeaked to SharedByPyObject
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52610
diff
changeset
|
29 fn leak_string(owner: &Bound<'_, Owner>) -> SharedByPyObject<&'static String> { |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
30 let cell = &owner.borrow().string; |
52612
a945845137b1
rust-pyo3-sharedref: share/map methods on PyShareable
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52611
diff
changeset
|
31 unsafe { cell.share(owner) } |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
32 } |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
33 |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
34 fn try_leak_string( |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
35 owner: &Bound<'_, Owner>, |
52611
4a73eb3923ac
rust-pyo3-sharedref: renamed UnsafePyLeaked to SharedByPyObject
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52610
diff
changeset
|
36 ) -> Result<SharedByPyObject<&'static String>, TryShareError> { |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
37 let cell = &owner.borrow().string; |
52612
a945845137b1
rust-pyo3-sharedref: share/map methods on PyShareable
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52611
diff
changeset
|
38 unsafe { cell.try_share(owner) } |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
39 } |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
40 |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
41 /// Mutate the `string` field of `owner` as would be done from Python code |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
42 /// |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
43 /// This is to simulate normal mutation of the owner object from |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
44 /// the Python interpreter. This could be replaced by methods of [`Owner`] |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
45 /// (wih closure replaced by a small fixed operations) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
46 /// and perhaps will, once we are done converting the original tests |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
47 /// from rust-cpython |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
48 fn mutate_string<'py>( |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
49 owner: &'py Bound<'py, Owner>, |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
50 f: impl FnOnce(&mut String), |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
51 ) -> () { |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
52 let cell = &owner.borrow_mut().string; |
52608
d85514a88706
rust-pyo3-sharedref: reworked constructors
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52607
diff
changeset
|
53 let shared_ref = unsafe { cell.borrow_with_owner(owner) }; |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
54 f(&mut shared_ref.write()); |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
55 } |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
56 |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
57 #[test] |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
58 fn test_leaked_borrow() -> PyResult<()> { |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
59 with_setup(|py, owner| { |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
60 let leaked = leak_string(owner); |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
61 let leaked_ref = unsafe { leaked.try_borrow(py) }.unwrap(); |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
62 assert_eq!(*leaked_ref, "new"); |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
63 Ok(()) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
64 }) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
65 } |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
66 |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
67 #[test] |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
68 fn test_leaked_borrow_mut() -> PyResult<()> { |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
69 with_setup(|py, owner| { |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
70 let leaked = leak_string(owner); |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
71 let mut leaked_iter = unsafe { leaked.map(py, |s| s.chars()) }; |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
72 let mut leaked_ref = |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
73 unsafe { leaked_iter.try_borrow_mut(py) }.unwrap(); |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
74 assert_eq!(leaked_ref.next(), Some('n')); |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
75 assert_eq!(leaked_ref.next(), Some('e')); |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
76 assert_eq!(leaked_ref.next(), Some('w')); |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
77 assert_eq!(leaked_ref.next(), None); |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
78 Ok(()) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
79 }) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
80 } |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
81 |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
82 #[test] |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
83 fn test_leaked_borrow_after_mut() -> PyResult<()> { |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
84 with_setup(|py, owner| { |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
85 let leaked = leak_string(owner); |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
86 mutate_string(owner, String::clear); |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
87 assert!(unsafe { leaked.try_borrow(py) }.is_err()); |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
88 Ok(()) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
89 }) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
90 } |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
91 |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
92 #[test] |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
93 fn test_leaked_borrow_mut_after_mut() -> PyResult<()> { |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
94 with_setup(|py, owner| { |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
95 let leaked = leak_string(owner); |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
96 let mut leaked_iter = unsafe { leaked.map(py, |s| s.chars()) }; |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
97 |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
98 mutate_string(owner, String::clear); |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
99 assert!(unsafe { leaked_iter.try_borrow_mut(py) }.is_err()); |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
100 Ok(()) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
101 }) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
102 } |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
103 |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
104 #[test] |
52611
4a73eb3923ac
rust-pyo3-sharedref: renamed UnsafePyLeaked to SharedByPyObject
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52610
diff
changeset
|
105 #[should_panic(expected = "map() over invalidated shared reference")] |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
106 fn test_leaked_map_after_mut() { |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
107 with_setup(|py, owner| { |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
108 let leaked = leak_string(owner); |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
109 mutate_string(owner, String::clear); |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
110 let _leaked_iter = unsafe { leaked.map(py, |s| s.chars()) }; |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
111 Ok(()) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
112 }) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
113 .expect("should already have panicked") |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
114 } |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
115 |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
116 /// run `try_borrow_mut` on the `string` field and assert it is not an error |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
117 /// |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
118 /// Simply returning the `Result` is not possible, because that is |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
119 /// returning a reference to data owned by the function |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
120 fn assert_try_write_string_ok(owner: &Bound<'_, Owner>) { |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
121 let cell = &owner.borrow().string; |
52608
d85514a88706
rust-pyo3-sharedref: reworked constructors
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52607
diff
changeset
|
122 let shared_ref = unsafe { cell.borrow_with_owner(owner) }; |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
123 assert!(shared_ref.try_write().is_ok()); |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
124 } |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
125 |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
126 fn assert_try_write_string_err(owner: &Bound<'_, Owner>) { |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
127 let cell = &owner.borrow().string; |
52608
d85514a88706
rust-pyo3-sharedref: reworked constructors
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52607
diff
changeset
|
128 let shared_ref = unsafe { cell.borrow_with_owner(owner) }; |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
129 assert!(shared_ref.try_write().is_err()); |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
130 } |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
131 |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
132 fn assert_try_read_string_err(owner: &Bound<'_, Owner>) { |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
133 let cell = &owner.borrow().string; |
52608
d85514a88706
rust-pyo3-sharedref: reworked constructors
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52607
diff
changeset
|
134 let shared_ref = unsafe { cell.borrow_with_owner(owner) }; |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
135 assert!(shared_ref.try_read().is_err()); |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
136 } |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
137 |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
138 #[test] |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
139 fn test_try_write_while_leaked_ref() -> PyResult<()> { |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
140 with_setup(|py, owner| { |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
141 assert_try_write_string_ok(owner); |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
142 let leaked = leak_string(owner); |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
143 { |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
144 let _leaked_ref = unsafe { leaked.try_borrow(py) }.unwrap(); |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
145 assert_try_write_string_err(owner); |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
146 { |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
147 let _leaked_ref2 = unsafe { leaked.try_borrow(py) }.unwrap(); |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
148 assert_try_write_string_err(owner); |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
149 } |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
150 assert_try_write_string_err(owner); |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
151 } |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
152 assert_try_write_string_ok(owner); |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
153 Ok(()) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
154 }) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
155 } |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
156 |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
157 #[test] |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
158 fn test_try_write_while_leaked_ref_mut() -> PyResult<()> { |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
159 with_setup(|py, owner| { |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
160 assert_try_write_string_ok(owner); |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
161 let leaked = leak_string(owner); |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
162 let mut leaked_iter = unsafe { leaked.map(py, |s| s.chars()) }; |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
163 { |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
164 let _leaked_ref = |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
165 unsafe { leaked_iter.try_borrow_mut(py) }.unwrap(); |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
166 assert_try_write_string_err(owner); |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
167 } |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
168 assert_try_write_string_ok(owner); |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
169 Ok(()) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
170 }) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
171 } |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
172 |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
173 #[test] |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
174 fn test_try_leak_while_write() -> PyResult<()> { |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
175 with_setup(|_py, owner| { |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
176 let cell = &owner.borrow().string; |
52608
d85514a88706
rust-pyo3-sharedref: reworked constructors
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52607
diff
changeset
|
177 let shared_ref = unsafe { cell.borrow_with_owner(owner) }; |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
178 let _mut_ref = shared_ref.write(); |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
179 |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
180 assert!(try_leak_string(owner).is_err()); |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
181 Ok(()) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
182 }) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
183 } |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
184 |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
185 #[test] |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
186 #[should_panic(expected = "already mutably borrowed")] |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
187 fn test_leak_while_write() { |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
188 with_setup(|_py, owner| { |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
189 let cell = &owner.borrow().string; |
52608
d85514a88706
rust-pyo3-sharedref: reworked constructors
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52607
diff
changeset
|
190 let shared_ref = unsafe { cell.borrow_with_owner(owner) }; |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
191 let _mut_ref = shared_ref.write(); |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
192 |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
193 leak_string(owner); |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
194 Ok(()) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
195 }) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
196 .expect("should already have panicked") |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
197 } |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
198 |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
199 #[test] |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
200 fn test_try_write_while_borrow() -> PyResult<()> { |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
201 with_setup(|_py, owner| { |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
202 let cell = &owner.borrow().string; |
52608
d85514a88706
rust-pyo3-sharedref: reworked constructors
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52607
diff
changeset
|
203 let shared_ref = unsafe { cell.borrow_with_owner(owner) }; |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
204 let _ref = shared_ref.read(); |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
205 |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
206 assert_try_write_string_err(owner); |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
207 Ok(()) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
208 }) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
209 } |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
210 |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
211 #[test] |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
212 #[should_panic(expected = "already borrowed")] |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
213 fn test_write_while_borrow() { |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
214 with_setup(|_py, owner| { |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
215 let cell = &owner.borrow().string; |
52608
d85514a88706
rust-pyo3-sharedref: reworked constructors
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52607
diff
changeset
|
216 let shared_ref = unsafe { cell.borrow_with_owner(owner) }; |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
217 let _ref = shared_ref.read(); |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
218 |
52608
d85514a88706
rust-pyo3-sharedref: reworked constructors
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52607
diff
changeset
|
219 let shared_ref2 = unsafe { cell.borrow_with_owner(owner) }; |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
220 let _mut_ref = shared_ref2.write(); |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
221 Ok(()) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
222 }) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
223 .expect("should already have panicked") |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
224 } |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
225 |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
226 #[test] |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
227 fn test_try_borrow_while_write() -> PyResult<()> { |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
228 with_setup(|_py, owner| { |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
229 let cell = &owner.borrow().string; |
52608
d85514a88706
rust-pyo3-sharedref: reworked constructors
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52607
diff
changeset
|
230 let shared_ref = unsafe { cell.borrow_with_owner(owner) }; |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
231 let _mut_ref = shared_ref.write(); |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
232 |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
233 assert_try_read_string_err(owner); |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
234 Ok(()) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
235 }) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
236 } |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
237 |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
238 #[test] |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
239 #[should_panic(expected = "already mutably borrowed")] |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
240 fn test_borrow_while_write() { |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
241 with_setup(|_py, owner| { |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
242 let cell = &owner.borrow().string; |
52608
d85514a88706
rust-pyo3-sharedref: reworked constructors
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52607
diff
changeset
|
243 let shared_ref = unsafe { cell.borrow_with_owner(owner) }; |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
244 let _mut_ref = shared_ref.write(); |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
245 |
52608
d85514a88706
rust-pyo3-sharedref: reworked constructors
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52607
diff
changeset
|
246 let shared_ref2 = unsafe { cell.borrow_with_owner(owner) }; |
52609
d1e304025b90
rust-pyo3-sharedref: replaced borrow/borrow_mut with RwLock namings
Georges Racinet <georges.racinet@cloudcrane.io>
parents:
52608
diff
changeset
|
247 let _ref = shared_ref2.read(); |
52607
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
248 Ok(()) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
249 }) |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
250 .expect("should already have panicked") |
a7d2529ed6dd
rust-pyo3-sharedref: converted integration tests from rust-cpython
Georges Racinet <georges.racinet@octobus.net>
parents:
diff
changeset
|
251 } |