Received: by 2002:a05:6a10:f347:0:0:0:0 with SMTP id d7csp3472172pxu; Tue, 8 Dec 2020 13:01:30 -0800 (PST) X-Google-Smtp-Source: ABdhPJy0Ipwd/praToEdxNbW75k1nM5wyq1zi89okg1mnGmWTTe6Wyw98miBiqThwnJ0Lfj5YTlB X-Received: by 2002:aa7:cb49:: with SMTP id w9mr26653873edt.357.1607461290127; Tue, 08 Dec 2020 13:01:30 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1607461290; cv=none; d=google.com; s=arc-20160816; b=kCexxu3LENuV4cD5dsNxcDcQpeR02zNmGjkEuJLKW0CKTRJW9SHvkKIDj2TWPG11kK DeiAQ/5UBm5xiFodiBp4d4YU4m+Bp5Vvv7xwEOrl1Rp5tUmuux9PLj/Yv44niYh/lbz4 GeBJ05iblJqQEIWzNauF4pX8EJz4PGzQBUzHx0zhc9czIVnRA31Xz1R4h6v0SttfKYVS Wl16vQniJGcJmN7NXnQ2fTibBV9kOMH97BdeX7+G1SmbmyT3zxp/6XqvJdXvRmBdrEUt TCEJoeSneLL5QAdZ2MyvZXXHDgnU0uDCcV/GWOWOs6ZHk3BEFVtnPdpjQbAzZSTeOGz+ ZJ0A== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:cc:to:subject:message-id:date:from:in-reply-to :references:mime-version:dkim-signature; bh=FpPpi8VoMtsoCPIRy8jenvKh8eCrXui01GBoXCmAibc=; b=hbBXN/PFgTZhz1VkcgN3T/j4AjLzAwt3WtSprw75olgq5Rk1yOgGSgp3qBlfRlUH0X ECbTvlG+ClDcWWlXc/XYG2TNHB33hxZtvdw4T9L+1l0gRZE0i5pOW/bJaJv3HtDqqNLb g6DOPiSzuSbIb1OIB6hL8CvbZSQEFo72T4RYJW+ZXe5S0BWV59bDNZ+QbCg7gzN2TayX YPQ2flovYiNERNPsTnGhl60dEf39yruslA7s4ziSiuxTErKBUgBCYCU0x02KXDgMpCc6 UE5meukFJmctlXg0MfXCaPxGbG2ZtOd/40Pu/y2nxBd+tmywSu6dMJbZInfYgqOgH5DJ bNjQ== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@google.com header.s=20161025 header.b=Gje8dhYA; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=google.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id i24si8823743eja.372.2020.12.08.13.01.07; Tue, 08 Dec 2020 13:01:30 -0800 (PST) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18; Authentication-Results: mx.google.com; dkim=pass header.i=@google.com header.s=20161025 header.b=Gje8dhYA; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=google.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1730147AbgLHUcM (ORCPT + 99 others); Tue, 8 Dec 2020 15:32:12 -0500 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:39666 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726697AbgLHUcL (ORCPT ); Tue, 8 Dec 2020 15:32:11 -0500 Received: from mail-pl1-x641.google.com (mail-pl1-x641.google.com [IPv6:2607:f8b0:4864:20::641]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 958F7C061794 for ; Tue, 8 Dec 2020 12:31:31 -0800 (PST) Received: by mail-pl1-x641.google.com with SMTP id y8so1586357plp.8 for ; Tue, 08 Dec 2020 12:31:31 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=FpPpi8VoMtsoCPIRy8jenvKh8eCrXui01GBoXCmAibc=; b=Gje8dhYAHnzmhozDV6nyAB+eibl0NgYpORU05kDPkIsFQm37tYrnN4/L5WpaA6uvS+ +dHvy4ZXN5zo4qJlmIohacYz1zhwiR/rtYyTWwJJkoG/BYkpxYe4DqDiHWO1G0udLWou 1SE763ZcU8jYBPs4Sw8FnjLo5u6/kP+LatT4YlexzoE/lP6uul6Bwq7qCPg8w9eQDohr GADmErF1mrU4ZhcphF1gcZDAHe1M4sEMEjXCsCP6RDQPv+yg+Ad6+iXiDc+OU9sLeEGp f10bwiv7KZrCdvjE52W3zNx8L0cQ8XX6FbT+jBECaVlKTrFlaRkYVNHsf/Nozqzzrro7 qBuQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=FpPpi8VoMtsoCPIRy8jenvKh8eCrXui01GBoXCmAibc=; b=ShUJsbzL9kNRNrIb8UG6k6uRdTwr32ULFG3k5BDxbEYhwI2nf0+4O2kEeEZe4J0MRT XRKmnM6uz/LWtIPSRB+1bkcrMdk6WskF280Wzh/wDFV5Al0toLLODLcl6mo73Z/BvMAX Iz+Uvsc+18IU4JBUdTRfVe/J18OznsosgZANdjTWqVNU2jC9+TsavfHvlbGuLJSRRKVG STlkoiREQF5TT4+ZH2P0st3tXM0d0SRd6UvkSvc/tl5IkN9jGKqM+fiOCvh2p9va6E1W uB+Sw5Xuiri1fjoNZsySb/Spc7dV/IDnoCHLVZiQ5Q+tIYm+p/KxawuEOnQlyBn7C1Tp INsw== X-Gm-Message-State: AOAM5326XlO16y3y5bwdS4w5tok/U6L6DR+hQM4JmCdigQPJGNQni9jb E2nCVb9/eZau0vffnchbz+USJYc3rF7I5LocZi1gs4A9YGseXg== X-Received: by 2002:ad4:59d2:: with SMTP id el18mr22835717qvb.35.1607457778234; Tue, 08 Dec 2020 12:02:58 -0800 (PST) MIME-Version: 1.0 References: <20200721041742.197354-1-sergey.senozhatsky@gmail.com> <20200817020310.GA1210848@jagdpanzerIV.localdomain> <20200911085841.GB562@jagdpanzerIV.localdomain> In-Reply-To: <20200911085841.GB562@jagdpanzerIV.localdomain> From: Joel Fernandes Date: Tue, 8 Dec 2020 15:02:47 -0500 Message-ID: Subject: Re: [RFC][PATCH 0/4] arm64:kvm: teach guest sched that VCPUs can be preempted To: Sergey Senozhatsky Cc: Marc Zyngier , yezengruan , Will Deacon , LKML , Suleiman Souhlal , kvmarm@lists.cs.columbia.edu, "moderated list:ARM64 PORT (AARCH64 ARCHITECTURE)" , "Wanghaibin (D)" , Quentin Perret Content-Type: text/plain; charset="UTF-8" Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Fri, Sep 11, 2020 at 4:58 AM Sergey Senozhatsky wrote: > > My apologies for the slow reply. > > On (20/08/17 13:25), Marc Zyngier wrote: > > > > It really isn't the same thing at all. You are exposing PV spinlocks, > > while Sergey exposes preemption to vcpus. > > > > Correct, we see vcpu preemption as a "fundamental" feature, with > consequences that affect scheduling, which is a core feature :) > > Marc, is there anything in particular that you dislike about this RFC > patch set? Joel has some ideas, which we may discuss offline if that > works for you. Hi Marc, Sergey, Just checking what is the latest on this series? About the idea me and Sergey discussed, at a high level we discussed being able to share information similar to "Is the vCPU preempted?" using a more arch-independent infrastructure. I do not believe this needs to be arch-specific. Maybe the speciifc mechanism about how to share a page of information needs to be arch-specific, but the actual information shared need not be. This could open the door to sharing more such information in an arch-independent way (for example, if the scheduler needs to know other information such as the capacity of the CPU that the vCPU is on). Other thoughts? thanks, - Joel