// Fetch priorities from the main thread to know what to compare against. int javaPriority = Thread.currentThread().getPriority();
initialPlatformPriority = getThreadPlatformPriority(); Thread.currentThread().setPriority(Thread.MAX_PRIORITY);
maxPlatformPriority = getThreadPlatformPriority(); Thread.currentThread().setPriority(javaPriority);
MyThread t1 = new MyThread();
t1.start();
processStarted.await();
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.