Spolehlivá správa času pomocí TSC na platformách s nestabilním TSC

Abstract

Některé víceprocesorové hardwarové architektury (včetně x86_64) nemají mezi procesory synchronizované registry TSC (Time Stamp Counter). Z toho plyne, že registr TSC nemůže být snadno použit k rychlé implementaci systémového volání gettimeofday(). Jádro systému Linux na těchto architekturách používá jiné, synchronizované (ale podstatně pomalejší), hardwarové zdroje času. Hlavním cílem této práce je provést podrobný rozbor toho, jak by mohl být registr TSC použit ke spolehlivé a přesné aproximaci aktuálního času, tak aby mohl sloužit jako věrohodný a rychlý zdroj času. Předpokládá se vytvoření funkční implementace na základě tohoto rozboru.

Some SMP hardware architectures (including x86_64) have unsynchronized Time Stamp Counters (TSC) between individual CPUs. This implies that TSC can't be used reliably to implement a fast gettimeofday() system call in a straightforward way. The current Linux kernel implementation uses synchronized (but significantly slower) hardware time sources on these architectures. The primary aim of this thesis is to perform a detailed analysis of how TSC could be used for reliable and accurate approximation of current time, so that it could be used as a trustworthy and fast time source. A working implementation based on the outcome of the analysis is expected.