this->read_bytes(buffer.getBuffer(), sizeof(T), ptr, process_index);
}
- /** Read a given data structure from the addres space
+ /** Read a given data structure from the address space
*
* This version returns by value.
*/
-/* Copyright (c) 2016-2019. The SimGrid Team.
- * All rights reserved. */
+/* Copyright (c) 2016-2019. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
/** Create a new session by forking
*
* This sets up the environment for the model-checked process
- * (environoment variables, sockets, etc.).
+ * (environment variables, sockets, etc.).
*
* The code is expected to `exec` the model-checker program.
*/
-/* Copyright (c) 2014-2019. The SimGrid Team.
- * All rights reserved. */
+/* Copyright (c) 2014-2019. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
* (there is no offset) i.e.
* \f$\text{virtual address} = \{dwarf address}\f$
*
- * For a shared object, the addreses are offset from the begining
+ * For a shared object, the addresses are offset from the begining
* of the shared object (the base address of the mapped shared
* object must be used as offset
* i.e. \f$\text{virtual address} = \text{shared object base address}
if (this->executable())
return nullptr;
- // For an a shared-object (ET_DYN, including position-independant executables)
+ // For an a shared-object (ET_DYN, including position-independent executables)
// the base address is its lowest address:
void* result = this->start_exec;
if (this->start_rw != nullptr && result > (void*)this->start_rw)
-/* Copyright (c) 2007-2019. The SimGrid Team.
- * All rights reserved. */
+/* Copyright (c) 2007-2019. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
/** Whether this module is an executable
*
* More precisely we check if this is an ET_EXE ELF. These ELF files
- * use fixed addresses instead of base-addres relative addresses.
+ * use fixed addresses instead of base-address relative addresses.
* Position independant executables are in fact ET_DYN.
*/
bool executable() const { return this->flags & simgrid::mc::ObjectInformation::Executable; }
* All the location information in ELF and DWARF are expressed as an offsets
* from this base address:
*
- * - location of the functions and globale variables;
+ * - location of the functions and global variables;
*
* - the DWARF instruction `OP_addr` pushes this on the DWARF stack.
**/
*/
void remove_global_variable(const char* name);
- /** Remove a loval variables (in order to ignore it)
+ /** Remove a local variables (in order to ignore it)
*
- * @param name Name of the globale variable
- * @param scope Namespaceed name of the function (or null for all functions)
+ * @param name Name of the local variable
+ * @param scope scopes name name of the function (myproject::Foo::count) or null for all functions
*/
void remove_local_variable(const char* name, const char* scope);
};
*
* We want to keep this memory region aligned on the memory pages (so
* that we might be able to create non-linear memory mappings on those
- * pages in the future) and be able to expand it without coyping the
+ * pages in the future) and be able to expand it without copying the
* data (there will be a lot of pages here): we will be able to
* efficiently expand the memory mapping using `mremap()`, moving it
* to another virtual address if necessary.
* store.
*
* This will be the case if a page if soft clean: we know that is has not
- * changed since the previous cnapshot/restoration and we can avoid
+ * changed since the previous snapshot/restoration and we can avoid
* hashing the page, comparing byte-per-byte to candidates.
* */
void ref_page(size_t pageno);
static void new_content(void* buf, std::size_t size);
};
-// static member datat initialization
+// static member data initialization
std::size_t helper_tests::pagesize = 0;
std::unique_ptr<PageStore> helper_tests::store = nullptr;
void* helper_tests::data = nullptr;