| 摘要 |
In FIG. 2 , a process (32) included in a first execution space (20a) issue a request of resource assignment to a local resource management part (46), which then acquires an authentication ID of the requesting process (32) and determines whether the resource assignment can be performed. If the resource assignment can be performed and resources held beforehand in the first execution space (20a) can fulfill the request, then the local resource management part (46) performs the resource assignment to the process (32). If the resources cannot fulfill the request, the local resource management part (46) issues the request of resource assignment to a global resource management part (56), which then acquires the authentication ID of the requesting first execution space (20a) and determines whether the resource assignment can be performed. If determining that the resource assignment can be performed, the global resource management part (56) performs the resource assignment to the first execution space (20a). |
