From 40d9aec71f36579014d89aa45000c12f98f0d7f7 Mon Sep 17 00:00:00 2001 From: Michael Krasnyk Date: Thu, 12 Oct 2017 12:26:53 +0200 Subject: [PATCH] Show MLD cell IDs via node ID text background color --- include/partition/multi_level_partition.hpp | 4 +- scripts/gdb_printers.py | 48 ++++++++++++++++----- 2 files changed, 40 insertions(+), 12 deletions(-) diff --git a/include/partition/multi_level_partition.hpp b/include/partition/multi_level_partition.hpp index 4ee94ccdc..4fe037b7b 100644 --- a/include/partition/multi_level_partition.hpp +++ b/include/partition/multi_level_partition.hpp @@ -115,7 +115,7 @@ template class MultiLevelPartitionImpl final std::uint32_t GetNumberOfCells(LevelID level) const { - return GetCell(level, GetSenitileNode()); + return GetCell(level, GetSentinelNode()); } // Returns the lowest cell id (at `level - 1`) of all children `cell` at `level` @@ -156,7 +156,7 @@ template class MultiLevelPartitionImpl final // We save the sentinel as last node in the partition information. // It has the highest cell id in each level so we can derived the range // of cell ids efficiently. - inline NodeID GetSenitileNode() const { return partition.size() - 1; } + inline NodeID GetSentinelNode() const { return partition.size() - 1; } void SetCellID(LevelID l, NodeID node, std::size_t cell_id) { diff --git a/scripts/gdb_printers.py b/scripts/gdb_printers.py index ebd5bcf69..76743c980 100644 --- a/scripts/gdb_printers.py +++ b/scripts/gdb_printers.py @@ -158,11 +158,11 @@ class SVGPrinter (gdb.Command):