-
Notifications
You must be signed in to change notification settings - Fork 194
Add a proposal for the definition of a UTCClock #1342
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Merged
Merged
Changes from all commits
Commits
Show all changes
11 commits
Select commit
Hold shift + click to select a range
1d46517
Add a proposal for the definition of a UTCClock
phausler d779161
Update Proposals/NNNN-UTCClock.md
phausler f277dfd
Update Proposals/NNNN-UTCClock.md
phausler 9822ca0
Update Proposals/NNNN-UTCClock.md
phausler c1c7809
Update Proposals/NNNN-UTCClock.md
phausler 6f66bb6
Update Proposals/NNNN-UTCClock.md
phausler 4d03c6e
Update Proposals/NNNN-UTCClock.md
phausler 2077abe
Update Proposals/NNNN-UTCClock.md
phausler 4dc91bf
Update Proposals/NNNN-UTCClock.md
phausler 202c564
Update Proposals/NNNN-UTCClock.md
phausler b493c85
Update Proposals/NNNN-UTCClock.md
phausler File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,113 @@ | ||
# UTCClock and Epochs | ||
|
||
* Proposal: [SF-0027](0027-UTCClock.md) | ||
* Authors: [Philippe Hausler](https://github.com/phausler) | ||
* Review Manager: [Tina L](https://github.com/itingliu) | ||
* Status: Review: Jun 10...Jun 17, 2025 | ||
* Implementation: Pending | ||
* Review: [Pitch](https://forums.swift.org/t/pitch-utcclock/78018) | ||
|
||
## Introduction | ||
|
||
[The proposal for Clock, Instant and Duration](https://github.com/swiftlang/swift-evolution/blob/main/proposals/0329-clock-instant-duration.md) was left with a future direction to address feedback for the need of clocks based upon the time measured by interacting with the user displayed clock, otherwise known as the "wall clock". | ||
|
||
This proposal introduces a new clock type for interacting with the user displayed clock, transacts in instants that are representations of offsets from an epoch and defined by the advancement from a UTC time. | ||
|
||
## Motivation | ||
|
||
Clocks in general can express many different mechanisms for time. That time can be strictly increasing, increasing but paused when the computer is not active, or in a clock in the traditional non-computing sense that one schedules according to a given time of day. The latter one must have some sort of mechanism to interact with calendarical and localized calculations. | ||
|
||
All three of the aforementioned clocks all have a concept of a starting point of reference. This is not a distinct requirement for creating a clock, but all three share this additional convention of a property. | ||
|
||
## Proposed solution and example | ||
|
||
In short, a new clock will be added: `UTCClock`. This clock will have its `Instant` type defined as `Date`. There will also be affordances added for calculations that account for the edge cases of [leap seconds](https://en.wikipedia.org/wiki/Leap_second) (which currently `Date` on its own does not currently offer any sort of mechanism either on itself or via `Calendar`). `Date` has facilities for expressing a starting point from an epoch, however that mechanism is not shared to `ContinuousClock.Instant` or `SuspendingClock.Instant`. All three types will have an added new static property for fetching the `epoch` - and it is suggested that any adopters of `InstantProtocol` should add a new property to their types to match this convention where it fits. | ||
|
||
Usage of this `UTCClock` can be illustrated by awaiting to perform a task at a given time of day. This has a number of interesting wrinkles that the `SuspendingClock` and `ContinousClock` wouldn't be able to handle. Example cases include where the deadline might be beyond a daylight savings time. Since `Date` directly interacts with `Calendar` it then ensures appropriate handling of these edges and is able to respect the user's settings and localization. | ||
|
||
```swift | ||
let calendar = Calendar.current | ||
var when = calendar.dateComponents([.day, .month, .year], from: .now) | ||
when.day = when.day.map { $0 + 1 } | ||
when.hour = 8 | ||
|
||
if let tomorrowMorning8AM = calendar.date(from: when) { | ||
try await UTCClock().sleep(until: tomorrowMorning8AM) | ||
playAlarmSound() | ||
} | ||
``` | ||
|
||
This can be used not only for alarms, but also scheduled maintenance routines or other such chronological tasks. The applications for which span from mobile to desktop to server environments and have a wide but specific set of use cases. It is worth noting that this new type should not be viewed as a replacement since those others have key functionality for representing behavior where the concept of time would be inappropriate to be non-monotonic. | ||
|
||
|
||
## Detailed design | ||
|
||
These additions can be broken down into three categories; the `UTCClock` definition, the conformance of `Date` to `InstantProtocol`, and the extensions for vending epochs. | ||
|
||
The structure of the `UTCClock` is trivially sendable since it houses no specific state and has the defined typealias of its `Instant` as `Date`. The minimum feasible resolution of `Date` is 1 nanosecond (however that may vary from platform to platform where Foundation is implemented). | ||
|
||
```swift | ||
@available(FoundationPreview 6.2, *) | ||
public struct UTCClock: Sendable { | ||
public typealias Instant = Date | ||
public init() | ||
} | ||
|
||
@available(FoundationPreview 6.2, *) | ||
extension UTCClock: Clock { | ||
phausler marked this conversation as resolved.
Show resolved
Hide resolved
|
||
public func sleep(until deadline: Date, tolerance: Duration? = nil) async throws | ||
public var now: Date { get } | ||
public var minimumResolution: Duration { get } | ||
} | ||
``` | ||
|
||
The extension of `Date` conforms it to `InstantProtocol` and adds one addition "near miss" of the protocol as an additional function that in practice feels like a default parameter. This `duration(to:includingLeapSeconds:)` function provides the calculation of the duration from one point in time to another and calculates if the span between the two points includes a leap second or not. This calculation can be used for historical astronomical data since the irregularity of the rotation causes variation in the observed solar time. Those points are historically fixed and are a known series of events at specific dates (in UTC)[^utclist]. | ||
|
||
```swift | ||
@available(FoundationPreview 6.2, *) | ||
extension Date: InstantProtocol { | ||
phausler marked this conversation as resolved.
Show resolved
Hide resolved
|
||
public func advanced(by duration: Duration) -> Date | ||
public func duration(to other: Date) -> Duration | ||
} | ||
|
||
@available(FoundationPreview 6.2, *) | ||
extension Date { | ||
phausler marked this conversation as resolved.
Show resolved
Hide resolved
|
||
public static func leapSeconds(from start: Date, to end: Date) -> Duration | ||
} | ||
``` | ||
|
||
Usage of the `duration(to:)` and `leapSeconds(from:to:)` works as follows to calculate the total number of leap seconds: | ||
|
||
```swift | ||
let start = Calendar.current.date(from: DateComponents(timeZone: .gmt, year: 1971, month: 1, day: 1))! | ||
let end = Calendar.current.date(from: DateComponents(timeZone: .gmt, year: 2017, month: 1, day: 1))! | ||
let leaps = Date.leapSeconds(from: start, to: end) | ||
print(leaps) // prints 27.0 seconds | ||
print(start.duration(to: end) + leaps) // prints 1451692827.0 seconds | ||
``` | ||
|
||
It is worth noting that the usages of leap seconds for a given range is not a common use in most every-day computing; this is intended for special cases where data-sets or historical leap second including durations are strictly needed. The general usages should only require the normal `duration(to:)` api without adding any additional values. Documentation of this function will reflect that more "niche" use case. | ||
|
||
An extension to `UTCClock` will be made in `Foundation` for exposing an `systemEpoch` similarly to the properties proposed for the `SuspendingClock` and `ContinousClock`. This epoch will be defined as the `Date(timeIntervalSinceReferenceDate: 0)` which is Jan 1 2001. | ||
|
||
```swift | ||
|
||
@available(FoundationPreview 6.2, *) | ||
extension UTCClock { | ||
phausler marked this conversation as resolved.
Show resolved
Hide resolved
|
||
public static var systemEpoch: Date { get } | ||
} | ||
``` | ||
|
||
## Impact on existing code | ||
|
||
This is a purely additive set of changes. | ||
|
||
## Alternatives considered | ||
|
||
It was considered to add a protocol joining the epochs as a "EpochInstant" but that offers no real algorithmic advantage worth introducing a new protocol. Specialization of functions should likely just use where clauses to the specific instant or clock types. | ||
|
||
It was considered to add a new `Instant` type instead of depending on `Date` however this was rejected since it would mean re-implementing a vast swath of the supporting APIs for `Calendar` and such. The advantage of this is minimal and does not counteract the additional API complexity. | ||
|
||
It was considered to add a near-miss overload for `duration(to:)` that had an additional parameter of `includingLeapSeconds` this was dismissed because it was considered to be too confusing and may lead to bugs where that data was not intended to be used. | ||
|
||
[^utclist] If there are any updates to the list that will be considered a data table update and require a change to Foundation. |
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Uh oh!
There was an error while loading. Please reload this page.