source: mainline/uspace/srv/devman/devman.h@ 2edcb63

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Last change on this file since 2edcb63 was 5bee897, checked in by Vojtech Horky <vojtechhorky@…>, 15 years ago

Fix deadlock in devman

The driver mutex is released during device adding to release the
deadlock when adding child device driven by the same task.

  • Property mode set to 100644
File size: 9.6 KB
RevLine 
[e2b9a993]1/*
2 * Copyright (c) 2010 Lenka Trochtova
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 *
9 * - Redistributions of source code must retain the above copyright
10 * notice, this list of conditions and the following disclaimer.
11 * - Redistributions in binary form must reproduce the above copyright
12 * notice, this list of conditions and the following disclaimer in the
13 * documentation and/or other materials provided with the distribution.
14 * - The name of the author may not be used to endorse or promote products
15 * derived from this software without specific prior written permission.
16 *
17 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 */
28
29/** @addtogroup devman
30 * @{
31 */
[08d9c4e6]32
[e2b9a993]33#ifndef DEVMAN_H_
34#define DEVMAN_H_
35
36#include <assert.h>
37#include <bool.h>
38#include <dirent.h>
[c47e1a8]39#include <str.h>
[e2b9a993]40#include <adt/list.h>
[957cfa58]41#include <adt/hash_table.h>
[e2b9a993]42#include <ipc/ipc.h>
[bda60d9]43#include <ipc/devman.h>
[d51ee2b]44#include <ipc/devmap.h>
[e85920d]45#include <fibril_synch.h>
[084ff99]46#include <atomic.h>
[e2b9a993]47
[08d9c4e6]48#include "util.h"
[e2b9a993]49
50#define NAME "devman"
51
52#define MATCH_EXT ".ma"
[957cfa58]53#define DEVICE_BUCKETS 256
[e2b9a993]54
[ce89036b]55#define DEVMAP_CLASS_NAMESPACE "class"
56#define DEVMAP_DEVICE_NAMESPACE "devices"
[a32defa]57#define DEVMAP_SEPARATOR '\\'
[ce89036b]58
[e2b9a993]59struct node;
60typedef struct node node_t;
61
[e85920d]62typedef enum {
[38b3baf]63 /** Driver has not been started. */
[e85920d]64 DRIVER_NOT_STARTED = 0,
[38b3baf]65
66 /**
67 * Driver has been started, but has not registered as running and ready
68 * to receive requests.
69 */
[e85920d]70 DRIVER_STARTING,
[38b3baf]71
72 /** Driver is running and prepared to serve incomming requests. */
[e85920d]73 DRIVER_RUNNING
74} driver_state_t;
75
[38b3baf]76/** Representation of device driver. */
[e2b9a993]77typedef struct driver {
[38b3baf]78 /** Pointers to previous and next drivers in a linked list. */
[e2b9a993]79 link_t drivers;
[38b3baf]80
81 /**
82 * Specifies whether the driver has been started and wheter is running
83 * and prepared to receive requests.
84 */
[e85920d]85 int state;
[38b3baf]86
87 /** Phone asociated with this driver. */
[e2b9a993]88 ipcarg_t phone;
[38b3baf]89 /** Name of the device driver. */
[e2b9a993]90 char *name;
[38b3baf]91 /** Path to the driver's binary. */
[e2b9a993]92 const char *binary_path;
[38b3baf]93 /** List of device ids for device-to-driver matching. */
[e2b9a993]94 match_id_list_t match_ids;
[38b3baf]95 /** Pointer to the linked list of devices controlled by this driver. */
[e2b9a993]96 link_t devices;
[38b3baf]97
98 /**
99 * Fibril mutex for this driver - driver state, list of devices, phone.
100 */
[e85920d]101 fibril_mutex_t driver_mutex;
[e2b9a993]102} driver_t;
103
[e85920d]104/** The list of drivers. */
105typedef struct driver_list {
106 /** List of drivers */
107 link_t drivers;
108 /** Fibril mutex for list of drivers. */
[38b3baf]109 fibril_mutex_t drivers_mutex;
[e85920d]110} driver_list_t;
111
[df747b9c]112/** The state of the device. */
113typedef enum {
114 DEVICE_NOT_INITIALIZED = 0,
115 DEVICE_USABLE,
116 DEVICE_NOT_PRESENT,
117 DEVICE_INVALID
118} device_state_t;
119
[38b3baf]120/** Representation of a node in the device tree. */
[e2b9a993]121struct node {
[38b3baf]122 /** The global unique identifier of the device. */
[0b5a4131]123 devman_handle_t handle;
[bda60d9]124 /** The name of the device specified by its parent. */
125 char *name;
[38b3baf]126
127 /**
128 * Full path and name of the device in device hierarchi (i. e. in full
129 * path in device tree).
130 */
131 char *pathname;
132
[e2b9a993]133 /** The node of the parent device. */
134 node_t *parent;
[38b3baf]135
136 /**
137 * Pointers to previous and next child devices in the linked list of
138 * parent device's node.
139 */
[08d9c4e6]140 link_t sibling;
[38b3baf]141
[e2b9a993]142 /** List of child device nodes. */
143 link_t children;
[38b3baf]144 /** List of device ids for device-to-driver matching. */
[08d9c4e6]145 match_id_list_t match_ids;
[38b3baf]146 /** Driver of this device. */
[08d9c4e6]147 driver_t *drv;
[df747b9c]148 /** The state of the device. */
149 device_state_t state;
[38b3baf]150 /**
151 * Pointer to the previous and next device in the list of devices
152 * owned by one driver.
153 */
[08d9c4e6]154 link_t driver_devices;
[38b3baf]155
156 /** The list of device classes to which this device belongs. */
[d51ee2b]157 link_t classes;
[957cfa58]158 /** Devmap handle if the device is registered by devmapper. */
[991f645]159 devmap_handle_t devmap_handle;
[38b3baf]160
161 /**
162 * Used by the hash table of devices indexed by devman device handles.
163 */
[957cfa58]164 link_t devman_link;
[38b3baf]165
166 /**
167 * Used by the hash table of devices indexed by devmap device handles.
168 */
[957cfa58]169 link_t devmap_link;
[5bee897]170
171 /**
172 * Whether this device was already passed to the driver.
173 */
174 bool passed_to_driver;
[e2b9a993]175};
176
[38b3baf]177/** Represents device tree. */
[e2b9a993]178typedef struct dev_tree {
179 /** Root device node. */
180 node_t *root_node;
[38b3baf]181
182 /**
183 * The next available handle - handles are assigned in a sequential
184 * manner.
185 */
[0b5a4131]186 devman_handle_t current_handle;
[38b3baf]187
188 /** Synchronize access to the device tree. */
[957cfa58]189 fibril_rwlock_t rwlock;
[38b3baf]190
191 /** Hash table of all devices indexed by devman handles. */
[957cfa58]192 hash_table_t devman_devices;
[38b3baf]193
194 /**
195 * Hash table of devices registered by devmapper, indexed by devmap
196 * handles.
197 */
[957cfa58]198 hash_table_t devmap_devices;
[e2b9a993]199} dev_tree_t;
200
[38b3baf]201typedef struct dev_class {
202 /** The name of the class. */
[d51ee2b]203 const char *name;
[38b3baf]204
205 /**
206 * Pointer to the previous and next class in the list of registered
207 * classes.
208 */
209 link_t link;
210
211 /**
212 * List of dev_class_info structures - one for each device registered by
213 * this class.
214 */
[692c40cb]215 link_t devices;
[38b3baf]216
217 /**
218 * Default base name for the device within the class, might be overrided
219 * by the driver.
220 */
[d51ee2b]221 const char *base_dev_name;
[38b3baf]222
223 /** Unique numerical identifier of the newly added device. */
[d51ee2b]224 size_t curr_dev_idx;
225 /** Synchronize access to the list of devices in this class. */
226 fibril_mutex_t mutex;
227} dev_class_t;
228
[58b833c]229/**
230 * Provides n-to-m mapping between device nodes and classes - each device may
[38b3baf]231 * be register to the arbitrary number of classes and each class may contain
232 * the arbitrary number of devices.
233 */
[d51ee2b]234typedef struct dev_class_info {
[38b3baf]235 /** The class. */
[d51ee2b]236 dev_class_t *dev_class;
[38b3baf]237 /** The device. */
[d51ee2b]238 node_t *dev;
[38b3baf]239
240 /**
241 * Pointer to the previous and next class info in the list of devices
242 * registered by the class.
243 */
[d51ee2b]244 link_t link;
[38b3baf]245
246 /**
247 * Pointer to the previous and next class info in the list of classes
248 * by which the device is registered.
249 */
[d51ee2b]250 link_t dev_classes;
[38b3baf]251
252 /** The name of the device within the class. */
253 char *dev_name;
254 /** The handle of the device by device mapper in the class namespace. */
[991f645]255 devmap_handle_t devmap_handle;
[38b3baf]256
257 /**
258 * Link in the hash table of devices registered by the devmapper using
259 * their class names.
260 */
[ce89036b]261 link_t devmap_link;
[d51ee2b]262} dev_class_info_t;
[e2b9a993]263
[692c40cb]264/** The list of device classes. */
265typedef struct class_list {
[38b3baf]266 /** List of classes. */
[692c40cb]267 link_t classes;
[38b3baf]268
269 /**
270 * Hash table of devices registered by devmapper using their class name,
271 * indexed by devmap handles.
272 */
[ce89036b]273 hash_table_t devmap_devices;
[38b3baf]274
[692c40cb]275 /** Fibril mutex for list of classes. */
[38b3baf]276 fibril_rwlock_t rwlock;
[692c40cb]277} class_list_t;
278
[38b3baf]279/* Match ids and scores */
[e2b9a993]280
[38b3baf]281extern int get_match_score(driver_t *, node_t *);
[e2b9a993]282
[38b3baf]283extern bool parse_match_ids(char *, match_id_list_t *);
284extern bool read_match_ids(const char *, match_id_list_t *);
285extern char *read_match_id(char **);
286extern char *read_id(const char **);
[729fa2d6]287
[38b3baf]288/* Drivers */
[0c3666d]289
[791f58c]290extern void init_driver_list(driver_list_t *);
[38b3baf]291extern driver_t *create_driver(void);
292extern bool get_driver_info(const char *, const char *, driver_t *);
293extern int lookup_available_drivers(driver_list_t *, const char *);
[e2b9a993]294
[38b3baf]295extern driver_t *find_best_match_driver(driver_list_t *, node_t *);
296extern bool assign_driver(node_t *, driver_list_t *, dev_tree_t *);
[e2b9a993]297
[38b3baf]298extern void add_driver(driver_list_t *, driver_t *);
299extern void attach_driver(node_t *, driver_t *);
300extern void add_device(int, driver_t *, node_t *, dev_tree_t *);
301extern bool start_driver(driver_t *);
[e2b9a993]302
[38b3baf]303extern driver_t *find_driver(driver_list_t *, const char *);
304extern void set_driver_phone(driver_t *, ipcarg_t);
[791f58c]305extern void initialize_running_driver(driver_t *, dev_tree_t *);
[e2b9a993]306
[791f58c]307extern void init_driver(driver_t *);
308extern void clean_driver(driver_t *);
309extern void delete_driver(driver_t *);
[38b3baf]310
311/* Device nodes */
312
[791f58c]313extern node_t *create_dev_node(void);
314extern void delete_dev_node(node_t *node);
315extern node_t *find_dev_node_no_lock(dev_tree_t *tree,
[0b5a4131]316 devman_handle_t handle);
317extern node_t *find_dev_node(dev_tree_t *tree, devman_handle_t handle);
[38b3baf]318extern node_t *find_dev_node_by_path(dev_tree_t *, char *);
319extern node_t *find_node_child(node_t *, const char *);
320
321/* Device tree */
[5cd136ab]322
[38b3baf]323extern bool init_device_tree(dev_tree_t *, driver_list_t *);
324extern bool create_root_node(dev_tree_t *);
325extern bool insert_dev_node(dev_tree_t *, node_t *, char *, node_t *);
[e2b9a993]326
[38b3baf]327/* Device classes */
[d51ee2b]328
[791f58c]329extern dev_class_t *create_dev_class(void);
330extern dev_class_info_t *create_dev_class_info(void);
331extern size_t get_new_class_dev_idx(dev_class_t *);
[38b3baf]332extern char *create_dev_name_for_class(dev_class_t *, const char *);
333extern dev_class_info_t *add_device_to_class(node_t *, dev_class_t *,
334 const char *);
[d51ee2b]335
[38b3baf]336extern void init_class_list(class_list_t *);
[692c40cb]337
[38b3baf]338extern dev_class_t *get_dev_class(class_list_t *, char *);
339extern dev_class_t *find_dev_class_no_lock(class_list_t *, const char *);
[791f58c]340extern void add_dev_class_no_lock(class_list_t *, dev_class_t *);
[ce89036b]341
[38b3baf]342/* Devmap devices */
[ce89036b]343
[991f645]344extern node_t *find_devmap_tree_device(dev_tree_t *, devmap_handle_t);
345extern node_t *find_devmap_class_device(class_list_t *, devmap_handle_t);
[a32defa]346
[791f58c]347extern void class_add_devmap_device(class_list_t *, dev_class_info_t *);
348extern void tree_add_devmap_device(dev_tree_t *, node_t *);
[a32defa]349
[e2b9a993]350#endif
[c16cf62]351
352/** @}
[38b3baf]353 */
Note: See TracBrowser for help on using the repository browser.