Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1753063AbWKLUH1 (ORCPT ); Sun, 12 Nov 2006 15:07:27 -0500 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S1753065AbWKLUH0 (ORCPT ); Sun, 12 Nov 2006 15:07:26 -0500 Received: from artax.karlin.mff.cuni.cz ([195.113.31.125]:56463 "EHLO artax.karlin.mff.cuni.cz") by vger.kernel.org with ESMTP id S1753063AbWKLUH0 (ORCPT ); Sun, 12 Nov 2006 15:07:26 -0500 Date: Sun, 12 Nov 2006 21:07:25 +0100 (CET) From: Mikulas Patocka To: Pavel Machek Cc: Albert Cahalan , linux-kernel@vger.kernel.org Subject: Re: 2048 CPUs [was: Re: New filesystem for Linux] In-Reply-To: <20061112142813.GA4371@ucw.cz> Message-ID: References: <787b0d920611041154l69db46abv4c8c467809ada57c@mail.gmail.com> <20061107212614.GA6730@ucw.cz> <20061107231456.GB7796@elf.ucw.cz> <20061110090303.GB3196@elf.ucw.cz> <20061112142813.GA4371@ucw.cz> X-Personality-Disorder: Schizoid MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 1360 Lines: 47 Hi! > Hi! > >>>> You can't tell that CPUs behave exactly >>>> probabilistically --- it may >>>> happen that one gets out of the wait loop always too >>>> late. >>> >>> Well, I don't need them to be _exactly_ >>> probabilistical. >>> >>> Anyway, if you have 2048 CPUs... you can perhaps get >>> some non-broken >>> ones. >> >> No intel document guarantees you that if more CPUs >> simultaneously execute locked cmpxchg in a loop that a > > If we are talking 2048 cpus, we are talking ia64. IA64 spinlock is locked cmpxchg, if failed than pause (i386 equivalent of rep nop) read the value, and if unlocked, try cmpxchg again. There is no fairness in it. >> CPU will see compare success in a finite time. In fact, >> CPUs can't guarantee this at all, because they don't >> know that they're executing a spinlock --- for them its >> just an instruction stream like anything else. > > ...even i386 has monitor/mwait these days. It also doesn't guarantee that subsequent locked instruction will take the lock after finite number of loops. Mikulas > Pavel > -- > Thanks for all the (sleeping) penguins. > - 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/