From owner-soc-status@FreeBSD.ORG  Mon Jul 30 13:47:38 2012
Return-Path: <owner-soc-status@FreeBSD.ORG>
Delivered-To: soc-status@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52])
	by hub.freebsd.org (Postfix) with ESMTP id 868F6106564A
	for <soc-status@freebsd.org>; Mon, 30 Jul 2012 13:47:38 +0000 (UTC)
	(envelope-from greglmiller@gmail.com)
Received: from mail-wi0-f178.google.com (mail-wi0-f178.google.com
	[209.85.212.178])
	by mx1.freebsd.org (Postfix) with ESMTP id 188418FC1A
	for <soc-status@freebsd.org>; Mon, 30 Jul 2012 13:47:37 +0000 (UTC)
Received: by wibhr14 with SMTP id hr14so1389128wib.13
	for <soc-status@freebsd.org>; Mon, 30 Jul 2012 06:47:37 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113;
	h=mime-version:date:message-id:subject:from:to:content-type;
	bh=dGctV8Qpsyqov8kewYnUM4u8HYjip3t/FbQiJQJ5SZE=;
	b=INFspgafyw3DU8KQvHmXjvXrgCgzmJGelJyCwFsG9QxVUBZRBx48XTIeKW0LciwsKv
	5FzwCcHQhNQsS8xteyrNg40eOpBoGiu6+YCx5KNpedRsmBwqYatXxg1GGii6v9Pq9Rg1
	FaQ36WkAh+t4QKlrn92mnCsKYjXidxnLoEha4iIkIwZWgvSTPIumhQh+C+ZqNVc8Htl5
	UymvJrJg/KxiuybE8486Lad5OX8+C6tkyaywIFo0t+odR+FXL0vr3LH/2JOKZqFJgEbN
	dhkMzoU+AL/K5FBvHSlh5/b/01vZp65EkOm7etHL48ZtD8Ee1v/y/TuVnX0WmFBK533z
	xH3g==
MIME-Version: 1.0
Received: by 10.216.243.66 with SMTP id j44mr5473863wer.160.1343656057012;
	Mon, 30 Jul 2012 06:47:37 -0700 (PDT)
Received: by 10.216.193.195 with HTTP; Mon, 30 Jul 2012 06:47:36 -0700 (PDT)
Date: Mon, 30 Jul 2012 09:47:36 -0400
Message-ID: <CAHLcusSs0nukOH0kmy+DbBPKaXn-WZa8hHPD6N2Az6BXSWuNyg@mail.gmail.com>
From: Greg Miller <greglmiller@gmail.com>
To: soc-status <soc-status@freebsd.org>
Content-Type: text/plain; charset=ISO-8859-1
Subject: Lock profiling and lock order verification, week 10
X-BeenThere: soc-status@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Summer of Code Status Reports and Discussion <soc-status.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/soc-status>,
	<mailto:soc-status-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/soc-status>
List-Post: <mailto:soc-status@freebsd.org>
List-Help: <mailto:soc-status-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/soc-status>,
	<mailto:soc-status-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Mon, 30 Jul 2012 13:47:38 -0000

Completed during the week:

* Re-implemented pthread_lockorder_begin_np(),
pthread_lockorder_next_np(), and pthread_lockorder_end_np() using the
lock_info structure.
* Added tests for pthread_lockorder_set_np(), pthread_setname_np(),
and pthread_lockorder_bless_np(), fixing bugs that were found along
the way.
* Added lock names to pthread_lor_np structure.
* Added optimization of the lock order graphs.

Remaining tasks:
* Add tests to directly verify the correctness of the lock order graphs.
* Generate XML output files
* Include backtraces in the LoR log.
* Further commenting and style fixes.