summaryrefslogtreecommitdiffstats
path: root/src/include/kernel/futexmgr.H
blob: aeba05291cb014f9f0d63b3d7a56030b7bd649c3 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
//  IBM_PROLOG_BEGIN_TAG
//  This is an automatically generated prolog.
//
//  $Source: src/include/kernel/futexmgr.H $
//
//  IBM CONFIDENTIAL
//
//  COPYRIGHT International Business Machines Corp. 2011
//
//  p1
//
//  Object Code Only (OCO) source materials
//  Licensed Internal Code Source Materials
//  IBM HostBoot Licensed Internal Code
//
//  The source code for this program is not published or other-
//  wise divested of its trade secrets, irrespective of what has
//  been deposited with the U.S. Copyright Office.
//
//  Origin: 30
//
//  IBM_PROLOG_END
#ifndef FUTEXMGR
#define FUTEXMGR

/**
 * @file futexmgr.H
 * @brief Declaration for kernel side futex management
 */

#include <stdint.h>
#include <util/locked/list.H>
#include <kernel/spinlock.H>

struct task_t;


/**
 * @class FutexManager
 * Kernel internal management of fuxtexs
 */
class FutexManager
{
    public:

        /**
         * Put the current processes on a wait queue
         * @param[in] i_task  pointer to the current task structure
         * @param[in] i_addr  Futex address 
         * @param[in] i_val   Value that *i_addr should contain
         * @returns [0 | error code]  if *i_addr != i_val returns EWOULDBLOCK
         */
        static uint64_t wait(task_t * i_task, uint64_t * i_addr, uint64_t i_val);

        /**
         * Wakeup and optionally move waiting processes.
         * @param[in] i_futex1 pointer to a futex
         * @param[in] i_count1 The max number of tasks to wake
         * @param[in] i_futex2 pointer to a futex, (default NULL) Optional
         *                     futex to move i_count_2 unwoken tasks to.
         * @param[in] i_count2 The max number of theads to move from futex1 to 
         *                     futex2. (default 0)
         *
         * @returns The number of tasks awoken
         */
        static uint64_t wake(uint64_t * i_futex1, uint64_t i_count1,
                             uint64_t * i_futex2 = NULL, uint64_t i_count2 = 0);

    protected:

        /**
         * Ctor
         */
        FutexManager() {};

        /**
         * Dtor
         */
        ~FutexManager() {};

    private: // functions

        /** see wait(...) */
        uint64_t _wait(task_t * i_task, uint64_t * i_addr, uint64_t i_val);

        /** see wake(...) */
        uint64_t _wake(uint64_t * i_futex1, uint64_t i_count1,
                       uint64_t * i_futex2, uint64_t i_count2);

    private: // data

        struct _FutexWait_t
        {
            _FutexWait_t * next;    ///< next _FutexWait_t in list
            _FutexWait_t * prev;    ///< prev _FutexWait_t in list
            uint64_t * key;         ///< search key is futex address
            task_t* task;           ///< task on wait list
        };

        typedef Util::Locked::List<_FutexWait_t, uint64_t *> FutexList_t;

        Spinlock iv_lock;       ///< lock
        FutexList_t iv_list;    ///< List of waiting tasks for all futexes
};

#endif

OpenPOWER on IntegriCloud