freebsd kernel with SKQ
Go to file
John Baldwin 192846463a Rework the witness code to work with sx locks as well as mutexes.
- Introduce lock classes and lock objects.  Each lock class specifies a
  name and set of flags (or properties) shared by all locks of a given
  type.  Currently there are three lock classes: spin mutexes, sleep
  mutexes, and sx locks.  A lock object specifies properties of an
  additional lock along with a lock name and all of the extra stuff needed
  to make witness work with a given lock.  This abstract lock stuff is
  defined in sys/lock.h.  The lockmgr constants, types, and prototypes have
  been moved to sys/lockmgr.h.  For temporary backwards compatability,
  sys/lock.h includes sys/lockmgr.h.
- Replace proc->p_spinlocks with a per-CPU list, PCPU(spinlocks), of spin
  locks held.  By making this per-cpu, we do not have to jump through
  magic hoops to deal with sched_lock changing ownership during context
  switches.
- Replace proc->p_heldmtx, formerly a list of held sleep mutexes, with
  proc->p_sleeplocks, which is a list of held sleep locks including sleep
  mutexes and sx locks.
- Add helper macros for logging lock events via the KTR_LOCK KTR logging
  level so that the log messages are consistent.
- Add some new flags that can be passed to mtx_init():
  - MTX_NOWITNESS - specifies that this lock should be ignored by witness.
    This is used for the mutex that blocks a sx lock for example.
  - MTX_QUIET - this is not new, but you can pass this to mtx_init() now
    and no events will be logged for this lock, so that one doesn't have
    to change all the individual mtx_lock/unlock() operations.
- All lock objects maintain an initialized flag.  Use this flag to export
  a mtx_initialized() macro that can be safely called from drivers.  Also,
  we on longer walk the all_mtx list if MUTEX_DEBUG is defined as witness
  performs the corresponding checks using the initialized flag.
- The lock order reversal messages have been improved to output slightly
  more accurate file and line numbers.
2001-03-28 09:03:24 +00:00
bin MAN[1-9] -> MAN. 2001-03-27 10:03:10 +00:00
contrib Update for file 3.34. 2001-03-25 18:38:47 +00:00
crypto Suggested by kris, OpenSSH shall have a version designated to note that 2001-03-20 02:11:25 +00:00
etc Add full PAM support for account management and sessions. 2001-03-27 19:40:51 +00:00
games - Backout botched attempt to intoduce MANSECT feature. 2001-03-26 14:22:12 +00:00
gnu MAN[1-9] -> MAN. 2001-03-27 14:59:06 +00:00
include Add a CLSET_ASYNC command, which allows us to (ab)use the clnt_dg transport 2001-03-27 21:27:33 +00:00
kerberos5 MAN[1-9] -> MAN. 2001-03-27 14:07:31 +00:00
kerberosIV MAN[1-9] -> MAN. 2001-03-27 13:58:21 +00:00
lib o De-uglify IMPLEMENTATION NOTES section by removing unnecessary use of 2001-03-28 01:03:33 +00:00
libexec Add full PAM support for account management and sessions. 2001-03-27 19:40:51 +00:00
release Update the acknowledgements section. 2001-03-27 22:06:37 +00:00
sbin Make rev 1.5 better match the rest of dump(8)'s output. 2001-03-27 19:38:34 +00:00
secure secure/ build fixes: 2001-03-26 14:53:33 +00:00
share Add a manpage for the critical_enter/exit() functions. 2001-03-28 07:30:58 +00:00
sys Rework the witness code to work with sx locks as well as mutexes. 2001-03-28 09:03:24 +00:00
tools Preceed/preceeding are not english words. Use precede and preceding. 2001-02-18 10:43:53 +00:00
usr.bin Restore part of my fix spammed in v1.23: 2001-03-27 23:24:25 +00:00
usr.sbin Mention that the vga(4) driver supports 90-column video modes. 2001-03-28 02:32:10 +00:00
COPYRIGHT Update to add the July 22, 1999 addendum. 1999-09-05 21:33:47 +00:00
Makefile Make it possible to build manpages for the entire source tree. 2001-03-27 08:43:28 +00:00
Makefile.inc1 Rewrite of the CAM error recovery code. 2001-03-27 05:45:52 +00:00
Makefile.upgrade $Id$ -> $FreeBSD$ 1999-08-28 01:35:59 +00:00
README Slightly improve the description of "crypto". "DES" is a subset of 2000-08-31 17:59:01 +00:00
UPDATING Spell deprecated correctly (dufault) 2001-03-02 00:36:13 +00:00

This is the top level of the FreeBSD source directory.  This file
was last revised on:
$FreeBSD$

For copyright information, please see the file COPYRIGHT in this
directory (additional copyright information also exists for some
sources in this tree - please see the specific source directories for
more information).

The Makefile in this directory supports a number of targets for
building components (or all) of the FreeBSD source tree, the most
commonly used one being ``world'', which rebuilds and installs
everything in the FreeBSD system from the source tree except the
kernel, the kernel-modules and the contents of /etc.  The
``buildkernel'' and ``installkernel'' targets build and install
the kernel and the modules (see below).  Please see the top of
the Makefile in this directory for more information on the
standard build targets and compile-time flags.

Building a kernel is a somewhat more involved process, documentation
for which can be found at:
   http://www.freebsd.org/handbook/kernelconfig.html
And in the config(8) man page.
Note: If you want to build and install the kernel with the
``buildkernel'' and ``installkernel'' targets, you have to build
world before.  More information is available in the handbook.

The sample kernel configuration files reside in the sys/i386/conf
sub-directory (assuming that you've installed the kernel sources), the
file named GENERIC being the one used to build your initial installation
kernel.  The file NOTES contains entries and documentation for all possible
devices, not just those commonly used.  It is the successor of the ancient
LINT file, but in contrast to LINT, it is not buildable as a kernel but a
pure reference and documentation file.


Source Roadmap:
---------------
bin		System/User commands.

contrib		Packages contributed by 3rd parties.

crypto		Cryptography stuff (see crypto/README).

etc		Template files for /etc

games		Amusements.

gnu		Various commands and libraries under the GNU Public License.
		Please see gnu/COPYING* for more information.

include		System include files.

kerberosIV	Kerberos package.

lib		System libraries.

libexec		System daemons.

release		Release building Makefile & associated tools.

sbin		System commands.

secure		Cryptographic libraries and commands.

share		Shared resources.

sys		Kernel sources.

tools		Utilities for regression testing and miscellaneous tasks.

usr.bin		User commands.

usr.sbin	System administration commands.


For information on synchronizing your source tree with one or more of
the FreeBSD Project's development branches, please see:

  http://www.freebsd.org/handbook/synching.html