thread
Brett 2024-08-03 13:16:53 -04:00
parent 29521703d3
commit be90039a5a
5 changed files with 165 additions and 77 deletions

View File

@ -1,5 +1,5 @@
cmake_minimum_required(VERSION 3.25) cmake_minimum_required(VERSION 3.25)
project(blt-gp VERSION 0.0.109) project(blt-gp VERSION 0.0.110)
include(CTest) include(CTest)

View File

@ -114,7 +114,7 @@ namespace blt::gp
return results.values.pop<T>(); return results.values.pop<T>();
} }
void print(gp_program& program, std::ostream& output, bool print_literals = true, bool pretty_indent = false, bool include_types = false); void print(gp_program& program, std::ostream& output, bool print_literals = true, bool pretty_indent = false, bool include_types = false) const;
private: private:
std::vector<op_container_t> operations; std::vector<op_container_t> operations;

@ -1 +1 @@
Subproject commit 394dff9cc4c31ea29867c5e2507edc831a34c19b Subproject commit fb17ff16c0e10193454921af0d27d1f5afd4ddd6

View File

@ -18,6 +18,7 @@
#include <blt/gp/transformers.h> #include <blt/gp/transformers.h>
#include <blt/gp/program.h> #include <blt/gp/program.h>
#include <blt/std/ranges.h> #include <blt/std/ranges.h>
#include <blt/std/utility.h>
#include <random> #include <random>
namespace blt::gp namespace blt::gp
@ -177,87 +178,36 @@ namespace blt::gp
{ {
auto c = p; auto c = p;
#if BLT_DEBUG_LEVEL >= 2 auto& ops_r = c.get_operations();
blt::size_t parent_bytes = 0; auto& vals_r = c.get_values();
blt::size_t parent_size = p.get_values().size().total_used_bytes;
for (const auto& op : p.get_operations())
{
if (op.is_value)
parent_bytes += stack_allocator::aligned_size(op.type_size);
}
if (parent_bytes != parent_size)
{
BLT_WARN("Parent bytes %ld do not match expected %ld", parent_size, parent_bytes);
BLT_ABORT("You should not ignore the mismatched parent bytes!");
}
#endif
auto& ops = c.get_operations(); auto begin_point = static_cast<blt::ptrdiff_t>(program.get_random().get_size_t(0ul, ops_r.size()));
auto& vals = c.get_values(); auto end_point = find_endpoint(program, ops_r, begin_point);
const auto& type_info = program.get_operator_info(ops_r[begin_point].id);
auto point = static_cast<blt::ptrdiff_t>(program.get_random().get_size_t(0ul, ops.size())); auto begin_itr = ops_r.begin() + begin_point;
const auto& type_info = program.get_operator_info(ops[point].id); auto end_itr = ops_r.begin() + end_point;
auto begin_p = ops.begin() + point;
auto end_p = ops.begin() + find_endpoint(program, ops, point);
stack_allocator after_stack;
#if BLT_DEBUG_LEVEL >= 2
blt::size_t after_stack_bytes = 0;
blt::size_t for_bytes = 0;
for (auto it = ops.end() - 1; it != end_p - 1; it--)
{
if (it->is_value)
stack_allocator::aligned_size(after_stack_bytes += it->type_size);
}
#endif
transfer_backward(vals, after_stack, ops.end() - 1, end_p - 1);
//for (auto it = ops.end() - 1; it != end_p; it++)
for (auto it = end_p - 1; it != begin_p - 1; it--)
{
if (it->is_value)
{
vals.pop_bytes(static_cast<blt::ptrdiff_t>(it->type_size));
#if BLT_DEBUG_LEVEL > 2
for_bytes += stack_allocator::aligned_size(it->type_size);
#endif
}
}
auto before = begin_p - 1;
ops.erase(begin_p, end_p);
auto new_tree = config.generator.get().generate({program, type_info.return_type, config.replacement_min_depth, config.replacement_max_depth}); auto new_tree = config.generator.get().generate({program, type_info.return_type, config.replacement_min_depth, config.replacement_max_depth});
auto& new_ops = new_tree.get_operations(); auto& new_ops_r = new_tree.get_operations();
auto& new_vals = new_tree.get_values(); auto& new_vals_r = new_tree.get_values();
#if BLT_DEBUG_LEVEL >= 2 stack_allocator stack_after;
blt::size_t new_tree_bytes = 0; stack_allocator stack_for;
blt::size_t new_tree_size = new_vals.size().total_used_bytes; transfer_backward(vals_r, stack_after, ops_r.end() - 1, end_itr - 1);
for (const auto& op : new_ops) transfer_backward(vals_r, stack_for, end_itr - 1, begin_itr - 1);
{
if (op.is_value)
new_tree_bytes += stack_allocator::aligned_size(op.type_size);
}
#endif
ops.insert(++before, new_ops.begin(), new_ops.end()); transfer_backward(new_vals_r, vals_r, new_ops_r.end() - 1, new_ops_r.begin() - 1);
transfer_forward(stack_after, vals_r, end_itr, ops_r.end());
transfer_backward(new_vals, vals, new_ops.end() - 1, new_ops.begin() - 1); auto before = begin_itr - 1;
ops_r.erase(begin_itr, end_itr);
auto new_end_point = point + new_ops.size(); ops_r.insert(++before, new_ops_r.begin(), new_ops_r.end());
auto new_end_p = ops.begin() + static_cast<blt::ptrdiff_t>(new_end_point);
transfer_forward(after_stack, vals, new_end_p, ops.end());
#if BLT_DEBUG_LEVEL >= 2 #if BLT_DEBUG_LEVEL >= 2
blt::size_t bytes_expected = 0; blt::size_t bytes_expected = 0;
auto bytes_size = c.get_values().size().total_used_bytes; auto bytes_size = vals_r.size().total_used_bytes;
for (const auto& op : c.get_operations()) for (const auto& op : c.get_operations())
{ {
@ -267,17 +217,155 @@ namespace blt::gp
if (bytes_expected != bytes_size) if (bytes_expected != bytes_size)
{ {
BLT_WARN("Parent bytes %ld vs expected %ld", parent_size, parent_bytes);
BLT_WARN("After stack bytes: %ld; popped bytes %ld", after_stack_bytes, for_bytes);
BLT_WARN("Tree bytes %ld vs expected %ld", new_tree_size, new_tree_bytes);
BLT_WARN("Child tree bytes %ld vs expected %ld", bytes_size, bytes_expected); BLT_WARN("Child tree bytes %ld vs expected %ld", bytes_size, bytes_expected);
BLT_ABORT("Amount of bytes in stack doesn't match the number of bytes expected for the operations"); BLT_ABORT("Amount of bytes in stack doesn't match the number of bytes expected for the operations");
} }
auto copy = c;
try
{
auto result = copy.evaluate(nullptr);
blt::black_box(result);
} catch (...)
{
std::cout << "Parent:\n";
p.print(program, std::cout, false, true);
std::cout << "Child:\n";
c.print(program, std::cout, false, true);
c.print(program, std::cout, true, true);
throw std::exception();
}
#endif #endif
return c; return c;
} }
// tree_t mutation_t::apply(gp_program& program, const tree_t& p)
// {
// auto c = p;
//
//#if BLT_DEBUG_LEVEL >= 2
// blt::size_t parent_bytes = 0;
// blt::size_t parent_size = p.get_values().size().total_used_bytes;
// for (const auto& op : p.get_operations())
// {
// if (op.is_value)
// parent_bytes += stack_allocator::aligned_size(op.type_size);
// }
// if (parent_bytes != parent_size)
// {
// BLT_WARN("Parent bytes %ld do not match expected %ld", parent_size, parent_bytes);
// BLT_ABORT("You should not ignore the mismatched parent bytes!");
// }
//#endif
//
// auto& ops = c.get_operations();
// auto& vals = c.get_values();
//
// auto point = static_cast<blt::ptrdiff_t>(program.get_random().get_size_t(0ul, ops.size()));
// const auto& type_info = program.get_operator_info(ops[point].id);
//
// auto new_tree = config.generator.get().generate({program, type_info.return_type, config.replacement_min_depth, config.replacement_max_depth});
//
// auto& new_ops = new_tree.get_operations();
// auto& new_vals = new_tree.get_values();
//
//#if BLT_DEBUG_LEVEL >= 2
// blt::size_t new_tree_bytes = 0;
// blt::size_t new_tree_size = new_vals.size().total_used_bytes;
// for (const auto& op : new_ops)
// {
// if (op.is_value)
// new_tree_bytes += stack_allocator::aligned_size(op.type_size);
// }
//#endif
//
// auto begin_p = ops.begin() + point;
// auto end_p = ops.begin() + find_endpoint(program, ops, point);
//
// stack_allocator after_stack;
//
//#if BLT_DEBUG_LEVEL >= 2
// blt::size_t after_stack_bytes = 0;
// blt::size_t for_bytes = 0;
// for (auto it = ops.end() - 1; it != end_p - 1; it--)
// {
// if (it->is_value)
// {
// after_stack_bytes += stack_allocator::aligned_size(it->type_size);
// }
// }
//#endif
//
// transfer_backward(vals, after_stack, ops.end() - 1, end_p - 1);
// //for (auto it = ops.end() - 1; it != end_p; it++)
//
// for (auto it = end_p - 1; it != begin_p - 1; it--)
// {
// if (it->is_value)
// {
//#if BLT_DEBUG_LEVEL >= 2
// auto size_b = vals.size().total_used_bytes;
//#endif
// vals.pop_bytes(static_cast<blt::ptrdiff_t>(stack_allocator::aligned_size(it->type_size)));
//#if BLT_DEBUG_LEVEL >= 2
// auto size_a = vals.size().total_used_bytes;
// if (size_a != size_b - stack_allocator::aligned_size(it->type_size))
// {
// BLT_WARN("After pop size: %ld before pop size: %ld; expected pop amount %ld", size_a, size_b,
// stack_allocator::aligned_size(it->type_size));
// BLT_ABORT("Popping bytes didn't remove the correct amount!");
// }
// for_bytes += stack_allocator::aligned_size(it->type_size);
//#endif
// }
// }
//
// transfer_backward(new_vals, vals, new_ops.end() - 1, new_ops.begin() - 1);
//
// transfer_forward(after_stack, vals, end_p, ops.end());
//
// auto before = begin_p - 1;
// ops.erase(begin_p, end_p);
// ops.insert(++before, new_ops.begin(), new_ops.end());
//
//#if BLT_DEBUG_LEVEL >= 2
// blt::size_t bytes_expected = 0;
// auto bytes_size = c.get_values().size().total_used_bytes;
//
// for (const auto& op : c.get_operations())
// {
// if (op.is_value)
// bytes_expected += stack_allocator::aligned_size(op.type_size);
// }
//
// if (bytes_expected != bytes_size || parent_size != parent_bytes || new_tree_size != new_tree_bytes)
// {
// BLT_WARN("Parent bytes %ld vs expected %ld", parent_size, parent_bytes);
// BLT_WARN("After stack bytes: %ld; popped bytes %ld", after_stack_bytes, for_bytes);
// BLT_WARN("Tree bytes %ld vs expected %ld", new_tree_size, new_tree_bytes);
// BLT_WARN("Child tree bytes %ld vs expected %ld", bytes_size, bytes_expected);
// BLT_ABORT("Amount of bytes in stack doesn't match the number of bytes expected for the operations");
// }
// auto copy = c;
// try
// {
// auto result = copy.evaluate(nullptr);
// blt::black_box(result);
// } catch(...) {
// std::cout << "Parent:\n";
// p.print(program, std::cout, false, true);
// std::cout << "Child:\n";
// c.print(program, std::cout, false, true);
// c.print(program, std::cout, true, true);
// throw std::exception();
// }
//
//#endif
//
// return c;
// }
mutation_t::config_t::config_t(): generator(grow_generator) mutation_t::config_t::config_t(): generator(grow_generator)
{} {}

View File

@ -87,7 +87,7 @@ namespace blt::gp
return "(" + std::string(program.get_typesystem().get_type(id).name()) + ")"; return "(" + std::string(program.get_typesystem().get_type(id).name()) + ")";
} }
void tree_t::print(gp_program& program, std::ostream& out, bool print_literals, bool pretty_print, bool include_types) void tree_t::print(gp_program& program, std::ostream& out, bool print_literals, bool pretty_print, bool include_types) const
{ {
std::stack<blt::size_t> arguments_left; std::stack<blt::size_t> arguments_left;
blt::size_t indent = 0; blt::size_t indent = 0;