Le temps du calcul et le temps des ordinateurs

Philippe Matherat (1)

1 LTCI - Laboratoire Traitement et Communication de l'Information

S'interroger sur l'implémentation physique du calcul distribué conduit à s'interroger sur les modèles de temps, temps des modèles de calcul du côté logique, et temps des théories mécaniques du côté physique. Pour un électronicien, "implémenter" revient à "traduire", depuis un langage logique vers le langage de la physique, c'est-à-dire à "simuler". Nous suggérons que ce travail est proche de celui du logicien qui compare les puissances d'expression des langages distribués, et proche aussi de celui du physicien qui cherche à écrire les lois de la nature en langage mathématique. Dans les trois cas, l'interrogation sur la structure du temps est centrale. Ce texte est une transcription de l'exposé donné à l'ENST, le 27 avril 2006.

Mots clés: modèles de temps; systèmes distribués; théories physiques; implémentation matérielle; automate; dissipation; pouvoir d'expression; simulation; synchronisation; expérimentation; circuits synchrones; circuits asynchrones; relativité

Domaines: Architectures Matérielles [cs.AR]

Philippe Matherat. Le temps du calcul et le temps des ordinateurs. 2006. ⟨hal-00089817⟩