|
 |
 |
 |
 |
 |
 |
 |
 |
 |
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:
See also: parallel_lib; tasks_lib.
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