Changeset 173 for soft/giet_vm

Timestamp:

Jul 18, 2012, 4:59:19 PM (12 years ago)

Author:

karaoui

Message:

Adding BLOB type for vobj.
Don't forget to set as BLOB type the mapping_info vobj in the xml.

Location:

soft/giet_vm

Files:

• boot/reset.S (modified) (1 diff)
• giet_config.h (modified) (1 diff)
• map.xml (modified) (1 diff)
• memo/Makefile (modified) (1 diff)
• memo/include/exception.h (modified) (3 diffs)
• memo/include/libelfpp/elfpp/elfpp_section.hh (modified) (1 diff)
• memo/include/libelfpp/elfpp/elfpp_section.hxx (modified) (2 diffs)
• memo/include/memo.h (modified) (1 diff)
• memo/src/libelfpp/elfpp_section.cc (modified) (2 diffs)
• memo/src/memo.cpp (modified) (13 diffs)
• memo/src/pseg.cpp (modified) (1 diff)
• memo/test (added)
• memo/test/check.sh (added)
• xml/mapping_info.h (modified) (1 diff)
• xml/xml_driver.c (modified) (1 diff)
• xml/xml_parser.c (modified) (1 diff)

soft/giet_vm/boot/reset.S

@@ -178 +178 @@
 boot_lf_string:         .asciiz "\n"
 
-        .set    reorder
+.set    reorder
 
 

soft/giet_vm/giet_config.h

@@ -12 +12 @@
 /* Debug parameters */
 
-#define BOOT_DEBUG_VIEW         0           /* display the mapping_info on system TTY */
-#define BOOT_DEBUG_PT           0           /* display the page tables after mapping */
-#define INIT_DEBUG_CTX          0           /* display the task contexts after mapping */
-#define GIET_DEBUG_SWITCH       0           /* Trace context switchs */
+#define BOOT_DEBUG_VIEW         1           /* display the mapping_info on system TTY */
+#define BOOT_DEBUG_PT           1           /* display the page tables after mapping */
+#define INIT_DEBUG_CTX          1           /* display the task contexts after mapping */
+#define GIET_DEBUG_SWITCH       1           /* Trace context switchs */
 
 

soft/giet_vm/map.xml

@@ -81 +81 @@
                         ident     = "1" >
                                         <vobj   name    = "seg_mapping"
-                                                        type    = "ELF"
+                                                        type    = "BLOB"
                                                         length  = "0x00004000" 
                                                         binpath = "map.bin" />

soft/giet_vm/memo/Makefile

@@ -11 +11 @@
         g++ -Wall -g  $(SRCS) $(INCLUDES) -o memo.x
 
+debug: $(SRCS) $(HDRS)
+        g++ -Wall -DMOVER_DEBUG -g  $(SRCS) $(INCLUDES) -o debug.x
+
+check:
+        test/check.sh
+
 clean:
-        rm memo.x
+        rm *.x

soft/giet_vm/memo/include/exception.h

@@ -1 +1 @@
 /* -*- c++ -*-
  *
- * SOCLIB_LGPL_HEADER_BEGIN
- * 
- * This file is part of SoCLib, GNU LGPLv2.1.
- * 
- * SoCLib is free software; you can redistribute it and/or modify it
- * under the terms of the GNU Lesser General Public License as published
- * by the Free Software Foundation; version 2.1 of the License.
- * 
- * SoCLib is distributed in the hope that it will be useful, but
- * WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
- * Lesser General Public License for more details.
- * 
- * You should have received a copy of the GNU Lesser General Public
- * License along with SoCLib; if not, write to the Free Software
- * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
- * 02110-1301 USA
- * 
- * SOCLIB_LGPL_HEADER_END
+ * Copyright (c) UPMC, Lip6, Asim
+ *      copy of the soclib exception file, original writer:
+ *          Nicolas Pouillon <nipo@ssji.net>, 2007
+ *      modified by:
+ *         Mohamed Lamine Karaoui <Mohamed.Karaoui@lip6.fr>, 2012
  *
- * Copyright (c) UPMC, Lip6, Asim
- *         Nicolas Pouillon <nipo@ssji.net>, 2007
- *
- * Maintainers: nipo
  */
 
-#ifndef SOCLIB_EXCEPTION_H_
-#define SOCLIB_EXCEPTION_H_
+#ifndef _EXCEPTION_H_
+#define _EXCEPTION_H_
 
 #include <exception>
