ehmry/genode
ehmry/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
26524edbf4
genode/repos/os/include
History
Norman Feske 26524edbf4 alarm: reposition reprogrammed alarms in queue 
The alarm library failed to handle the case properly where an already
scheduled alarm gets rescheduled before it triggered. Even though the
attempt to reschedule the alarm (twice insertion into alarm queue) was
detected, this condition resulted in the mere modification of the
alarm's parameters while keeping the alarm's queue position unchanged.
This, in turn, may violate the invariant that all enqueued alarm objects
are strictly ordered by their deadlines. The patch handles the case by
dequeuing the alarm object before reinserting it into the queue at the
right position.

Fixes #1646
2015-08-21 11:00:57 +02:00
..
arm_v6/trace Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
arm_v7/trace Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
audio_in_session os: add Audio_in session for recording audio 2015-08-21 10:59:46 +02:00
audio_out_session os: decrease Audio::PERIOD to lower latency 2015-08-21 10:59:45 +02:00
blit Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
block Revised API documentation 2015-04-09 16:04:46 +02:00
block_session Revised API documentation 2015-04-09 16:04:46 +02:00
cli_monitor base: make PD session upgradeable 2015-05-26 09:40:02 +02:00
decorator decorator: consider partially transparent windows 2015-07-07 19:48:06 +02:00
drivers/timer base,os: Coding-style unification 2015-03-13 12:17:23 +01:00
file_system rump_fs/fuse_fs/lx_fs/ram_fs: symlink fixup 2015-07-21 09:40:19 +02:00
file_system_session unify file system utilities to os/include/file_system 2015-06-22 14:43:36 +02:00
framebuffer_session Revised API documentation 2015-04-09 16:04:46 +02:00
gpio base: extend irq session to support MSIs 2015-05-20 17:39:14 +02:00
gpio_session os: use async IRQ and server lib in drivers 2015-04-23 16:47:59 +02:00
gpu Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
init init: prios shall not exceed the lowest prio level 2015-07-21 09:29:03 +02:00
input os: Move Ring_buffer to Genode namespace 2015-04-17 16:13:21 +02:00
input_session base,os: Coding-style unification 2015-03-13 12:17:23 +01:00
ldso Revised API documentation 2015-04-09 16:04:46 +02:00
loader_session Revised API documentation 2015-04-09 16:04:46 +02:00
net os: rename 'bswap' to 'host_to_big_endian' 2015-05-20 17:52:58 +02:00
nic Replace Nic driver interface by customizable component 2015-07-01 14:46:16 +02:00
nic_session Revised API documentation 2015-04-09 16:04:46 +02:00
nitpicker_gfx Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
nitpicker_session Revised API documentation 2015-04-09 16:04:46 +02:00
os alarm: reposition reprogrammed alarms in queue 2015-08-21 11:00:57 +02:00
packet_stream_rx Revised API documentation 2015-04-09 16:04:46 +02:00
packet_stream_tx Revised API documentation 2015-04-09 16:04:46 +02:00
platform foc: Odroid-X2 basic support 2015-07-21 09:28:25 +02:00
platform_session base,os: Coding-style unification 2015-03-13 12:17:23 +01:00
ram_fs ram_fs: coding style, license headers 2015-08-21 10:58:58 +02:00
regulator base,os: Coding-style unification 2015-03-13 12:17:23 +01:00
regulator_session base,os: Coding-style unification 2015-03-13 12:17:23 +01:00
report_session Revised API documentation 2015-04-09 16:04:46 +02:00
rtc_session base,os: Coding-style unification 2015-03-13 12:17:23 +01:00
terminal os: Move Ring_buffer to Genode namespace 2015-04-17 16:13:21 +02:00
terminal_session Revised API documentation 2015-04-09 16:04:46 +02:00
timer_session Omit timer RPC calls for usleep(0) 2015-04-09 16:04:46 +02:00
trace Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
uart_session base,os: Coding-style unification 2015-03-13 12:17:23 +01:00
usb base,os: Coding-style unification 2015-03-13 12:17:23 +01:00
usb_session usb_drv improvements 2015-05-06 12:01:30 +02:00
util Let XML generator append a trailing newline 2015-06-22 14:43:35 +02:00
vfs VFS: local ram_fs instances 2015-08-21 10:58:40 +02:00
x86_32/trace Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
x86_64/trace Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
xev_track Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00