VM support for running Kernel binaries.

runtime/vm/dil_reader.h

+// Copyright (c) 2016, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+#ifndef VM_DIL_READER_H_
+#define VM_DIL_READER_H_
+
+#include <map>

[rmacnak, 2016/10/13 00:56:39]

We don't use stl in the VM.

[Vyacheslav Egorov (Google), 2016/10/13 14:37:58]

It's not completely true: assert.h includes sstream and string.

GC used to use multimap at some point (does not anymore though).

I can see some reasons for not using STL (e.g. our longjmp-s can lead to memory
leaks), some platforms might not have a good STL implementation, etc.

We can eradicate <map> & <vector> after landing. 

[Once you realize that our embedders (e.g. Flutter) are more likely to use STL
than not use it the decision to not use STL ourselves and instead hand roll
various crippled alternatives does not look very sound. We live in 2016 but
still use Napoleon's C++ from 1812]

+
+#include "vm/dil.h"
+#include "vm/dil_to_il.h"
+#include "vm/object.h"
+
+namespace dart {
+namespace dil {
+
+class DilReader;
+
+class BuildingTranslationHelper : public TranslationHelper {
+ public:
+  BuildingTranslationHelper(DilReader* reader, dart::Thread* thread,
+                            dart::Zone* zone, Isolate* isolate)
+      : TranslationHelper(thread, zone, isolate), reader_(reader) {}
+  virtual ~BuildingTranslationHelper() {}
+
+  virtual void SetFinalize(bool finalize);
+
+  virtual RawLibrary* LookupLibraryByDilLibrary(Library* library);
+  virtual RawClass* LookupClassByDilClass(Class* klass);
+
+ private:
+  DilReader* reader_;
+};
+
+template <typename DilType, typename VmType>
+class Mapping {
+ public:
+  bool Lookup(DilType* node, VmType** handle) {
+    typename MapType::iterator value = map_.find(node);
+    if (value != map_.end()) {
+      *handle = value->second;
+      return true;
+    }
+    return false;
+  }
+
+  void Insert(DilType* node, VmType* object) { map_[node] = object; }
+
+ private:
+  typedef typename std::map<DilType*, VmType*> MapType;
+  MapType map_;
+};
+
+class DilReader {
+ public:
+  DilReader(const uint8_t* buffer, intptr_t len, bool bootstrapping = false)
+      : thread_(dart::Thread::Current()),
+        zone_(thread_->zone()),
+        isolate_(thread_->isolate()),
+        translation_helper_(this, thread_, zone_, isolate_),
+        type_translator_(&translation_helper_, &active_class_, !bootstrapping),
+        bootstrapping_(bootstrapping),
+        finalize_(!bootstrapping),
+        buffer_(buffer),
+        buffer_length_(len) {}
+
+  // Returns either a library or a failure object.
+  dart::Object& ReadProgram();
+
+  static void SetupFunctionParameters(TranslationHelper translation_helper_,
+                                      DartTypeTranslator type_translator_,
+                                      const dart::Class& owner,
+                                      const dart::Function& function,
+                                      FunctionNode* dil_function,
+                                      bool is_method, bool is_closure);
+
+  void ReadLibrary(Library* dil_library);
+
+ private:
+  friend class BuildingTranslationHelper;
+
+  void ReadPreliminaryClass(dart::Class* klass, Class* dil_klass);
+  void ReadClass(const dart::Library& library, Class* dil_klass);
+  void ReadProcedure(const dart::Library& library, const dart::Class& owner,
+                     Procedure* procedure, Class* dil_klass = NULL);
+
+  void GenerateFieldAccessors(const dart::Class& klass,
+                              const dart::Field& field, Field* dil_field);
+
+  void SetupFieldAccessorFunction(const dart::Class& klass,
+                                  const dart::Function& function);
+
+  dart::Library& LookupLibrary(Library* library);
+  dart::Class& LookupClass(Class* klass);
+
+  dart::RawFunction::Kind GetFunctionType(Procedure* dil_procedure);
+
+  dart::Thread* thread_;
+  dart::Zone* zone_;
+  dart::Isolate* isolate_;
+  ActiveClass active_class_;
+  BuildingTranslationHelper translation_helper_;
+  DartTypeTranslator type_translator_;
+
+  bool bootstrapping_;
+
+  // Should created classes be finalized when they are created?
+  bool finalize_;
+
+  const uint8_t* buffer_;
+  intptr_t buffer_length_;
+
+  Mapping<Library, dart::Library> libraries_;
+  Mapping<Class, dart::Class> classes_;
+};
+
+}  // namespace dil
+}  // namespace dart
+
+#endif  // VM_DIL_READER_H_