From owner-soc-status@FreeBSD.ORG Thu Mar 13 23:19:57 2014 Return-Path: Delivered-To: soc-status@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id 4782FACD; Thu, 13 Mar 2014 23:19:57 +0000 (UTC) Received: from mail-yk0-x231.google.com (mail-yk0-x231.google.com [IPv6:2607:f8b0:4002:c07::231]) (using TLSv1 with cipher ECDHE-RSA-RC4-SHA (128/128 bits)) (No client certificate requested) by mx1.freebsd.org (Postfix) with ESMTPS id CF6FBD07; Thu, 13 Mar 2014 23:19:56 +0000 (UTC) Received: by mail-yk0-f177.google.com with SMTP id q200so4649141ykb.8 for ; Thu, 13 Mar 2014 16:19:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; bh=t23gVMaFF8tyVVZYAszuCIzGDI/p8mbXRJxEU3wT5kc=; b=xVUZTIQvRNz+NgxQrld5qA7vUX6JqYlNAAOms2piKZuVr1/swcWoxRRJJsqONfg2eL Mbhy15opudo6NFCbE74J7dx4mEseiJZdzRRyFxZzJK+bV99LY3sMY8lTlJENVCETRTn1 lNkgh1N3cgs016gXJDGen+7PSt+hRFnfBsYooqpz+iZ6Jeu/4bYpTy9JRXsTo5kRWzOk murPDutci5Xr9kpP8otM4hpNMIctefHrA+GICofF2rG1cG8BfCj1yYg8yYTIGELyEiH+ ZzF9J5+Z4U+evCJE6toQCRg50AsmIqhbpVuL6XSiEK6q48F71+FBX1lkWZKKbaVJ7DFb wthQ== MIME-Version: 1.0 X-Received: by 10.236.86.180 with SMTP id w40mr6313827yhe.116.1394752796036; Thu, 13 Mar 2014 16:19:56 -0700 (PDT) Received: by 10.170.66.204 with HTTP; Thu, 13 Mar 2014 16:19:55 -0700 (PDT) In-Reply-To: References: Date: Thu, 13 Mar 2014 19:19:55 -0400 Message-ID: Subject: Re: FreeBSD GSOC proposal in 2014 From: yan cui To: freebsd-hackers@freebsd.org, freebsd-current@freebsd.org, soc-status@freebsd.org, jeff@freebsd.org Content-Type: text/plain; charset=ISO-8859-1 X-Content-Filtered-By: Mailman/MimeDel 2.1.17 X-BeenThere: soc-status@freebsd.org X-Mailman-Version: 2.1.17 Precedence: list List-Id: Summer of Code Status Reports and Discussion List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 13 Mar 2014 23:19:57 -0000 Hi all, I have downloaded the newest FreeBSD-release kernel and scanned some codes. Wonder to know whether the lock order verification and lock profiling tool mentioned in the GSoC idea list is witness? Are there any other tools that needs to look at in the FreeBSD kernel? Thanks, Yan 2014-03-09 15:46 GMT-04:00 yan cui : > Hi All, > > I am a student in Columbia University (Yan Cui), and want to join the > FreeBSD GSOC 2014. After scanned the idea list posted online, I think I am > interested in > the idea titled "user space pthread mutex lock contention profiling and > lock order verification tools". I have several year experiences in kernel > and user locking and believe I can complete the task in time. Currently, I > wonder to know, before submitting an application on GSOC home page, do I > need to submit some documents in the community (to review?) > > Best Wishes! > Yan > > -- > Think big; Dream impossible; Make it happen. > -- Think big; Dream impossible; Make it happen.