!["e;folder"e;]("e;/icons/back.gif"e;) |
Parent directory |
- |
2024-07-26 17:41:16 |
|
|
![]("e;/icons/c.gif"e;) |
buffer_names.h |
754 bytes |
2020-01-24 21:20:52 |
2024-04-06 12:13:08 |
Shared memory names used for the ReadBuffer and WriteBuffer |
|
BufferInfo.h |
643 bytes |
2020-04-08 21:02:48 |
2024-04-06 12:13:08 |
Information needed to manage the buffer |
|
channel_names.h |
1192 bytes |
2020-04-08 21:02:48 |
2024-04-06 12:13:08 |
Shared memory names used for the ControllerChannel and WorkerChannel |
|
ControllerChannel.h |
8954 bytes |
2023-03-16 17:38:10 |
2024-04-06 12:13:08 |
Primary communication channel for the Controller process |
|
ReadBuffer.h |
2587 bytes |
2020-04-08 21:02:48 |
2024-04-06 12:13:08 |
Manages a shared memory buffer used for reading |
|
ROOTDeserializer.h |
1854 bytes |
2020-04-08 21:02:48 |
2024-04-06 12:13:08 |
Use ROOT dictionaries to deserialize object from a buffer |
|
ROOTSerializer.h |
1598 bytes |
2020-02-06 14:50:01 |
2024-04-06 12:13:08 |
Use ROOT dictionaries to serialize object to a buffer |
|
WorkerChannel.h |
3946 bytes |
2021-08-07 20:27:21 |
2024-04-06 12:13:08 |
Primary communication channel for the Worker process |
|
WorkerMonitorThread.h |
2189 bytes |
2020-02-06 15:31:53 |
2024-04-06 12:13:08 |
Manages a thread that monitors the worker process for unix signals |
|
WriteBuffer.h |
2753 bytes |
2023-01-31 19:47:01 |
2024-04-06 12:13:08 |
Manages a shared memory buffer used for writing |
