source: soft/giet_vm/giet_common/kernel_locks.h @ 572

Last change on this file since 572 was 523, checked in by alain, 10 years ago

The access functions to the mapping have been modified
to comply with the removing of the coproc and cp_port objects
in the mapping_info.h file.

  • Property svn:executable set to *
File size: 2.9 KB
Line 
1//////////////////////////////////////////////////////////////////////////////
2// File     : kernel_locks.h
3// Date     : 01/12/2014
4// Author   : alain greiner
5// Copyright (c) UPMC-LIP6
6//////////////////////////////////////////////////////////////////////////////
7// The locks.c and locks.h files are part of the GIET-VM nano-kernel.
8// They define both atomic increment operations and three types of locks.
9//////////////////////////////////////////////////////////////////////////////
10
11#ifndef GIET_LOCKS_H
12#define GIET_LOCKS_H
13
14#include "hard_config.h"
15
16//////////////////////////////////////////////////////////////////////////////
17//      Simple lock structure and access functions
18//////////////////////////////////////////////////////////////////////////////
19
20typedef struct simple_lock_s
21{
22    unsigned int value;          // lock taken if non zero
23    unsigned int padding[15];    // for 64 bytes alignment
24} simple_lock_t;
25
26extern void _simple_lock_acquire( simple_lock_t* lock );
27
28extern void _simple_lock_release( simple_lock_t* lock );
29
30//////////////////////////////////////////////////////////////////////////////
31//      Queuing lock structure and access functions
32//////////////////////////////////////////////////////////////////////////////
33
34typedef struct spin_lock_s
35{
36    unsigned int current;        // current slot index:
37    unsigned int free;           // next free tiket index
38    unsigned int padding[14];    // for 64 bytes alignment
39} spin_lock_t;
40
41extern unsigned int _atomic_increment( unsigned int* ptr,
42                                       int  increment );
43
44extern void _spin_lock_init( spin_lock_t* lock );
45
46extern void _spin_lock_acquire( spin_lock_t* lock );
47
48extern void _spin_lock_release( spin_lock_t* lock );
49
50
51/////////////////////////////////////////////////////////////////////////////
52//      SQT lock structures and access functions
53/////////////////////////////////////////////////////////////////////////////
54
55typedef struct sqt_lock_node_s
56{
57    unsigned int            current;         // current ticket index
58    unsigned int            free;            // next free ticket index
59    unsigned int            level;           // hierarchical level (0 is bottom)
60    struct sqt_lock_node_s* parent;          // parent node (NULL for root)
61    struct sqt_lock_node_s* child[4];        // children node
62    unsigned int            padding[8];      // for 64 bytes alignment         
63} sqt_lock_node_t;
64
65typedef struct sqt_lock_s
66{
67    sqt_lock_node_t* node[X_SIZE][Y_SIZE][5];  // array of pointers on SBT nodes
68} sqt_lock_t;
69
70extern void _sqt_lock_init( sqt_lock_t*   lock );
71
72extern void _sqt_lock_acquire( sqt_lock_t*  lock );
73
74extern void _sqt_lock_release( sqt_lock_t*  lock );
75
76
77#endif
78
79// Local Variables:
80// tab-width: 4
81// c-basic-offset: 4
82// c-file-offsets:((innamespace . 0)(inline-open . 0))
83// indent-tabs-mode: nil
84// End:
85// vim: filetype=c:expandtab:shiftwidth=4:tabstop=4:softtabstop=4
86
Note: See TracBrowser for help on using the repository browser.