Computer operation control method, program and system

摘要

A computer implemented control method, article of manufacture, and computer implemented system for determining whether stack allocation is possible. The method includes: allocating an object created by a method frame to a stack. The allocation is performed in response to: calling a first and second instruction in the method frame; the first instruction causes an escape of the object, and the second instruction cancels the escape of the object; the object does not escape to a thread other than a thread to which the object has escaped, at the point in time when the escape is cancelled; the first instruction has been called before the second instruction is called; and the object does not escape in accordance with an instruction other than the first instruction in the method frame, regardless of whether the object escapes in accordance with the first instruction.

主权项

1. A computer implemented control method for determining whether stack allocation is possible, the method comprising:
allocating, by a computer, a task object created by a method frame in a first thread to a stack in response to: calling a first instruction in the method frame and a second instruction in the method frame, wherein: the first instruction allows the task object to escape from the first thread to a second thread for parallel processing, the second instruction causes the first thread to complete the task object if the task object has not escaped from the first thread to the second thread, and the second instruction causes the first thread to wait for completion of the task object by the second thread if the task object has escaped from the first thread to the second thread, the task object does not escape from the second thread to a third thread during the parallel processing after the task object has escaped from the first thread to a second thread, and an instruction, other than the first instruction, that allows the task object to escape from the first thread is not called in the method frame.