Э
А impl Sync в таком случае выглядит уместным
Если там unsync::OnceCell, то гонка данных же.
Size: a a a
2020 October 20
К
Если там unsync::OnceCell, то гонка данных же.
там sync::OnceCell
MB
Если там unsync::OnceCell, то гонка данных же.
Я подразумеваю, что там все-таки sync::OnceCell, но замечание разумное
MB
Хотя не, impl Debug убери
И вообще нельзя ничего вызывать относительно &T, в том числе Debug, Display.
MB
Кстати, наверное можно T завернуть в мьютекс. Это немного увеличит расход памяти, но без ансейфа вообще
MB
Кстати, наверное можно T завернуть в мьютекс. Это немного увеличит расход памяти, но без ансейфа вообще
А, нет. Там же будут беды у геттера тогда
Э
Значение придётся сразу заворачивать, или внутри лока Option держать
К
Я думал, что тот факт, что оно set-ится только один раз из одного места, поможет мне облегчить логику синхронизации
Э
Кирилл
Я думал, что тот факт, что оно set-ится только один раз из одного места, поможет мне облегчить логику синхронизации
Если оно сеттится только раз, то там не нужен Send и Sync.
К
Если оно сеттится только раз, то там не нужен Send и Sync.
Оно сеттится в другом потоке
MB
Тут вот такая штука поможет:
struct Foo<T>(T);
unsafe impl<T> Sync for Foo<T>;
impl<T> Foo<T> {
fn new(T) -> Self;
fn get(&mut self) -> &mut T;
unsafe fn get_unchecked(&self) -> &T;
}
struct Foo<T>(T);
unsafe impl<T> Sync for Foo<T>;
impl<T> Foo<T> {
fn new(T) -> Self;
fn get(&mut self) -> &mut T;
unsafe fn get_unchecked(&self) -> &T;
}
MB
Оно поможет не навесить какой-нибудь дерайв случайно.
Э
Кирилл
Оно сеттится в другом потоке
А читается после джойна потока?
MB
Кстати, выглядит как oneshot mpsc вместимости 1
К
А читается после джойна потока?
В любое время. Может быть, даже когда ещё не засетилось.
Э
Вообще, по-моему, проще не interior mutability делать, а просто oneshot-channel.
MB
Кстати, выглядит как oneshot mpsc вместимости 1
Но я таких не видел
Э
Но я таких не видел
Да были где-то ваншоты.
MB
Да были где-то ваншоты.
Но у них Sender не клонируется
Э
Ну, как минимум дефолтный std channel создаётся ваншотным.