Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S933093AbZGPTTP (ORCPT ); Thu, 16 Jul 2009 15:19:15 -0400 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S933069AbZGPTTO (ORCPT ); Thu, 16 Jul 2009 15:19:14 -0400 Received: from fafnir.cs.unc.edu ([152.2.129.90]:51239 "EHLO fafnir.cs.unc.edu" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S932940AbZGPTTO (ORCPT ); Thu, 16 Jul 2009 15:19:14 -0400 Date: Thu, 16 Jul 2009 15:18:26 -0400 (EDT) From: "James H. Anderson" To: Raj Rajkumar cc: Ted Baker , Noah Watkins , Peter Zijlstra , Raistlin , Douglas Niehaus , Henrik Austad , LKML , Ingo Molnar , Bill Huey , "Linux RT Fabio Checconi" , Thomas Gleixner , Dhaval Giani , Tommaso Cucinotta , Giuseppe Lipari , Bjoern Brandenburg Subject: Re: [Fwd: Re: RFC for a new Scheduling policy/class in the Linux-kernel] In-Reply-To: <4A5F7254.3020809@ece.cmu.edu> Message-ID: References: <4A5F7254.3020809@ece.cmu.edu> User-Agent: Alpine 2.00 (LRH 1167 2008-08-23) MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 826 Lines: 23 Hi Raj, On Thu, 16 Jul 2009, Raj Rajkumar wrote: > non-preemptive critical section. In addition, we could allow mutexes > to either pick basic priority inheritance (desirable for local mutexes?) > or the priority ceiling version (desirable for global mutexes shared > across processors/cores). This discussion when I entered it was about using global scheduling in Linux (not partitioning), so that's what I thought the focus of the discussion was. What's the definition of a local mutex in that case? And how do you use ceilings under global scheduling? Thanks. -Jim -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/