DEENESPTFRRUARHIKOZHNL

clase ara::core::UnsynchronizedPoolResource

[SWS_CORE_00045] Upstream: RS_AP_00130

class UnsynchronizedPoolResource :           public MemoryResource {...};

Implementation of std::pmr::unsynchronized_pool_resource from [mem.res.pool]

Header-Datei#include "ara/core/memory_resource.h"
Forwarding-Header#include "ara/core/core_fwd.h"
Scopenamespace ara::core
Basisklasse(n)MemoryResource

Guía del usuarioGENERADO POR IA

Gestiona pools vinculados a memoria para asignaciones rápidas en hilos individuales sin excepciones.
GENERADO POR IA no revisado Modelo: gemini-3.8-flash-medium · Esfuerzo: medium · Temperatura: no controlable · Prompt: 3445f931b524 Procedencia Preguntas abiertas (3)
traducido de la guía alemanagemini-3.8-flash-low · 2026-10-13 · Original en alemán

Gestiona pools vinculados a memoria para asignaciones rápidas en hilos individuales sin excepciones.

La clase implementa un recurso de pool de memoria no sincronizado según el modelo de std::pmr::unsynchronized_pool_resource y gestiona bloques de memoria a través de un recurso upstream configurable. A través de pools internos atiende solicitudes de memoria repetidas de manera eficiente, pudiendo liberarse la memoria total no utilizada a través de la interfaz en caso necesario [SWS_CORE_00065]. Dado que las rutas de asignación no están diseñadas para ser seguras para hilos, una instancia solo debe operarse dentro de un único contexto de ejecución sin acceso concurrente [SWS_CORE_00058]. A diferencia de C++ estándar, la asignación no lanza excepciones en caso de falta de memoria, sino que señala los fallos estrictamente mediante la devolución de un puntero nulo.

Contexto

La clase ara::core::UnsynchronizedPoolResource proporciona en AUTOSAR Adaptive una implementación de std::pmr::unsynchronized_pool_resource conforme al estándar [mem.res.pool] y se deriva de la clase base MemoryResource. Su tarea principal consiste en gestionar solicitudes de memoria recurrentes a través de pools internos de tamaños de chunk fijos, con el fin de reducir la fragmentación y la sobrecarga administrativa frente a asignaciones directas del sistema. En este proceso, la instancia obtiene áreas de memoria mayores de un recurso de memoria upstream superior, que está vinculado como MemoryResource* y puede consultarse mediante el método upstream_resource() [SWS_CORE_00056].

El comportamiento de los chunks internos y de los límites del pool se controla mediante parámetros de configuración del tipo PoolOptions, los cuales pueden consultarse a través de options() [SWS_CORE_00057]. Además, el método sobrescrito do_is_equal() permite la comparación de igualdad en tiempo de ejecución con otros recursos de memoria [SWS_CORE_00060]. La clase opera así como intermediaria entre el contexto de ejecución solicitante y el recurso upstream subyacente.

diag_kontext caller Aufrufer (Thread) pool UnsynchronizedPoolResource caller->pool Allokationsanfragen upstream MemoryResource (Upstream) pool->upstream bezieht Chunks options PoolOptions options->pool konfiguriert

Diagrama de contexto: integración de UnsynchronizedPoolResource entre el hilo llamador y el recurso de memoria upstream. Fuentes: [SWS_CORE_00056], [SWS_CORE_00057], [SWS_CORE_00060]

Ciclo de vida

Para crear una instancia se dispone de varios constructores: un constructor por defecto sin parámetros [SWS_CORE_00063], constructores con transferencia explícita de un recurso upstream [SWS_CORE_00064], opciones de configuración [SWS_CORE_00068] o ambos combinados [SWS_CORE_00067]. Las operaciones de copia están completamente impedidas; tanto el constructor de copia [SWS_CORE_00046] como el operador de asignación por copia [SWS_CORE_00047] están eliminados (delete). A diferencia del estándar ISO-14882, sin embargo, AUTOSAR define explícitamente semántica de movimiento: el constructor de movimiento [SWS_CORE_00048] y el operador de asignación por movimiento [SWS_CORE_00049] están disponibles como noexcept=default.

Durante el funcionamiento, toda la memoria asignada por el recurso upstream puede liberarse mediante la llamada a release() sin destruir el propio objeto de pool [SWS_CORE_00065]. El fin del ciclo de vida queda sellado por el destructor ~UnsynchronizedPoolResource(), el cual está declarado como noexcept override, aunque presenta la desviación esencial de AUTOSAR de no ser virtual [SWS_CORE_00062].

En cuanto a la concurrencia, la clase no está sincronizada: las funciones protegidas de asignación y liberación do_allocate() [SWS_CORE_00058] y do_deallocate() [SWS_CORE_00059] están especificadas explícitamente como no seguras para hilos. En cambio, los constructores, los inspectores como upstream_resource() [SWS_CORE_00056] y options() [SWS_CORE_00057], así como release() [SWS_CORE_00065] y el destructor, están clasificados como seguros para hilos.

Ruta de uso

Una ruta de uso típica abarca la instanciación, asignaciones y liberaciones de memoria repetidas, así como la limpieza final:

  1. Inicialización: el llamador crea la instancia indicando las PoolOptions deseadas y un recurso upstream [SWS_CORE_00067].
  2. Asignación: la memoria se obtiene a través de la interfaz de la clase base, la cual delega en do_allocate() [SWS_CORE_00058]. Interpretación: si en el pool interno no hay ningún bloque adecuado libre, se solicita nueva memoria de chunk al recurso upstream a través de su interfaz de asignación regular. Pregunta Q-ca9abd7b5da1a39f (abierta)
  3. Desasignación: los bloques a liberar se transfieren a do_deallocate() y se devuelven al pool interno para solicitudes subsiguientes [SWS_CORE_00059].
  4. Reinicio de recursos: antes de la reutilización o antes del apagado, se puede llamar a release() para devolver en bloque los bloques de memoria upstream [SWS_CORE_00065].
  5. Destrucción: el objeto se destruye de forma regular al final de su ámbito de validez a través de su tipo concreto [SWS_CORE_00062].
Flujo típico de la asignación y liberación de memoriaInvocadorUnsynchronizedPoolResourceUpstream-RessourceUse Case: InitialisierungUnsynchronizedPoolResource(opts, upstream)Use Case: Speichernutzungdo_allocate(bytes, alignment)optPool agotadoallocate(...)SpeicherblockPuntero a memoria (o nullptr)do_deallocate(p, bytes, alignment)Use Case: Bereinigungrelease()deallocate(...)

Diagrama de secuencia: desarrollo típico desde la asignación y la desasignación hasta la liberación de memoria. Fuentes: [SWS_CORE_00058], [SWS_CORE_00059], [SWS_CORE_00065], [SWS_CORE_00067]

Escenarios de error

