Vulkan memory model: how to check if an implementation supports concurrent host- and device-atomics

Vulkan memory model:

> Two atomic operations A and B are mutually-ordered if and only if they are potentially-mutually-ordered and any of the following are true:
>
> A and B are both device operations.
>
> A and B are both host operations.
>
> A is a device operation, B is a host operation, and the implementation supports concurrent host- and device-atomics.

How to check if an implementation supports concurrent host- and device-atomics? Is this feature guaranteed by host cached and coherent memory?

No file or test is identified in the issue. Start by locating the Vulkan memory model specification text covering mutually-ordered host and device operations, then check how support for concurrent host- and device-atomics is specified and whether host cached and coherent memory affects it. Done means the specification clearly states how an implementation's support is determined.

Written by the indexing model from the issue text.