Data Structures | Macros | Functions | Variables
lock_verify.c File Reference

This file checks the lock traces generated by checklock.c. More...

#include "config.h"
#include "util/log.h"
#include "util/rbtree.h"
#include "util/locks.h"
#include "util/fptr_wlist.h"

Data Structures

struct  order_id
 keep track of lock id in lock-verify application More...
 
struct  order_lock
 a lock More...
 
struct  lock_ref
 reference to a lock in a rbtree set More...
 

Macros

#define STRMAX   1024
 max length of strings: filenames and function names. More...
 

Functions

static void usage (void)
 print program usage help
 
static int read_header (FILE *in)
 read header entry. More...
 
static int readup_str (char **str, FILE *in)
 read a string from file, false on error
 
static void read_create (rbtree_type *all, FILE *in)
 read creation entry
 
static struct order_lockinsert_lock (rbtree_type *all, struct order_id *id)
 insert lock entry (empty) into list
 
static void read_lock (rbtree_type *all, FILE *in, int val)
 read lock entry
 
static void readinput (rbtree_type *all, char *file)
 read input file
 
static void found_cycle (struct lock_ref *visit, int level)
 print cycle message
 
static int detect_cycle (struct lock_ref *visit, struct lock_ref *from)
 Detect cycle by comparing visited now with all (unvisited) bigger nodes.
 
static void search_cycle (struct lock_ref *visit, int level, struct lock_ref *from)
 recursive function to depth first search for cycles. More...
 
static void check_order_lock (struct order_lock *lock)
 Check ordering of one lock.
 
static void check_order (rbtree_type *all_locks)
 Check ordering of locks.
 
int main (int argc, char *argv[])
 main program to verify all traces passed
 

Variables

static int errors_detected = 0
 count of errors detected
 
static int verb = 0
 verbose?
 

Detailed Description

This file checks the lock traces generated by checklock.c.

Checks if locks are consistently locked in the same order. If not, this can lead to deadlock if threads execute the different ordering at the same time.

Macro Definition Documentation

◆ STRMAX

#define STRMAX   1024

max length of strings: filenames and function names.

Referenced by readup_str().

Function Documentation

◆ read_header()

static int read_header ( FILE *  in)
static

read header entry.

Parameters
infile to read header of.
Returns
: False if it does not belong to the rest.

Referenced by readinput().

◆ search_cycle()

static void search_cycle ( struct lock_ref visit,
int  level,
struct lock_ref from 
)
static

recursive function to depth first search for cycles.

Parameters
visitthe lock visited at this step. its dfs_next pointer gives the visited lock up in recursion. same as lookfor at level 0.
leveldepth of recursion. 0 is start.
fromsearch for matches from unvisited node upwards.

References detect_cycle(), and found_cycle().

Referenced by check_order_lock().