@@ -34 +16 @@
 #include <iostream>
 
-namespace soclib { namespace exception {
+namespace exception {
 
 class Exception
@@ -96 +78 @@
 };
 
-}}
+}
 
 #endif /* SOCLIB_EXCEPTION_H_ */

soft/giet_vm/memo/include/libelfpp/elfpp/elfpp_section.hh

@@ -110 +110 @@
 
     /** @this sets pointer to section content buffer */
-    inline void set_content(void* a);
+    void set_content(void* a);
     /** @this gets pointer to section content buffer */
     inline uint8_t *get_content() const;

soft/giet_vm/memo/include/libelfpp/elfpp/elfpp_section.hxx

@@ -23 +23 @@
 
 #include <stdexcept>
+
 
 namespace elfpp
@@ -130 +131 @@
   }
   
-  void section::set_content(void* a)
-  {
-    content_ = (uint8_t*) a;
-  }
-
   uint8_t * section::get_content() const
   {

soft/giet_vm/memo/include/memo.h

@@ -71 +71 @@
     elfpp::object* m_generator;//TODO:delete
 
-    void* load_bin(std::string name);
+    size_t load_bin(std::string filename, void* buffer);    
+    size_t bin_size(std::string filename);
+
     elfpp::section* get_sect_by_addr(elfpp::object *loader, unsigned int addr);
     elfpp::section* get_sect_by_name(elfpp::object *loader, std::string name);

soft/giet_vm/memo/src/libelfpp/elfpp_section.cc

@@ -23 +23 @@
 #include <stdlib.h>
 #include <cstring>
+#include <stdlib.h>
+
 
 #include <dpp/foreach>
@@ -81 +83 @@
 
     size_ = size;
+  }
+
+  void section::set_content(void* a)
+  {
+    if(content_)
+        free(content_);
+    content_ = (uint8_t*) a;
   }
 

soft/giet_vm/memo/src/memo.cpp

@@ -51 +51 @@
     PSeg::setPageSize(pageSize);
 
-    load_bin(m_path);
+    /* loading map_info blob */
+    m_data = std::malloc(bin_size(m_path));
+    if ( !m_data )
+        throw exception::RunTimeError("malloc failed... No memory space");
+
+    m_size = load_bin(m_path, m_data);
+
+    /* checking signature */
+    mapping_header_t*   header = (mapping_header_t*)m_data; 
+    //assert((IN_MAPPING_SIGNATURE == header->signature) and "wrong signature");
+    if((IN_MAPPING_SIGNATURE != header->signature))
+    {
+        std::cout  << "wrong signature " << std::hex <<header->signature << ", should be:"<< IN_MAPPING_SIGNATURE << std::endl;
+        exit(1);
+    }
+    
+    
 
 #ifdef MOVER_DEBUG
@@ -107 +123 @@
 }
 
-//TODO:delete
-elfpp::section* MeMo::get_sect_by_name(elfpp::object *loader, std::string name)
-{
-#ifdef MOVER_DEBUG
-    std::cout << "get_sect_by_name " << name << std::endl;
-#endif
-    FOREACH( sect, loader->get_section_table() )
-    {
-        assert(&*sect != NULL);
-        elfpp::sh_flags_e eflags = sect->get_flags();
-        if ( !(eflags & elfpp::SHF_ALLOC) )
-            continue;
-
-#ifdef MOVER_DEBUG
-        std::cout << "Trying " << sect->get_name() << std::endl;
-#endif
-        if(!(sect->get_name()).compare(name)) 
-        {
-            return (&*sect);
-        }
-    }
-    return NULL;
-}
 
 void MeMo::buildSoft(const std::string &filename)
 {
     if(!m_ginit)
-        throw soclib::exception::RunTimeError(std::string("Can't get generator! ") );
+        throw exception::RunTimeError(std::string("Can't get generator! ") );
 
     m_generator->write(filename);
@@ -140 +133 @@
 }
 