AUTOSAR define para ara::core::UnsynchronizedPoolResource desviaciones específicas respecto al estándar C++ para cumplir los requisitos de comportamiento determinista en tiempo de ejecución sin excepciones:

  • Falta de memoria en la asignación: si falla una solicitud de memoria en do_allocate(), no se lanza ninguna excepción std::bad_alloc. La función está declarada como noexcept y, en su lugar, devuelve estrictamente nullptr [SWS_CORE_00058]. Por lo tanto, los llamadores deben comprobar consecuentemente los valores de retorno respecto a nullptr.
  • Error en la desasignación: si falla la liberación mediante do_deallocate(), el error se ignora silenciosamente («silently ignored») sin propagar excepciones [SWS_CORE_00059].
  • Destrucción polimórfica: dado que el destructor, a diferencia de [mem.res.pool], explícitamente no es virtual [SWS_CORE_00062], interpretación: una destrucción a través de un puntero de la clase base MemoryResource* probablemente conlleve un comportamiento indefinido. Pregunta Q-68ed70c0b6a907a3 (abierta) Las instancias deben destruirse siempre a través de su tipo derivado.
  • Seguridad frente a excepciones en la creación: mientras que el constructor con opciones y recurso upstream se considera noexcept [SWS_CORE_00067], el constructor por defecto [SWS_CORE_00063] así como los constructores [SWS_CORE_00064] y [SWS_CORE_00068] están identificados como no seguros frente a excepciones. Interpretación: es probable que la falta de seguridad frente a excepciones de estos constructores se deba a que durante la inicialización pueden fallar las asignaciones previas procedentes del recurso upstream. Pregunta Q-8e2bbf2053947649 (abierta)

Esta guía se basa en las especificaciones de AUTOSAR Adaptive del Release R25-11 para el módulo core.

Mapa de miembros

Constructores y destructor

1

Operadores

1

Diagrama de clases

Hohle Dreieckspfeile = Vererbung (zeigt zur Basisklasse); Klicken öffnet die jeweilige Klassenseite.

G nara__core__UnsynchronizedPoolResource176 UnsynchronizedPoolResource + UnsynchronizedPoolResource() + UnsynchronizedPool() + operator=() nara__core__MemoryResource130 MemoryResource nara__core__UnsynchronizedPoolResource176->nara__core__MemoryResource130

Vista de detalle

Selecciona una entrada en el índice.

Constructores y destructor

[AUTOSAR defined] not present in ISO-14882. Move constructor

UnsynchronizedPoolResource (UnsynchronizedPoolResource &&other) noexcept=default;

Métodos

UnsynchronizedPool función 13

≙ [mem.res.pool]

Sobrecargas UnsynchronizedPool 13
UnsynchronizedPoolResource & operator= (const UnsynchronizedPool Resource &)=delete; SWS_CORE_00047
MemoryResource * upstream_resource () const noexcept; SWS_CORE_00056
PoolOptions options () const noexcept; SWS_CORE_00057
void * do_allocate (size_t bytes, size_t alignment) noexcept override; SWS_CORE_00058
void do_deallocate (void *p, size_t bytes, size_t alignment) noexcept override; SWS_CORE_00059
bool do_is_equal (const MemoryResource &other) const noexcept override; SWS_CORE_00060
void release () noexcept; SWS_CORE_00065

Operadores

operator= función

[AUTOSAR defined] not present in ISO-14882. Move assignment operator

UnsynchronizedPoolResource & operator= (UnsynchronizedPoolResource &&other) noexcept=default;

Documentación de los métodos

función UnsynchronizedPool [SWS_CORE_00046]

UnsynchronizedPoolResource (const UnsynchronizedPoolResource &)=delete;

As per corresponding usage in [mem.res.pool]

GENERADO POR IA no revisado Modelo: gemini-3.8-flash-medium · Esfuerzo: medium · Temperatura: no controlable · Prompt: f284e1fe400c Procedencia Preguntas abiertas (1)
traducido de la guía alemanagemini-3.8-flash-low · 2026-10-13 · Original en alemán

La declaración del constructor de copia como eliminado (=delete) en ara::core::UnsynchronizedPoolResource según [SWS_CORE_00046] impide cualquier duplicación de una instancia de pool. En su lugar, para la creación de objetos se dispone de constructores específicos, por ejemplo sin argumentos [SWS_CORE_00063], con indicación de un recurso de memoria upstream [SWS_CORE_00064], con PoolOptions [SWS_CORE_00068] o con ambos parámetros [SWS_CORE_00067].

Para el uso y el comportamiento en tiempo de ejecución aplican las siguientes condiciones marco:

  • Llamada y tratamiento de errores: un intento de copia es rechazado ya en tiempo de compilación por el compilador como un error. Los fallos de asignación en el uso posterior de la memoria a través de do_allocate no provocan excepciones, sino que devuelven nullptr [SWS_CORE_00058], mientras que los fallos de liberación en do_deallocate se ignoran silenciosamente [SWS_CORE_00059].
  • Concurrencia: las operaciones individuales de memoria sobre la instancia están declaradas como no seguras para hilos [SWS_CORE_00058], [SWS_CORE_00059]. Interpretación: es de prever que la eliminación del constructor de copia garantice la responsabilidad exclusiva sobre los bloques de memoria gestionados y evite estados inconsistentes ante el uso concurrente o la liberación prematura a través de release [SWS_CORE_00065]. Pregunta Q-d97dd87dddb2379d (abierta)
  • Interacción: la restricción se corresponde con el operador de asignación [SWS_CORE_00047], que también está eliminado. El destructor de la clase no es virtual [SWS_CORE_00062], mientras que las comprobaciones de identidad pueden llevarse a cabo mediante do_is_equal [SWS_CORE_00060].

Este texto fue generado por una IA; no sustituye la lectura de la especificación AUTOSAR.

Guía del implementador pendiente (complejidad I1)

Header-Datei#include "ara/core/memory_resource.h"
Scopeclass ara::core::UnsynchronizedPoolResource

Request a governed re-review of this record. The record is not changed immediately.

Record
AUTOSAR/AP/record/SWS_CORE_00046
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_00046@rel:R25-11#ba3a7c17
Content hash
ba3a7c17
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_00046
Status: valid/unmigrated Version: rel:R25-11#59797236 Versionshistorie & Revisions (1 transition, 3 revision)
Current State
valid/unmigrated
Reason
mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign
2026-08-13-status-backfill
Active Version
AUTOSAR/AP/record/SWS_CORE_00046@rel:R25-11#59797236
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#f3a5e9cc2026-09-30
  • R24-11rel:R24-11#027b367b2026-10-14
  • R25-11rel:R25-11#597972362026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

función UnsynchronizedPool [SWS_CORE_00047]

UnsynchronizedPoolResource & operator= (const UnsynchronizedPool Resource &)=delete;

As per corresponding usage in [mem.res.pool]

GENERADO POR IA no revisado Modelo: gemini-3.8-flash-medium · Esfuerzo: medium · Temperatura: no controlable · Prompt: 6b94e396e900 Procedencia Preguntas abiertas (1)
traducido de la guía alemanagemini-3.8-flash-low · 2026-10-13 · Original en alemán

