119e252baSAlexander Leidinger #!/usr/sbin/dtrace -qs 219e252baSAlexander Leidinger 319e252baSAlexander Leidinger /*- 419e252baSAlexander Leidinger * Copyright (c) 2008-2012 Alexander Leidinger <netchild@FreeBSD.org> 519e252baSAlexander Leidinger * All rights reserved. 619e252baSAlexander Leidinger * 719e252baSAlexander Leidinger * Redistribution and use in source and binary forms, with or without 819e252baSAlexander Leidinger * modification, are permitted provided that the following conditions 919e252baSAlexander Leidinger * are met: 1019e252baSAlexander Leidinger * 1. Redistributions of source code must retain the above copyright 1119e252baSAlexander Leidinger * notice, this list of conditions and the following disclaimer 1219e252baSAlexander Leidinger * in this position and unchanged. 1319e252baSAlexander Leidinger * 2. Redistributions in binary form must reproduce the above copyright 1419e252baSAlexander Leidinger * notice, this list of conditions and the following disclaimer in the 1519e252baSAlexander Leidinger * documentation and/or other materials provided with the distribution. 1619e252baSAlexander Leidinger * 1719e252baSAlexander Leidinger * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR 1819e252baSAlexander Leidinger * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES 1919e252baSAlexander Leidinger * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 2019e252baSAlexander Leidinger * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, 2119e252baSAlexander Leidinger * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT 2219e252baSAlexander Leidinger * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 2319e252baSAlexander Leidinger * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 2419e252baSAlexander Leidinger * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 2519e252baSAlexander Leidinger * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF 2619e252baSAlexander Leidinger * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 2719e252baSAlexander Leidinger */ 2819e252baSAlexander Leidinger 2919e252baSAlexander Leidinger /** 3019e252baSAlexander Leidinger * Check if the internal locks are correctly acquired/released: 3119e252baSAlexander Leidinger * - no recursive locking (mtx locks, write locks) 3219e252baSAlexander Leidinger * - no unlocking of already unlocked one 3319e252baSAlexander Leidinger * 3419e252baSAlexander Leidinger * Print stacktrace if a lock is longer locked than about 10sec or more. 3519e252baSAlexander Leidinger */ 3619e252baSAlexander Leidinger 3719e252baSAlexander Leidinger #pragma D option dynvarsize=32m 3819e252baSAlexander Leidinger #pragma D option specsize=32m 3919e252baSAlexander Leidinger 4019e252baSAlexander Leidinger BEGIN 4119e252baSAlexander Leidinger { 4219e252baSAlexander Leidinger check["futex_mtx"] = 0; 4319e252baSAlexander Leidinger } 4419e252baSAlexander Leidinger 4519e252baSAlexander Leidinger linuxulator*:locks:futex_mtx:locked 4619e252baSAlexander Leidinger /check[probefunc] > 0/ 4719e252baSAlexander Leidinger { 4819e252baSAlexander Leidinger printf("ERROR: recursive lock of %s (%p),", probefunc, arg0); 4919e252baSAlexander Leidinger printf(" or missing SDT probe in kernel. Stack trace follows:"); 5019e252baSAlexander Leidinger stack(); 5119e252baSAlexander Leidinger } 5219e252baSAlexander Leidinger 5319e252baSAlexander Leidinger linuxulator*:locks:futex_mtx:locked 5419e252baSAlexander Leidinger { 5519e252baSAlexander Leidinger ++check[probefunc]; 5619e252baSAlexander Leidinger @stats[probefunc] = count(); 5719e252baSAlexander Leidinger 5819e252baSAlexander Leidinger ts[probefunc] = timestamp; 5919e252baSAlexander Leidinger spec[probefunc] = speculation(); 6019e252baSAlexander Leidinger } 6119e252baSAlexander Leidinger 6219e252baSAlexander Leidinger linuxulator*:locks:futex_mtx:unlock 6319e252baSAlexander Leidinger /check[probefunc] == 0/ 6419e252baSAlexander Leidinger { 651ce4275dSPedro F. Giffuni printf("ERROR: unlock attempt of unlocked %s (%p),", probefunc, arg0); 6619e252baSAlexander Leidinger printf(" missing SDT probe in kernel, or dtrace program started"); 6719e252baSAlexander Leidinger printf(" while the %s was already held (race condition).", probefunc); 6819e252baSAlexander Leidinger printf(" Stack trace follows:"); 6919e252baSAlexander Leidinger stack(); 7019e252baSAlexander Leidinger } 7119e252baSAlexander Leidinger 7219e252baSAlexander Leidinger linuxulator*:locks:futex_mtx:unlock 7319e252baSAlexander Leidinger { 7419e252baSAlexander Leidinger discard(spec[probefunc]); 7519e252baSAlexander Leidinger spec[probefunc] = 0; 7619e252baSAlexander Leidinger --check[probefunc]; 7719e252baSAlexander Leidinger } 7819e252baSAlexander Leidinger 7919e252baSAlexander Leidinger /* Timeout handling */ 8019e252baSAlexander Leidinger 8119e252baSAlexander Leidinger tick-10s 8219e252baSAlexander Leidinger /spec["futex_mtx"] != 0 && timestamp - ts["futex_mtx"] >= 9999999000/ 8319e252baSAlexander Leidinger { 8419e252baSAlexander Leidinger commit(spec["futex_mtx"]); 8519e252baSAlexander Leidinger spec["futex_mtx"] = 0; 8619e252baSAlexander Leidinger } 8719e252baSAlexander Leidinger 8819e252baSAlexander Leidinger 8919e252baSAlexander Leidinger /* Statistics */ 9019e252baSAlexander Leidinger 9119e252baSAlexander Leidinger END 9219e252baSAlexander Leidinger { 9319e252baSAlexander Leidinger printf("Number of locks per type:"); 9419e252baSAlexander Leidinger printa(@stats); 9519e252baSAlexander Leidinger } 96