Lines Matching defs:timer
52 * Sync timer periodically calls syncWorld() to force external disk changes
53 (e.g. from another VM) into the memory cache. The sync timer runs even
54 if there are no outstanding local changes. The sync timer syncs all live
56 The sync timer period is controlled by the java.util.prefs.syncInterval
58 sync timer (unlike FileSystemPreferences); it is only enabled if the
61 * Flush timer calls flushWorld() to force local changes to disk.
62 The flush timer is scheduled to fire some time after each pref change,
64 flushWorld will cancel any outstanding flush timer as unnecessary.
65 The flush timer flushes all changed files (the changedFiles list).
66 The time between pref write and flush timer call is controlled by the
70 The flush timer's behavior is required by the Java Preferences spec
72 an implementation-dependent delay"). The sync timer is not required by
75 useful to some programs. The sync timer is disabled by default because
104 // on the same timer)
105 private static Timer timer = null;
153 // Do set up the sync timer if requested; sync timer affects reads
282 timer().schedule(flushTimerTask, flushDelay() * 1000);
300 // Initialize and run the sync timer, if the sync timer property is set
301 // and the sync timer hasn't already been started.
321 timer().schedule(new TimerTask() {
325 // syncInterval property not set. No sync timer ever.
330 // Return the timer used for flush and sync, creating it if necessary.
331 private static synchronized Timer timer()
333 if (timer == null) {
334 timer = new Timer(true); // daemon
346 return timer;