| 摘要 |
PROBLEM TO BE SOLVED: To solve a problem that outdated timer information may be lost in a conventional timer device if the timer device has no space in a buffer to temporarily store the outdated timer information within a prescribed time. ! SOLUTION: Processing of writing back timer values to a storage device after the timer values are read from the storage device with a prescribed period to perform decrement processing, and a timer corresponding to a timer value is determined to expire if this timer value read from the storage device becomes a prescribed value. An identification number of the timer which has expired is temporarily stored in a buffer. If a notification showing that no more identification numbers can be stored in the buffer is received from the buffer when the timer is determined to expire, the timer device corresponding to the timer and read from the storage device is written back to the storage device without decrement processing for the timer device. ! COPYRIGHT: (C)2014,JPO&INPIT |
