From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-qt0-f200.google.com (mail-qt0-f200.google.com [209.85.216.200]) by kanga.kvack.org (Postfix) with ESMTP id 59EB96B025F for ; Wed, 6 Dec 2017 15:30:01 -0500 (EST) Received: by mail-qt0-f200.google.com with SMTP id v3so4745219qtb.19 for ; Wed, 06 Dec 2017 12:30:01 -0800 (PST) Received: from aserp2130.oracle.com (aserp2130.oracle.com. [141.146.126.79]) by mx.google.com with ESMTPS id h24si1723472qth.323.2017.12.06.12.29.56 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 06 Dec 2017 12:29:56 -0800 (PST) Subject: Re: [RFC PATCH v3 1/7] ktask: add documentation References: <20171205195220.28208-1-daniel.m.jordan@oracle.com> <20171205195220.28208-2-daniel.m.jordan@oracle.com> <20171206143509.GG7515@dhcp22.suse.cz> From: Daniel Jordan Message-ID: Date: Wed, 6 Dec 2017 15:32:48 -0500 MIME-Version: 1.0 In-Reply-To: <20171206143509.GG7515@dhcp22.suse.cz> Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 7bit Sender: owner-linux-mm@kvack.org List-ID: To: Michal Hocko Cc: linux-mm@kvack.org, linux-kernel@vger.kernel.org, aaron.lu@intel.com, akpm@linux-foundation.org, dave.hansen@linux.intel.com, mgorman@techsingularity.net, mike.kravetz@oracle.com, pasha.tatashin@oracle.com, steven.sistare@oracle.com, tim.c.chen@intel.com On 12/06/2017 09:35 AM, Michal Hocko wrote: > Please note that I haven't checked any code in this patch series. I've > just started here to see how the thing is supposed to work and what is > the overall design Thanks for taking a look, Michal. > > On Tue 05-12-17 14:52:14, Daniel Jordan wrote: > [...] >> +Resource Limits and Auto-Tuning >> +=============================== >> + >> +ktask has resource limits on the number of workqueue items it queues. In >> +ktask, a workqueue item is a thread that runs chunks of the task until the task >> +is finished. >> + >> +These limits support the different ways ktask uses workqueues: >> + - ktask_run to run threads on the calling thread's node. >> + - ktask_run_numa to run threads on the node(s) specified. >> + - ktask_run_numa with nid=NUMA_NO_NODE to run threads on any node in the >> + system. >> + >> +To support these different ways of queueing work while maintaining an efficient >> +concurrency level, we need both system-wide and per-node limits on the number >> +of threads. Without per-node limits, a node might become oversubscribed >> +despite ktask staying within the system-wide limit, and without a system-wide >> +limit, we can't properly account for work that can run on any node. >> + >> +The system-wide limit is based on the total number of CPUs, and the per-node >> +limit on the CPU count for each node. A per-node work item counts against the >> +system-wide limit. Workqueue's max_active can't accommodate both types of >> +limit, no matter how many workqueues are used, so ktask implements its own. >> + >> +If a per-node limit is reached, the work item is allowed to run anywhere on the >> +machine to avoid overwhelming the node. If the global limit is also reached, >> +ktask won't queue additional work items until we fall below the limit again. >> + >> +These limits apply only to workqueue items--that is, additional threads beyond >> +the one starting the task. That way, one thread per task is always allowed to >> +run. >> + >> +Within the resource limits, ktask uses a default maximum number of threads per >> +task to avoid disturbing other processes on the system. Callers can change the >> +limit with ktask_ctl_set_max_threads. For example, this might be used to raise >> +the maximum number of threads for a boot-time initialization task when more >> +CPUs than usual are idle. > > The last time something like this (maybe even this specific approach - > I do not remember) the main objection was the auto-tuning. Unless I've > missed anything here all the tuning is based on counters rather than > the _current_ system utilization. That's right, as it's written now, it's just counters. > There is also no mention about other > characteristics (e.g. power management), resource isloataion etc. So > let me ask again. How do you control that the parallelized operation > doesn't run outside of the limit imposed to the calling context? The current code doesn't do this, and the answer is the same for the rest of your questions. For resource isolation, I'll experiment with moving ktask threads into and out of the cgroup of the calling thread. Do any resources not covered by cgroup come to mind? I'm trying to think if I've left anything out. > How > do you control whether a larger number of workers should be fired when > the system is idle but we want to keep many cpus idle due to power > constrains. For power management, I'm going to look into how ktask can use the current cpufreq settings and the scheduler hooks called by cpufreq. We could make decisions about starting additional threads (if any) based on the CPU frequency range or policy. > How do you control how many workers are fired based on > cpu utilization? Do you talk to the scheduler to see overall/per node > utilization. We'd have to go off of past and present scheduler data to predict the future. Even the best heuristic might get it wrong, but heuristics could be better than nothing. I'll look into what data the scheduler exports. Anyway, I think scalability bottlenecks should be weighed with the rest of this. It seems wrong that the kernel should always assume that one thread is enough to free all of a process's memory or evict all the pages of a file system no matter how much work there is to do. Daniel -- To unsubscribe, send a message with 'unsubscribe linux-mm' in the body to majordomo@kvack.org. For more info on Linux MM, see: http://www.linux-mm.org/ . Don't email: email@kvack.org