Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751106AbWC3GNI (ORCPT ); Thu, 30 Mar 2006 01:13:08 -0500 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S1751117AbWC3GNH (ORCPT ); Thu, 30 Mar 2006 01:13:07 -0500 Received: from e4.ny.us.ibm.com ([32.97.182.144]:1429 "EHLO e4.ny.us.ibm.com") by vger.kernel.org with ESMTP id S1751106AbWC3GNF (ORCPT ); Thu, 30 Mar 2006 01:13:05 -0500 Date: Thu, 30 Mar 2006 11:40:05 +0530 From: Balbir Singh To: Andrew Morton Cc: Shailabh Nagar , linux-kernel@vger.kernel.org, netdev@vger.kernel.org, tgraf@suug.ch, hadi@cyberus.ca Subject: Re: [Patch 5/8] generic netlink interface for delay accounting Message-ID: <20060330061005.GA18387@in.ibm.com> Reply-To: balbir@in.ibm.com References: <442B271D.10208@watson.ibm.com> <442B2BB6.9020309@watson.ibm.com> <20060329210406.08d1c929.akpm@osdl.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20060329210406.08d1c929.akpm@osdl.org> User-Agent: Mutt/1.5.10i Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 10586 Lines: 383 Hi, Andrew On Wed, Mar 29, 2006 at 09:04:06PM -0800, Andrew Morton wrote: > Shailabh Nagar wrote: > > > > delayacct-genetlink.patch > > > > Create a generic netlink interface (NETLINK_GENERIC family), > > called "taskstats", for getting delay and cpu statistics of > > tasks and thread groups during their lifetime and when they exit. > > > > > > It's be best to have a netlink person review the netlinkisms here. Jamal did review this code, his comments are available at http://lkml.org/lkml/2006/3/26/71. His comments were very helpful in doing the correct thing and understanding the design and usage of genetlink. > > > +static inline int delayacct_add_tsk(struct taskstats *d, > > + struct task_struct *tsk) > > +{ > > + if (!tsk->delays) > > + return -EINVAL; > > + return __delayacct_add_tsk(d, tsk); > > +} > > hm. It's a worry that this can return an error if delay accounting simply > isn't enabled. Yes, if CONFIG_TASKSTATS is enabled and the kernel is booted without delayacct. A user space utility trying to extract statistics will get an error. > > > +struct taskstats { > > + /* Maintain 64-bit alignment while extending */ > > + /* Version 1 */ > > + > > + /* XXX_count is number of delay values recorded. > > + * XXX_total is corresponding cumulative delay in nanoseconds > > + */ > > + > > +#define TASKSTATS_NOCPUSTATS 1 > > + __u64 cpu_count; > > + __u64 cpu_delay_total; /* wait, while runnable, for cpu */ > > + __u64 blkio_count; > > + __u64 blkio_delay_total; /* sync,block io completion wait*/ > > + __u64 swapin_count; > > + __u64 swapin_delay_total; /* swapin page fault wait*/ > > + > > + __u64 cpu_run_total; /* cpu running time > > + * no count available/provided */ > > +}; > > What locking is used to make updates to these u64's appear to be atomic? > Maybe it's deliberately nonatomic. Either way, it needs a comment. These fields are protected by tsk->delays->lock. We will add comments to indicate the same. > > > void __delayacct_tsk_exit(struct task_struct *tsk) > > { > > + /* > > + * Protect against racing thread group exits > > + */ > > + mutex_lock(&delayacct_exit_mutex); > > + taskstats_exit_pid(tsk); > > if (tsk->delays) { > > kmem_cache_free(delayacct_cache, tsk->delays); > > tsk->delays = NULL; > > } > > + mutex_unlock(&delayacct_exit_mutex); > > } > > hm, I wonder how contended that lock is likely to be. > It is taken for every exiting task. We did not measure the contention using any tool. > The kmem_cache_free() can happen outside the lock. kmem_cache_free() and setting to NULL outside the lock is prone to race conditions. Consider the following scenario A thread group T1 has exiting processes P1 and P2 P1 is exiting, finishes the delay accounting by calling taskstats_exit_pid() and gives up the mutex and calls kmem_cache_free(), but before it can set tsk->delays to NULL, we try to get statistics for the entire thread group. This task will show up in the thread group with a dangling tsk->delays. > > > +#ifdef CONFIG_TASKSTATS > > +int __delayacct_add_tsk(struct taskstats *d, struct task_struct *tsk) > > +{ > > + nsec_t tmp; > > + struct timespec ts; > > + unsigned long t1,t2; > > + > > + /* zero XXX_total,non-zero XXX_count implies XXX stat overflowed */ > > + > > + tmp = (nsec_t)d->cpu_run_total ; > > stray space before semicolon. Will fix it. > > > + tmp += (u64)(tsk->utime+tsk->stime)*TICK_NSEC; > > + d->cpu_run_total = (tmp < (nsec_t)d->cpu_run_total)? 0: tmp; > > Missing space before ?, missing space before : Will fix it. > > > + d->blkio_delay_total = (tmp < d->blkio_delay_total)? 0: tmp; > > + d->swapin_delay_total = (tmp < d->swapin_delay_total)? 0: tmp; > > dittos. Will fix it. > > > =================================================================== > > --- /dev/null 1970-01-01 00:00:00.000000000 +0000 > > +++ linux-2.6.16/kernel/taskstats.c 2006-03-29 18:13:18.000000000 -0500 > > @@ -0,0 +1,292 @@ > > +/* > > + * taskstats.c - Export per-task statistics to userland > > + * > > + * Copyright (C) Shailabh Nagar, IBM Corp. 2006 > > + * (C) Balbir Singh, IBM Corp. 2006 > > + * > > + * This program is free software; you can redistribute it and/or modify > > + * it under the terms of the GNU General Public License as published by > > + * the Free Software Foundation; either version 2 of the License, or > > + * (at your option) any later version. > > + * > > + * This program is distributed in the hope that it will be useful, > > + * but WITHOUT ANY WARRANTY; without even the implied warranty of > > + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the > > + * GNU General Public License for more details. > > + * > > + */ > > + > > +#include > > +#include > > +#include > > +#include > > +#include > > + > > +const int taskstats_version = TASKSTATS_VERSION; > > Odd. It'd be better to put TASKSTATS_VERSION in the header file, use that > directly. We will fix this. > > > + > > +static inline int fill_pid(pid_t pid, struct task_struct *pidtsk, > > + struct taskstats *stats) > > +{ > > + int rc; > > + struct task_struct *tsk = pidtsk; > > + > > + if (!pidtsk) { > > + read_lock(&tasklist_lock); > > + tsk = find_task_by_pid(pid); > > + if (!tsk) { > > + read_unlock(&tasklist_lock); > > + return -ESRCH; > > + } > > + get_task_struct(tsk); > > + read_unlock(&tasklist_lock); > > + } else > > + get_task_struct(tsk); > > + > > + rc = delayacct_add_tsk(stats, tsk); > > + put_task_struct(tsk); > > + > > + return rc; > > + > > +} > > Has two callsites, should be uninlined. Will do. > > > +static inline int fill_tgid(pid_t tgid, struct task_struct *tgidtsk, > > + struct taskstats *stats) > > +{ > > + int rc; > > + struct task_struct *tsk, *first; > > + > > + first = tgidtsk; > > + read_lock(&tasklist_lock); > > + if (!first) { > > + first = find_task_by_pid(tgid); > > + if (!first) { > > + read_unlock(&tasklist_lock); > > + return -ESRCH; > > + } > > + } > > + tsk = first; > > + do { > > + rc = delayacct_add_tsk(stats, tsk); > > + if (rc) > > + break; > > + } while_each_thread(first, tsk); > > + read_unlock(&tasklist_lock); > > + > > + return rc; > > +} > > Ditto. Will do. > > It's somewhat similar to fill_pid() - perhaps they can be combined, halving > the overhead? Yes, there is a lot of synergy between the two. The main difference is the way we lock (using get/put_task_struct for pids and tasklist_lock for tgids). Using a flag to do the correct thing looked a bit ugly, so we split the functions. > > > +static int taskstats_send_stats(struct sk_buff *skb, struct genl_info *info) > > +{ > > + int rc = 0; > > + struct sk_buff *rep_skb; > > + struct taskstats stats; > > + void *reply; > > + size_t size; > > + struct nlattr *na; > > + > > + /* > > + * Size includes space for nested attribute as well > > + * The returned data is of the format > > + * TASKSTATS_TYPE_AGGR_PID/TGID > > + * --> TASKSTATS_TYPE_PID/TGID > > + * --> TASKSTATS_TYPE_STATS > > + */ > > + size = nla_total_size(sizeof(u32)) + > > + nla_total_size(sizeof(struct taskstats)) + nla_total_size(0); > > + > > + memset(&stats, 0, sizeof(stats)); > > + rc = prepare_reply(info, TASKSTATS_CMD_NEW, &rep_skb, &reply, size); > > + if (rc < 0) > > + return rc; > > + > > + if (info->attrs[TASKSTATS_CMD_ATTR_PID]) { > > + u32 pid = nla_get_u32(info->attrs[TASKSTATS_CMD_ATTR_PID]); > > + rc = fill_pid((pid_t)pid, NULL, &stats); > > We shouldn't have a typecast here. If it generates a warning then we need > to get in there and find out why. The reason for a typecast is that pid is passed as a u32 from userspace. genetlink currently supports most unsigned types with little or no support for signed types. We exchange data as u32 and do the correct thing in the kernel. Would you like us to move away from this? > > > + if (rc < 0) > > + goto err; > > + > > + na = nla_nest_start(rep_skb, TASKSTATS_TYPE_AGGR_PID); > > + NLA_PUT_U32(rep_skb, TASKSTATS_TYPE_PID, pid); > > + } else if (info->attrs[TASKSTATS_CMD_ATTR_TGID]) { > > + u32 tgid = nla_get_u32(info->attrs[TASKSTATS_CMD_ATTR_TGID]); > > + rc = fill_tgid((pid_t)tgid, NULL, &stats); > > Ditto. > > > + if (rc < 0) > > + goto err; > > + > > + na = nla_nest_start(rep_skb, TASKSTATS_TYPE_AGGR_TGID); > > + NLA_PUT_U32(rep_skb, TASKSTATS_TYPE_TGID, tgid); > > + } else { > > + rc = -EINVAL; > > + goto err; > > + } > > + > > + NLA_PUT_TYPE(rep_skb, struct taskstats, TASKSTATS_TYPE_STATS, stats); > > + nla_nest_end(rep_skb, na); > > + > > + return send_reply(rep_skb, info->snd_pid, TASKSTATS_MSG_UNICAST); > > + > > +nla_put_failure: > > + return genlmsg_cancel(rep_skb, reply); > > Extra space. Will fix. > > > +err: > > + nlmsg_free(rep_skb); > > + return rc; > > +} > > + > > + > > +/* Send pid data out on exit */ > > +void taskstats_exit_pid(struct task_struct *tsk) > > +{ > > + int rc = 0; > > + struct sk_buff *rep_skb; > > + void *reply; > > + struct taskstats stats; > > + size_t size; > > + int is_thread_group = !thread_group_empty(tsk); > > + struct nlattr *na; > > + > > + /* > > + * tasks can start to exit very early. Ensure that the family > > + * is registered before notifications are sent out > > + */ > > + if (!family_registered) > > + return; > > This code risks evaluating thread_group_empty() even if !family_registered. > The compiler will most likely sort that out in this case, but it's a risk > when using these initialisers. > Yes, this can be optimized and we can initialize it after the check for !family_registerd > > + > > +static int __init taskstats_init(void) > > +{ > > + if (genl_register_family(&family)) > > + return -EFAULT; > > EFAULT? It shouldn't be (Shailabh please comment). We will fix it. > > > + family_registered = 1; > > whitespace broke. Will fix > > > + > > + if (genl_register_ops(&family, &taskstats_ops)) > > + goto err; > > + > > + return 0; > > +err: > > + genl_unregister_family(&family); > > + family_registered = 0; > > + return -EFAULT; > > +} > > + > > +late_initcall(taskstats_init); > > Why late_initcall()? (A comment would be appropriate) We will add a comment. Thanks for your detailed review, Balbir - 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/