On Mon, Apr 07, 2014 at 08:54:52PM +0200, Frederic Weisbecker wrote:
> On Mon, Apr 07, 2014 at 11:11:55AM -0700, Paul E. McKenney wrote:
> > > On the upstream code, the first read of full_sysidle_state after exiting
> > > idle is not
> > > performed by an atomic operation. So I wonder if this is r
On Mon, Apr 07, 2014 at 11:11:55AM -0700, Paul E. McKenney wrote:
> > On the upstream code, the first read of full_sysidle_state after exiting
> > idle is not
> > performed by an atomic operation. So I wonder if this is right to put this
> > in the atomic section.
> >
> > I don't know the languag
On Fri, Apr 04, 2014 at 01:43:16AM +0200, Frederic Weisbecker wrote:
> On Sun, Mar 30, 2014 at 04:08:56PM -0700, Paul E. McKenney wrote:
> > For whatever it is worth, the following model claims safety and progress
> > for the sysidle state machine.
> >
> > Thoughts?
>
> I'm going to get fun of my
On Sun, Mar 30, 2014 at 04:08:56PM -0700, Paul E. McKenney wrote:
> For whatever it is worth, the following model claims safety and progress
> for the sysidle state machine.
>
> Thoughts?
I'm going to get fun of myself by risking a review of this. Warning,
I don't speak promelian, so I may well w
gt; > To: "Mathieu Desnoyers"
> > > > Cc: fweis...@gmail.com, pet...@infradead.org,
> > > > linux-kernel@vger.kernel.org
> > > > Sent: Thursday, April 3, 2014 1:21:58 PM
> > > > Subject: Re: Promela/spin model for NO_HZ_FULL_SYSID
- Original Message -
> From: "Paul E. McKenney"
> To: "Mathieu Desnoyers"
> Cc: fweis...@gmail.com, pet...@infradead.org, linux-kernel@vger.kernel.org
> Sent: Thursday, April 3, 2014 1:41:03 PM
> Subject: Re: Promela/spin model for NO_HZ_FULL_SYSIDLE c
gt; > To: "Mathieu Desnoyers"
> > > > Cc: fweis...@gmail.com, pet...@infradead.org,
> > > > linux-kernel@vger.kernel.org
> > > > Sent: Tuesday, April 1, 2014 10:50:44 PM
> > > > Subject: Re: Promela/spin model for NO_HZ_FULL_SYSIDLE code
&
- Original Message -
> From: "Paul E. McKenney"
> To: "Mathieu Desnoyers"
> Cc: fweis...@gmail.com, pet...@infradead.org, linux-kernel@vger.kernel.org
> Sent: Thursday, April 3, 2014 1:21:58 PM
> Subject: Re: Promela/spin model for NO_HZ_FULL_SYSIDLE c
sday, April 1, 2014 10:50:44 PM
> > Subject: Re: Promela/spin model for NO_HZ_FULL_SYSIDLE code
> >
> [...]
> > > Here is the experiment I did on this latest version: I just enabled the
> > > safety checking (not progress). I commented these line
- Original Message -
> From: "Paul E. McKenney"
> To: "Mathieu Desnoyers"
> Cc: fweis...@gmail.com, pet...@infradead.org, linux-kernel@vger.kernel.org
> Sent: Tuesday, April 1, 2014 10:50:44 PM
> Subject: Re: Promela/spin model for NO_HZ_FULL_SY
nal Message -
> > > > > From: "Paul E. McKenney"
> > > > > To: "Mathieu Desnoyers"
> > > > > Cc: fweis...@gmail.com, pet...@infradead.org,
> > > > > linux-kernel@vger.kernel.org
> > > > > Sent: Sund
- Original Message -
> From: "Paul E. McKenney"
> To: "Mathieu Desnoyers"
> Cc: fweis...@gmail.com, pet...@infradead.org, linux-kernel@vger.kernel.org
> Sent: Monday, March 31, 2014 1:23:19 PM
> Subject: Re: Promela/spin model for NO_HZ_FULL_SYSIDLE c
: fweis...@gmail.com, pet...@infradead.org, linux-kernel@vger.kernel.org
> > > Sent: Sunday, March 30, 2014 11:54:58 PM
> > > Subject: Re: Promela/spin model for NO_HZ_FULL_SYSIDLE code
> > >
> > > On Mon, Mar 31, 2014 at 03:29:25AM +, Mathieu Desnoyers wrote:
day, March 30, 2014 11:54:58 PM
> > Subject: Re: Promela/spin model for NO_HZ_FULL_SYSIDLE code
> >
> > On Mon, Mar 31, 2014 at 03:29:25AM +, Mathieu Desnoyers wrote:
> > > - Original Message -
> > > > From: "Paul E. McKenney"
> > &
- Original Message -
> From: "Paul E. McKenney"
> To: "Mathieu Desnoyers"
> Cc: fweis...@gmail.com, pet...@infradead.org, linux-kernel@vger.kernel.org
> Sent: Sunday, March 30, 2014 11:54:58 PM
> Subject: Re: Promela/spin model for NO_HZ_FULL_SYSIDL
On Mon, Mar 31, 2014 at 03:29:25AM +, Mathieu Desnoyers wrote:
> - Original Message -
> > From: "Paul E. McKenney"
> > To: fweis...@gmail.com, "mathieu desnoyers"
> > , pet...@infradead.org
> > Cc: linux-kernel@vger.kernel.org
> > Sent: Sunday, March 30, 2014 7:08:56 PM
> > Subject: P
- Original Message -
> From: "Mathieu Desnoyers"
> To: paul...@linux.vnet.ibm.com
> Cc: fweis...@gmail.com, pet...@infradead.org, linux-kernel@vger.kernel.org
> Sent: Sunday, March 30, 2014 11:29:25 PM
> Subject: Re: Promela/spin model for NO_HZ_FULL_SYSIDLE
- Original Message -
> From: "Paul E. McKenney"
> To: fweis...@gmail.com, "mathieu desnoyers" ,
> pet...@infradead.org
> Cc: linux-kernel@vger.kernel.org
> Sent: Sunday, March 30, 2014 7:08:56 PM
> Subject: Promela/spin model for NO_HZ_FULL_SYSIDLE code
>
> For whatever it is worth, the
18 matches
Mail list logo
