Source/Systems

Bob.Build.NativeHost

systems/bob/src/Bob/Build/NativeHost.alpha

882 lines46 declarations32.2 KiBSHA-256 3f8d3aa22d4e

def · lines 58–244

bobNativeExecutionConfiguration

Full file
Values are taken from the semantics that also construct the executable. These describe its available training policy, not completed updates, restored state, input contents or facts about the device on which it eventually runs.
58def bobNativeExecutionConfiguration : (family AosValue) =
59  (constructor
60    AosValue
61    AosMap
62    (constructor
63      AosValue
64      AosMembersNext
65      b"model"
66      (constructor
67        AosValue
68        AosMap
69        (constructor
70          AosValue
71          AosMembersNext
72          b"input"
73          (constructor AosValue AosText (project BobModelSemantics bobModelInputIdentity bobModel))
74          (constructor
75            AosValue
76            AosMembersNext
77            b"vocabulary"
78            (constructor AosValue AosU64 bobVocabularySize)
79            (constructor
80              AosValue
81              AosMembersNext
82              b"context_length"
83              (constructor AosValue AosU64 bobContextLength)
84              (constructor
85                AosValue
86                AosMembersNext
87                b"parameter_count"
88                (constructor AosValue AosU64 bobParameterCount)
89                (constructor AosValue AosMembersEnd))))))
90      (constructor
91        AosValue
92        AosMembersNext
93        b"learning"
94        (constructor
95          AosValue
96          AosMap
97          (constructor
98            AosValue
99            AosMembersNext
100            b"objective"
101            (constructor AosValue AosText bobObjectiveIdentity)
102            (constructor
103              AosValue
104              AosMembersNext
105              b"learner"
106              (constructor AosValue AosText bobLearnerIdentity)
107              (constructor
108                AosValue
109                AosMembersNext
110                b"learning_rate"
111                (constructor
112                  AosValue
113                  AosF32
114                  (dataBytesRenderHex (dataFloat32EncodeBE bobLearningRate)))
115                (constructor
116                  AosValue
117                  AosMembersNext
118                  b"first_moment_decay"
119                  (constructor AosValue AosF32 (dataBytesRenderHex (dataFloat32EncodeBE bobBeta1)))
120                  (constructor
121                    AosValue
122                    AosMembersNext
123                    b"second_moment_decay"
124                    (constructor
125                      AosValue
126                      AosF32
127                      (dataBytesRenderHex (dataFloat32EncodeBE bobBeta2)))
128                    (constructor
129                      AosValue
130                      AosMembersNext
131                      b"epsilon"
132                      (constructor
133                        AosValue
134                        AosF32
135                        (dataBytesRenderHex (dataFloat32EncodeBE bobEpsilon)))
136                      (constructor
137                        AosValue
138                        AosMembersNext
139                        b"weight_decay"
140                        (constructor
141                          AosValue
142                          AosF32
143                          (dataBytesRenderHex (dataFloat32EncodeBE bobWeightDecay)))
144                        (constructor AosValue AosMembersEnd)))))))))
145        (constructor
146          AosValue
147          AosMembersNext
148          b"run_policy"
149          (constructor
150            AosValue
151            AosMap
152            (constructor
153              AosValue
154              AosMembersNext
155              b"updates_per_training_invocation"
156              (constructor AosValue AosU64 bobUpdatesPerInvocation)
157              (constructor
158                AosValue
159                AosMembersNext
160                b"initialization"
161                (constructor
162                  AosValue
163                  AosText
164                  (project
165                    BobTrainingRunSemantics
166                    bobRunDeterministicInitializationIdentity
167                    bobTrainingRunSemantics))
168                (constructor
169                  AosValue
170                  AosMembersNext
171                  b"input_record_bytes"
172                  (constructor AosValue AosU64 bobInputRecordBytes)
173                  (constructor
174                    AosValue
175                    AosMembersNext
176                    b"native_only_required"
177                    (constructor
178                      AosValue
179                      AosBool
180                      (project
181                        BobTrainingRunSemantics
182                        bobRunNativeOnlyRequired
183                        bobTrainingRunSemantics))
184                    (constructor
185                      AosValue
186                      AosMembersNext
187                      b"allowed_host_fallbacks"
188                      (constructor
189                        AosValue
190                        AosU64
191                        (project
192                          BobTrainingRunSemantics
193                          bobRunAllowedHostFallbacks
194                          bobTrainingRunSemantics))
195                      (constructor AosValue AosMembersEnd)))))))
196          (constructor
197            AosValue
198            AosMembersNext
199            b"checkpoint"
200            (constructor
201              AosValue
202              AosMap
203              (constructor
204                AosValue
205                AosMembersNext
206                b"schema"
207                (constructor
208                  AosValue
209                  AosText
210                  (project
211                    BobCheckpointTransportSchema
212                    bobCheckpointSchemaIdentity
213                    bobCheckpointSchema))
214                (constructor
215                  AosValue
216                  AosMembersNext
217                  b"ordering"
218                  (constructor
219                    AosValue
220                    AosText
221                    (project
222                      BobCheckpointTransportSchema
223                      bobCheckpointOrderingIdentity
224                      bobCheckpointSchema))
225                  (constructor
226                    AosValue
227                    AosMembersNext
228                    b"payload_bytes"
229                    (constructor
230                      AosValue
231                      AosU64
232                      (checkpointEnvelopeContractPayload bobCheckpointContract))
233                    (constructor
234                      AosValue
235                      AosMembersNext
236                      b"planes"
237                      (constructor AosValue AosU64 bobCheckpointPlaneCount)
238                      (constructor
239                        AosValue
240                        AosMembersNext
241                        b"bytes_per_scalar"
242                        (constructor AosValue AosU64 bobCheckpointBytesPerScalar)
243                        (constructor AosValue AosMembersEnd)))))))
244            (constructor AosValue AosMembersEnd))))))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.