subject:"\[Xen\-devel\] spinlock wakeup"

Re: [Xen-devel] spinlock wakeup

2017-02-24 Thread Julien Grall

Hi Boris, On 24/02/17 16:15, Boris Ostrovsky wrote: Looking at void _spin_lock(spinlock_t *lock) { spinlock_tickets_t tickets = SPINLOCK_TICKET_INC; LOCK_PROFILE_VAR; check_lock(&lock->debug); tickets.head_tail = arch_fetch_and_add(&lock->tickets.head_tail,

[Xen-devel] spinlock wakeup

2017-02-24 Thread Boris Ostrovsky

Looking at void _spin_lock(spinlock_t *lock) { spinlock_tickets_t tickets = SPINLOCK_TICKET_INC; LOCK_PROFILE_VAR; check_lock(&lock->debug); tickets.head_tail = arch_fetch_and_add(&lock->tickets.head_tail, tickets.head_tail); while (