#
#
# Copyright 03/21/95 Sun Microsystems, Inc. All Rights Reserved
#
#
# @(#)SUNW_SPRO-cc-ssbd 1.1 95/03/21 SMI
#
#
# These are the notes recognized by C when compiling for lock_lint
#

# Data protection
MUTEX_PROTECTS_DATA
RWLOCK_PROTECTS_DATA
SCHEME_PROTECTS_DATA

# Read-only variables
READ_ONLY_DATA

# Allowance of unprotected reads
DATA_READABLE_WITHOUT_LOCK

# Hierarchical lock relationships
RWLOCK_COVERS_LOCKS

# Functions locking side effects
MUTEX_ACQUIRED_AS_SIDE_EFFECT
READ_LOCK_ACQUIRED_AS_SIDE_EFFECT
WRITE_LOCK_ACQUIRED_AS_SIDE_EFFECT
LOCK_RELEASED_AS_SIDE_EFFECT
LOCK_UPGRADED_AS_SIDE_EFFECT
LOCK_DOWNGRADED_AS_SIDE_EFFECT
COMPETING_THREADS_AS_SIDE_EFFECT

# Single-treaded code
COMPETING_THREADS_NO
NO_COMPETING_THREADS_NOW

# Unreachable code
NOT_REACHED

# Lock acquisition order 
LOCK_ORDER

#Variables visibility to other threads
NOW_INVISIBLE_TO_OTHER_THREADS
NOW_VISIBLE_TO_OTHER_THREADS

# Assumption protections of variables
ASSUMING_PROTECTED