Subversion Repositories HelenOS

Rev

Rev 4509 | Rev 4522 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 4509 Rev 4516
Line 1... Line 1...
1
/*
1
/*
2
 * Copyright (c) 2006 Ondrej Palkovsky
2
 * Copyright (c) 2009 Jakub Jermar
3
 * All rights reserved.
3
 * All rights reserved.
4
 *
4
 *
5
 * Redistribution and use in source and binary forms, with or without
5
 * Redistribution and use in source and binary forms, with or without
6
 * modification, are permitted provided that the following conditions
6
 * modification, are permitted provided that the following conditions
7
 * are met:
7
 * are met:
Line 30... Line 30...
30
 * @{
30
 * @{
31
 */
31
 */
32
/** @file
32
/** @file
33
 */
33
 */
34
 
34
 
35
#ifndef LIBC_FIBRIL_H_
35
#ifndef LIBC_FIBRIL_SYNC_H_
36
#define LIBC_FIBRIL_H_
36
#define LIBC_FIBRIL_SYNC_H_
37
 
37
 
-
 
38
#include <async.h>
38
#include <libarch/fibril.h>
39
#include <fibril.h>
39
#include <adt/list.h>
40
#include <adt/list.h>
40
#include <libarch/tls.h>
41
#include <libarch/tls.h>
41
 
42
 
42
#ifndef context_set
-
 
43
#define context_set(c, _pc, stack, size, ptls) \
-
 
44
    (c)->pc = (sysarg_t) (_pc); \
-
 
45
    (c)->sp = ((sysarg_t) (stack)) + (size) - SP_DELTA; \
-
 
46
    (c)->tls = (sysarg_t) (ptls);
-
 
47
#endif /* context_set */
-
 
48
 
-
 
49
#define FIBRIL_SERIALIZED  1
-
 
50
 
-
 
51
typedef enum {
43
typedef struct {
52
    FIBRIL_PREEMPT,
44
    int counter;
53
    FIBRIL_TO_MANAGER,
-
 
54
    FIBRIL_FROM_MANAGER,
-
 
55
    FIBRIL_FROM_DEAD
45
    link_t waiters;
56
} fibril_switch_type_t;
46
} fibril_mutex_t;
57
 
47
 
58
typedef sysarg_t fid_t;
48
#define FIBRIL_MUTEX_INITIALIZE(name) \
59
 
-
 
60
struct fibril {
49
    fibril_mutex_t name = { \
61
    link_t link;
-
 
62
    context_t ctx;
50
        .counter = 1, \
63
    void *stack;
51
        .waiters = { \
64
    void *arg;
-
 
65
    int (*func)(void *);
52
            .prev = &name.waiters, \
66
    tcb_t *tcb;
-
 
67
 
-
 
68
    struct fibril *clean_after_me;
53
            .next = &name.waiters, \
69
    int retval;
-
 
70
    int flags;
-
 
71
};
54
        } \
72
typedef struct fibril fibril_t;
-
 
73
 
-
 
74
extern int context_save(context_t *c);
-
 
75
extern void context_restore(context_t *c) __attribute__ ((noreturn));
-
 
76
 
55
    }
77
extern fid_t fibril_create(int (*func)(void *), void *arg);
-
 
78
extern fibril_t *fibril_setup(void);
-
 
79
extern void fibril_teardown(fibril_t *f);
-
 
80
extern int fibril_switch(fibril_switch_type_t stype);
-
 
81
extern void fibril_add_ready(fid_t fid);
-
 
82
extern void fibril_add_manager(fid_t fid);
-
 
83
extern void fibril_remove_manager(void);
-
 
84
extern fid_t fibril_get_id(void);
-
 
85
extern void fibril_inc_sercount(void);
-
 
86
extern void fibril_dec_sercount(void);
-
 
87
 
56
 
-
 
57
typedef struct {
-
 
58
    fibril_mutex_t  fm;
-
 
59
} fibril_rwlock_t;
-
 
60
 
88
static inline int fibril_yield(void) {
61
#define FIBRIL_RWLOCK_INITIALIZE(name) \
89
    return fibril_switch(FIBRIL_PREEMPT);
62
    fibril_rwlock_t name = { \
-
 
63
        .fm = { \
-
 
64
            .counter = 1, \
-
 
65
            .waiters = { \
-
 
66
                .prev = &name.fm.waiters, \
-
 
67
                .next = &name.fm.waiters, \
-
 
68
            } \
-
 
69
        } \
90
}
70
    }
91
 
71
 
-
 
72
extern void fibril_mutex_initialize(fibril_mutex_t *);
-
 
73
extern void fibril_mutex_lock(fibril_mutex_t *);
-
 
74
extern bool fibril_mutex_trylock(fibril_mutex_t *);
-
 
75
extern void fibril_mutex_unlock(fibril_mutex_t *);
-
 
76
 
-
 
77
extern void fibril_rwlock_initialize(fibril_rwlock_t *);
-
 
78
extern void fibril_rwlock_read_lock(fibril_rwlock_t *);
-
 
79
extern void fibril_rwlock_write_lock(fibril_rwlock_t *);
-
 
80
extern void fibril_rwlock_read_unlock(fibril_rwlock_t *);
-
 
81
extern void fibril_rwlock_write_unlock(fibril_rwlock_t *);
-
 
82
 
92
#endif
83
#endif
93
 
84
 
94
/** @}
85
/** @}
95
 */
86
 */