php man page for pool

POOL(3) 								 1								   POOL(3)

The Pool class

INTRODUCTION
	A Pool is a container for, and controller of, an adjustable number of Workers.

	Pooling  provides  a  higher  level abstraction of the Worker functionality, including the management of references in the way required by
       pthreads.

CLASS SYNOPSIS
       Pool

       Pool

       Properties

       o protected$size

       o protected$class

       o protected$workers

       o protected$work

       o protected$ctor

       o protected$last

       Methods

       o public void Pool::collect (Callable  $collector)

       o public Pool Pool::__construct (integer  $size, string	$class, [array	$ctor])

       o public void Pool::resize (integer  $size)

       o public void Pool::shutdown (void  )

       o public integer Pool::submit (Threaded	$task)

       o public integer Pool::submitTo (integer  $worker, Threaded  $task)

PROPERTIES
	      o $size
		-maximum number of Workers this Pool can use

	      o $class
		-the class of the Worker

	      o $ctor
		-the arguments for constructor of new Workers

	      o $workers
		-references to Workers

	      o $work
		-references to Threaded objects submitted to the Pool

	      o $last
		-offset in workers of the last Worker used

PHP Documentation Group 														   POOL(3)