ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-22 15:02:25 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
6ca8a41232
genode/os/include/os
History
Stefan Kalkowski 746011ee28 blk_cache: fix deadlock in allocator hierarchy 
This commit generalizes the bit array in 'base/util/bit_array.h',
so that it can be used in a statically, when the array size is known
at compile time, or dynamically. It uses the dynamic approach of the
bit array for a more generalized version of the packet allocator,
formerly only used by NIC session clients. The more generic packet
allocator is used by the block cache to circumvent the allocation
deadlock described in issue #1059.

Fixes #1059
2014-02-25 14:58:06 +01:00
..
alarm.h Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
attached_dataspace.h New 'os/attached_dataspace.h' utility 2014-01-27 18:54:07 +01:00
attached_io_mem_dataspace.h Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
attached_mmio.h attached_mmio: Support sub-page MMIO resources 2013-09-23 14:26:01 +02:00
attached_ram_dataspace.h make Attached_ram_dataspace::local_addr const 2013-09-18 14:58:55 +02:00
attached_rom_dataspace.h New 'os/attached_dataspace.h' utility 2014-01-27 18:54:07 +01:00
child_policy_dynamic_rom.h Attach affinity information to session requests 2013-08-13 17:08:25 +02:00
config.h os: Move Genode::Config into 'config' library 2013-09-23 14:25:58 +02:00
irq_activation.h Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
packet_allocator.h blk_cache: fix deadlock in allocator hierarchy 2014-02-25 14:58:06 +01:00
packet_stream.h packet stream: clean range allocator in destructor 2013-12-19 11:34:05 +01:00
path.h Add const version of 'Path::base' accessor 2013-01-12 21:32:07 +01:00
pixel_rgb565.h Generalization of nitpicker's graphics backend 2014-01-27 18:54:06 +01:00
pixel_rgba.h Generalization of nitpicker's graphics backend 2014-01-27 18:54:06 +01:00
reporter.h Infrastructure for posting status reports 2014-01-27 18:54:08 +01:00
ring_buffer.h Ring_buffer: make synchronization optional 2013-10-22 08:00:16 +02:00
server.h os: Skeleton for server implementations 2013-09-23 14:25:58 +02:00
session_policy.h Fix some typos 2013-11-26 14:32:06 +01:00
signal_rpc_dispatcher.h block: use new server framework in block drivers 2014-01-27 18:53:52 +01:00
slave.h os: Add resource balancing-support to 'Slave' 2013-10-15 16:13:45 +02:00
static_root.h Attach affinity information to session requests 2013-08-13 17:08:25 +02:00
surface.h Generalization of nitpicker's graphics backend 2014-01-27 18:54:06 +01:00
synced_interface.h Utility for synchronizing interface calls 2013-05-17 12:04:45 +02:00
texture.h Generalization of nitpicker's graphics backend 2014-01-27 18:54:06 +01:00
timed_semaphore.h Reduce IPC with timer service in timed semaphore 2013-08-30 13:38:21 +02:00