Singular

D.2.11 resources_lib

Library:

resources.lib

Purpose:

Tools to manage the computational resources

Author:

Andreas Steenpass, e-mail: [email protected]

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.2.11.1 addcores		add an integer to the number of available processor cores
D.2.11.2 setcores		set the number of available processor cores
D.2.11.3 getcores		get the number of available processor cores
D.2.11.4 semaphore		initialize a new semaphore