elogger API
Overview Classes Cluster Class Index          Top Features

thread

Class MUTEX


Direct ancestors

DISPOSABLE

Known direct descendants

ELOG_MUTEX

Creation

Features

Invariants

indexing

description

Mutex synchronization object, allows threads to access global
data through critical sections.

legal

See notice at end of class.

status

See notice at end of class.

class MUTEX

inherit

DISPOSABLE

create

default_create

-- Create mutex.
-- (From ANY)

obsolete

Use make instead

require else

thread_capable: {PLATFORM}.is_thread_capable

ensure then

is_set: is_set

make

-- Create mutex.

require

thread_capable: {PLATFORM}.is_thread_capable

ensure

is_set: is_set

feature -- Access

is_set: BOOLEAN

-- Is mutex initialized?

feature -- Status setting

destroy

-- Destroy mutex.

require

is_set: is_set

lock

-- Lock mutex, waiting if necessary until that becomes possible.

require

is_set: is_set

try_lock: BOOLEAN

-- Has client been successful in locking mutex without waiting?

require

is_set: is_set

unlock

-- Unlock mutex.

require

is_set: is_set

feature -- Obsolete

has_locked: BOOLEAN

-- Has client been successful in locking mutex without waiting?

obsolete

Use try_lock instead

require

is_set: is_set

trylock: BOOLEAN

-- Has client been successful in locking mutex without waiting?

obsolete

Use try_lock instead

require

is_set: is_set

feature {CONDITION_VARIABLE} -- Implementation

mutex_pointer: POINTER

-- C reference to the mutex.

invariant

is_thread_capable: {PLATFORM}.is_thread_capable

-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

indexing

copyright

Copyright (c) 1984-2006, Eiffel Software and others

license

Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)

source

Eiffel Software
356 Storke Road, Goleta, CA 93117 USA
Telephone 805-685-1006, Fax 805-685-6869
Website http://www.eiffel.com
Customer support http://support.eiffel.com


Documentation generated by edoc