Home Online Manual
Top
Back: determinacy
Forward: addcores
FastBack: realclassify_lib
FastForward: tasks_lib
Up: Experimental libraries
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.19 resources_lib

Library:
resources.lib
Purpose:
Tools to manage the computational resources

Author:
Andreas Steenpass, e-mail: steenpass@mathematik.uni-kl.de

Overview:
The purpose of this library is to manage the computational resources of a Singular session. The library tasks.lib and any library build upon tasks.lib respect these settings, i.e. they will not use more computational resources than provided via resources.lib.

The provided procedures and their implementation are currently quite simple. The library can be extended later on to support, e.g., distributed computations on several servers.

Procedures:

D.15.19.1 addcores  add an integer to the number of available processor cores
D.15.19.2 setcores  set the number of available processor cores
D.15.19.3 getcores  get the number of available processor cores
D.15.19.4 semaphore  initialize a new semaphore
See also: parallel_lib; tasks_lib.