El operador de asignación por copia de ara::core::UnsynchronizedPoolResource está declarado explícitamente como eliminado (=delete) de conformidad con [SWS_CORE_00047]. Asignar una instancia a otra queda, por tanto, sintácticamente descartado y genera un error de compilación ya en tiempo de compilación. Junto con el constructor de copia [SWS_CORE_00046], igualmente eliminado, esto garantiza que las instancias de la clase de recurso no puedan copiarse ni duplicarse por asignación. Interpretación: es de prever que esto impida que los bloques de memoria internos y la información de gestión se referencien de forma múltiple o se desasignen erróneamente. Pregunta Q-75cee08bebc61976 (abierta)

En su lugar, las nuevas instancias se crean mediante los constructores proporcionados, por ejemplo sin parámetros a través de [SWS_CORE_00063], con recurso upstream mediante [SWS_CORE_00064] o indicando PoolOptions a través de [SWS_CORE_00067] o [SWS_CORE_00068]. El recurso upstream vinculado puede consultarse mediante [SWS_CORE_00056] y las opciones de configuración mediante [SWS_CORE_00057]. La memoria gestionada se puede liberar explícitamente con [SWS_CORE_00065] antes de que finalice el ciclo de vida con el destructor no virtual [SWS_CORE_00062].

Dado que las asignaciones quedan excluidas por [SWS_CORE_00047], en caso necesario las instancias deben pasarse por referencia o puntero. Al respecto, debe tenerse en cuenta que las asignaciones mediante [SWS_CORE_00058] y las desasignaciones mediante [SWS_CORE_00059] están especificadas como no seguras para hilos. Si falla una solicitud de memoria, no se desencadena ninguna excepción, sino que se devuelve nullptr [SWS_CORE_00058]; los errores durante la desasignación se ignoran silenciosamente [SWS_CORE_00059].

Esta nota de uso fue generada por una IA y no sustituye a una revisión manual.

Guía del implementador pendiente (complejidad I1)

Header-Datei#include "ara/core/memory_resource.h"
Scopeclass ara::core::UnsynchronizedPoolResource

Request a governed re-review of this record. The record is not changed immediately.

Record
AUTOSAR/AP/record/SWS_CORE_00047
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_00047@rel:R25-11#06b6da0f
Content hash
06b6da0f
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_00047
Status: valid/unmigrated Version: rel:R25-11#2f9d7309 Versionshistorie & Revisions (1 transition, 3 revision)
Current State
valid/unmigrated
Reason
mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign
2026-08-13-status-backfill
Active Version
AUTOSAR/AP/record/SWS_CORE_00047@rel:R25-11#2f9d7309
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#f066b7c42026-09-30
  • R24-11rel:R24-11#d1940f3d2026-10-14
  • R25-11rel:R25-11#2f9d73092026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

función UnsynchronizedPool [SWS_CORE_00056]

MemoryResource * upstream_resource () const noexcept;

As per corresponding usage in [mem.res.pool]

GENERADO POR IA no revisado Modelo: gemini-3.8-flash-medium · Esfuerzo: medium · Temperatura: no controlable · Prompt: 1faa09f94501 Procedencia Preguntas abiertas (1)
traducido de la guía alemanagemini-3.8-flash-low · 2026-10-13 · Original en alemán

usar

El método upstream_resource() de la clase ara::core::UnsynchronizedPoolResource devuelve sincrónicamente un puntero al MemoryResource de nivel superior [SWS_CORE_00056]. La llamada no tiene parámetros y está declarada como const. La inclusión y las declaraciones de tipo se realizan a través del archivo de cabecera #include "ara/core/memory_resource.h" [SWS_CORE_00056].

Manejo de errores

La función está especificada como noexcept así como exception safe [SWS_CORE_00056]. No desencadena excepciones y no notifica códigos de error específicos ni eventos DET o DEM. Si la inicialización previa mediante constructores falla, estos en parte no son seguros frente a excepciones [SWS_CORE_00063], mientras que la consulta en sí permanece siempre libre de errores.

Concurrencia y restricciones

El método upstream_resource() está catalogado explícitamente como thread-safe [SWS_CORE_00056]. Esto contrasta con las rutinas de asignación internas do_allocate() [SWS_CORE_00058] y do_deallocate() [SWS_CORE_00059], las cuales están especificadas como not thread-safe. Además, el constructor de copia y el operador de asignación de la clase están eliminados [SWS_CORE_00046], [SWS_CORE_00047].

Interacción

El método interactúa estrechamente con los constructores de UnsynchronizedPoolResource, a los que opcionalmente se les puede pasar un MemoryResource de nivel superior [SWS_CORE_00064], [SWS_CORE_00067]. Interpretación: es de prever que el puntero devuelto apunte exactamente a la instancia de MemoryResource determinada en la instanciación. Pregunta Q-aefbc7d0f7d085d1 (abierta) Se pueden consultar otras propiedades del recurso del pool a través de options() [SWS_CORE_00057], mientras que la memoria asignada puede liberarse mediante release() [SWS_CORE_00065].

Esta nota de uso fue generada automáticamente sobre la base de la especificación.

Guía del implementador pendiente (complejidad I1)

Header-Datei#include "ara/core/memory_resource.h"
Scopeclass ara::core::UnsynchronizedPoolResource
Exception-Sicherheitexception safe
Thread-Sicherheitthread-safe

Request a governed re-review of this record. The record is not changed immediately.

Record
AUTOSAR/AP/record/SWS_CORE_00056
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_00056@rel:R25-11#d105114b
Content hash
d105114b
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_00056
Status: valid/unmigrated Version: rel:R25-11#1c6adb74 Versionshistorie & Revisions (1 transition, 3 revision)
Current State
valid/unmigrated
Reason
mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign
2026-08-13-status-backfill
Active Version
AUTOSAR/AP/record/SWS_CORE_00056@rel:R25-11#1c6adb74
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#a73a827a2026-09-30
  • R24-11rel:R24-11#99a662532026-10-14
  • R25-11rel:R25-11#1c6adb742026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

función UnsynchronizedPool [SWS_CORE_00057]

PoolOptions options () const noexcept;

As per corresponding usage in [mem.res.pool]

GENERADO POR IA no revisado Modelo: gemini-3.8-flash-medium · Esfuerzo: medium · Temperatura: no controlable · Prompt: 0e89c24bf535 Procedencia Preguntas abiertas (1)
traducido de la guía alemanagemini-3.8-flash-low · 2026-10-13 · Original en alemán

usar

La función miembro options() de la clase ara::core::UnsynchronizedPoolResource sirve para la consulta síncrona de la configuración del pool de memoria [SWS_CORE_00057]. El método está declarado en #include "ara/core/memory_resource.h", no espera parámetros de transferencia y devuelve una instancia del tipo PoolOptions por valor [SWS_CORE_00057]. Al ser una función cualificada con const, no modifica el objeto y se comporta según la especificación de [mem.res.pool] [SWS_CORE_00057].

Tratamiento de fallos y seguridad frente a excepciones

La interfaz está definida como noexcept y garantiza una total seguridad frente a excepciones (exception safe) [SWS_CORE_00057]. No se lanzan excepciones ni existen valores de retorno de error; la obtención de las opciones siempre tiene éxito sin errores.

