מה מהבאים הוא אחד מהתנאים שבהם הפתרונות התוכנתיים לסנכרון צריכים לעמוד?