Guest User

Untitled

a guest
Feb 18th, 2013
37
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. = CPU 0 = = CPU 1=
  2.  
  3. detach_and_destroy_domain {
  4. rcu_assign_pointer(cpu1_dom, NULL);
  5. }
  6.  
  7. dom = new_domain(...) {
  8. nr_cpus_busy = 0;
  9. set_idle(CPU 1);
  10. }
  11. clear_idle(CPU 1)
  12. dom = rcu_dereference(cpu1_dom)
  13. //dom == NULL, return
  14. rcu_assign_pointer(cpu1_dom, NULL);
  15.  
  16. set_idle(CPU 1)
  17. dom = rcu_dereference(cpu1_dom)
  18. //dec nr_cpus_busy, making it negative
RAW Paste Data