Estoy desarrollando algunos algoritmos concurrentes que se ocupan de los objetos de referencia. Estoy usando java 17.

La cuestión es que no sé cuál es la semántica de memoria de operaciones como obtener, borrar o referir. No está documentado en el Javadoc.

Mirando el código fuente de OpenJdk, el referente no tiene modificador, como volátil (mientras que el siguiente puntero para las colas de referencia es volátil). Además, obtener la implementación es trivial, pero es un candidato intrínseco. clear y referTo son nativos. Así que no sé lo que realmente hacen.

Cuando el GC borra una referencia, debo suponer que todos los subprocesos la verán borrada o, de lo contrario, verían una referencia a un objeto (en proceso de ser) recolectado como basura, pero es solo una suposición informal.

¿Hay alguna garantía sobre la semántica de la memoria de todas estas operaciones?

Si no la hay, ¿hay alguna manera de obtener las mismas garantías de un acceso volátil invocando, por ejemplo, una operación de valla antes y/o después de llamar a una de estas operaciones?