1. 15 Oct, 2014 1 commit
  2. 26 Sep, 2014 2 commits
  3. 25 Sep, 2014 1 commit
  4. 22 Sep, 2014 1 commit
  5. 20 Sep, 2014 1 commit
  6. 18 Aug, 2014 1 commit
  7. 15 Aug, 2014 4 commits
  8. 12 Aug, 2014 1 commit
  9. 24 Jul, 2014 5 commits
  10. 09 Jul, 2014 1 commit
    • Paolo Bonzini's avatar
      AioContext: speed up aio_notify · 0ceb849b
      Paolo Bonzini authored
      In many cases, the call to event_notifier_set in aio_notify is unnecessary.
      In particular, if we are executing aio_dispatch, or if aio_poll is not
      blocking, we know that we will soon get to the next loop iteration (if
      necessary); the thread that hosts the AioContext's event loop does not
      need any nudging.
      
      The patch includes a Promela formal model that shows that this really
      works and does not need any further complication such as generation
      counts.  It needs a memory barrier though.
      
      The generation counts are not needed because any change to
      ctx->dispatching after the memory barrier is okay for aio_notify.
      If it changes from zero to one, it is the right thing to skip
      event_notifier_set.  If it changes from one to zero, the
      event_notifier_set is unnecessary but harmless.
      Signed-off-by: default avatarPaolo Bonzini <pbonzini@redhat.com>
      Signed-off-by: default avatarKevin Wolf <kwolf@redhat.com>
      0ceb849b
  11. 01 Jul, 2014 1 commit
  12. 29 Jun, 2014 3 commits
  13. 27 Jun, 2014 3 commits
  14. 23 Jun, 2014 15 commits