Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Simplify the mmalloc library further
[simgrid.git] / include / xbt / queue.h
index a3b846a..3b83e7f 100644 (file)
 SG_BEGIN_DECL()
 
 /** @addtogroup XBT_queue
-  * @brief Synchronized message exchanging queue.
+  * \brief Synchronized message exchanging queue.
   *
-  * These is the classical producer/consumer synchronization scheme, which all concurrent programmer recode one day or another.
+  * These is the classical producer/consumer synchronization scheme, 
+  * which all concurrent programmer recode one day or another.
+  *
+  * The good thing of this implementation is that it works seamlessly
+  * in your universe. When using one of the classical simulation
+  * interface (such as MSG), it achieves the synchronization on top
+  * of the simulator. If you use instead the real life implementation
+  * comming with GRAS, it uses the synchronization of your OS
+  * (whatever could it be). The choice is done at link time.
   *  
   * For performance concerns, the content of queue must be homogeneous, 
-  * just like dynars (see the \ref XBT_dynar section). Indeed, queues use a 
+  * just like dynars (see the \ref XBT_dynar section). Actually, queues use a 
   * dynar to store the data, and add the synchronization on top of it. 
   * 
   * @{
   */
   /** \brief Queue data type (opaque type) */
-     typedef struct s_xbt_queue_ *xbt_queue_t;
+typedef struct s_xbt_queue_ *xbt_queue_t;
 
 
-XBT_PUBLIC(xbt_queue_t) xbt_queue_new(int capacity, unsigned long elm_size);
+XBT_PUBLIC(xbt_queue_t) xbt_queue_new(int capacity,
+                                      unsigned long elm_size);
 XBT_PUBLIC(void) xbt_queue_free(xbt_queue_t * queue);
 
 XBT_PUBLIC(unsigned long) xbt_queue_length(const xbt_queue_t queue);
@@ -42,8 +51,8 @@ XBT_PUBLIC(void) xbt_queue_shift(xbt_queue_t queue, void *const dst);
 
 XBT_PUBLIC(void) xbt_queue_push_timed(xbt_queue_t queue, const void *src,
                                       double delay);
-XBT_PUBLIC(void) xbt_queue_unshift_timed(xbt_queue_t queue, const void *src,
-                                         double delay);
+XBT_PUBLIC(void) xbt_queue_unshift_timed(xbt_queue_t queue,
+                                         const void *src, double delay);
 XBT_PUBLIC(void) xbt_queue_shift_timed(xbt_queue_t queue, void *const dst,
                                        double delay);
 XBT_PUBLIC(void) xbt_queue_pop_timed(xbt_queue_t queue, void *const dst,
@@ -52,4 +61,4 @@ XBT_PUBLIC(void) xbt_queue_pop_timed(xbt_queue_t queue, void *const dst,
 /** @} */
 
 SG_END_DECL()
-#endif /* _XBT_QUEUE_H */
+#endif                          /* _XBT_QUEUE_H */