ichthyo/LUMIERA.clone
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Invocation: storage layout for Param-Weaving-Pattern

Browse source 
...intended to be used as a Turnout for a ''Param Agent Node....''
This leads to several problems, since the ''chain-data-block'' was defined to be non-copyable,
which as such is a good idea, since it will be accessed by a force-cast through the TurnoutSystem.

So the question is how to group and arrange the various steps into the general scheme of a Weaving-Pattern...
This commit is contained in:
Fischlurch 2025-01-01 03:23:23 +01:00
parent fe75bed227
commit 93bb64d6a2
5 changed files with 204 additions and 57 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/lib/hetero-data.hpp
View file

@ -255,6 +255,12 @@ namespace lib {
{
return {initArgs ...}; // Note: NewFrame is non-copyable
}
template<typename...INIT>
static NewFrame&
emplace (void* storage, INIT&& ...initArgs) ///< placement-new flavour of the builder notation
{
return * new(storage) NewFrame{initArgs ...};
}
template<class HET>
static auto&

2
src/lib/uninitialised-storage.hpp
View file

@ -75,7 +75,7 @@ namespace lib {
* @tparam T the nominal type assumed to sit in each »slot«
* @tparam cnt number of »slots« in the array
*/
template<typename T, size_t cnt>
template<typename T, size_t cnt =1>
class UninitialisedStorage
{
using _Arr = std::array<T,cnt>;

89
src/steam/engine/param-weaving-pattern.hpp
View file

@ -43,19 +43,13 @@
#include "steam/engine/turnout.hpp"
#include "steam/engine/turnout-system.hpp"
#include "steam/engine/feed-manifold.hpp" ////////////TODO wegdamit
#include "lib/meta/function.hpp"
#include "lib/uninitialised-storage.hpp"
#include "lib/meta/variadic-helper.hpp"
#include "lib/meta/tuple-helper.hpp"
/////////////////////////////////////////////////////////////////////////////////////////////////////////////TICKET #1367 : Rebuild the Node Invocation
//#include "vault/gear/job.h"
//#include "steam/engine/exit-node.hpp"
//#include "lib/time/timevalue.hpp"
//#include "lib/linked-elements.hpp"
#include "lib/meta/function.hpp"
#include "lib/several.hpp"
//#include "lib/util-foreach.hpp"
//#include "lib/iter-adapter.hpp"
//#include "lib/meta/function.hpp"
//#include "lib/itertools.hpp"
/////////////////////////////////////////////////////////////////////////////////////////////////////////////TICKET #1367 : Rebuild the Node Invocation
//#include "lib/time/timevalue.hpp"
//#include "lib/util.hpp" ////////OOO wegen manifoldSiz<FUN>()
//#include <stack>
@ -110,6 +104,7 @@ namespace engine {
*/
using ChainCons = typename lib::meta::RebindVariadic<ANK::template Chain, ParamTup>::Type;
/** invoke all parameter-functors and _drop off_ the result into a »chain-block« (non-copyable) */
typename ChainCons::NewFrame
buildParamDataBlock (TurnoutSystem& turnoutSys)
{
@ -120,6 +115,17 @@ namespace engine {
,functors_);
}
/** invoke all parameter-functors and package all results by placement-new into a »chain-block« */
void
emplaceParamDataBlock (void* storage, TurnoutSystem& turnoutSys)
{
std::apply ([&](auto&&... paramFun)
{ // invoke parameter-functors and build NewFrame from results
ChainCons::emplace (storage, paramFun (turnoutSys) ...);
}
,functors_);
}
template<size_t slot>
class Slot
@ -167,86 +173,57 @@ namespace engine {
/**
* Implementation for a _Weaving Pattern_ to conduct extended parameter evaluation.
*/
template<class INVO>
template<class SPEC>
struct ParamWeavingPattern
: INVO
: util::MoveOnly
{
using Feed = typename INVO::Feed;
using Functors = typename SPEC::Functors;
using DataBlock = typename SPEC::ChainCons::NewFrame;
static_assert (_verify_usable_as_InvocationAdapter<Feed>());
Functors paramFunctors;
Several<PortRef> leadPort;
Several<BuffDescr> outTypes;
struct Feed
: util::NonCopyable
{
lib::UninitialisedStorage<DataBlock> buffer;
};
uint resultSlot{0};
/** forwarding-ctor to provide the detailed input/output connections */
template<typename...ARGS>
ParamWeavingPattern (Several<PortRef>&& pr
,Several<BuffDescr>&& dr
,uint resultIdx
,ARGS&& ...args)
: INVO{forward<ARGS>(args)...}
, leadPort{move(pr)}
, outTypes{move(dr)}
, resultSlot{resultIdx}
ParamWeavingPattern (Functors funTup)
: paramFunctors{move (funTup)}
{ }
Feed
mount (TurnoutSystem& turnoutSys)
{
ENSURE (leadPort.size() <= INVO::FAN_I);
ENSURE (outTypes.size() <= INVO::FAN_O);
return INVO::buildFeed (turnoutSys);
return Feed{};
}
void
pull (Feed& feed, TurnoutSystem& turnoutSys)
{
if constexpr (Feed::hasInput())
for (uint i=0; i<leadPort.size(); ++i)
{
BuffHandle inputData = leadPort[i].get().weave (turnoutSys);
feed.inBuff.createAt(i, move(inputData));
}
UNIMPLEMENTED ("pull parameter functors");
}
void
shed (Feed& feed, OptionalBuff outBuff)
{
for (uint i=0; i<outTypes.size(); ++i)
{
BuffHandle resultData =
i == resultSlot and outBuff? *outBuff
: outTypes[i].lockBuffer();
feed.outBuff.createAt(i, move(resultData));
}
feed.connect();
UNIMPLEMENTED ("connect and postprocess");
}
void
weft (Feed& feed)
{
feed.invoke(); // process data
UNIMPLEMENTED ("forward to delegate");
}
BuffHandle
fix (Feed& feed)
{
if constexpr (Feed::hasInput())
for (uint i=0; i<leadPort.size(); ++i)
{
feed.inBuff[i].release();
}
for (uint i=0; i<outTypes.size(); ++i)
{
feed.outBuff[i].emit(); // state transition: data ready
if (i != resultSlot)
feed.outBuff[i].release();
}
ENSURE (resultSlot < INVO::FAN_O, "invalid result buffer configured.");
return feed.outBuff[resultSlot];
UNIMPLEMENTED ("clean-up and return result buff");
}
};

8
tests/core/steam/engine/node-feed-test.cpp
View file

@ -175,6 +175,14 @@ namespace test {
turnoutSys.detachChainBlock(paramBlock);
}
using Spec = decltype(spec);
using WaPa = ParamWeavingPattern<Spec>;
using Feed = WaPa::Feed;
Feed feed;
spec.emplaceParamDataBlock (& feed.buffer[0], turnoutSys);
SHOW_EXPR(feed.buffer[0].get<0>())
SHOW_EXPR(feed.buffer[0].get<1>())
TODO ("implement a simple Builder for ParamAgent-Node");
TODO ("then use both together to demonstrate a param data feed here");
}

156
wiki/thinkPad.ichthyo.mm
View file

@ -94370,6 +94370,162 @@ Date:&#160;&#160;&#160;Thu Apr 20 18:53:17 2023 +0200<br/>
<arrowlink COLOR="#5747d2" DESTINATION="ID_329885446" ENDARROW="Default" ENDINCLINATION="-844;-25;" ID="Arrow_ID_1824926310" STARTARROW="None" STARTINCLINATION="-633;42;"/>
</node>
</node>
<node BACKGROUND_COLOR="#eef0c5" COLOR="#990000" CREATED="1735607847586" ID="ID_326138637" MODIFIED="1735698010312" TEXT="Weaving-Pattern passend anlegen">
<icon BUILTIN="pencil"/>
<node CREATED="1735606520452" ID="ID_1370206629" MODIFIED="1735607879217" TEXT="Knackpunkt hier: Chain-Block ist non-copyable">
<node CREATED="1735606533963" ID="ID_232275034" MODIFIED="1735606547772" TEXT="das geht sehr wohl: FeedManifold ist ebenfalls non-copyable"/>
<node CREATED="1735607046676" ID="ID_1197786320" MODIFIED="1735607106657" TEXT="Konsequenz w&#xe4;re, anschlie&#xdf;end noch explizit ans Turnout-System &#xbb;andocken&#xab; zu m&#xfc;ssen"/>
<node CREATED="1735607701692" ID="ID_1665864698" MODIFIED="1735607715223" TEXT="oder &#x2014; &#x2014; RAII">
<node CREATED="1735607772387" ID="ID_1329533749" MODIFIED="1735607838831" TEXT="geht das &#xfc;berhaupt?"/>
<node CREATED="1735607884541" ID="ID_809521085" MODIFIED="1735607928616" TEXT="nur wenn man erbt">
<richcontent TYPE="NOTE"><html>
<head>
</head>
<body>
<p>
denn ich kann nicht ein non-copyable-Member fertig per Konstruktor bekommen....
</p>
</body>
</html>
</richcontent>
</node>
<node CREATED="1735607937133" ID="ID_328206928" MODIFIED="1735607951086" TEXT="oder wenn man den Funktor bekommt und selber aufruft"/>
</node>
</node>
<node BACKGROUND_COLOR="#f0d5c5" COLOR="#990033" CREATED="1735608975638" ID="ID_1109142296" MODIFIED="1735609812282" TEXT="zweite Frage: wann?">
<icon BUILTIN="help"/>
<node CREATED="1735608988000" ID="ID_895559050" MODIFIED="1735693559907" TEXT="echtes RAII &#x27f9; dann sofort">
<node CREATED="1735609004510" ID="ID_1911256331" MODIFIED="1735609026839" TEXT="w&#xfc;rde bedeuten: praktisch alles passiert im mount(TurnoutSystem&amp;)"/>
<node CREATED="1735609090986" ID="ID_951840714" MODIFIED="1735609113027" TEXT="f&#xfc;r die (optionale) Nachverarbeitung bleibt noch Design-Spielraum"/>
<node CREATED="1735609138368" ID="ID_1518007270" MODIFIED="1735609168204" TEXT="man w&#xfc;rde dann aber wohl auch schon in pull() an die Delegate-Node weitergeben"/>
<node CREATED="1735609243446" ID="ID_812134786" MODIFIED="1735609281948" TEXT="eine Inkonsistenz ergibt sich in shed()....">
<node CREATED="1735609283480" ID="ID_1850616450" MODIFIED="1735609297842" TEXT="denn den (optionalen) Ausgabe-Buffer g&#xe4;be es erst hier"/>
<node CREATED="1735609299238" ID="ID_665339625" MODIFIED="1735609315400" TEXT="der rekursive Call hatte keinen zur Verf&#xfc;gung"/>
<node CREATED="1735609349100" ID="ID_396734688" MODIFIED="1735609491766" TEXT="als m&#xfc;&#xdf;te man hier dann das BuffHandle &#x201e;umleiten&#x201c;">
<richcontent TYPE="NOTE"><html>
<head>
</head>
<body>
<p>
hei&#223;t, man m&#252;&#223;te entweder explizit umkopieren, oder es br&#228;uchte eine Konvention, wie man das (optional) gegebene BuffHandle dann eben doch frei gibt; letztlich wird ja ein BuffHandle zur&#252;ckgegeben, und das w&#228;re dann dasjenige, da&#223; vom rekursiven Call belegt wurde. K&#246;nnte sogar klappen, ist aber<i>&#160;als Trickserei</i>&#160;zu werten.
</p>
</body>
</html>
</richcontent>
</node>
</node>
<node CREATED="1735609494932" ID="ID_1864279920" MODIFIED="1735609503487" TEXT="der weft()-Aufruf w&#xe4;re komplett NOP">
<node CREATED="1735609505407" ID="ID_1526678544" MODIFIED="1735609651872" TEXT="warum auch nicht....">
<richcontent TYPE="NOTE"><html>
<head>
</head>
<body>
<p>
Die Aufteilung in diese f&#252;nf Schritte dient vor allem der Gliederung der Abl&#228;ufe; es ist aber nur bedingt ein &#187;Protokoll&#171;, in dem in bestimmten Schritten etwas Festgelegtes <i>passieren mu&#223;...</i>
</p>
</body>
</html>
</richcontent>
</node>
<node CREATED="1735609517769" ID="ID_302975776" MODIFIED="1735609561229" TEXT="trotzdem ein Hinweis, da&#xdf; mit dem Design etwas nicht stimmt">
<richcontent TYPE="NOTE"><html>
<head>
</head>
<body>
<p>
Wenn man Strukturen biegen, leer machen oder umdeuten mu&#223;...
</p>
</body>
</html>
</richcontent>
</node>
</node>
<node CREATED="1735609958198" ID="ID_962342769" MODIFIED="1735609995692" TEXT="oder man macht alles in irgend einem anderen passenden Aufruf">
<icon BUILTIN="smiley-angry"/>
</node>
</node>
<node CREATED="1735609684093" ID="ID_1602209150" MODIFIED="1735609699782" TEXT="oder: einen UninitialisedStorage-Block vorsehen">
<node CREATED="1735609703440" ID="ID_1428111001" MODIFIED="1735609715570" TEXT="die Gr&#xf6;&#xdf;e ist ja im Voraus bekannt"/>
<node CREATED="1735609732772" ID="ID_1616902380" MODIFIED="1735609783730" TEXT="Sch&#xf6;n ist das nicht....">
<font ITALIC="true" NAME="SansSerif" SIZE="12"/>
<icon BUILTIN="smily_bad"/>
</node>
<node CREATED="1735609785413" ID="ID_186365228" MODIFIED="1735609807785" TEXT="daf&#xfc;r aber w&#xfc;rden die anderen Aufrufe in etwa das machen was man erwartet">
<icon BUILTIN="idea"/>
</node>
<node BACKGROUND_COLOR="#ccb59b" COLOR="#6e2a38" CREATED="1735693114640" ID="ID_167218109" MODIFIED="1735693140760" TEXT="dann aber auch besser alles explizit machen">
<font ITALIC="true" NAME="SansSerif" SIZE="14"/>
<icon BUILTIN="yes"/>
</node>
</node>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1735693540805" ID="ID_647246098" MODIFIED="1735693549403" TEXT="Typ-Parametrisierung">
<icon BUILTIN="flag-yellow"/>
<node CREATED="1735693996066" ID="ID_40351970" MODIFIED="1735694009501" TEXT="auch hier eine Art Prototype...."/>
<node CREATED="1735694010801" ID="ID_914830627" MODIFIED="1735694086013" TEXT="das hei&#xdf;t: das Weaving-Pattern mu&#xdf; das Funktoren-Tupel enthalten"/>
<node CREATED="1735694092810" ID="ID_1337845365" MODIFIED="1735694220094" TEXT="&#x27f9; die ParamBuildSpec ist der nat&#xfc;rliche Typ-Parameter">
<node CREATED="1735694224570" ID="ID_93398992" MODIFIED="1735694245041" TEXT="enth&#xe4;lt eine nested Type-def f&#xfc;r das Funktoren-Tupel"/>
<node CREATED="1735694246354" ID="ID_1680447149" MODIFIED="1735694265234" TEXT="enth&#xe4;lt aber auch die Zustatz-Info &#xfc;ber die Chain-Struktur (ANK)"/>
</node>
<node CREATED="1735694325648" ID="ID_836420159" MODIFIED="1735694338272" TEXT="(w&#xe4;re dann move-only wie alle Funktoren hier)"/>
<node BACKGROUND_COLOR="#fdfdcf" COLOR="#ff0000" CREATED="1735697993386" ID="ID_797613352" MODIFIED="1735698002027" TEXT="+ weitere Parametrisierung">
<icon BUILTIN="flag-pink"/>
</node>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1735696073802" ID="ID_1789382943" MODIFIED="1735696136906" TEXT="ParamBlock erstellen">
<icon BUILTIN="flag-yellow"/>
<node BACKGROUND_COLOR="#f8f1cb" COLOR="#a50125" CREATED="1735696138642" ID="ID_410550585" MODIFIED="1735696170853" TEXT="erneut das Problem: der Chain-Block soll non-copyable sein">
<icon BUILTIN="messagebox_warning"/>
</node>
<node COLOR="#338800" CREATED="1735696214236" ID="ID_1168622804" MODIFIED="1735697968996" TEXT="brauche folglich eine placement-new-Variante des Builders">
<richcontent TYPE="NOTE"><html>
<head>
</head>
<body>
<p>
...da gibt es definitiv keinen anderen Ausweg, und eigentlich wird ja dadurch auch erst die Builder-Notation wirklich sinnvoll; da&#223; man ein non-copyable-Objekt aus einer Funktion &#8222;abwerfen&#8220; kann ist sowiso grenzwertig....
</p>
</body>
</html>
</richcontent>
<node BACKGROUND_COLOR="#c8cbaf" CREATED="1735697219515" ID="ID_1960332816" MODIFIED="1735697251917" TEXT="warum &#xe4;rgere ich mich jetz dar&#xfc;ber so?">
<icon BUILTIN="smiley-angry"/>
</node>
<node BACKGROUND_COLOR="#ccb59b" COLOR="#6e2a38" CREATED="1735697259608" ID="ID_1882455580" MODIFIED="1735697659702" TEXT="deshalb macht man doch Prototyping....">
<richcontent TYPE="NOTE"><html>
<head>
</head>
<body>
<p>
...damit man sieht, wie man's tats&#228;chlich braucht;
</p>
<p>
oder anders herum, das sind die hexagonalen Gefahren der testgetriebenen Entwicklung&#160;&#8212;&#160;ich bastel jetzt schon seit 3 Wochen in diversen Inkrementen an einer L&#246;sung herum, die in ihrer vollen Allgemeing&#252;ltigkeit rein auf Verdacht geschaffen wurde. Und jetzt bin ich in einem Exkurs angekommen, der<i>&#160;mal rein vorsorglich</i>&#160;einen extremen Grenzfall schon durchspielt, und erst hier kommt der ganze tolle Entwurf zum ersten Mal zum Einsatz.....
</p>
<p>
</p>
<p>
<i><font color="#82159f">trotzdem ziemlich durchgeknallt was ich hier mache </font></i>
</p>
<p>
<font color="#491fdd" size="2">(und ich mache es dennoch, weil ich wei&#223;, da&#223; f&#252;r einen Film-Editor des geplanten Kallibers alle diese abgefuckten Sonderf&#228;lle dann sp&#228;ter auch tats&#228;chlich gefordert und eingesetzt werden)</font>&#160;
</p>
</body>
</html>
</richcontent>
<font ITALIC="true" NAME="SansSerif" SIZE="14"/>
<icon BUILTIN="yes"/>
</node>
</node>
</node>
</node>
<node CREATED="1735354094901" ID="ID_357401280" LINK="#ID_1484484879" MODIFIED="1735416065935" TEXT="Grundstruktur / Schrittfolge">
<node CREATED="1735354099466" ID="ID_1086019960" MODIFIED="1735354156573" TEXT="mount : Feed-Frame erzeugen"/>
<node CREATED="1735354158273" ID="ID_1400465949" MODIFIED="1735354198247" TEXT="pull : Param-Funktor aufrufen und Tupel erstellen"/>