Re: [PATCH v2 1/2] xen/events: access last_priority and last_vcpu_id together

2020-10-20 Thread Jan Beulich
On 20.10.2020 12:01, Julien Grall wrote: > > > On 20/10/2020 10:34, Jan Beulich wrote: >> On 20.10.2020 11:25, Julien Grall wrote: >>> Given that evtchn->last_vcpu_id and evtchn->last_priority can only be >>> modified in evtchn_fifo_set_pending(), this suggests that it is expected >>> for the fun

Re: [PATCH v2 1/2] xen/events: access last_priority and last_vcpu_id together

2020-10-20 Thread Julien Grall
On 20/10/2020 10:34, Jan Beulich wrote: On 20.10.2020 11:25, Julien Grall wrote: Given that evtchn->last_vcpu_id and evtchn->last_priority can only be modified in evtchn_fifo_set_pending(), this suggests that it is expected for the function to multiple called concurrently on the same event ch

Re: [PATCH v2 1/2] xen/events: access last_priority and last_vcpu_id together

2020-10-20 Thread Jan Beulich
On 20.10.2020 11:25, Julien Grall wrote: > Hi Jan, > > On 16/10/2020 13:09, Jan Beulich wrote: >> On 16.10.2020 11:36, Julien Grall wrote: >>> On 15/10/2020 13:07, Jan Beulich wrote: On 14.10.2020 13:40, Julien Grall wrote: > On 13/10/2020 15:26, Jan Beulich wrote: >> On 13.10.2020 16

Re: [PATCH v2 1/2] xen/events: access last_priority and last_vcpu_id together

2020-10-20 Thread Julien Grall
Hi Jan, On 16/10/2020 13:09, Jan Beulich wrote: On 16.10.2020 11:36, Julien Grall wrote: On 15/10/2020 13:07, Jan Beulich wrote: On 14.10.2020 13:40, Julien Grall wrote: On 13/10/2020 15:26, Jan Beulich wrote: On 13.10.2020 16:20, Jürgen Groß wrote: Especially Julien was rather worried by t

Re: [PATCH v2 1/2] xen/events: access last_priority and last_vcpu_id together

2020-10-16 Thread Jan Beulich
On 16.10.2020 11:36, Julien Grall wrote: > On 15/10/2020 13:07, Jan Beulich wrote: >> On 14.10.2020 13:40, Julien Grall wrote: >>> On 13/10/2020 15:26, Jan Beulich wrote: On 13.10.2020 16:20, Jürgen Groß wrote: > Especially Julien was rather worried by the current situation. In > case

Re: [PATCH v2 1/2] xen/events: access last_priority and last_vcpu_id together

2020-10-16 Thread Julien Grall
On 15/10/2020 13:07, Jan Beulich wrote: On 14.10.2020 13:40, Julien Grall wrote: Hi Jan, On 13/10/2020 15:26, Jan Beulich wrote: On 13.10.2020 16:20, Jürgen Groß wrote: On 13.10.20 15:58, Jan Beulich wrote: On 12.10.2020 11:27, Juergen Gross wrote: The queue for a fifo event is depending

Re: [PATCH v2 1/2] xen/events: access last_priority and last_vcpu_id together

2020-10-15 Thread Jürgen Groß
On 15.10.20 14:07, Jan Beulich wrote: On 14.10.2020 13:40, Julien Grall wrote: Hi Jan, On 13/10/2020 15:26, Jan Beulich wrote: On 13.10.2020 16:20, Jürgen Groß wrote: On 13.10.20 15:58, Jan Beulich wrote: On 12.10.2020 11:27, Juergen Gross wrote: The queue for a fifo event is depending on t

Re: [PATCH v2 1/2] xen/events: access last_priority and last_vcpu_id together

2020-10-15 Thread Jan Beulich
On 14.10.2020 13:40, Julien Grall wrote: > Hi Jan, > > On 13/10/2020 15:26, Jan Beulich wrote: >> On 13.10.2020 16:20, Jürgen Groß wrote: >>> On 13.10.20 15:58, Jan Beulich wrote: On 12.10.2020 11:27, Juergen Gross wrote: > The queue for a fifo event is depending on the vcpu_id and the >>

Re: [PATCH v2 1/2] xen/events: access last_priority and last_vcpu_id together

2020-10-14 Thread Julien Grall
Hi Jan, On 13/10/2020 15:26, Jan Beulich wrote: On 13.10.2020 16:20, Jürgen Groß wrote: On 13.10.20 15:58, Jan Beulich wrote: On 12.10.2020 11:27, Juergen Gross wrote: The queue for a fifo event is depending on the vcpu_id and the priority of the event. When sending an event it might happen t

Re: [PATCH v2 1/2] xen/events: access last_priority and last_vcpu_id together

2020-10-13 Thread Jan Beulich
On 13.10.2020 16:20, Jürgen Groß wrote: > On 13.10.20 15:58, Jan Beulich wrote: >> On 12.10.2020 11:27, Juergen Gross wrote: >>> The queue for a fifo event is depending on the vcpu_id and the >>> priority of the event. When sending an event it might happen the >>> event needs to change queues and t

Re: [PATCH v2 1/2] xen/events: access last_priority and last_vcpu_id together

2020-10-13 Thread Jürgen Groß
On 13.10.20 15:58, Jan Beulich wrote: On 12.10.2020 11:27, Juergen Gross wrote: The queue for a fifo event is depending on the vcpu_id and the priority of the event. When sending an event it might happen the event needs to change queues and the old queue needs to be kept for keeping the links be

Re: [PATCH v2 1/2] xen/events: access last_priority and last_vcpu_id together

2020-10-13 Thread Jan Beulich
On 12.10.2020 11:27, Juergen Gross wrote: > The queue for a fifo event is depending on the vcpu_id and the > priority of the event. When sending an event it might happen the > event needs to change queues and the old queue needs to be kept for > keeping the links between queue elements intact. For

RE: [PATCH v2 1/2] xen/events: access last_priority and last_vcpu_id together

2020-10-12 Thread Paul Durrant
Of > >> Juergen Gross > >> Sent: 12 October 2020 10:28 > >> To: xen-devel@lists.xenproject.org > >> Cc: Juergen Gross ; Andrew Cooper > >> ; George Dunlap > >> ; Ian Jackson ; Jan Beulich > >> ; > Julien > >> Grall ;

Re: [PATCH v2 1/2] xen/events: access last_priority and last_vcpu_id together

2020-10-12 Thread Jürgen Groß
Liu Subject: [PATCH v2 1/2] xen/events: access last_priority and last_vcpu_id together The queue for a fifo event is depending on the vcpu_id and the priority of the event. When sending an event it might happen the event needs to change queues and the old queue needs to be kept for keeping the

RE: [PATCH v2 1/2] xen/events: access last_priority and last_vcpu_id together

2020-10-12 Thread Paul Durrant
ellini ; Wei Liu > > Subject: [PATCH v2 1/2] xen/events: access last_priority and last_vcpu_id > together > > The queue for a fifo event is depending on the vcpu_id and the > priority of the event. When sending an event it might happen the > event needs to change queues and the

[PATCH v2 1/2] xen/events: access last_priority and last_vcpu_id together

2020-10-12 Thread Juergen Gross
The queue for a fifo event is depending on the vcpu_id and the priority of the event. When sending an event it might happen the event needs to change queues and the old queue needs to be kept for keeping the links between queue elements intact. For this purpose the event channel contains last_prior