←back to thread

Smart pointers for the kernel

(lwn.net)
169 points signa11 | 1 comments | 18 Oct 24 02:10 UTC | HN request time: 0.193s | source
Show context
DoubleDecoded ◴[18 Oct 24 02:59 UTC] No.41875994[source]▶
"could break the guarantees" is a weak guarantee then.
replies(2): >>41876027 #>>41881309 #
1. dzaima ◴[18 Oct 24 17:01 UTC] No.41881309[source]▶
Basically any guarantee can be broken by an evil guaranteer. All this is saying is that this is a case of the user being required to uphold a guarantee, instead of the stdlib/language.