Description of "ResourceSem" Data Type

The type "ResourceSem" is defined in /pliant/language/schedule/resourcesem.pli module.

Field	Type
current	Int
maxi	Int
queue	ThreadQueue


	Method name	Arguments				Result

	configure	Name	`s`	`maxi`
		Type	ResourceSem	Int
		Access	`Arw`	`Arv`

	nowait_request	Name	`sem`	`n`
		Type	ResourceSem	Int		CBool
		Access	`Arw`	`Arv`		`AwvR`

	query	Name	`s`	`current`	`maxi`
		Type	ResourceSem	Int	Int
		Access	`Arw`	`Aw`	`Aw`

	release	Name	`sem`	`n`
		Type	ResourceSem	Int
		Access	`Arw`	`Arv`

	request	Name	`sem`	`n`
		Type	ResourceSem	Int
		Access	`Arw`	`Arv`