19e2b3e83SJuergen Gross /* SPDX-License-Identifier: MIT */ 2a42089ddSJeremy Fitzhardinge /****************************************************************************** 3a42089ddSJeremy Fitzhardinge * ring.h 4a42089ddSJeremy Fitzhardinge * 5a42089ddSJeremy Fitzhardinge * Shared producer-consumer ring macros. 6a42089ddSJeremy Fitzhardinge * 7a42089ddSJeremy Fitzhardinge * Tim Deegan and Andrew Warfield November 2004. 8a42089ddSJeremy Fitzhardinge */ 9a42089ddSJeremy Fitzhardinge 10a42089ddSJeremy Fitzhardinge #ifndef __XEN_PUBLIC_IO_RING_H__ 11a42089ddSJeremy Fitzhardinge #define __XEN_PUBLIC_IO_RING_H__ 12a42089ddSJeremy Fitzhardinge 13629a5d87SJuergen Gross /* 14629a5d87SJuergen Gross * When #include'ing this header, you need to provide the following 15629a5d87SJuergen Gross * declaration upfront: 16629a5d87SJuergen Gross * - standard integers types (uint8_t, uint16_t, etc) 17629a5d87SJuergen Gross * They are provided by stdint.h of the standard headers. 18629a5d87SJuergen Gross * 19629a5d87SJuergen Gross * In addition, if you intend to use the FLEX macros, you also need to 20629a5d87SJuergen Gross * provide the following, before invoking the FLEX macros: 21629a5d87SJuergen Gross * - size_t 22629a5d87SJuergen Gross * - memcpy 23629a5d87SJuergen Gross * - grant_ref_t 24629a5d87SJuergen Gross * These declarations are provided by string.h of the standard headers, 25629a5d87SJuergen Gross * and grant_table.h from the Xen public headers. 26629a5d87SJuergen Gross */ 27629a5d87SJuergen Gross 2875e3ea5bSStefano Stabellini #include <xen/interface/grant_table.h> 2975e3ea5bSStefano Stabellini 30a42089ddSJeremy Fitzhardinge typedef unsigned int RING_IDX; 31a42089ddSJeremy Fitzhardinge 32a42089ddSJeremy Fitzhardinge /* Round a 32-bit unsigned constant down to the nearest power of two. */ 33a42089ddSJeremy Fitzhardinge #define __RD2(_x) (((_x) & 0x00000002) ? 0x2 : ((_x) & 0x1)) 34a42089ddSJeremy Fitzhardinge #define __RD4(_x) (((_x) & 0x0000000c) ? __RD2((_x)>>2)<<2 : __RD2(_x)) 35a42089ddSJeremy Fitzhardinge #define __RD8(_x) (((_x) & 0x000000f0) ? __RD4((_x)>>4)<<4 : __RD4(_x)) 36a42089ddSJeremy Fitzhardinge #define __RD16(_x) (((_x) & 0x0000ff00) ? __RD8((_x)>>8)<<8 : __RD8(_x)) 37a42089ddSJeremy Fitzhardinge #define __RD32(_x) (((_x) & 0xffff0000) ? __RD16((_x)>>16)<<16 : __RD16(_x)) 38a42089ddSJeremy Fitzhardinge 39a42089ddSJeremy Fitzhardinge /* 40a42089ddSJeremy Fitzhardinge * Calculate size of a shared ring, given the total available space for the 41a42089ddSJeremy Fitzhardinge * ring and indexes (_sz), and the name tag of the request/response structure. 42a42089ddSJeremy Fitzhardinge * A ring contains as many entries as will fit, rounded down to the nearest 43a42089ddSJeremy Fitzhardinge * power of two (so we can mask with (size-1) to loop around). 44a42089ddSJeremy Fitzhardinge */ 45667c78afSJeremy Fitzhardinge #define __CONST_RING_SIZE(_s, _sz) \ 46667c78afSJeremy Fitzhardinge (__RD32(((_sz) - offsetof(struct _s##_sring, ring)) / \ 47667c78afSJeremy Fitzhardinge sizeof(((struct _s##_sring *)0)->ring[0]))) 48667c78afSJeremy Fitzhardinge /* 49667c78afSJeremy Fitzhardinge * The same for passing in an actual pointer instead of a name tag. 50667c78afSJeremy Fitzhardinge */ 51a42089ddSJeremy Fitzhardinge #define __RING_SIZE(_s, _sz) \ 52629a5d87SJuergen Gross (__RD32(((_sz) - (long)(_s)->ring + (long)(_s)) / sizeof((_s)->ring[0]))) 53a42089ddSJeremy Fitzhardinge 54a42089ddSJeremy Fitzhardinge /* 55a42089ddSJeremy Fitzhardinge * Macros to make the correct C datatypes for a new kind of ring. 56a42089ddSJeremy Fitzhardinge * 57a42089ddSJeremy Fitzhardinge * To make a new ring datatype, you need to have two message structures, 58629a5d87SJuergen Gross * let's say request_t, and response_t already defined. 59a42089ddSJeremy Fitzhardinge * 60a42089ddSJeremy Fitzhardinge * In a header where you want the ring datatype declared, you then do: 61a42089ddSJeremy Fitzhardinge * 62629a5d87SJuergen Gross * DEFINE_RING_TYPES(mytag, request_t, response_t); 63a42089ddSJeremy Fitzhardinge * 64a42089ddSJeremy Fitzhardinge * These expand out to give you a set of types, as you can see below. 65a42089ddSJeremy Fitzhardinge * The most important of these are: 66a42089ddSJeremy Fitzhardinge * 67629a5d87SJuergen Gross * mytag_sring_t - The shared ring. 68629a5d87SJuergen Gross * mytag_front_ring_t - The 'front' half of the ring. 69629a5d87SJuergen Gross * mytag_back_ring_t - The 'back' half of the ring. 70a42089ddSJeremy Fitzhardinge * 71a42089ddSJeremy Fitzhardinge * To initialize a ring in your code you need to know the location and size 72a42089ddSJeremy Fitzhardinge * of the shared memory area (PAGE_SIZE, for instance). To initialise 73a42089ddSJeremy Fitzhardinge * the front half: 74a42089ddSJeremy Fitzhardinge * 75*6fac592cSJuergen Gross * mytag_front_ring_t ring; 76*6fac592cSJuergen Gross * XEN_FRONT_RING_INIT(&ring, (mytag_sring_t *)shared_page, PAGE_SIZE); 77a42089ddSJeremy Fitzhardinge * 78a42089ddSJeremy Fitzhardinge * Initializing the back follows similarly (note that only the front 79a42089ddSJeremy Fitzhardinge * initializes the shared ring): 80a42089ddSJeremy Fitzhardinge * 81629a5d87SJuergen Gross * mytag_back_ring_t back_ring; 82629a5d87SJuergen Gross * BACK_RING_INIT(&back_ring, (mytag_sring_t *)shared_page, PAGE_SIZE); 83a42089ddSJeremy Fitzhardinge */ 84a42089ddSJeremy Fitzhardinge 85a42089ddSJeremy Fitzhardinge #define DEFINE_RING_TYPES(__name, __req_t, __rsp_t) \ 86a42089ddSJeremy Fitzhardinge \ 87a42089ddSJeremy Fitzhardinge /* Shared ring entry */ \ 88a42089ddSJeremy Fitzhardinge union __name##_sring_entry { \ 89a42089ddSJeremy Fitzhardinge __req_t req; \ 90a42089ddSJeremy Fitzhardinge __rsp_t rsp; \ 91a42089ddSJeremy Fitzhardinge }; \ 92a42089ddSJeremy Fitzhardinge \ 93a42089ddSJeremy Fitzhardinge /* Shared ring page */ \ 94a42089ddSJeremy Fitzhardinge struct __name##_sring { \ 95a42089ddSJeremy Fitzhardinge RING_IDX req_prod, req_event; \ 96a42089ddSJeremy Fitzhardinge RING_IDX rsp_prod, rsp_event; \ 97629a5d87SJuergen Gross uint8_t __pad[48]; \ 98a42089ddSJeremy Fitzhardinge union __name##_sring_entry ring[1]; /* variable-length */ \ 99a42089ddSJeremy Fitzhardinge }; \ 100a42089ddSJeremy Fitzhardinge \ 101a42089ddSJeremy Fitzhardinge /* "Front" end's private variables */ \ 102a42089ddSJeremy Fitzhardinge struct __name##_front_ring { \ 103a42089ddSJeremy Fitzhardinge RING_IDX req_prod_pvt; \ 104a42089ddSJeremy Fitzhardinge RING_IDX rsp_cons; \ 105a42089ddSJeremy Fitzhardinge unsigned int nr_ents; \ 106a42089ddSJeremy Fitzhardinge struct __name##_sring *sring; \ 107a42089ddSJeremy Fitzhardinge }; \ 108a42089ddSJeremy Fitzhardinge \ 109a42089ddSJeremy Fitzhardinge /* "Back" end's private variables */ \ 110a42089ddSJeremy Fitzhardinge struct __name##_back_ring { \ 111a42089ddSJeremy Fitzhardinge RING_IDX rsp_prod_pvt; \ 112a42089ddSJeremy Fitzhardinge RING_IDX req_cons; \ 113a42089ddSJeremy Fitzhardinge unsigned int nr_ents; \ 114a42089ddSJeremy Fitzhardinge struct __name##_sring *sring; \ 115629a5d87SJuergen Gross }; \ 116629a5d87SJuergen Gross \ 117a42089ddSJeremy Fitzhardinge /* 118a42089ddSJeremy Fitzhardinge * Macros for manipulating rings. 119a42089ddSJeremy Fitzhardinge * 120a42089ddSJeremy Fitzhardinge * FRONT_RING_whatever works on the "front end" of a ring: here 121a42089ddSJeremy Fitzhardinge * requests are pushed on to the ring and responses taken off it. 122a42089ddSJeremy Fitzhardinge * 123a42089ddSJeremy Fitzhardinge * BACK_RING_whatever works on the "back end" of a ring: here 124a42089ddSJeremy Fitzhardinge * requests are taken off the ring and responses put on. 125a42089ddSJeremy Fitzhardinge * 126a42089ddSJeremy Fitzhardinge * N.B. these macros do NO INTERLOCKS OR FLOW CONTROL. 127a42089ddSJeremy Fitzhardinge * This is OK in 1-for-1 request-response situations where the 128a42089ddSJeremy Fitzhardinge * requestor (front end) never has more than RING_SIZE()-1 129a42089ddSJeremy Fitzhardinge * outstanding requests. 130a42089ddSJeremy Fitzhardinge */ 131a42089ddSJeremy Fitzhardinge 132a42089ddSJeremy Fitzhardinge /* Initialising empty rings */ 133a42089ddSJeremy Fitzhardinge #define SHARED_RING_INIT(_s) do { \ 134a42089ddSJeremy Fitzhardinge (_s)->req_prod = (_s)->rsp_prod = 0; \ 135a42089ddSJeremy Fitzhardinge (_s)->req_event = (_s)->rsp_event = 1; \ 136629a5d87SJuergen Gross (void)memset((_s)->__pad, 0, sizeof((_s)->__pad)); \ 137a42089ddSJeremy Fitzhardinge } while(0) 138a42089ddSJeremy Fitzhardinge 1391ee54195SPaul Durrant #define FRONT_RING_ATTACH(_r, _s, _i, __size) do { \ 1401ee54195SPaul Durrant (_r)->req_prod_pvt = (_i); \ 1411ee54195SPaul Durrant (_r)->rsp_cons = (_i); \ 142a42089ddSJeremy Fitzhardinge (_r)->nr_ents = __RING_SIZE(_s, __size); \ 143a42089ddSJeremy Fitzhardinge (_r)->sring = (_s); \ 144a42089ddSJeremy Fitzhardinge } while (0) 145a42089ddSJeremy Fitzhardinge 1461ee54195SPaul Durrant #define FRONT_RING_INIT(_r, _s, __size) FRONT_RING_ATTACH(_r, _s, 0, __size) 1471ee54195SPaul Durrant 148*6fac592cSJuergen Gross #define XEN_FRONT_RING_INIT(r, s, size) do { \ 149*6fac592cSJuergen Gross SHARED_RING_INIT(s); \ 150*6fac592cSJuergen Gross FRONT_RING_INIT(r, s, size); \ 151*6fac592cSJuergen Gross } while (0) 152*6fac592cSJuergen Gross 1531ee54195SPaul Durrant #define BACK_RING_ATTACH(_r, _s, _i, __size) do { \ 1541ee54195SPaul Durrant (_r)->rsp_prod_pvt = (_i); \ 1551ee54195SPaul Durrant (_r)->req_cons = (_i); \ 156a42089ddSJeremy Fitzhardinge (_r)->nr_ents = __RING_SIZE(_s, __size); \ 157a42089ddSJeremy Fitzhardinge (_r)->sring = (_s); \ 158a42089ddSJeremy Fitzhardinge } while (0) 159a42089ddSJeremy Fitzhardinge 1601ee54195SPaul Durrant #define BACK_RING_INIT(_r, _s, __size) BACK_RING_ATTACH(_r, _s, 0, __size) 161a42089ddSJeremy Fitzhardinge 162a42089ddSJeremy Fitzhardinge /* How big is this ring? */ 163a42089ddSJeremy Fitzhardinge #define RING_SIZE(_r) \ 164a42089ddSJeremy Fitzhardinge ((_r)->nr_ents) 165a42089ddSJeremy Fitzhardinge 166a42089ddSJeremy Fitzhardinge /* Number of free requests (for use on front side only). */ 167a42089ddSJeremy Fitzhardinge #define RING_FREE_REQUESTS(_r) \ 168a42089ddSJeremy Fitzhardinge (RING_SIZE(_r) - ((_r)->req_prod_pvt - (_r)->rsp_cons)) 169a42089ddSJeremy Fitzhardinge 170a42089ddSJeremy Fitzhardinge /* Test if there is an empty slot available on the front ring. 171a42089ddSJeremy Fitzhardinge * (This is only meaningful from the front. ) 172a42089ddSJeremy Fitzhardinge */ 173a42089ddSJeremy Fitzhardinge #define RING_FULL(_r) \ 174a42089ddSJeremy Fitzhardinge (RING_FREE_REQUESTS(_r) == 0) 175a42089ddSJeremy Fitzhardinge 176a42089ddSJeremy Fitzhardinge /* Test if there are outstanding messages to be processed on a ring. */ 177*6fac592cSJuergen Gross #define XEN_RING_NR_UNCONSUMED_RESPONSES(_r) \ 178a42089ddSJeremy Fitzhardinge ((_r)->sring->rsp_prod - (_r)->rsp_cons) 179a42089ddSJeremy Fitzhardinge 180*6fac592cSJuergen Gross #define XEN_RING_NR_UNCONSUMED_REQUESTS(_r) ({ \ 181a42089ddSJeremy Fitzhardinge unsigned int req = (_r)->sring->req_prod - (_r)->req_cons; \ 182a42089ddSJeremy Fitzhardinge unsigned int rsp = RING_SIZE(_r) - \ 183a42089ddSJeremy Fitzhardinge ((_r)->req_cons - (_r)->rsp_prod_pvt); \ 184a42089ddSJeremy Fitzhardinge req < rsp ? req : rsp; \ 185a42089ddSJeremy Fitzhardinge }) 186a42089ddSJeremy Fitzhardinge 187*6fac592cSJuergen Gross #define RING_HAS_UNCONSUMED_RESPONSES(_r) \ 188*6fac592cSJuergen Gross (!!XEN_RING_NR_UNCONSUMED_RESPONSES(_r)) 189*6fac592cSJuergen Gross #define RING_HAS_UNCONSUMED_REQUESTS(_r) \ 190*6fac592cSJuergen Gross (!!XEN_RING_NR_UNCONSUMED_REQUESTS(_r)) 191*6fac592cSJuergen Gross 192a42089ddSJeremy Fitzhardinge /* Direct access to individual ring elements, by index. */ 193a42089ddSJeremy Fitzhardinge #define RING_GET_REQUEST(_r, _idx) \ 194a42089ddSJeremy Fitzhardinge (&((_r)->sring->ring[((_idx) & (RING_SIZE(_r) - 1))].req)) 195a42089ddSJeremy Fitzhardinge 196629a5d87SJuergen Gross #define RING_GET_RESPONSE(_r, _idx) \ 197629a5d87SJuergen Gross (&((_r)->sring->ring[((_idx) & (RING_SIZE(_r) - 1))].rsp)) 198629a5d87SJuergen Gross 199454d5d88SDavid Vrabel /* 200629a5d87SJuergen Gross * Get a local copy of a request/response. 201454d5d88SDavid Vrabel * 202629a5d87SJuergen Gross * Use this in preference to RING_GET_{REQUEST,RESPONSE}() so all processing is 203454d5d88SDavid Vrabel * done on a local copy that cannot be modified by the other end. 204454d5d88SDavid Vrabel * 205454d5d88SDavid Vrabel * Note that https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58145 may cause this 206629a5d87SJuergen Gross * to be ineffective where dest is a struct which consists of only bitfields. 207454d5d88SDavid Vrabel */ 208629a5d87SJuergen Gross #define RING_COPY_(type, r, idx, dest) do { \ 209629a5d87SJuergen Gross /* Use volatile to force the copy into dest. */ \ 210629a5d87SJuergen Gross *(dest) = *(volatile typeof(dest))RING_GET_##type(r, idx); \ 211454d5d88SDavid Vrabel } while (0) 212454d5d88SDavid Vrabel 213629a5d87SJuergen Gross #define RING_COPY_REQUEST(r, idx, req) RING_COPY_(REQUEST, r, idx, req) 214629a5d87SJuergen Gross #define RING_COPY_RESPONSE(r, idx, rsp) RING_COPY_(RESPONSE, r, idx, rsp) 215a42089ddSJeremy Fitzhardinge 216a42089ddSJeremy Fitzhardinge /* Loop termination condition: Would the specified index overflow the ring? */ 217a42089ddSJeremy Fitzhardinge #define RING_REQUEST_CONS_OVERFLOW(_r, _cons) \ 218a42089ddSJeremy Fitzhardinge (((_cons) - (_r)->rsp_prod_pvt) >= RING_SIZE(_r)) 219a42089ddSJeremy Fitzhardinge 2208d925690SJan Beulich /* Ill-behaved frontend determination: Can there be this many requests? */ 2218d925690SJan Beulich #define RING_REQUEST_PROD_OVERFLOW(_r, _prod) \ 2228d925690SJan Beulich (((_prod) - (_r)->rsp_prod_pvt) > RING_SIZE(_r)) 2238d925690SJan Beulich 224629a5d87SJuergen Gross /* Ill-behaved backend determination: Can there be this many responses? */ 225629a5d87SJuergen Gross #define RING_RESPONSE_PROD_OVERFLOW(_r, _prod) \ 226629a5d87SJuergen Gross (((_prod) - (_r)->rsp_cons) > RING_SIZE(_r)) 2278d925690SJan Beulich 228a42089ddSJeremy Fitzhardinge #define RING_PUSH_REQUESTS(_r) do { \ 229506b02ebSMichael S. Tsirkin virt_wmb(); /* back sees requests /before/ updated producer index */\ 230a42089ddSJeremy Fitzhardinge (_r)->sring->req_prod = (_r)->req_prod_pvt; \ 231a42089ddSJeremy Fitzhardinge } while (0) 232a42089ddSJeremy Fitzhardinge 233a42089ddSJeremy Fitzhardinge #define RING_PUSH_RESPONSES(_r) do { \ 234629a5d87SJuergen Gross virt_wmb(); /* front sees resps /before/ updated producer index */ \ 235a42089ddSJeremy Fitzhardinge (_r)->sring->rsp_prod = (_r)->rsp_prod_pvt; \ 236a42089ddSJeremy Fitzhardinge } while (0) 237a42089ddSJeremy Fitzhardinge 238a42089ddSJeremy Fitzhardinge /* 239a42089ddSJeremy Fitzhardinge * Notification hold-off (req_event and rsp_event): 240a42089ddSJeremy Fitzhardinge * 241a42089ddSJeremy Fitzhardinge * When queueing requests or responses on a shared ring, it may not always be 242a42089ddSJeremy Fitzhardinge * necessary to notify the remote end. For example, if requests are in flight 243a42089ddSJeremy Fitzhardinge * in a backend, the front may be able to queue further requests without 244a42089ddSJeremy Fitzhardinge * notifying the back (if the back checks for new requests when it queues 245a42089ddSJeremy Fitzhardinge * responses). 246a42089ddSJeremy Fitzhardinge * 247a42089ddSJeremy Fitzhardinge * When enqueuing requests or responses: 248a42089ddSJeremy Fitzhardinge * 249a42089ddSJeremy Fitzhardinge * Use RING_PUSH_{REQUESTS,RESPONSES}_AND_CHECK_NOTIFY(). The second argument 250a42089ddSJeremy Fitzhardinge * is a boolean return value. True indicates that the receiver requires an 251a42089ddSJeremy Fitzhardinge * asynchronous notification. 252a42089ddSJeremy Fitzhardinge * 253a42089ddSJeremy Fitzhardinge * After dequeuing requests or responses (before sleeping the connection): 254a42089ddSJeremy Fitzhardinge * 255a42089ddSJeremy Fitzhardinge * Use RING_FINAL_CHECK_FOR_REQUESTS() or RING_FINAL_CHECK_FOR_RESPONSES(). 256a42089ddSJeremy Fitzhardinge * The second argument is a boolean return value. True indicates that there 257a42089ddSJeremy Fitzhardinge * are pending messages on the ring (i.e., the connection should not be put 258a42089ddSJeremy Fitzhardinge * to sleep). 259a42089ddSJeremy Fitzhardinge * 260a42089ddSJeremy Fitzhardinge * These macros will set the req_event/rsp_event field to trigger a 261a42089ddSJeremy Fitzhardinge * notification on the very next message that is enqueued. If you want to 262a42089ddSJeremy Fitzhardinge * create batches of work (i.e., only receive a notification after several 263a42089ddSJeremy Fitzhardinge * messages have been enqueued) then you will need to create a customised 264a42089ddSJeremy Fitzhardinge * version of the FINAL_CHECK macro in your own code, which sets the event 265a42089ddSJeremy Fitzhardinge * field appropriately. 266a42089ddSJeremy Fitzhardinge */ 267a42089ddSJeremy Fitzhardinge 268a42089ddSJeremy Fitzhardinge #define RING_PUSH_REQUESTS_AND_CHECK_NOTIFY(_r, _notify) do { \ 269a42089ddSJeremy Fitzhardinge RING_IDX __old = (_r)->sring->req_prod; \ 270a42089ddSJeremy Fitzhardinge RING_IDX __new = (_r)->req_prod_pvt; \ 271506b02ebSMichael S. Tsirkin virt_wmb(); /* back sees requests /before/ updated producer index */\ 272a42089ddSJeremy Fitzhardinge (_r)->sring->req_prod = __new; \ 273506b02ebSMichael S. Tsirkin virt_mb(); /* back sees new requests /before/ we check req_event */ \ 274a42089ddSJeremy Fitzhardinge (_notify) = ((RING_IDX)(__new - (_r)->sring->req_event) < \ 275a42089ddSJeremy Fitzhardinge (RING_IDX)(__new - __old)); \ 276a42089ddSJeremy Fitzhardinge } while (0) 277a42089ddSJeremy Fitzhardinge 278a42089ddSJeremy Fitzhardinge #define RING_PUSH_RESPONSES_AND_CHECK_NOTIFY(_r, _notify) do { \ 279a42089ddSJeremy Fitzhardinge RING_IDX __old = (_r)->sring->rsp_prod; \ 280a42089ddSJeremy Fitzhardinge RING_IDX __new = (_r)->rsp_prod_pvt; \ 281629a5d87SJuergen Gross virt_wmb(); /* front sees resps /before/ updated producer index */ \ 282a42089ddSJeremy Fitzhardinge (_r)->sring->rsp_prod = __new; \ 283629a5d87SJuergen Gross virt_mb(); /* front sees new resps /before/ we check rsp_event */ \ 284a42089ddSJeremy Fitzhardinge (_notify) = ((RING_IDX)(__new - (_r)->sring->rsp_event) < \ 285a42089ddSJeremy Fitzhardinge (RING_IDX)(__new - __old)); \ 286a42089ddSJeremy Fitzhardinge } while (0) 287a42089ddSJeremy Fitzhardinge 288a42089ddSJeremy Fitzhardinge #define RING_FINAL_CHECK_FOR_REQUESTS(_r, _work_to_do) do { \ 289a42089ddSJeremy Fitzhardinge (_work_to_do) = RING_HAS_UNCONSUMED_REQUESTS(_r); \ 290a42089ddSJeremy Fitzhardinge if (_work_to_do) break; \ 291a42089ddSJeremy Fitzhardinge (_r)->sring->req_event = (_r)->req_cons + 1; \ 292506b02ebSMichael S. Tsirkin virt_mb(); \ 293a42089ddSJeremy Fitzhardinge (_work_to_do) = RING_HAS_UNCONSUMED_REQUESTS(_r); \ 294a42089ddSJeremy Fitzhardinge } while (0) 295a42089ddSJeremy Fitzhardinge 296a42089ddSJeremy Fitzhardinge #define RING_FINAL_CHECK_FOR_RESPONSES(_r, _work_to_do) do { \ 297a42089ddSJeremy Fitzhardinge (_work_to_do) = RING_HAS_UNCONSUMED_RESPONSES(_r); \ 298a42089ddSJeremy Fitzhardinge if (_work_to_do) break; \ 299a42089ddSJeremy Fitzhardinge (_r)->sring->rsp_event = (_r)->rsp_cons + 1; \ 300506b02ebSMichael S. Tsirkin virt_mb(); \ 301a42089ddSJeremy Fitzhardinge (_work_to_do) = RING_HAS_UNCONSUMED_RESPONSES(_r); \ 302a42089ddSJeremy Fitzhardinge } while (0) 303a42089ddSJeremy Fitzhardinge 304564f7dfdSStefano Stabellini 305564f7dfdSStefano Stabellini /* 306564f7dfdSStefano Stabellini * DEFINE_XEN_FLEX_RING_AND_INTF defines two monodirectional rings and 307564f7dfdSStefano Stabellini * functions to check if there is data on the ring, and to read and 308564f7dfdSStefano Stabellini * write to them. 309564f7dfdSStefano Stabellini * 310564f7dfdSStefano Stabellini * DEFINE_XEN_FLEX_RING is similar to DEFINE_XEN_FLEX_RING_AND_INTF, but 311564f7dfdSStefano Stabellini * does not define the indexes page. As different protocols can have 312564f7dfdSStefano Stabellini * extensions to the basic format, this macro allow them to define their 313564f7dfdSStefano Stabellini * own struct. 314564f7dfdSStefano Stabellini * 315564f7dfdSStefano Stabellini * XEN_FLEX_RING_SIZE 316564f7dfdSStefano Stabellini * Convenience macro to calculate the size of one of the two rings 317564f7dfdSStefano Stabellini * from the overall order. 318564f7dfdSStefano Stabellini * 319564f7dfdSStefano Stabellini * $NAME_mask 320564f7dfdSStefano Stabellini * Function to apply the size mask to an index, to reduce the index 321564f7dfdSStefano Stabellini * within the range [0-size]. 322564f7dfdSStefano Stabellini * 323564f7dfdSStefano Stabellini * $NAME_read_packet 324564f7dfdSStefano Stabellini * Function to read data from the ring. The amount of data to read is 325564f7dfdSStefano Stabellini * specified by the "size" argument. 326564f7dfdSStefano Stabellini * 327564f7dfdSStefano Stabellini * $NAME_write_packet 328564f7dfdSStefano Stabellini * Function to write data to the ring. The amount of data to write is 329564f7dfdSStefano Stabellini * specified by the "size" argument. 330564f7dfdSStefano Stabellini * 331564f7dfdSStefano Stabellini * $NAME_get_ring_ptr 332564f7dfdSStefano Stabellini * Convenience function that returns a pointer to read/write to the 333564f7dfdSStefano Stabellini * ring at the right location. 334564f7dfdSStefano Stabellini * 335564f7dfdSStefano Stabellini * $NAME_data_intf 336564f7dfdSStefano Stabellini * Indexes page, shared between frontend and backend. It also 337564f7dfdSStefano Stabellini * contains the array of grant refs. 338564f7dfdSStefano Stabellini * 339564f7dfdSStefano Stabellini * $NAME_queued 340564f7dfdSStefano Stabellini * Function to calculate how many bytes are currently on the ring, 341564f7dfdSStefano Stabellini * ready to be read. It can also be used to calculate how much free 342564f7dfdSStefano Stabellini * space is currently on the ring (XEN_FLEX_RING_SIZE() - 343564f7dfdSStefano Stabellini * $NAME_queued()). 344564f7dfdSStefano Stabellini */ 345564f7dfdSStefano Stabellini 346564f7dfdSStefano Stabellini #ifndef XEN_PAGE_SHIFT 347564f7dfdSStefano Stabellini /* The PAGE_SIZE for ring protocols and hypercall interfaces is always 348564f7dfdSStefano Stabellini * 4K, regardless of the architecture, and page granularity chosen by 349564f7dfdSStefano Stabellini * operating systems. 350564f7dfdSStefano Stabellini */ 351564f7dfdSStefano Stabellini #define XEN_PAGE_SHIFT 12 352564f7dfdSStefano Stabellini #endif 353564f7dfdSStefano Stabellini #define XEN_FLEX_RING_SIZE(order) \ 354564f7dfdSStefano Stabellini (1UL << ((order) + XEN_PAGE_SHIFT - 1)) 355564f7dfdSStefano Stabellini 356564f7dfdSStefano Stabellini #define DEFINE_XEN_FLEX_RING(name) \ 357564f7dfdSStefano Stabellini static inline RING_IDX name##_mask(RING_IDX idx, RING_IDX ring_size) \ 358564f7dfdSStefano Stabellini { \ 359564f7dfdSStefano Stabellini return idx & (ring_size - 1); \ 360564f7dfdSStefano Stabellini } \ 361564f7dfdSStefano Stabellini \ 362564f7dfdSStefano Stabellini static inline unsigned char *name##_get_ring_ptr(unsigned char *buf, \ 363564f7dfdSStefano Stabellini RING_IDX idx, \ 364564f7dfdSStefano Stabellini RING_IDX ring_size) \ 365564f7dfdSStefano Stabellini { \ 366564f7dfdSStefano Stabellini return buf + name##_mask(idx, ring_size); \ 367564f7dfdSStefano Stabellini } \ 368564f7dfdSStefano Stabellini \ 369564f7dfdSStefano Stabellini static inline void name##_read_packet(void *opaque, \ 370564f7dfdSStefano Stabellini const unsigned char *buf, \ 371564f7dfdSStefano Stabellini size_t size, \ 372564f7dfdSStefano Stabellini RING_IDX masked_prod, \ 373564f7dfdSStefano Stabellini RING_IDX *masked_cons, \ 374564f7dfdSStefano Stabellini RING_IDX ring_size) \ 375564f7dfdSStefano Stabellini { \ 376564f7dfdSStefano Stabellini if (*masked_cons < masked_prod || \ 377564f7dfdSStefano Stabellini size <= ring_size - *masked_cons) { \ 378564f7dfdSStefano Stabellini memcpy(opaque, buf + *masked_cons, size); \ 379564f7dfdSStefano Stabellini } else { \ 380564f7dfdSStefano Stabellini memcpy(opaque, buf + *masked_cons, ring_size - *masked_cons); \ 381564f7dfdSStefano Stabellini memcpy((unsigned char *)opaque + ring_size - *masked_cons, buf, \ 382564f7dfdSStefano Stabellini size - (ring_size - *masked_cons)); \ 383564f7dfdSStefano Stabellini } \ 384564f7dfdSStefano Stabellini *masked_cons = name##_mask(*masked_cons + size, ring_size); \ 385564f7dfdSStefano Stabellini } \ 386564f7dfdSStefano Stabellini \ 387564f7dfdSStefano Stabellini static inline void name##_write_packet(unsigned char *buf, \ 388564f7dfdSStefano Stabellini const void *opaque, \ 389564f7dfdSStefano Stabellini size_t size, \ 390564f7dfdSStefano Stabellini RING_IDX *masked_prod, \ 391564f7dfdSStefano Stabellini RING_IDX masked_cons, \ 392564f7dfdSStefano Stabellini RING_IDX ring_size) \ 393564f7dfdSStefano Stabellini { \ 394564f7dfdSStefano Stabellini if (*masked_prod < masked_cons || \ 395564f7dfdSStefano Stabellini size <= ring_size - *masked_prod) { \ 396564f7dfdSStefano Stabellini memcpy(buf + *masked_prod, opaque, size); \ 397564f7dfdSStefano Stabellini } else { \ 398564f7dfdSStefano Stabellini memcpy(buf + *masked_prod, opaque, ring_size - *masked_prod); \ 399564f7dfdSStefano Stabellini memcpy(buf, (unsigned char *)opaque + (ring_size - *masked_prod), \ 400564f7dfdSStefano Stabellini size - (ring_size - *masked_prod)); \ 401564f7dfdSStefano Stabellini } \ 402564f7dfdSStefano Stabellini *masked_prod = name##_mask(*masked_prod + size, ring_size); \ 403564f7dfdSStefano Stabellini } \ 404564f7dfdSStefano Stabellini \ 405564f7dfdSStefano Stabellini static inline RING_IDX name##_queued(RING_IDX prod, \ 406564f7dfdSStefano Stabellini RING_IDX cons, \ 407564f7dfdSStefano Stabellini RING_IDX ring_size) \ 408564f7dfdSStefano Stabellini { \ 409564f7dfdSStefano Stabellini RING_IDX size; \ 410564f7dfdSStefano Stabellini \ 411564f7dfdSStefano Stabellini if (prod == cons) \ 412564f7dfdSStefano Stabellini return 0; \ 413564f7dfdSStefano Stabellini \ 414564f7dfdSStefano Stabellini prod = name##_mask(prod, ring_size); \ 415564f7dfdSStefano Stabellini cons = name##_mask(cons, ring_size); \ 416564f7dfdSStefano Stabellini \ 417564f7dfdSStefano Stabellini if (prod == cons) \ 418564f7dfdSStefano Stabellini return ring_size; \ 419564f7dfdSStefano Stabellini \ 420564f7dfdSStefano Stabellini if (prod > cons) \ 421564f7dfdSStefano Stabellini size = prod - cons; \ 422564f7dfdSStefano Stabellini else \ 423564f7dfdSStefano Stabellini size = ring_size - (cons - prod); \ 424564f7dfdSStefano Stabellini return size; \ 425564f7dfdSStefano Stabellini } \ 426564f7dfdSStefano Stabellini \ 427564f7dfdSStefano Stabellini struct name##_data { \ 428564f7dfdSStefano Stabellini unsigned char *in; /* half of the allocation */ \ 429564f7dfdSStefano Stabellini unsigned char *out; /* half of the allocation */ \ 430564f7dfdSStefano Stabellini } 431564f7dfdSStefano Stabellini 432564f7dfdSStefano Stabellini #define DEFINE_XEN_FLEX_RING_AND_INTF(name) \ 433564f7dfdSStefano Stabellini struct name##_data_intf { \ 434564f7dfdSStefano Stabellini RING_IDX in_cons, in_prod; \ 435564f7dfdSStefano Stabellini \ 436564f7dfdSStefano Stabellini uint8_t pad1[56]; \ 437564f7dfdSStefano Stabellini \ 438564f7dfdSStefano Stabellini RING_IDX out_cons, out_prod; \ 439564f7dfdSStefano Stabellini \ 440564f7dfdSStefano Stabellini uint8_t pad2[56]; \ 441564f7dfdSStefano Stabellini \ 442564f7dfdSStefano Stabellini RING_IDX ring_order; \ 443564f7dfdSStefano Stabellini grant_ref_t ref[]; \ 444564f7dfdSStefano Stabellini }; \ 445564f7dfdSStefano Stabellini DEFINE_XEN_FLEX_RING(name) 446564f7dfdSStefano Stabellini 447a42089ddSJeremy Fitzhardinge #endif /* __XEN_PUBLIC_IO_RING_H__ */ 448