高精度事件定时器

最近看Linux的定时器方面知识，里面讲到硬件高精度事件定时器（HPET），对其内在原理讲的比较简略，然后网上找了找，都是一些关于这该怎么设计使用的的！我想问的是高精度事件定时器的内在机制是什么？究竟是通过怎么实现的？各位大大有没有相关方面的文档什么的？或者自己比较了解的