29:1746e650715f
|
2021-02-27 |
Paul Boddie |
changeset
files
shortlog
graph
|
Employ libipc synchronisation support for region manager operations. This seems
to prevent the region manager from granting the same base address to different
dataspaces occasionally (which is apparently not supposed to happen even in a
multithreaded program). |
|
|
dstest_test_client.cc dstest_test_server.cc
|
|
28:e1a1e2673be3
|
2021-02-27 |
Paul Boddie |
changeset
files
shortlog
graph
|
Switched to non-hierarchical thread usage for relative simplicity and to rule
out certain kinds of potential concurrency issues. |
|
|
dstest_test_client.cc
|
|
27:109fe3d6d1e8
|
2021-02-23 |
Paul Boddie |
changeset
files
shortlog
graph
|
Reordered capability freeing and dataspace detachment to avoid apparent issues
with regions appearing at previously used addresses. Another required measure
seems to involve the use of l4re_rm_detach_unmap in libipc when detaching
dataspaces. |
|
|
dstest_test_client.cc
|
|
26:99cd143d2e97
|
2021-02-23 |
Paul Boddie |
changeset
files
shortlog
graph
|
Test another flexpage size. |
|
|
dstest_test_server.cc
|
|
25:454a882ae3ae
|
2021-02-23 |
Paul Boddie |
changeset
files
shortlog
graph
|
Added a comment about an alternative failure result. |
|
|
ipc.cc
|
|
24:6fd906feb37e
|
2021-02-23 |
Paul Boddie |
changeset
files
shortlog
graph
|
Make close a virtual method for potential convenience. |
|
|
pager.h
|
|
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
|
|