List (add-only, singly-linked, unordered)

Revision as of 01:34, 31 May 2016 by Admin (talk | contribs) (→‎Example)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Source Files

    │   └───liblfds710
    │           lfds710_list_addonly_singlylinked_unordered.h


enum lfds710_list_asu_position;
enum lfds710_list_asu_query;

Opaque Structures

struct lfds710_list_asu_element;
struct lfds710_list_asu_state;


#define LFDS710_LIST_ASU_GET_START( list_asu_state )
#define LFDS710_LIST_ASU_GET_NEXT( list_asu_element )
#define LFDS710_LIST_ASU_GET_START_AND_THEN_NEXT( list_asu_state, pointer_to_list_asu_element )

#define LFDS710_LIST_ASU_GET_KEY_FROM_ELEMENT( list_asu_element )
#define LFDS710_LIST_ASU_SET_KEY_IN_ELEMENT( list_asu_element, new_key )

#define LFDS710_LIST_ASU_GET_VALUE_FROM_ELEMENT( list_asu_element )
#define LFDS710_LIST_ASU_SET_VALUE_IN_ELEMENT( list_asu_element, new_value )

#define LFDS710_LIST_ASU_GET_USER_STATE_FROM_STATE( list_asu_state )


void lfds710_list_asu_init_valid_on_current_logical_core( struct lfds710_list_asu_state *lasus,
                                                          void *user_state );

