En el Capítulo 13 "Objetos atómicos" del libro "Algoritmos distribuidos" de Nancy Lynch, se demuestra que la linealización (también conocida como atomicidad) es una propiedad de seguridad. Es decir, su propiedad de rastreo correspondiente es no vacía, con prefijo cerrado y límite cerrado , como se define en la Sección 8.5.3. Informalmente, una propiedad de seguridad a menudo se interpreta como que dice que algo particular "malo" nunca sucede.
En base a esto, mi primer problema es el siguiente:
¿Cuáles son las ventajas de la linealización como propiedad de seguridad? ¿Hay algunos resultados basados en este hecho en la literatura?
En el estudio de la clasificación de propiedad de seguridad y propiedad de vida, es bien sabido que la propiedad de seguridad puede caracterizarse como el conjunto cerrado en una topología apropiada. En el documento "La clasificación del progreso de seguridad" @ 1993 por Amir Pnueli et al. , se adopta una topología métrica. Más específicamente, una propiedad es un conjunto de palabras (finitas o infinitas) sobre el alfabeto Σ . La propiedad A ( Φ ) consiste en todas las palabras infinitas σ de modo que todos los prefijos de σ pertenecen a Φ . Por ejemplo, si Φ = a + b ∗ , entonces . Una propiedad infinitaria Π se define como unapropiedad de seguridadsi Π = A ( Φ ) para alguna propiedad finitaria Φ . La métrica d ( σ , σ ′ ) entre las palabras infinitas σ y σ ′ se define como 0 si son idénticas, y d ( σ , σ ′ ) = 2 - contrario, dondejes la longitud del prefijo común más largo en el que están de acuerdo. Con esta métrica, la propiedad de seguridad puede caracterizarse como conjuntos cerrados topológicamente.
Aquí viene mi segundo problema:
¿Cómo caracterizar la linealidad como conjuntos cerrados topológicamente? En particular, ¿cuál es el conjunto subyacente y cuál es la topología?
The metric d induces a topology (e.g., page~119 of [1]) where the ϵ-balls...
?