Singular Manual: resources_lib

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

User manual for Singular version 4.4.1, 2025, generated by texi2html.