benn/lumiera_
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
lumiera_/src/vault
History
Ichthyostega 14effc2349 Activity-Lang: consider logic for dependency notification 
...turns out there is still a lot of leeway in the possible implementation,
and seemingly it is too early to decide which case to consider the default.
Thus I'll proceed with the drafted preliminary solution...

- on primary-chain, an inhibited Gate dispatches itself into future for re-check
- on Notification, activation happens if and only if this very notification opens the Gate
- provide a specifically wired requireDirectActivation() to allow enforcing a minimal start time
2023-08-31 20:18:35 +02:00
..
gear Activity-Lang: consider logic for dependency notification 2023-08-31 20:18:35 +02:00
mem Block-Flow: verify handling of Activity records within the Epoch 2023-07-14 01:51:00 +02:00
backend.c Global-Layer-Renaming: fix remaining textual usages and IDs in the code 2018-12-10 00:09:56 +01:00
backend.h Global-Layer-Renaming: transform header include guards 2018-11-15 23:52:02 +01:00
common.hpp Scheduler: devise the arrangement of basic components 2023-06-24 03:14:17 +02:00
DIR_INFO Global-Layer-Renaming: rearrange directories 2018-11-15 23:28:03 +01:00
enginefacade.cpp PlaybackVerticalSlice: design analysis for Frame Dispatcher and Scheduler 2023-04-14 04:43:39 +02:00
enginefacade.hpp PlaybackVerticalSlice: design analysis for Frame Dispatcher and Scheduler 2023-04-14 04:43:39 +02:00
file-handling.c Global-Layer-Renaming: adjust header includes 2018-11-15 23:42:43 +01:00
file.h Global-Layer-Renaming: transform header include guards 2018-11-15 23:52:02 +01:00
filedescriptor.c Global-Layer-Renaming: adjust header includes 2018-11-15 23:42:43 +01:00
filedescriptor.h Global-Layer-Renaming: transform header include guards 2018-11-15 23:52:02 +01:00
filedescriptorregistry.c Global-Layer-Renaming: adjust header includes 2018-11-15 23:42:43 +01:00
filedescriptorregistry.h Global-Layer-Renaming: fix remaining textual usages and IDs in the code 2018-12-10 00:09:56 +01:00
filehandle.c Global-Layer-Renaming: adjust header includes 2018-11-15 23:42:43 +01:00
filehandle.h Global-Layer-Renaming: transform header include guards 2018-11-15 23:52:02 +01:00
filehandlecache.c Global-Layer-Renaming: adjust header includes 2018-11-15 23:42:43 +01:00
filehandlecache.h Global-Layer-Renaming: transform header include guards 2018-11-15 23:52:02 +01:00
fileheader.c Global-Layer-Renaming: fix remaining textual usages and IDs in the code 2018-12-10 00:09:56 +01:00
fileheader.h Global-Layer-Renaming: transform header include guards 2018-11-15 23:52:02 +01:00
media-access-facade.cpp Global-Layer-Renaming: rename namespaces 2018-11-15 23:55:13 +01:00
media-access-facade.hpp Global-Layer-Renaming: adjust namespace qualification 2018-11-15 23:59:23 +01:00
mmap.c Global-Layer-Renaming: fix remaining textual usages and IDs in the code 2018-12-10 00:09:56 +01:00
mmap.h Global-Layer-Renaming: transform header include guards 2018-11-15 23:52:02 +01:00
mmapcache.c Global-Layer-Renaming: adjust header includes 2018-11-15 23:42:43 +01:00
mmapcache.h Global-Layer-Renaming: transform header include guards 2018-11-15 23:52:02 +01:00
mmapings.c Global-Layer-Renaming: adjust header includes 2018-11-15 23:42:43 +01:00
mmapings.h Global-Layer-Renaming: transform header include guards 2018-11-15 23:52:02 +01:00
netnodefacade.cpp Global-Layer-Renaming: rename namespaces 2018-11-15 23:55:13 +01:00
netnodefacade.hpp Global-Layer-Renaming: fix remaining textual usages and IDs in the code 2018-12-10 00:09:56 +01:00
real-clock.cpp Job-Planning: elaborate mock setup for render job 2023-04-21 05:29:10 +02:00
real-clock.hpp Job-Planning: elaborate mock setup for render job 2023-04-21 05:29:10 +02:00
resourcecollector.c Global-Layer-Renaming: adjust header includes 2018-11-15 23:42:43 +01:00
resourcecollector.h Global-Layer-Renaming: transform header include guards 2018-11-15 23:52:02 +01:00
scriptrunnerfacade.cpp Global-Layer-Renaming: rename namespaces 2018-11-15 23:55:13 +01:00
scriptrunnerfacade.hpp Global-Layer-Renaming: rename namespaces 2018-11-15 23:55:13 +01:00
thread-wrapper.hpp Global-Layer-Renaming: adjust namespace qualification 2018-11-15 23:59:23 +01:00
threadpool-init.cpp Global-Layer-Renaming: adjust header includes 2018-11-15 23:42:43 +01:00
threadpool-init.hpp Global-Layer-Renaming: transform header include guards 2018-11-15 23:52:02 +01:00
threadpool.c Global-Layer-Renaming: adjust header includes 2018-11-15 23:42:43 +01:00
threadpool.h Global-Layer-Renaming: transform header include guards 2018-11-15 23:52:02 +01:00
threads.c Global-Layer-Renaming: adjust header includes 2018-11-15 23:42:43 +01:00
threads.h Global-Layer-Renaming: transform header include guards 2018-11-15 23:52:02 +01:00