Concurrencia y restricciones

En la especificación, options() se identifica como seguro para hilos (thread-safe) [SWS_CORE_00057]. Esto contrasta con funciones de asignación de la misma clase como do_allocate [SWS_CORE_00058] y do_deallocate [SWS_CORE_00059], las cuales explícitamente no son seguras para hilos. El método puede ejecutarse, por tanto, de forma concurrente para la consulta de estado.

Interacción

Es probable que las PoolOptions devueltas reflejen los parámetros con los que se parametrizó el recurso de pool mediante los constructores correspondientes [SWS_CORE_00067], [SWS_CORE_00068], o representen las opciones estándar al utilizar constructores predeterminados [SWS_CORE_00063], [SWS_CORE_00064]. Pregunta Q-19fa8ad6e3e6b1c6 (abierta) Además de options(), para la inspección también está disponible la función upstream_resource() [SWS_CORE_00056], mientras que las operaciones de copia del recurso están impedidas por operadores eliminados [SWS_CORE_00046], [SWS_CORE_00047].

Esta nota de uso ha sido generada automáticamente a partir de la especificación de AUTOSAR Adaptive R25-11.

Guía del implementador pendiente (complejidad I1)

Header-Datei#include "ara/core/memory_resource.h"
Scopeclass ara::core::UnsynchronizedPoolResource
Exception-Sicherheitexception safe
Thread-Sicherheitthread-safe

Request a governed re-review of this record. The record is not changed immediately.

Record
AUTOSAR/AP/record/SWS_CORE_00057
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_00057@rel:R25-11#98289d08
Content hash
98289d08
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_00057
Status: valid/unmigrated Version: rel:R25-11#74445185 Versionshistorie & Revisions (1 transition, 3 revision)
Current State
valid/unmigrated
Reason
mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign
2026-08-13-status-backfill
Active Version
AUTOSAR/AP/record/SWS_CORE_00057@rel:R25-11#74445185
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#5ffea9fd2026-09-30
  • R24-11rel:R24-11#ba1a12012026-10-14
  • R25-11rel:R25-11#744451852026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

función UnsynchronizedPool [SWS_CORE_00058]

void * do_allocate (size_t bytes, size_t alignment) noexcept override;

As per corresponding usage in [mem.res.pool] except for the following deviations: 1. The function is noexcept 2. The function returns nullptr instead of (potentially) throwing a std::bad_alloc exception

GENERADO POR IA no revisado Modelo: gemini-3.8-flash-medium · Esfuerzo: medium · Temperatura: no controlable · Prompt: 1abf1e899f64 Procedencia Preguntas abiertas (1)
traducido de la guía alemanagemini-3.8-flash-low · 2026-10-13 · Original en alemán

usar

El método do_allocate de la clase ara::core::UnsynchronizedPoolResource asigna memoria para el tamaño en bytes (bytes) y la alineación (alignment) solicitados [SWS_CORE_00058]. Interpretación: dado que el método está especificado con visibilidad protegida (protected), es de suponer que en el flujo normal no sea invocado directamente por el código de la aplicación, sino indirectamente a través de la interfaz de asignación de la clase base. Pregunta Q-5a702813496f8071 (abierta) La declaración se realiza a través del archivo de cabecera #include "ara/core/memory_resource.h" [SWS_CORE_00058].

Manejo de errores

A diferencia del comportamiento estándar según [mem.res.pool], la función está declarada como noexcept y no lanza ninguna excepción como std::bad_alloc ante fallos de asignación [SWS_CORE_00058]. En su lugar, devuelve obligatoriamente nullptr en caso de fallo [SWS_CORE_00058]. Por consiguiente, el código llamador siempre debe comprobar explícitamente si el resultado es un puntero nulo.

Concurrencia y restricciones

La función está catalogada como not thread-safe [SWS_CORE_00058]. Las llamadas paralelas sobre la misma instancia de UnsynchronizedPoolResource no están permitidas sin sincronización externa. El constructor de copia y el operador de asignación de la clase están eliminados (delete), de modo que las instancias no pueden copiarse ([SWS_CORE_00046], [SWS_CORE_00047]).

Interacción

Para la liberación de memoria existe la contraparte do_deallocate, que también está diseñada como protegida, noexcept y no segura para hilos, e ignora silenciosamente los errores [SWS_CORE_00059]. El pool utiliza internamente el recurso upstream configurado en la instanciación ([SWS_CORE_00056], [SWS_CORE_00064], [SWS_CORE_00067]). Mediante release() se puede liberar de forma agrupada la memoria obtenida del pool [SWS_CORE_00065].

Este texto fue generado por una IA y se basa exclusivamente en las especificaciones de la versión R25-11.

Guía del implementador pendiente (complejidad I1)

Header-Datei#include "ara/core/memory_resource.h"
Scopeclass ara::core::UnsynchronizedPoolResource
Exception-Sicherheitexception safe
Thread-Sicherheitnot thread-safe
Sichtbarkeitprotected

Rückgabewert

TypBeschreibung
void *• If successful: As per corresponding usage in [mem.res.pool] • If unsuccessful: the returned pointer shall be nullptr

Request a governed re-review of this record. The record is not changed immediately.

Record
AUTOSAR/AP/record/SWS_CORE_00058
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_00058@rel:R25-11#24c31afc
Content hash
24c31afc
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_00058
Status: valid/unmigrated Version: rel:R25-11#da5ef56c Versionshistorie & Revisions (1 transition, 3 revision)
Current State
valid/unmigrated
Reason
mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign
2026-08-13-status-backfill
Active Version
AUTOSAR/AP/record/SWS_CORE_00058@rel:R25-11#da5ef56c
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#efd8ac3d2026-09-30
  • R24-11rel:R24-11#39a011682026-10-14
  • R25-11rel:R25-11#da5ef56c2026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

función UnsynchronizedPool [SWS_CORE_00059]

void do_deallocate (void *p, size_t bytes, size_t alignment) noexcept override;

As per corresponding usage in [mem.res.pool] except for the following deviations: 1. The function is noexcept 2. If unsuccessful: errors will be silently ignored

GENERADO POR IA no revisado Modelo: gemini-3.8-flash-medium · Esfuerzo: medium · Temperatura: no controlable · Prompt: cf9c9d0f03e7 Procedencia Preguntas abiertas (1)
traducido de la guía alemanagemini-3.8-flash-low · 2026-10-13 · Original en alemán

usar

