Changes
Page history
Remove 1 level of TOC
authored
Dec 14, 2021
by
sajolida
Hide whitespace changes
Inline
Side-by-side
robust_time_syncing.md
View page @
21aed654
...
@@ -85,11 +85,8 @@ Some other requirements about this mechanism:
...
@@ -85,11 +85,8 @@ Some other requirements about this mechanism:
and the time is being sync'ed, both on success and on various kinds
and the time is being sync'ed, both on success and on various kinds
of failures.
of failures.
Possible solutions
==================
Current plan
Current plan
------------
============
Meta:
Meta:
...
@@ -115,7 +112,7 @@ tl;dr:
...
@@ -115,7 +112,7 @@ tl;dr:
-
Else, when the user chooses to hide Tor, ask them fix the time zone and clock manually.
-
Else, when the user chooses to hide Tor, ask them fix the time zone and clock manually.
Old plan
Old plan
--------
========
... when Tor fails to bootstrap for time-related reasons.
... when Tor fails to bootstrap for time-related reasons.
...
@@ -128,7 +125,7 @@ That's what ChromeOS does when the time is too wrong:
...
@@ -128,7 +125,7 @@ That's what ChromeOS does when the time is too wrong:
understand why they did what. Still, the resulting code is there:
understand why they did what. Still, the resulting code is there:
<https://src.chromium.org/viewvc/chrome?revision=266431&view=revision>
<https://src.chromium.org/viewvc/chrome?revision=266431&view=revision>
##
#
User story
## User story
When I start Tails
When I start Tails
And I log into the Tails desktop with the default options
And I log into the Tails desktop with the default options
...
@@ -138,9 +135,9 @@ That's what ChromeOS does when the time is too wrong:
...
@@ -138,9 +135,9 @@ That's what ChromeOS does when the time is too wrong:
And then, Tails Clock displays the current time with the chosen timezone
And then, Tails Clock displays the current time with the chosen timezone
And Tor bootstrap is attempted again
And Tor bootstrap is attempted again
##
#
Roadmap
## Roadmap
###
#
First iteration
### First iteration
Relevant tickets: tails/tails#10819, tails/tails#6284,
Relevant tickets: tails/tails#10819, tails/tails#6284,
tails/tails#12094.
tails/tails#12094.
...
@@ -177,7 +174,7 @@ tails/tails#12094.
...
@@ -177,7 +174,7 @@ tails/tails#12094.
timezone when they set it from Tails Clock or from the
timezone when they set it from Tails Clock or from the
aforementioned GUI.
aforementioned GUI.
###
#
Second iteration
### Second iteration
We stop using htpdate to
*set*
the system clock, but we keep it around
We stop using htpdate to
*set*
the system clock, but we keep it around
as a way to
*detect*
a replayed Tor consensus: if the time delta
as a way to
*detect*
a replayed Tor consensus: if the time delta
...
@@ -191,7 +188,7 @@ And then, perhaps htpdate could be configured to query fewer servers,
...
@@ -191,7 +188,7 @@ And then, perhaps htpdate could be configured to query fewer servers,
because we maybe don't need to trust the info we get from htpdate as
because we maybe don't need to trust the info we get from htpdate as
much once we're there.
much once we're there.
###
#
Integration with the new Greeter
### Integration with the new Greeter
We need to give the user will have the opportunity to choose their
We need to give the user will have the opportunity to choose their
preferred timezone in the Greeter (tails/tails#11645). And then,
preferred timezone in the Greeter (tails/tails#11645). And then,
...
@@ -212,7 +209,7 @@ Tor has failed to bootstrap for time-related reasons.
...
@@ -212,7 +209,7 @@ Tor has failed to bootstrap for time-related reasons.
And Tor has greater chances to bootstrap successfully on first try
And Tor has greater chances to bootstrap successfully on first try
Extend Tor some how
Extend Tor some how
-------------------
===================
E.g.:
E.g.:
...
...
...
...