L4Re/departure

Changelog

(0) -10 +10 +100 +300 tip
23:fc7200c8a0e9
2021-02-21 Paul Boddie changeset files shortlog graph Constrain the receive flexpage size to appropriate sizes. If the receive flexpage is constrained by the maximum offset to an intermediate size (not a power of two page size multiple such as 1, 2, 4, 8...) then too large a flexpage will be sent and the "hot spot" incorrectly divided, resulting in stray accesses to neighbouring pages.
flexpage.cc
22:d106f7c465f9
2021-02-18 Paul Boddie changeset files shortlog graph Removed superfluous debugging code.
flexpage.cc flexpage.h region.cc region.h
21:beb4817970ed
2021-02-15 Paul Boddie changeset files shortlog graph Removed dataspace concurrency testing operations: it is now assumed that measures around capability allocation in libipc, enabled using the ipc_cap_alloc_init function, will prevent repeated association of the same address with multiple dataspaces. Introduced an inner loop to test repeated traversal of open file regions.
dstest_test_client.cc
20:8b3eb741f05a
2021-02-14 Paul Boddie changeset files shortlog graph Discard server resources if the server could not be started.
resource_server.cc
19:4efe44b1d4e6
2021-02-14 Paul Boddie changeset files shortlog graph Added libstdc++ to the requirements.
Control
18:71ea18032df4
2021-02-12 Paul Boddie changeset files shortlog graph Introduced separate test programs for host and test file access.
Makefile conf/dstest.cfg conf/dstest.list conf/dstest_host.cfg conf/dstest_host.list conf/dstest_test.cfg conf/dstest_test.list dstest_client.cc dstest_host_client.cc dstest_host_server.cc ...
17:2e0c4ea098ad
2021-02-12 Paul Boddie changeset files shortlog graph Removed superfluous include statement.
accessor.h
16:78f2cb0ab299
2021-02-12 Paul Boddie changeset files shortlog graph Moved method implementation from the header file.
file_pager.cc file_pager.h
15:a885003812e8
2021-02-12 Paul Boddie changeset files shortlog graph Removed superfluous include statement.
resource_server.cc
14:2392a95024c1
2021-02-03 Paul Boddie changeset files shortlog graph Removed the largely superfluous memory map functionality.
Makefile memory.cc memory.h memory_map.cc memory_map.h
(0) -10 +10 +100 +300 tip