void lfds710_list_asu_cleanup( struct lfds710_list_asu_state *lasus,
                               void (*element_cleanup_callback)(struct lfds710_list_asu_state *lasus, struct lfds710_list_asu_element *lasue);

void lfds710_list_asu_insert_at_position( struct lfds710_list_asu_state *lasus,
                                          struct lfds710_list_asu_element *lasue,
                                          struct lfds710_list_asu_element *lasue_predecessor,
                                          enum lfds710_list_asu_position position );

void lfds710_list_asu_insert_at_start( struct lfds710_list_asu_state *lasus,
                                       struct lfds710_list_asu_element *lasue );

void lfds710_list_asu_insert_at_end( struct lfds710_list_asu_state *lasus,
                                     struct lfds710_list_asu_element *lasue ;

void lfds710_list_asu_insert_after( struct lfds710_list_asu_state *lasus,
                                    struct lfds710_list_asu_element *lasue,
                                    struct lfds710_list_asu_element *lasue_predecessor );
int lfds710_list_asu_get_by_key( struct lfds710_list_asu_state *lasus,
                                 int (*key_compare_function)(void const *new_key, void const *existing_key),
                                 void *key, 
                                 struct lfds710_list_asu_element **lasue );

void lfds710_list_asu_query( struct lfds710_list_asu_state *lasus,
                             enum lfds710_list_asu_query query_type,
                             void *query_input,
                             void *query_output );


This data structure implements an add-only, singly-linked, unordered list. It supports any number of concurrent users, and internally implements exponential backoff to help deal with high load and so improve scalability.

The implementation performs no allocations. The user is responsible for all allocations (and deallocations), where these allocations are passed into the API functions, which then use them. As such, allocations can be on the stack, on the heap, or as can sometimes be the the case in embedded systems, allocated with fixed addresses at compile time from a fixed global store. Allocations can also be shared memory, but in this case, the virtual addresses used must be the same in all processes.

General usage is that the user calls lfds710_list_asu_init_valid_on_current_logical_core to initialize a struct lfds710_list_asu_state, and then calls the lfds710_list_aos_insert* functions to add elements to the list and uses the various macros, such as LFDS710_LIST_ASU_GET_START and LFDS710_LIST_ASU_GET_NEXT to iterate over the list. A convenience function is provided, lfds710_list_aos_get_by_key, to search by key, but remember the list is unordered.

(See the section below, on lock-free specific behaviour, for an explanation of the unusual init function name.)

A list element provides the ability to store a key and a value, both of which are of type void *. The key is used for list ordering. The key and value are get and set by macros, such as LFDS710_LIST_ASU_SET_VALUE_IN_ELEMENT. The key can only be set in elements before they are added to a tree. The value can be set at any time, in elements both inside and outside of the list.

The state and element structures are both public, present in the lfds710_list_addonly_singlylinked_unordered.h header file, so that users can embed them in their own structures (and where necessary pass them to sizeof). Expected use is that user structures which are to enter lists contain within themselves a struct lfds710_list_aos_element, and this is used when calling lfds710_list_aos_insert* functions. This approach permits zero run-time allocation of store and also ensures the stack element is normally in the same memory page as the user data it refers to.

The list maintains, as best it can, a pointer to the last element, so linking to the end of the list is typically efficient. Note we say here "as best it can" and "typically"; the pointer to the last element is not updated atomically with the linking of a new end element, so it is possible for the end pointer to be out of place. When any code comes to use the end pointer, it moves the end pointer to the correct position before using it. (To be more precise, such code loops, attempting to move the end point to the correct position before using it, where the attempt to use it will fail if more elements have in the meantime been added to the end of the list).

Lock-free Specific Behaviour

The state initialization function, lfds710_list_asu_init_valid_on_current_logical_core, as the same suggests, initializes the state structure but that initialization is only valid on the current logical core. For the initialization to be valid on other logical cores (i.e. other threads where they are running on other logical cores) those other threads need to call the long-windedly named macro LFDS710_MISC_MAKE_VALID_ON_CURRENT_LOGICAL_CORE_INITS_COMPLETED_BEFORE_NOW_ON_ANY_OTHER_LOGICAL_CORE, which will do that which its name suggests.

The SET macro for the key in an element can only be correctly used on elements which are outside of a list. The SET macro for the value in an element can be used at any time, on any element. By correctly is it meant to say that the GET macros will actually read the data written by the SET macros, and not some other data. I don't have to tell you how much chaos will ensure if different logical cores are reading different keys for the same element...

If shared memory is used for allocations, the virtual addresses must be the same across different processes.

White Paper

There is no white paper for this data structure; it is native to liblfds.


Standard liblfds license - there is no license. You are free to use this code in any way. Go forth and create wealth!

If however for legal reasons a licence is required, the license of your choice will be granted, and license for convenience is hereby granted up front for a range of popular licenses : the MIT license, the BSD license, the Apache license, the GPL and LPGL (all versions thereof) and the Creative Commons licenses (all of them). Additionally, this library (which is to say, the source code, build files, documentation, everything) is placed in the public domain.


#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "liblfds710.h"

struct test_data
  struct lfds710_list_asu_element


int main()
  struct test_data

  struct lfds710_list_asu_element

  struct lfds710_list_asu_state

  lfds710_list_asu_init_valid_on_current_logical_core( &lasus, NULL );

  // TRD : insert a few elements
  first_td = malloc( sizeof(struct test_data) );
  stcpy( first_td->name, "First element" );
  LFDS710_LIST_ASU_SET_VALUE_IN_ELEMENT( first_td->lasue, first_td );
  lfds710_list_asu_insert_at_start( &lasus, &first_td->lasue );

  last_id = malloc( sizeof(struct test_data) );
  stcpy( last_td->name, "Last element" );
  LFDS710_LIST_ASU_SET_VALUE_IN_ELEMENT( last_td->lasue, last_td );
  lfds710_list_asu_insert_at_end( &lasus, &last_td->lasue );

  middle_td = malloc( sizeof(struct test_data) );
  stcpy( middle_td->name, "Middle element" );
  LFDS710_LIST_ASU_SET_VALUE_IN_ELEMENT( middle_td->lasue, middle_td );
  lfds710_list_asu_insert_after_element( &lasus, &middle_td->lasue, &first_td->lasue );

  // TRD : iterate over the list
  lasue = NULL;

  while( LFDS710_LIST_ASU_GET_START_AND_THEN_NEXT(&lasus,lasue) )
    printf( "element name = %s\n", td->name );

  lfds710_list_asu_cleanup( &lasus, NULL );

  free( first_td );
  free( middle_td );
  free( last_td );

  return( EXIT_SUCCESS );

See Also