task.rs 6.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218
  1. //! Verify that tasks get polled by the virtualdom properly, and that we escape wait_for_work safely
  2. use std::{sync::atomic::AtomicUsize, time::Duration};
  3. use dioxus::prelude::*;
  4. async fn run_vdom(app: fn() -> Element) {
  5. let mut dom = VirtualDom::new(app);
  6. dom.rebuild(&mut dioxus_core::NoOpMutations);
  7. tokio::select! {
  8. _ = dom.wait_for_work() => {}
  9. _ = tokio::time::sleep(Duration::from_millis(500)) => {}
  10. };
  11. }
  12. #[tokio::test]
  13. async fn running_async() {
  14. static POLL_COUNT: AtomicUsize = AtomicUsize::new(0);
  15. fn app() -> Element {
  16. use_hook(|| {
  17. spawn(async {
  18. for x in 0..10 {
  19. tokio::time::sleep(Duration::from_micros(50)).await;
  20. POLL_COUNT.fetch_add(x, std::sync::atomic::Ordering::Relaxed);
  21. }
  22. });
  23. spawn(async {
  24. for x in 0..10 {
  25. tokio::time::sleep(Duration::from_micros(25)).await;
  26. POLL_COUNT.fetch_add(x * 2, std::sync::atomic::Ordering::Relaxed);
  27. }
  28. });
  29. });
  30. rsx!({})
  31. }
  32. run_vdom(app).await;
  33. // By the time the tasks are finished, we should've accumulated ticks from two tasks
  34. // Be warned that by setting the delay to too short, tokio might not schedule in the tasks
  35. assert_eq!(
  36. POLL_COUNT.fetch_add(0, std::sync::atomic::Ordering::Relaxed),
  37. 135
  38. );
  39. }
  40. #[tokio::test]
  41. async fn spawn_forever_persists() {
  42. use std::sync::atomic::Ordering;
  43. static POLL_COUNT: AtomicUsize = AtomicUsize::new(0);
  44. fn app() -> Element {
  45. if generation() > 0 {
  46. rsx!(div {})
  47. } else {
  48. needs_update();
  49. rsx!(Child {})
  50. }
  51. }
  52. #[component]
  53. fn Child() -> Element {
  54. spawn_forever(async move {
  55. loop {
  56. POLL_COUNT.fetch_add(1, Ordering::Relaxed);
  57. tokio::time::sleep(Duration::from_millis(50)).await;
  58. }
  59. });
  60. rsx!(div {})
  61. }
  62. let mut dom = VirtualDom::new(app);
  63. dom.rebuild(&mut dioxus_core::NoOpMutations);
  64. dom.render_immediate(&mut dioxus_core::NoOpMutations);
  65. tokio::select! {
  66. _ = dom.wait_for_work() => {}
  67. _ = tokio::time::sleep(Duration::from_millis(500)) => {}
  68. };
  69. // By the time the tasks are finished, we should've accumulated ticks from two tasks
  70. // Be warned that by setting the delay to too short, tokio might not schedule in the tasks
  71. assert_eq!(POLL_COUNT.load(Ordering::Relaxed), 10);
  72. }
  73. /// Prove that yield_now doesn't cause a deadlock
  74. #[tokio::test]
  75. async fn yield_now_works() {
  76. thread_local! {
  77. static SEQUENCE: std::cell::RefCell<Vec<usize>> = const { std::cell::RefCell::new(Vec::new()) };
  78. }
  79. fn app() -> Element {
  80. // these two tasks should yield to eachother
  81. use_hook(|| {
  82. spawn(async move {
  83. for _ in 0..10 {
  84. tokio::task::yield_now().await;
  85. SEQUENCE.with(|s| s.borrow_mut().push(1));
  86. }
  87. })
  88. });
  89. use_hook(|| {
  90. spawn(async move {
  91. for _ in 0..10 {
  92. tokio::task::yield_now().await;
  93. SEQUENCE.with(|s| s.borrow_mut().push(2));
  94. }
  95. })
  96. });
  97. rsx!({})
  98. }
  99. run_vdom(app).await;
  100. SEQUENCE.with(|s| assert_eq!(s.borrow().len(), 20));
  101. }
  102. /// Ensure that calling wait_for_flush waits for dioxus to finish its synchronous work
  103. #[tokio::test]
  104. async fn flushing() {
  105. thread_local! {
  106. static SEQUENCE: std::cell::RefCell<Vec<usize>> = const { std::cell::RefCell::new(Vec::new()) };
  107. static BROADCAST: (tokio::sync::broadcast::Sender<()>, tokio::sync::broadcast::Receiver<()>) = tokio::sync::broadcast::channel(1);
  108. }
  109. fn app() -> Element {
  110. if generation() > 0 {
  111. println!("App");
  112. SEQUENCE.with(|s| s.borrow_mut().push(0));
  113. }
  114. // The next two tasks mimic effects. They should only be run after the app has been rendered
  115. use_hook(|| {
  116. spawn(async move {
  117. let mut channel = BROADCAST.with(|b| b.1.resubscribe());
  118. for _ in 0..10 {
  119. wait_for_next_render().await;
  120. println!("Task 1 recved");
  121. channel.recv().await.unwrap();
  122. println!("Task 1");
  123. SEQUENCE.with(|s| s.borrow_mut().push(1));
  124. }
  125. })
  126. });
  127. use_hook(|| {
  128. spawn(async move {
  129. let mut channel = BROADCAST.with(|b| b.1.resubscribe());
  130. for _ in 0..10 {
  131. wait_for_next_render().await;
  132. println!("Task 2 recved");
  133. channel.recv().await.unwrap();
  134. println!("Task 2");
  135. SEQUENCE.with(|s| s.borrow_mut().push(2));
  136. }
  137. })
  138. });
  139. rsx! {}
  140. }
  141. let mut dom = VirtualDom::new(app);
  142. dom.rebuild(&mut dioxus_core::NoOpMutations);
  143. let fut = async {
  144. // Trigger the flush by waiting for work
  145. for i in 0..10 {
  146. BROADCAST.with(|b| b.0.send(()).unwrap());
  147. dom.mark_dirty(ScopeId(0));
  148. dom.wait_for_work().await;
  149. dom.render_immediate(&mut dioxus_core::NoOpMutations);
  150. println!("Flushed {}", i);
  151. }
  152. BROADCAST.with(|b| b.0.send(()).unwrap());
  153. dom.wait_for_work().await;
  154. };
  155. tokio::select! {
  156. _ = fut => {}
  157. _ = tokio::time::sleep(Duration::from_millis(500)) => {
  158. println!("Aborting due to timeout");
  159. }
  160. };
  161. SEQUENCE.with(|s| {
  162. let s = s.borrow();
  163. println!("{:?}", s);
  164. assert_eq!(s.len(), 30);
  165. // We need to check if every three elements look like [0, 1, 2] or [0, 2, 1]
  166. let mut has_seen_1 = false;
  167. for (i, &x) in s.iter().enumerate() {
  168. let stage = i % 3;
  169. if stage == 0 {
  170. assert_eq!(x, 0);
  171. } else if stage == 1 {
  172. assert!(x == 1 || x == 2);
  173. has_seen_1 = x == 1;
  174. } else if stage == 2 {
  175. if has_seen_1 {
  176. assert_eq!(x, 2);
  177. } else {
  178. assert_eq!(x, 1);
  179. }
  180. }
  181. }
  182. });
  183. }