An example code flow for seeding

example-sg-seeding.java

seeded_state = UNSEEDED;
lock = Lock();
syncing = Sync();

process() {
if (seeded_state == SEEDED) {
    continue;
} else {
    lock.lock();
    try {
        if (seeded_state == UNSEEDED) {
            seeded_state = SEEDING;
            lock.unlock();
            seed_searchguard();
            lock.lock();
            seeded_state = SEEDED;
            syncing.signalAll();
        }
        else {
            while (seeded_state != SEEDED) {
                syncing.await(TIMEOUT);
            }
        }
    }
    finally {
        lock.unlock();
    }
}
assert seeded_state == SEEDED;
}