1 |
* libl4 |
* libl4 |
2 |
The TODO list for libl4 is in the file libl4/TODO. |
** The main TODO list for libl4 is in the file libl4/TODO. |
3 |
|
** We need cancellable forms of ipc() and lipc()! |
4 |
|
|
5 |
|
|
6 |
* configure.ac |
* configure.ac |
7 |
** Allow user to specify location of libc.a. |
** Allow user to specify location of libc.a. |
48 |
** Can be merged back into the Hurd if the callers are changed. |
** Can be merged back into the Hurd if the callers are changed. |
49 |
|
|
50 |
|
|
51 |
|
* libhurd-cap-server |
52 |
|
** Implement propagation support, so that worker threads like for |
53 |
|
select or notifications can propagate rpcs to another thread. This |
54 |
|
must update the pending_rpc table (the worker thread can then |
55 |
|
return with ENOREPLY) for cancellation support. Of course, the new |
56 |
|
receiver thread must be able to deal with cancellation. |
57 |
|
|
58 |
|
One problem is that the new processing thread can't know which rpc |
59 |
|
is cancelled. Yuck! |
60 |
|
|
61 |
|
So, maybe, to cancel, the manager could just propagates the |
62 |
|
cancellation request. For this to work, we need to be able to |
63 |
|
differentiate between normal pending workers and such sub-managers. |
64 |
|
|
65 |
* L4 (for lack of a better place) |
* L4 (for lack of a better place) |
66 |
** Check that L4 does not schedule the client when the server makes a |
** Check that L4 does not schedule the client when the server makes a |
67 |
non-blocking reply. |
non-blocking reply. |
68 |
** Check that L4 does schedule the server when the client makes a |
** Check that L4 does schedule the server when the client makes a |
69 |
blocking call. |
blocking call. |
70 |
|
** What happens with map and grant items if IPC is aborted due to |
71 |
|
xfer timeout? |
72 |
|
** Wishlist for ABI changes: |
73 |
|
*** [ia32] Use %fs or %gs:4 for the TCB pointer instead %gs:0, to free |
74 |
|
that one for the ia32 TLS ABI. |
75 |
|
*** Use Xfer timeout of the other side for pagefault timeouts, instead |
76 |
|
of the minimum (so pageouts on your side don't abort IPC operations |
77 |
|
if you need to restrict the xfer timeout to zero). |
78 |
|
Alternatively: Have another set of xfer timeouts for that use. |
79 |
|
** Bugs: |
80 |
|
*** See patches in README |
81 |
|
|
82 |
Copyright 2003, 2004 Free Software Foundation, Inc. |
Copyright 2003, 2004 Free Software Foundation, Inc. |
83 |
Written by Marcus Brinkmann <marcus@gnu.org> |
Written by Marcus Brinkmann <marcus@gnu.org> |