ehmry/genode
ehmry/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
ad824cea11
genode/repos/os/include
History
Martin Stein 9b1c26ab7f timeout lib: dynamic interpolation-factor shift 
In the timeout framework, we maintain a translation factor value to
translate between time and timestamps. To raise precision we scale-up
the factor when we calculate it and scale-down the result of its
appliance later again. This up and down scaling is achieved through
left and right shifting. Until now, the shift width was statically
choosen. However, some platforms need a big shift width and others a
smaller one. The one static shift width couldn't cover all platforms
which caused overflows or precision problems.

Now, the shift width is choosen optimally for the actual translation
factor each time it gets re-calculated. This way, we can take care that
the shift always renders the best precision level without the risk for
overflows.

Ref #2400
2017-06-29 11:59:54 +02:00
..
audio_in_session API documentation refinements 2017-05-31 13:16:21 +02:00
audio_out_session API documentation refinements 2017-05-31 13:16:21 +02:00
blit Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
block Replace Quota_exceeded by Insufficient_ram_quota 2017-05-31 13:16:05 +02:00
block_session API documentation refinements 2017-05-31 13:16:21 +02:00
cli_monitor Integrate core's RAM service into the PD service 2017-05-31 13:16:14 +02:00
decorator Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
file_system Streamline exception types 2017-05-31 13:16:07 +02:00
file_system_session API documentation refinements 2017-05-31 13:16:21 +02:00
framebuffer_session API documentation refinements 2017-05-31 13:16:21 +02:00
gpio Streamline exception types 2017-05-31 13:16:07 +02:00
gpio_session API documentation refinements 2017-05-31 13:16:21 +02:00
gpu Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
init Adaptation to init refactoring 2017-03-24 16:19:56 +01:00
input Streamline exception types 2017-05-31 13:16:07 +02:00
input_session API documentation refinements 2017-05-31 13:16:21 +02:00
ldso Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
loader_session API documentation refinements 2017-05-31 13:16:21 +02:00
mixer Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
net Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
nic Replace Quota_exceeded by Insufficient_ram_quota 2017-05-31 13:16:05 +02:00
nic_bridge Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
nic_session API documentation refinements 2017-05-31 13:16:21 +02:00
nitpicker_gfx Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
nitpicker_session API documentation refinements 2017-05-31 13:16:21 +02:00
os os: removal of deprecated os/config.h (fix #2431) 2017-05-31 13:16:22 +02:00
packet_stream_rx Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
packet_stream_tx Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
platform_device Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
platform_session Annotate session interfaces with CAP_QUOTA 2017-05-31 13:16:04 +02:00
ram_fs Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
regulator Streamline exception types 2017-05-31 13:16:07 +02:00
regulator_session API documentation refinements 2017-05-31 13:16:21 +02:00
report_rom Streamline exception types 2017-05-31 13:16:07 +02:00
report_session API documentation refinements 2017-05-31 13:16:21 +02:00
rtc_session Optional session label for Rtc connection constructor 2017-05-31 13:16:22 +02:00
spec riscv: ISA-1.9.1 and GCC-6.3.0 adaptions 2017-05-31 13:16:24 +02:00
terminal terminal: add Cell_array destructor 2017-05-31 13:16:12 +02:00
terminal_session API documentation refinements 2017-05-31 13:16:21 +02:00
timer os/timer: interpolate time via timestamps 2017-05-31 13:16:11 +02:00
timer_session timeout lib: dynamic interpolation-factor shift 2017-06-29 11:59:54 +02:00
trace Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
uart_session API documentation refinements 2017-05-31 13:16:21 +02:00
usb usb: use if-else in packet_handler 2017-06-19 12:35:57 +02:00
usb_session API documentation refinements 2017-05-31 13:16:21 +02:00
util Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
vfs VFS: move 'sync' from 'File_system' to 'Directory_service' 2017-06-12 14:32:07 +02:00