Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Cette séance de cours explique un algorithme de construction universel simple utilisant un tableau infini de ConsentsObjects, où chaque processus a des registres pour simuler des opérations. L'algorithme n'est pas sans poids, mais sans journal, car certaines opérations peuvent ne pas se terminer. La séance de cours met également en évidence l'importance de ne pas assumer la liberté de poids basée sur l'objet ConsentsObject et l'incertitude dans la décision des valeurs. En dépit d'être nommé un algorithme de construction universelle, il est plus précisément décrit comme un algorithme sans journal, semblable à la construction universelle, mais avec des problèmes potentiels de non-termination.