+/* Load the content of filename in buffer, and send the size */
+////////////////////////////////////////////////////////
+size_t MeMo::load_bin(std::string filename, void* buffer)
+{
+
+#ifdef MOVER_DEBUG
+    std::cout  << "Trying to load the binary blob from file '" << filename << "'" << std::endl;
+#endif
+
+    std::ifstream input(filename.c_str(), std::ios_base::binary|std::ios_base::in);
+
+    if ( ! input.good() )
+        throw exception::RunTimeError(std::string("Can't open the file: ") + filename);
+
+    input.seekg( 0, std::ifstream::end );
+    size_t size = input.tellg();
+    input.seekg( 0, std::ifstream::beg );
+
+    if ( !buffer )
+        throw exception::RunTimeError("Empty buffer!");
+
+    input.read( (char*)buffer, size );
+
+    input.close();
+
+    return size;
+}
+
+
+/* get the size of the content of the filename */
 //////////////////////////////////////////
-void* MeMo::load_bin(std::string filename)
-{
-    
-#ifdef MOVER_DEBUG
-    std::cout  << "Trying to load the binary blob from file '" << m_path << "'" << std::endl;
-#endif
-
-    std::ifstream input(m_path.c_str(), std::ios_base::binary|std::ios_base::in);
+size_t MeMo::bin_size(std::string filename)
+{
+
+#ifdef MOVER_DEBUG
+    std::cout  << "Trying to get the size of the binary blob '" << filename << "'" << std::endl;
+#endif
+
+    std::ifstream input(filename.c_str(), std::ios_base::binary|std::ios_base::in);
 
     if ( ! input.good() )
-        throw soclib::exception::RunTimeError(std::string("Can't open the file: ") + m_path);
+        throw exception::RunTimeError(std::string("Can't open the file: ") + filename);
 
     input.seekg( 0, std::ifstream::end );
-    m_size = input.tellg();
+    size_t size = input.tellg();
     input.seekg( 0, std::ifstream::beg );
 
-    //m_data = new void*[m_size];
-    m_data = std::malloc(m_size);
-    if ( !m_data )
-        throw soclib::exception::RunTimeError("malloc failed... No memory space");
-
-    input.read( (char*)m_data, m_size );
-    
-    return m_data;
-}
+    input.close();
+
+    return size;
+}
+
 
 /////////////