La función miembro virtual do_deallocate está declarada como protected en el ámbito de ara::core::UnsynchronizedPoolResource (cabecera #include "ara/core/memory_resource.h") [SWS_CORE_00059]. Asume la desasignación síncrona de un bloque de memoria a partir de los parámetros pasados p (puntero al área de memoria), bytes (tamaño en bytes) y alignment (alineación). Interpretación: como método protegido, es de suponer que la llamada se realice típicamente de forma indirecta a través de la interfaz pública del recurso de memoria. Pregunta Q-f4992f515c10ee01 (abierta)

Manejo de errores

Frente al comportamiento estándar en [mem.res.pool], la función presenta dos discrepancias específicas: está declarada como noexcept y, por tanto, es segura frente a excepciones [SWS_CORE_00059]. Si la desasignación falla, los errores se ignoran silenciosamente (errors will be silently ignored); no existe ni código de error ni un mensaje de error independiente.

Concurrencia y restricciones

La operación está designada explícitamente como no segura para hilos (not thread-safe) [SWS_CORE_00059]. Si se liberan áreas de memoria de la misma instancia de recurso desde varios hilos, el acceso debe sincronizarse obligatoriamente de forma externa.

Interacción

El método complementa a do_allocate [SWS_CORE_00058], el cual también está especificado como noexcept y no seguro para hilos, y devuelve nullptr en caso de fallo. Para liberar por completo toda la memoria reservada del pool, está disponible el método seguro para hilos release [SWS_CORE_00065]. Las instancias de la clase no son copiables, ya que el constructor de copia [SWS_CORE_00046] y el operador de asignación [SWS_CORE_00047] están eliminados.

Esta nota de uso fue generada automáticamente sobre la base de la especificación AUTOSAR R25-11.

Guía del implementador pendiente (complejidad I1)

Header-Datei#include "ara/core/memory_resource.h"
Scopeclass ara::core::UnsynchronizedPoolResource
Exception-Sicherheitexception safe
Thread-Sicherheitnot thread-safe
Sichtbarkeitprotected

Request a governed re-review of this record. The record is not changed immediately.

Record
AUTOSAR/AP/record/SWS_CORE_00059
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_00059@rel:R25-11#64f972ce
Content hash
64f972ce
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_00059
Status: valid/unmigrated Version: rel:R25-11#0cfa5705 Versionshistorie & Revisions (1 transition, 3 revision)
Current State
valid/unmigrated
Reason
mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign
2026-08-13-status-backfill
Active Version
AUTOSAR/AP/record/SWS_CORE_00059@rel:R25-11#0cfa5705
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#340feda42026-09-30
  • R24-11rel:R24-11#9a1b4e8f2026-10-14
  • R25-11rel:R25-11#0cfa57052026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

función UnsynchronizedPool [SWS_CORE_00060]

bool do_is_equal (const MemoryResource &other) const noexcept override;

As per corresponding usage in [mem.res.pool]

GENERADO POR IA no revisado Modelo: gemini-3.8-flash-medium · Esfuerzo: medium · Temperatura: no controlable · Prompt: 73b01a5b5d45 Procedencia Preguntas abiertas (1)
traducido de la guía alemanagemini-3.8-flash-low · 2026-10-13 · Original en alemán

La función miembro protegida do_is_equal de la clase ara::core::UnsynchronizedPoolResource realiza la comparación de igualdad para recursos de memoria según [SWS_CORE_00060]. Se proporciona mediante el encabezado ara/core/memory_resource.h. Dado que el método tiene visibilidad protected, está previsto para su llamada interna a través de la clase base MemoryResource ([SWS_CORE_00060]). Compara de forma síncrona la instancia actual con una referencia pasada de tipo MemoryResource y devuelve un valor bool ([SWS_CORE_00060]). Según [mem.res.pool], es de suponer que la comparación compruebe típicamente la identidad de ambos recursos (this == &other), ya que los pools de memoria actúan de manera aislada. Pregunta Q-679a5e17d2e2903f (abierta)

El método está declarado como noexcept y cuenta con la especificación exception safe ([SWS_CORE_00060]). No lanza excepciones ni utiliza mensajes de error de DET o DEM.

En lo relativo a la concurrencia, do_is_equal está clasificado como thread-safe ([SWS_CORE_00060]). Dado que opera exclusivamente en modo lectura como función miembro constante, puede ser llamado concurrentemente por varios hilos. Esto contrasta con operaciones de asignación como do_allocate ([SWS_CORE_00058]) y do_deallocate ([SWS_CORE_00059]), que explícitamente no son seguras frente a hilos.

En la interacción de los recursos de memoria, la clase no es copiable ni asignable ([SWS_CORE_00046], [SWS_CORE_00047]). Las instancias se pueden inicializar mediante constructores como [SWS_CORE_00063], [SWS_CORE_00064], [SWS_CORE_00067] o [SWS_CORE_00068]. Las fuentes de memoria de nivel superior se pueden consultar con upstream_resource() ([SWS_CORE_00056]), mientras que antes de la destrucción ([SWS_CORE_00062]) la memoria ocupada se puede liberar mediante release() ([SWS_CORE_00065]).

Esta nota de uso se generó automáticamente sobre la base de los requisitos de especificación de R25-11.

Guía del implementador pendiente (complejidad I1)

Header-Datei#include "ara/core/memory_resource.h"
Scopeclass ara::core::UnsynchronizedPoolResource
Exception-Sicherheitexception safe
Thread-Sicherheitthread-safe
Sichtbarkeitprotected

Request a governed re-review of this record. The record is not changed immediately.

Record
AUTOSAR/AP/record/SWS_CORE_00060
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_00060@rel:R25-11#967da091
Content hash
967da091
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_00060
Status: valid/unmigrated Version: rel:R25-11#daccdcdc Versionshistorie & Revisions (1 transition, 3 revision)
Current State
valid/unmigrated
Reason
mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign
2026-08-13-status-backfill
Active Version
AUTOSAR/AP/record/SWS_CORE_00060@rel:R25-11#daccdcdc
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#2bb31a7e2026-09-30
  • R24-11rel:R24-11#b72d3fac2026-10-14
  • R25-11rel:R25-11#daccdcdc2026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

función UnsynchronizedPool [SWS_CORE_00062]

~UnsynchronizedPoolResource () noexcept override;

As per corresponding usage in [mem.res.pool] except for the following deviations: 1. The function is not virtual

GENERADO POR IA no revisado Modelo: gemini-3.8-flash-medium · Esfuerzo: medium · Temperatura: no controlable · Prompt: 4b99104ceb2c Procedencia Preguntas abiertas (1)
traducido de la guía alemanagemini-3.8-flash-low · 2026-10-13 · Original en alemán

El destructor ~UnsynchronizedPoolResource() ([SWS_CORE_00062]) finaliza el ciclo de vida de una instancia de la clase de memoria ara::core::UnsynchronizedPoolResource procedente del encabezado ara/core/memory_resource.h. La llamada se realiza de forma síncrona y está declarada como noexcept, por lo que la operación es segura frente a excepciones ([SWS_CORE_00062]).

La semántica se corresponde fundamentalmente con el uso del pool en [mem.res.pool], pero presenta una discrepancia esencial: el destructor no es virtual ([SWS_CORE_00062]). Interpretación: Del carácter no virtual del destructor cabría deducir que las instancias no deben liberarse de forma polimórfica a través de un puntero de clase base a MemoryResource. Pregunta Q-5578b2bf008b98c5 (abierta)

En lo que respecta al ciclo de vida y a la interacción, se aplican las siguientes condiciones:

  • Gestión de recursos: Al destruirse la instancia, la memoria gestionada se libera, de forma análoga a la liberación explícita a través de release() ([SWS_CORE_00065]) en dirección al recurso superior ([SWS_CORE_00056]).
  • Concurrencia: Aunque el propio destructor esté clasificado como seguro para hilos ([SWS_CORE_00062]), las rutinas internas de asignación do_allocate ([SWS_CORE_00058]) y do_deallocate ([SWS_CORE_00059]) están designadas como no seguras para hilos. Por consiguiente, la llamada al destructor no debe producirse al mismo tiempo que operaciones de asignación de la misma instancia.
  • Creación y copia: Las instancias pueden construirse con o sin opciones y recurso upstream ([SWS_CORE_00063], [SWS_CORE_00064], [SWS_CORE_00067], [SWS_CORE_00068]). La construcción por copia y la asignación por copia están eliminadas ([SWS_CORE_00046], [SWS_CORE_00047]).

Esta nota de uso se ha generado de forma automatizada y se basa en las especificaciones del release R25-11 de AUTOSAR.

Guía del implementador pendiente (complejidad I1)

Header-Datei#include "ara/core/memory_resource.h"
Scopeclass ara::core::UnsynchronizedPoolResource
Exception-Sicherheitexception safe
Thread-Sicherheitthread-safe

Request a governed re-review of this record. The record is not changed immediately.

Record
AUTOSAR/AP/record/SWS_CORE_00062
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_00062@rel:R25-11#2202d828
Content hash
2202d828
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_00062
Status: valid/unmigrated Version: rel:R25-11#9f8f624d Versionshistorie & Revisions (1 transition, 3 revision)
Current State
valid/unmigrated
Reason
mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign
2026-08-13-status-backfill
Active Version
AUTOSAR/AP/record/SWS_CORE_00062@rel:R25-11#9f8f624d
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#38d061772026-09-30
  • R24-11rel:R24-11#7c782b412026-10-14
  • R25-11rel:R25-11#9f8f624d2026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

función UnsynchronizedPool [SWS_CORE_00063]

UnsynchronizedPoolResource ();

As per corresponding usage in [mem.res.pool]

GENERADO POR IA no revisado Modelo: gemini-3.8-flash-medium · Esfuerzo: medium · Temperatura: no controlable · Prompt: b1a57ee10029 Procedencia Preguntas abiertas (1)
traducido de la guía alemanagemini-3.8-flash-low · 2026-10-13 · Original en alemán

El constructor por defecto sin parámetros [SWS_CORE_00063] inicializa una instancia de ara::core::UnsynchronizedPoolResource según la semántica de [mem.res.pool]. Interpretación: En este proceso deberían emplearse opciones de pool predeterminadas y un recurso de memoria upstream predeterminado, que posteriormente pueden consultarse a través de [SWS_CORE_00057] y [SWS_CORE_00056]. Pregunta Q-d76bae1c251fa516 (abierta)

En lo relativo al ciclo de vida y al uso, rigen las siguientes condiciones marco:

  • Protección contra copia y sobrecarga: El constructor de copia [SWS_CORE_00046] y el operador de asignación [SWS_CORE_00047] están eliminados (delete). Junto a la instanciación sin parámetros, se dispone de constructores sobrecargados con opciones de pool explícitas o recursos upstream ([SWS_CORE_00064], [SWS_CORE_00067], [SWS_CORE_00068]).
  • Tratamiento de fallos y seguridad frente a excepciones: El constructor está declarado como no seguro frente a excepciones (not exception safe) [SWS_CORE_00063]. En el funcionamiento posterior de la memoria, las operaciones de memoria difieren de las excepciones estándar: do_allocate devuelve en caso de error nullptr en lugar de una excepción [SWS_CORE_00058], mientras que do_deallocate ignora los errores de forma silenciosa [SWS_CORE_00059].
  • Concurrencia: La llamada al constructor en sí es segura para hilos [SWS_CORE_00063]. No obstante, las operaciones posteriores de asignación y liberación de la instancia creada (do_allocate, do_deallocate) están especificadas explícitamente como no seguras para hilos (not thread-safe) ([SWS_CORE_00058], [SWS_CORE_00059]).
  • Liberación de recursos y destrucción: La memoria ocupada puede liberarse mediante [SWS_CORE_00065]. El destructor está implementado como noexcept, pero no es virtual [SWS_CORE_00062].

Esta nota de uso se ha generado de forma automatizada sobre la base de la especificación AUTOSAR Adaptive R25-11.

Guía del implementador pendiente (complejidad I1)

Header-Datei#include "ara/core/memory_resource.h"
Scopeclass ara::core::UnsynchronizedPoolResource
Exception-Sicherheitnot exception safe
Thread-Sicherheitthread-safe

Request a governed re-review of this record. The record is not changed immediately.

Record
AUTOSAR/AP/record/SWS_CORE_00063
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_00063@rel:R25-11#ff2cb4b7
Content hash
ff2cb4b7
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_00063
Status: valid/unmigrated Version: rel:R25-11#2c19bac6 Versionshistorie & Revisions (1 transition, 3 revision)
Current State
valid/unmigrated
Reason
mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign
2026-08-13-status-backfill
Active Version
AUTOSAR/AP/record/SWS_CORE_00063@rel:R25-11#2c19bac6
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#28c08e1a2026-09-30
  • R24-11rel:R24-11#7b830fab2026-10-14
  • R25-11rel:R25-11#2c19bac62026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

función UnsynchronizedPool [SWS_CORE_00064]

explicit UnsynchronizedPoolResource (MemoryResource *upstream);

As per corresponding usage in [mem.res.pool]

GENERADO POR IA no revisado Modelo: gemini-3.8-flash-medium · Esfuerzo: medium · Temperatura: no controlable · Prompt: 693f1605fced Procedencia Preguntas abiertas (1)
traducido de la guía alemanagemini-3.8-flash-low · 2026-10-13 · Original en alemán

Uso y finalidad

El constructor explicit UnsynchronizedPoolResource (MemoryResource *upstream) inicializa una instancia de la clase ara::core::UnsynchronizedPoolResource procedente del archivo de cabecera #include "ara/core/memory_resource.h" según [mem.res.pool] [SWS_CORE_00064]. Mediante el parámetro upstream se transmite el recurso de memoria superior, el cual puede consultarse posteriormente a través del método upstream_resource() [SWS_CORE_00056]. Como alternativas se dispone de un constructor predeterminado sin parámetros [SWS_CORE_00063] así como de sobrecargas con PoolOptions [SWS_CORE_00067], [SWS_CORE_00068].

Tratamiento de errores y comportamiento ante excepciones

La instanciación está especificada como not exception safe [SWS_CORE_00064], por lo que pueden producirse excepciones durante la construcción. Para asignaciones de memoria posteriores rigen reglas distintas: la función de asignación interna do_allocate no lanza excepciones, sino que en caso de fallos devuelve nullptr [SWS_CORE_00058], mientras que los errores en do_deallocate se ignoran de forma silenciosa [SWS_CORE_00059].

Concurrencia y restricciones

La propia llamada al constructor se considera thread-safe [SWS_CORE_00064]. Las operaciones de copia están impedidas, ya que tanto el constructor de copia [SWS_CORE_00046] como el operador de asignación [SWS_CORE_00047] están eliminados. Tras la construcción, las operaciones de asignación y desasignación no son thread-safe [SWS_CORE_00058], [SWS_CORE_00059]. Además, el destructor está declarado como no virtual [SWS_CORE_00062]. La memoria ocupada puede liberarse prematuramente mediante release() [SWS_CORE_00065]. Interpretación: al pasarse un puntero nativo upstream, el recurso upstream referenciado probablemente deba permanecer válido a lo largo de toda la vida útil de la instancia del pool. Pregunta Q-3e6c23bae834b912 (abierta)

Este texto ha sido generado por una IA y sirve para la orientación técnica.

Guía del implementador pendiente (complejidad I1)

Header-Datei#include "ara/core/memory_resource.h"
Scopeclass ara::core::UnsynchronizedPoolResource
Exception-Sicherheitnot exception safe
Thread-Sicherheitthread-safe

Request a governed re-review of this record. The record is not changed immediately.

Record
AUTOSAR/AP/record/SWS_CORE_00064
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_00064@rel:R25-11#578058d8
Content hash
578058d8
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_00064
Status: valid/unmigrated Version: rel:R25-11#c644ce0f Versionshistorie & Revisions (1 transition, 3 revision)
Current State
valid/unmigrated
Reason
mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign
2026-08-13-status-backfill
Active Version
AUTOSAR/AP/record/SWS_CORE_00064@rel:R25-11#c644ce0f
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#c097923b2026-09-30
  • R24-11rel:R24-11#a176f3dd2026-10-14
  • R25-11rel:R25-11#c644ce0f2026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

función UnsynchronizedPool [SWS_CORE_00065]

void release () noexcept;

As per corresponding usage in [mem.res.pool]

GENERADO POR IA no revisado Modelo: gemini-3.8-flash-medium · Esfuerzo: medium · Temperatura: no controlable · Prompt: e7ed99220f1f Procedencia Preguntas abiertas (1)
traducido de la guía alemanagemini-3.8-flash-low · 2026-10-13 · Original en alemán

usar

La función miembro release() pertenece al ámbito de la clase ara::core::UnsynchronizedPoolResource y se declara a través del archivo de cabecera ara/core/memory_resource.h [SWS_CORE_00065]. La función no posee parámetros de entrada ni valor de retorno (void). Su semántica funcional se rige por el estándar C++ [mem.res.pool] [SWS_CORE_00065]; la referencia probablemente signifique que la función devuelve sincrónicamente al recurso de memoria precedente (upstream_resource()) toda la memoria que fue asignada a través de la instancia del pool [SWS_CORE_00056]. Pregunta Q-e0c7e00cde5d5a34 (abierta)

Manejo de errores

La función está definida como noexcept así como exception safe [SWS_CORE_00065]. No desencadena excepciones durante la ejecución. Dado que la especificación no recoge códigos de error específicos ni mensajes DET/DEM, en caso de fallos en la liberación de memoria no se produce ninguna notificación explícita de error a través de release().

Concurrencia y restricciones

Según la especificación, release() está clasificada como thread-safe [SWS_CORE_00065]. Esto contrasta con las funciones internas de gestión de memoria de la clase: tanto la asignación mediante do_allocate [SWS_CORE_00058] como la desasignación a través de do_deallocate [SWS_CORE_00059] están catalogadas explícitamente como not thread-safe.

Interacción

El método interactúa estrechamente con otras propiedades y requisitos de UnsynchronizedPoolResource:

  • Recursos de memoria: devuelve la memoria al recurso upstream configurado [SWS_CORE_00056], sin que deba destruirse el propio objeto del pool, como sucede con el destructor ~UnsynchronizedPoolResource() [SWS_CORE_00062].
  • Configuración: el comportamiento y los tamaños de bloque (chunk) del pool dependen de las opciones establecidas en la instanciación [SWS_CORE_00057], [SWS_CORE_00067], [SWS_CORE_00068].
  • Protección contra copia: la duplicación del pool no está permitida, ya que el constructor de copia [SWS_CORE_00046] y el operador de asignación [SWS_CORE_00047] están eliminados (delete).

Este texto se basa en la especificación de la versión AUTOSAR R25-11 para el módulo Core.

Guía del implementador pendiente (complejidad I1)

Header-Datei#include "ara/core/memory_resource.h"
Scopeclass ara::core::UnsynchronizedPoolResource
Exception-Sicherheitexception safe
Thread-Sicherheitthread-safe

Request a governed re-review of this record. The record is not changed immediately.

Record
AUTOSAR/AP/record/SWS_CORE_00065
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_00065@rel:R25-11#c8e12d0a
Content hash
c8e12d0a
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_00065
Status: valid/unmigrated Version: rel:R25-11#94a5a1a2 Versionshistorie & Revisions (1 transition, 3 revision)
Current State
valid/unmigrated
Reason
mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign
2026-08-13-status-backfill
Active Version
AUTOSAR/AP/record/SWS_CORE_00065@rel:R25-11#94a5a1a2
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#eea049d02026-09-30
  • R24-11rel:R24-11#baa95ca82026-10-14
  • R25-11rel:R25-11#94a5a1a22026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

función UnsynchronizedPool [SWS_CORE_00067]

UnsynchronizedPoolResource (const PoolOptions &opts, MemoryResource *upstream) noexcept;

As per corresponding usage in [mem.res.pool]

GENERADO POR IA no revisado Modelo: gemini-3.8-flash-medium · Esfuerzo: medium · Temperatura: no controlable · Prompt: 9bac3333fca1 Procedencia Preguntas abiertas (1)
traducido de la guía alemanagemini-3.8-flash-low · 2026-10-13 · Original en alemán

El constructor [SWS_CORE_00067] inicializa una instancia de ara::core::UnsynchronizedPoolResource con opciones de pool específicas (opts) y un recurso de memoria de nivel superior (upstream). La llamada se realiza de forma síncrona y está especificada como noexcept, con lo cual la creación del objeto es segura frente a excepciones. La copia de la instancia está excluida, ya que tanto el constructor de copia [SWS_CORE_00046] como el operador de asignación [SWS_CORE_00047] están eliminados (=delete).

Los ajustes almacenados y los recursos upstream pueden leerse en tiempo de ejecución a través de options() [SWS_CORE_00057] y upstream_resource() [SWS_CORE_00056]. Como alternativas se hallan disponibles un constructor predeterminado [SWS_CORE_00063], así como sobrecargas que aceptan exclusivamente upstream [SWS_CORE_00064] o opts [SWS_CORE_00068]. La memoria ocupada se puede liberar mediante release() [SWS_CORE_00065] o a través del destructor [SWS_CORE_00062], siendo el destructor no virtual a diferencia del estándar.

En cuanto a la concurrencia, la propia construcción está declarada como segura para hilos [SWS_CORE_00067]. Las funciones de gestión de memoria propiamente dichas de la instancia —do_allocate [SWS_CORE_00058] y do_deallocate [SWS_CORE_00059]—, por el contrario, no son expresamente seguras para hilos («not thread-safe») y requieren mecanismos de protección externos ante accesos paralelos. Los errores se procesan sin excepciones: las asignaciones fallidas devuelven nullptr [SWS_CORE_00058], mientras que los errores de desasignación se ignoran silenciosamente [SWS_CORE_00059]. Interpretación: el objeto upstream suministrado probablemente debe permanecer válido a lo largo de todo el ciclo de vida del pool. Pregunta Q-2439ec8f9fb8bb3e (abierta)

Este texto ha sido generado por una IA a partir de la especificación AUTOSAR Adaptive R25-11.

Guía del implementador pendiente (complejidad I1)

Header-Datei#include "ara/core/memory_resource.h"
Scopeclass ara::core::UnsynchronizedPoolResource
Exception-Sicherheitexception safe
Thread-Sicherheitthread-safe

Request a governed re-review of this record. The record is not changed immediately.

Record
AUTOSAR/AP/record/SWS_CORE_00067
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_00067@rel:R25-11#986c3fdc
Content hash
986c3fdc
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_00067
Status: valid/unmigrated Version: rel:R25-11#937ed663 Versionshistorie & Revisions (1 transition, 3 revision)
Current State
valid/unmigrated
Reason
mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign
2026-08-13-status-backfill
Active Version
AUTOSAR/AP/record/SWS_CORE_00067@rel:R25-11#937ed663
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#6d8dcfe72026-09-30
  • R24-11rel:R24-11#68f56d882026-10-14
  • R25-11rel:R25-11#937ed6632026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

función UnsynchronizedPool [SWS_CORE_00068]

explicit UnsynchronizedPoolResource (const PoolOptions &opts);

As per corresponding usage in [mem.res.pool]

GENERADO POR IA no revisado Modelo: gemini-3.8-flash-medium · Esfuerzo: medium · Temperatura: no controlable · Prompt: 379494cd66cf Procedencia Preguntas abiertas (1)
traducido de la guía alemanagemini-3.8-flash-low · 2026-10-13 · Original en alemán

El constructor [SWS_CORE_00068] sirve para la inicialización síncrona de un ara::core::UnsynchronizedPoolResource especificando parámetros de configuración concretos mediante el parámetro opts (tipo PoolOptions). El comportamiento se rige por el estándar [mem.res.pool] del archivo de cabecera ara/core/memory_resource.h. Los ajustes transmitidos pueden consultarse tras la instanciación con options() [SWS_CORE_00057], mientras que el gestor de memoria previo es accesible mediante upstream_resource() [SWS_CORE_00056].

En cuanto al tratamiento de errores, la función está especificada como no segura frente a excepciones («not exception safe») [SWS_CORE_00068]. Interpretación: si falla la provisión interna de estructuras de gestión durante la instanciación, es probable que se lance una excepción, diferenciándose así esta llamada de la variante noexcept [SWS_CORE_00067]. Pregunta Q-479a016f4e0ddde7 (abierta) Mientras que el constructor en sí está clasificado como seguro para subprocesos («thread-safe») [SWS_CORE_00068], las operaciones de memoria posteriores de la instancia resultante, tales como do_allocate [SWS_CORE_00058] y do_deallocate [SWS_CORE_00059], son expresamente no seguras para subprocesos («not thread-safe»); por consiguiente, no deben ejecutarse concurrentemente sin protección.

En interacción con el ciclo de vida de la clase, cabe señalar que la construcción por copia [SWS_CORE_00046] y el operador de asignación [SWS_CORE_00047] están eliminados (delete). La memoria asignada permanece en el pool hasta que se libera mediante release() [SWS_CORE_00065] o se destruye el objeto a través del destructor no virtual [SWS_CORE_00062].

Este texto ha sido generado por una IA y sirve como guía orientativa.

Guía del implementador pendiente (complejidad I1)

Header-Datei#include "ara/core/memory_resource.h"
Scopeclass ara::core::UnsynchronizedPoolResource
Exception-Sicherheitnot exception safe
Thread-Sicherheitthread-safe

Request a governed re-review of this record. The record is not changed immediately.

Record
AUTOSAR/AP/record/SWS_CORE_00068
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_00068@rel:R25-11#b5d5b5ce
Content hash
b5d5b5ce
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_00068
Status: valid/unmigrated Version: rel:R25-11#e78396bd Versionshistorie & Revisions (1 transition, 3 revision)
Current State
valid/unmigrated
Reason
mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign
2026-08-13-status-backfill
Active Version
AUTOSAR/AP/record/SWS_CORE_00068@rel:R25-11#e78396bd
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#86f2e6e22026-09-30
  • R24-11rel:R24-11#cce92eb22026-10-14
  • R25-11rel:R25-11#e78396bd2026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

función UnsynchronizedPoolResource [SWS_CORE_00048] Upstream: RS_AP_00130

UnsynchronizedPoolResource (UnsynchronizedPoolResource &&other) noexcept=default;

[AUTOSAR defined] not present in ISO-14882. Move constructor

Header-Datei#include "ara/core/memory_resource.h"
Scopeclass ara::core::UnsynchronizedPoolResource
Exception-Sicherheitexception safe

Request a governed re-review of this record. The record is not changed immediately.

Record
AUTOSAR/AP/record/SWS_CORE_00048
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_00048@rel:R25-11#e4079dd6
Content hash
e4079dd6
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_00048
Status: valid/unmigrated Version: rel:R25-11#3f204655 Versionshistorie & Revisions (1 transition, 3 revision)
Current State
valid/unmigrated
Reason
mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign
2026-08-13-status-backfill
Active Version
AUTOSAR/AP/record/SWS_CORE_00048@rel:R25-11#3f204655
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#2bb863f62026-09-30
  • R24-11rel:R24-11#ed8457142026-10-14
  • R25-11rel:R25-11#3f2046552026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

función operator= [SWS_CORE_00049] Upstream: RS_AP_00130

UnsynchronizedPoolResource & operator= (UnsynchronizedPoolResource &&other) noexcept=default;

[AUTOSAR defined] not present in ISO-14882. Move assignment operator

Header-Datei#include "ara/core/memory_resource.h"
Scopeclass ara::core::UnsynchronizedPoolResource
Exception-Sicherheitexception safe

Request a governed re-review of this record. The record is not changed immediately.

Record
AUTOSAR/AP/record/SWS_CORE_00049
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_00049@rel:R25-11#3691a599
Content hash
3691a599
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_00049
Status: valid/unmigrated Version: rel:R25-11#5752ca0c Versionshistorie & Revisions (1 transition, 3 revision)
Current State
valid/unmigrated
Reason
mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign
2026-08-13-status-backfill
Active Version
AUTOSAR/AP/record/SWS_CORE_00049@rel:R25-11#5752ca0c
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#dc6a53cb2026-09-30
  • R24-11rel:R24-11#0a1beb162026-10-14
  • R25-11rel:R25-11#5752ca0c2026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill