Nano Hash - криптовалюты, майнинг, программирование

Безопасно ли использовать uintptr в качестве слабой ссылки

Я хочу реализовать слабую ссылку в Go, чтобы я мог использовать финализатор, чтобы определить, когда структура данных больше не требуется, и иметь возможность хранить/очищать данные.

Один из способов, который я нашел для этого, - использовать uintptr в качестве ключа карты, чтобы при вызове финализатора я мог получить доступ/очистить данные, используя значение указателя, переданное в функцию финализатора. Безопасно ли это делать?

Я думаю, мой вопрос: использует ли Go движущийся сборщик мусора? Или будет?

go garbage-collection
22.07.2020

  • Go — это спецификация языка, и в этой спецификации вообще не упоминается сборка мусора, за исключением упоминания во введении, что Go является сборщиком мусора. Это означает, что нет буквально никаких гарантий относительно того, как выполняется сборка мусора (и, честно говоря, даже если это делается — есть некоторые реализации, которые вообще не выполняют сборку мусора) . 22.07.2020

Ответы:


1

Ссылка, которую вы сами процитировали в комментарии содержит ответ на вопрос, который вы хотели задать: вместо того, чтобы давать клиентам указатель на базовый объект, с которым вы хотели бы возиться, дайте им указатель на объект-оболочку:

type internal struct {
    // all the internal stuff goes here
}

// change the name Wrapper below to something more suitable
type Wrapper struct {
    *internal   // or p *internal if you want to be overly verbose
}

func NewWhatever(/*args*/) *Wrapper {
    p := &Wrapper{...} // fill this part in
    runtime.SetFinalizer(p, wrapperGotCollected)
    return p
}

func wrapperGotCollected(p *Wrapper) {
    // since p itself is about to be collected,
    // **p (or *((*p).p)) is no longer accessible by
    // the user who called NewWhatever().  Do
    // something appropriate here.
}

Обратите внимание, что здесь не используется финализатор для *internal, а скорее финализатор для *Wrapper: во время вызова wrapperGotCollected сам объект *internal гарантированно остается живым, поскольку сам p не тем не менее, был проверен GC (это как бы на полпути, и остальная часть пути будет, как только или вскоре после того, как wrapperGotCollected вернется).

22.07.2020

2

небезопасная документация допускает сборщик мусора, перемещающий значения в памяти.

uintptr — это целое число, а не ссылка. Преобразование указателя в uintptr создает целочисленное значение без семантики указателя. Даже если uintptr содержит адрес какого-либо объекта, сборщик мусора не обновит значение этого uintptr при перемещении объекта, и этот uintptr не будет препятствовать возвращению объекта.

22.07.2020
  • Я использую финализатор, но у меня есть ряд ограничений, о которых я не вдавался в подробности. В частности, я хочу встроить указатель, чтобы я мог вызывать его методы, атомарно обновляя его значение в случае изменений. groups.google.com/u/1/g/golang- Nuts/c/1ItNOOj8yW8 был последней подсказкой, которая мне была нужна. Вы можете встраивать указатели в указатели, если они заключены в структуру другого типа. 22.07.2020

    • 3

    Для полноты это то, что я сделал что-то вроде:

    type actualThing struct {
    Data int
}

type internalHandle struct {
    *actualThing
}

type ExternalHandle struct {
   *internalHandle
}

    Таким образом, пользователь ExternalHandle по-прежнему может писать код, подобный ExternalHandle.Data, но внутренний код обслуживания может атомарно обновлять *actualThing. Финализатор указателя на ExternalHandle будет сигнализировать остальной части стека, чтобы удалить ссылки на internalHandle и прекратить распространять на него обновления.

    По сути, очень удобно то, что, вложив структуры как таковые, пользователи ExternalHandle используют их, не осознавая и не имея дела с тем фактом, что это разыменование двойного указателя.

    23.07.2020
    Новые материалы
    Кластеризация: более глубокий взгляд
    Кластеризация — это метод обучения без учителя, в котором мы пытаемся найти группы в наборе данных на основе некоторых известных или неизвестных свойств, которые могут существовать. Независимо от..
    Как написать эффективное резюме
    Предложения по дизайну и макету, чтобы представить себя профессионально Вам не позвонили на собеседование после того, как вы несколько раз подали заявку на работу своей мечты? У вас может..
    Частный метод Python: улучшение инкапсуляции и безопасности
    Введение Python — универсальный и мощный язык программирования, известный своей простотой и удобством использования. Одной из ключевых особенностей, отличающих Python от других языков, является..
    Как я автоматизирую тестирование с помощью Jest
    Шутка для победы, когда дело касается автоматизации тестирования Одной очень важной частью разработки программного обеспечения является автоматизация тестирования, поскольку она создает..
    Работа с векторными символическими архитектурами, часть 4 (искусственный интеллект)
    Hyperseed: неконтролируемое обучение с векторными символическими архитектурами (arXiv) Автор: Евгений Осипов , Сачин Кахавала , Диланта Хапутантри , Тимал Кемпития , Дасвин Де Сильва ,..
    Понимание расстояния Вассерштейна: мощная метрика в машинном обучении
    В обширной области машинного обучения часто возникает необходимость сравнивать и измерять различия между распределениями вероятностей. Традиционные метрики расстояния, такие как евклидово..
    Обеспечение масштабируемости LLM: облачный анализ с помощью AWS Fargate и Copilot
    В динамичной области искусственного интеллекта все большее распространение получают модели больших языков (LLM). Они жизненно важны для различных приложений, таких как интеллектуальные..