@@ -171 +190 @@
 {
     //std::cout << "Deleted MeMo " << *this << std::endl;
-    std::free(m_data);
+    //std::free(m_data);//should be done by the elfpp driver since we passed the pointer
     std::map<std::string, elfpp::object*>::iterator l;
     for(l = m_loaders.begin(); l != m_loaders.end(); l++)
@@ -322 +341 @@
 
 //////////////////////////////////////////
-void MeMo::vseg_map( mapping_vseg_t* vseg) 
-{
-    mapping_vobj_t*     vobj   = get_vobj_base( (mapping_header_t*) m_data ); 
+void MeMo::vseg_map( mapping_vseg_t* vseg)
+{
+    mapping_vobj_t*     vobj   = get_vobj_base( (mapping_header_t*) m_data );
     PSeg *ps = &(m_psegh.get(vseg->psegid));// get physical segment pointer(PSegHandler::get)
     elfpp::section* sect = NULL;
@@ -343 +362 @@
     mapping_vobj_t* cur_vobj;
     size_t simple_size = 0; //for debug
-    
+
 #ifdef MOVER_DEBUG
     std::cout << "--------------------vseg_map "<< vseg->name <<"---------------------" << std::endl;
 #endif
-    
+
     for ( size_t vobj_id = vseg->vobj_offset ; vobj_id < (vseg->vobj_offset + vseg->vobjs) ; vobj_id++ )
     {
@@ -353 +372 @@
 
 #ifdef MOVER_DEBUG
-        std::cout << "current vobj("<< vobj_id <<"): " << cur_vobj->name << " (" <<cur_vobj->vaddr << ")" 
+        std::cout << std::hex << "current vobj("<< vobj_id <<"): " << cur_vobj->name << " (" <<cur_vobj->vaddr << ")"
                         << " size: "<< cur_vobj->length << " type: " <<  cur_vobj->type << std::endl;
 #endif
-
-        if(cur_vobj->type == VOBJ_TYPE_ELF)
-        {
-            if(!first) 
-                throw soclib::exception::RunTimeError(std::string("elf vobj type, must be placed first in a vseg"));
+        if(cur_vobj->type == VOBJ_TYPE_BLOB)
+        {
+            size_t blob_size;
+            std::string filePath(m_pathHandler.getFullPath(std::string(cur_vobj->binpath)));
+
+#ifdef MOVER_DEBUG
+            std::cout << std::hex << "Handling: " << filePath << " ..." << std::endl;
+#endif
+
+            if(!filePath.compare(m_path))    //local blob: map_info
+            {
+#ifdef MOVER_DEBUG
+                std::cout << "Found the vseg of the mapping info" << std::endl;
+#endif
+                blob_size = this->m_size;
+                assert((blob_size >0) and "MAPPING INFO file is empty !?");
+            }
+            else
+            {
+#ifdef MOVER_DEBUG
+                std::cout << "Found an BLOB vseg" << std::endl;
+#endif
+                blob_size = bin_size(filePath);
+            }
+
+
+            /**creating a new section */
+            sect = new elfpp::section(*m_generator, elfpp::SHT_PROGBITS);
+
+            sect->set_name(std::string(cur_vobj->name));
+            sect->set_flags(elfpp::SHF_ALLOC | elfpp::SHF_WRITE);
+            sect->set_size(blob_size);//do the malloc for the get_content fonction
+
+            assert(sect->get_content());//check allocation
+
+            if(!filePath.compare(m_path))    //local blob: map_info
+                //memcpy(sect->get_content(), m_data, sect->get_size());
+                /* this way the modification of the elf size are propageted to the giet */
+                sect->set_content(this->m_data);
+            else
+                load_bin(filePath, sect->get_content());
+
+
+            if(blob_size > cur_vobj->length)
+            {
+                std::cout << std::hex << "!!! Warning, specified blob type vobj ("<<
+                cur_vobj->name  <<") size is "<< cur_vobj->length << ", the actual size is "
+                << blob_size  << " !!!" <<std::endl;
+                assert(0 and "blob vobj length smaller than the actual content" );//???
+            }
+
+            cur_vobj->length = blob_size;//set the true size of this BLOB vobj
+
+            vSO->m_file = filePath;
+            vSO->m_loadable = true;
+        }
+        else if(cur_vobj->type == VOBJ_TYPE_ELF)
+        {
+            if(!first)
+                throw exception::RunTimeError(std::string("elf vobj type, must be placed first in a vseg"));
 
             size_t elf_size;
@@ -366 +440 @@
 #ifdef MOVER_DEBUG
             std::cout << "Handling: " << filePath << " ..." << std::endl;
-#endif
-            if(!filePath.compare(m_path))    //local blob: map_info
+            std::cout << "Found an ELF vseg" << std::endl;
+#endif
+            if(m_loaders.count(filePath) == 0 )
+                m_loaders[filePath] = new elfpp::object(filePath);
+            elfpp::object* loader = m_loaders[filePath];//TODO:free!?
+
+            sect =  get_sect_by_addr(loader, cur_vaddr);
+            assert(sect and "No section found");
+
+            sect->set_name(std::string(cur_vobj->name));
+
+
+            elf_size = sect->get_size();
+            assert((elf_size > 0) and "ELF section empty ?");
+
+            if(!m_ginit)
             {
-#ifdef MOVER_DEBUG
-                std::cout << "Found the vseg of the mapping info" << std::endl;
-#endif
-                /**creating a new section */
-                sect = new elfpp::section(*m_generator, elfpp::SHT_PROGBITS);
-
-                sect->set_name(std::string(cur_vobj->name));
-                sect->set_flags(elfpp::SHF_ALLOC | elfpp::SHF_WRITE);
-                sect->set_size(this->m_size);
-                sect->set_content(this->m_data);                
-
-                elf_size = this->m_size;       
-                assert((elf_size >0) and "MAPPING INFO file is empty !?");
+                /** Initailising the header of the generator from the first binary,
+                ** we suppose that the header is the same for all the binarys **/
+                m_generator->copy_info(*loader);
+                m_ginit=true;
             }
-            else
-            { 
-#ifdef MOVER_DEBUG
-                std::cout << "Found an ELF vseg" << std::endl;
-#endif
-                if(m_loaders.count(filePath) == 0 )
-                    m_loaders[filePath] = new elfpp::object(filePath);
-                elfpp::object* loader = m_loaders[filePath];//TODO:free!?
-
-                //TODO: delete
-                //sect =  get_sect_by_name(loader, std::string(cur_vobj->name));
-                //assert(( sect->get_vaddr() == cur_vaddr) and "Vaddr doesn't match!");
-
-                sect =  get_sect_by_addr(loader, cur_vaddr);
-                assert(sect and "No section found");
-
-                sect->set_name(std::string(cur_vobj->name));
-
-
-                elf_size = sect->get_size();
-                assert((elf_size >0) and "ELF section empty ?");
-
-                if(!m_ginit)
-                {
-                    /** Initailising the header of the generator from the first binary,
-                    * we suppose that the header is the same for all the binarys
-                    * */
-                    m_generator->copy_info(*loader);
-                    m_ginit=true;
-                }
-            }
 
             if(elf_size > cur_vobj->length)
+            {
                 std::cout << "Warning, specified elf type vobj ("<<
                 cur_vobj->name  <<") size is "<< cur_vobj->length << ", the actual size is "
                 << elf_size  << std::endl;
+                //assert((elf_size < cur_vobj->length) and "elf vobj length smaller than the actual content" );//???
+                assert((0) and "elf vobj length smaller than the actual content" );//???
+            }
 
             cur_vobj->length = elf_size;//set the true size of this ELF vobj
 
             vSO->m_file = filePath;
-            vSO->m_loadable = true;        
-        }
-        first = false;
+            vSO->m_loadable = true;
+        }
 
         //aligning the vobj->paddr if necessary
+        //
         if(cur_vobj->align)
         {
@@ -437 +489 @@
         cur_paddr += cur_vobj->length;
         simple_size += cur_vobj->length;
+        first = false;
     }
 
@@ -449 +502 @@
         std::cout << "vseg base "<< std::hex << ps->nextLma()
         <<(ps->nextLma()+simple_size)  <<" size " << std::dec << simple_size <<
-        std::endl; 
+        std::endl;
 
         std::cout << "vseg aligned to: base: " << std::hex << ps->nextLma()
@@ -456 +509 @@
     }
 #endif
-     
-    vSO->m_ident = vseg->ident;      
+
+    vSO->m_ident = vseg->ident;
 
     //set the lma
@@ -464 +517 @@
     else
         ps->add( *vSO );
-    
+
     if(!sect)
         return;
@@ -476 +529 @@
 
 } // end vseg_map()
-
+ 
 
 ///////////////////////////////

soft/giet_vm/memo/src/pseg.cpp

@@ -208 +208 @@
                 err << " Error" << error << " ,ovelapping Buffers:" << std::endl 
                     << *it << std::endl << m_vsegs[j] << std::endl; 
-                throw soclib::exception::RunTimeError( err.str().c_str() );
+                throw exception::RunTimeError( err.str().c_str() );
             }
 

soft/giet_vm/xml/mapping_info.h

@@ -55 +55 @@
 #define OUT_MAPPING_SIGNATURE   0xBABEF00D
 
-enum 
+enum
 {
-    VOBJ_TYPE_ELF     = 0,     // loadable code object
-    VOBJ_TYPE_PTAB    = 1,     // page table 
-    VOBJ_TYPE_PERI    = 2,     // hardware component
-    VOBJ_TYPE_MWMR    = 3,     // MWMR channel
-    VOBJ_TYPE_LOCK    = 4,     // Lock
-    VOBJ_TYPE_BUFFER  = 5,     // Any "no intialiasation needed" objects (stacks...)
-    VOBJ_TYPE_BARRIER = 6,     // Barrier
+    VOBJ_TYPE_ELF     = 0,     // loadable code/data object of elf files
+    VOBJ_TYPE_BLOB    = 1,     // loadable blob object
+    VOBJ_TYPE_PTAB    = 2,     // page table 
+    VOBJ_TYPE_PERI    = 3,     // hardware component
+    VOBJ_TYPE_MWMR    = 4,     // MWMR channel
+    VOBJ_TYPE_LOCK    = 5,     // Lock
+    VOBJ_TYPE_BUFFER  = 6,     // Any "no intialiasation needed" objects (stacks...)
+    VOBJ_TYPE_BARRIER = 7,     // Barrier
 };
 

soft/giet_vm/xml/xml_driver.c

@@ -25 +25 @@
     { 
         "ELF",
+        "BLOB",
         "PTAB",   //page table 
         "PERI",   //hardware component

soft/giet_vm/xml/xml_parser.c

@@ -380 +380 @@
         }
     }
+    else if (ok && (strcmp(str, "BLOB")    == 0)) vobj[vobj_index]->type = VOBJ_TYPE_BLOB;
     else if (ok && (strcmp(str, "PTAB")    == 0)) vobj[vobj_index]->type = VOBJ_TYPE_PTAB;
     else if (ok && (strcmp(str, "PERI")    == 0)) vobj[vobj_index]->type = VOBJ_TYPE_PERI;