Threading: run all code in PThreads, add JOLTing & exception bubbling

This commit significantly restructures the way we setup threading in
SMO. We now don't use the CRT main() thread at all. It's only used
as a mechanism to ensure that Marionette doesn't execute before
global constructors have been executed.

JOLTing:

This is a simple ASIO post()ed message that makes each thread setup
its thread-local data pointer to its own ComponentThread object,
and then enter its main ASIO run() loop to await commands from
Marionette.

Exception bubbling:

We now cleanly cause mind threads to report their exceptions
to marionette, so that marionette can cleanly shut the mind down
in an orderly fashion.

Thread Control messaging API:

A namespace of asynchronous messages to be post()ed to threads to
control them. It enables us to pause and resume threads. This will
be very useful for Marionette when we add the ability for it to
suspend Salmanoff's running mind, inject new goals, inspect current
state, etc; and then resume the mind's execution.
This commit is contained in:
2025-07-28 07:20:44 -04:00
parent 513405a831
commit 36c79f3a2e
9 changed files with 469 additions and 178 deletions
+3 -2
View File
@@ -9,7 +9,7 @@ set(CMAKE_CXX_STANDARD_REQUIRED ON)
# Build type # Build type
if(NOT CMAKE_BUILD_TYPE) if(NOT CMAKE_BUILD_TYPE)
set(CMAKE_BUILD_TYPE Release) set(CMAKE_BUILD_TYPE Debug FORCE)
endif() endif()
# Compiler flags # Compiler flags
@@ -57,7 +57,8 @@ add_subdirectory(wilzorApis)
add_executable(salmanoff main.cpp) add_executable(salmanoff main.cpp)
target_link_libraries(salmanoff target_link_libraries(salmanoff
smocore smocore
deviceManager marionette
deviceManager
senseApis senseApis
${Boost_LIBRARIES} ${Boost_LIBRARIES}
${DL_LIBRARY} ${DL_LIBRARY}
+20 -105
View File
@@ -1,111 +1,26 @@
#include <iostream> #include <iostream>
#include <exception> #include <componentThread.h>
#include <thread> #include <marionette/marionette.h>
#include <mutex>
#include <unordered_map>
#include <condition_variable>
#include <boost/asio.hpp>
#include <opts.h>
#include <mind.h>
#include <deviceManager/deviceManager.h>
#include <senseApis/senseApiManager.h>
#include "componentThread.h"
namespace smo { int main(int argc, char *argv[], char *envp[])
static int initializeSalmanoff(int argc, char **argv, char **envp);
} // namespace smo
int main(int argc, char **argv, char **envp)
{ {
try { /* We don't do anything inside of main()
std::cout << __func__ << ": Entering main()" << std::endl; * Main merely waits for the marionette thread to exit.
boost::asio::io_service mrntLoop; */
boost::asio::io_service::work work(mrntLoop); std::cout << "CRT:" << __func__ << ": about to JOLT Mrntt with cmdline args"
<< '\n';
// Validate thread IDs smo::mrntt::mrntt->getIoService().post(
smo::ComponentThread::validateThreadIds(); [argc, argv, envp]()
// Post initializeSalmanoff to mrntLoop
mrntLoop.post([&]()
{ {
int ret = smo::initializeSalmanoff(argc, argv, envp); std::cout << "Mrntt:" << __func__ << ":JOLTED: setting cmdline args"
if (ret != 0) << '\n';
{ smo::CrtCommandLineArgs::set(argc, argv, envp);
std::cerr << "Initialization failed with code: " smo::mrntt::mrntt->getIoService().stop();
<< ret << std::endl; }
std::exit(ret); );
}
});
mrntLoop.run(); smo::mrntt::mrntt->thread.join();
} std::cout << "CRT:" << __func__ << ": Mrntt exited with code '"
catch (const std::exception& e) << smo::mrntt::exitCode << "'\n";
{ return smo::mrntt::exitCode;
std::cerr << __func__ << ": Exception occurred: " << e.what()
<< std::endl;
return EXIT_FAILURE;
}
catch (...)
{
std::cerr << __func__ << ": Unknown exception occurred" << std::endl;
return EXIT_FAILURE;
}
std::cout << __func__ << ": Exiting normally" << std::endl;
return 0;
} }
namespace smo {
static int initializeSalmanoff(int argc, char **argv, char **envp)
{
std::cout << __func__ << ": Entering" << std::endl;
using namespace smo;
OptionParser &options = OptionParser::getOptions();
smo::Mind mind;
std::cout << PACKAGE_NAME << " " << PACKAGE_VERSION << std::endl;
try {
options.parseArguments(argc, argv, envp);
std::cout << options.stringifyOptions() << std::endl;
}
catch (const std::invalid_argument& e)
{
std::cerr << __func__ << ": Exception occurred: " << e.what() << '\n'
<< options.getUsage() << '\n';
return EXIT_FAILURE;
}
if (options.printUsage)
{
std::cout << options.getUsage() << std::endl;
return EXIT_SUCCESS;
}
device::DeviceManager::getInstance().collateAllDeviceSpecs();
device::DeviceManager::getInstance().parseAllDeviceSpecs();
std::cout << device::DeviceManager::stringifyDeviceSpecs() << std::endl;
sense_api::SenseApiManager::getInstance().loadAllSenseApiLibsFromOptions();
std::cout << sense_api::SenseApiManager::getInstance().stringifyLibs()
<< std::endl;
std::cerr << "About to initializeAllSenseApiLibs" << std::endl;
sense_api::SenseApiManager::getInstance().initializeAllSenseApiLibs();
std::cerr << "About to attachAllSenseDevicesFromSpecs" << std::endl;
sense_api::SenseApiManager::getInstance().attachAllSenseDevicesFromSpecs();
std::cerr << "Done attachAllSenseDevicesFromSpecs" << std::endl;
/* Start the threads */
for (const auto& [id, componentThread]
: smo::ComponentThread::componentThreads) {
smo::ComponentThread::signalThread(id);
}
std::cout << __func__ << ": Exiting" << std::endl;
return 0;
}
} // namespace smo
+1 -1
View File
@@ -9,6 +9,6 @@ target_include_directories(smocore PUBLIC
${CMAKE_CURRENT_SOURCE_DIR}/include ${CMAKE_CURRENT_SOURCE_DIR}/include
) )
add_subdirectory(marionette)
add_subdirectory(deviceManager) add_subdirectory(deviceManager)
add_subdirectory(senseApis) add_subdirectory(senseApis)
add_subdirectory(marionette)
+198 -40
View File
@@ -1,8 +1,25 @@
#include <iostream> #include <iostream>
#include <componentThread.h> #include <componentThread.h>
#include <boost/asio.hpp>
namespace smo { namespace smo {
thread_local std::shared_ptr<ComponentThread> thisComponentThread;
const std::string ComponentThread::threadNames[N_ITEMS] =
{
"mrntt",
"director",
"simulator",
"subconscious",
"body",
"world"
};
namespace mrntt {
std::shared_ptr<ComponentThread> mrntt =
std::make_shared<ComponentThread>(ComponentThread::MRNTT);
}
namespace director { namespace director {
/* The director is the seat of volition in Salmanoff. It receives sensor /* The director is the seat of volition in Salmanoff. It receives sensor
* events from the body and world, and uses them to direct its implexors * events from the body and world, and uses them to direct its implexors
@@ -10,89 +27,230 @@ namespace director {
* and correlation with intrins, in order to form new attrimotions and * and correlation with intrins, in order to form new attrimotions and
* menties. * menties.
*/ */
ComponentThread director; std::shared_ptr<ComponentThread> director =
std::make_shared<ComponentThread>(ComponentThread::DIRECTOR);
} }
namespace simulator { namespace simulator {
/* The canvas is the simulation engine in Salmanoff. It receives menties and /* The canvas is the simulation engine in Salmanoff. It receives menties and
* simulates them in accordance with the instructions from director. It then * simulates them in accordance with the instructions from director. It then
* re-renders them into perception for director to get feedback. * re-renders them into perception for director to get feedback.
*/ */
ComponentThread canvas; std::shared_ptr<ComponentThread> canvas =
std::make_shared<ComponentThread>(ComponentThread::SIMULATOR);
} }
namespace subconscious { namespace subconscious {
/* The subconscious is the seat of memory in Salmanoff. It receives menties /* The subconscious is the seat of memory in Salmanoff. It receives menties
* from director and stores them in memory for later recall. * from director and stores them in memory for later recall.
*/ */
ComponentThread subconscious; std::shared_ptr<ComponentThread> subconscious =
std::make_shared<ComponentThread>(ComponentThread::SUBCONSCIOUS);
} }
namespace body { namespace body {
/* The body is a thread that polls, processes, and sends interoceptive sensor /* The body is a thread that polls, processes, and sends interoceptive sensor
* events to director. It enables these events to occur asynchronously, * events to director. It enables these events to occur asynchronously,
* indepdendent any actions that the other threads are taking. * indepdendent any actions that the other threads are taking.
*/ */
ComponentThread body; std::shared_ptr<ComponentThread> body =
std::make_shared<ComponentThread>(ComponentThread::BODY);
} }
namespace world { namespace world {
/* The world performs the same functions as the body, but for extrospective /* The world performs the same functions as the body, but for extrospective
* sensor events. * sensor events.
*/ */
ComponentThread world; std::shared_ptr<ComponentThread> world =
std::make_shared<ComponentThread>(ComponentThread::WORLD);
} }
std::array<std::shared_ptr<ComponentThread>, ComponentThread::N_ITEMS>
std::unordered_map<std::thread::id, ComponentThread&>
ComponentThread::componentThreads = ComponentThread::componentThreads =
{ {
{director::director.thread.get_id(), director::director}, mrntt::mrntt,
{simulator::canvas.thread.get_id(), simulator::canvas}, director::director,
{subconscious::subconscious.thread.get_id(), subconscious::subconscious}, simulator::canvas,
{body::body.thread.get_id(), body::body}, subconscious::subconscious,
{world::world.thread.get_id(), world::world} body::body,
world::world
}; };
void ComponentThread::signalThread(std::thread::id id) void ComponentThread::initializeTls(void)
{ {
auto it = componentThreads.find(id); thisComponentThread = shared_from_this();
if (it == componentThreads.end()) }
const std::shared_ptr<ComponentThread> ComponentThread::getSelf(void)
{
if (!thisComponentThread)
{ {
throw std::runtime_error(std::string(__func__) throw std::runtime_error(std::string(__func__)
+ ": Thread ID not found in componentThreads map"); + ": TLS not initialized");
} }
ComponentThread& componentThread = it->second; return thisComponentThread;
{
std::lock_guard<std::mutex> lock(componentThread.startupSync.mutex);
componentThread.startupSync.ready = true;
}
componentThread.startupSync.cv.notify_one();
} }
void ComponentThread::main(ComponentThread& self) void ComponentThread::main(ComponentThread& self)
{ {
// We sleep on spawn until the main thread tells us to continue. std::cout << self.name << ":" << __func__ << ": Waiting for JOLT" <<"\n";
{
std::unique_lock<std::mutex> lock(self.startupSync.mutex);
self.startupSync.cv.wait(lock, [&self]() {
return self.startupSync.ready;
});
}
std::cout << __func__ << ": Starting event loop." << std::endl;
self.getIoService().run(); self.getIoService().run();
std::cout << __func__ << ": Exiting." << std::endl; self.initializeTls();
}
void ComponentThread::validateThreadIds(void) std::cout << self.name << ":" << __func__ << ": Entering event loop" <<"\n";
{
for (const auto& [id, componentThread] : componentThreads) for (self.keepLooping = true; self.keepLooping;)
{ {
// std::thread::id() is usable as an invalid ID. try {
if (id == std::thread::id()) self.getIoService().reset();
self.getIoService().run();
}
catch (const std::exception& e)
{ {
throw std::runtime_error( std::cerr << self.name << ":" << __func__
std::string(__func__) + ": Invalid Thread ID."); << ": Exception occurred: " << e.what() << "\n";
mrntt::mrntt->exceptionInd(self);
}
catch (...)
{
std::cerr << self.name << ":" << __func__
<< ": Unknown exception occurred" << "\n";
mrntt::mrntt->exceptionInd(self);
} }
} }
std::cout << self.name << ":" << __func__ << ": Exiting event loop" << "\n";
}
// Thread management method implementations
void ComponentThread::startThreadReq(std::function<void()> callback)
{
this->getIoService().post([this, caller = getSelf(), callback]()
{
std::cout << "Thread '" << name << "': handling startThread." << "\n";
// Execute private setup sequence here
// This is where each thread would implement its specific initialization
if (callback) {
caller->getIoService().post(callback);
}
});
}
void ComponentThread::cleanup(void)
{
this->keepLooping = false;
}
void ComponentThread::exitThreadReq(std::function<void()> callback)
{
// Post to the main io_service
this->getIoService().post([this, caller = getSelf(), callback]()
{
std::cout << "Thread '" << name << "': handling exitThread "
"(main queue)." << std::endl;
cleanup();
// Stop the main io_service to exit the thread
io_service.stop();
if (callback) { caller->getIoService().post(callback); }
});
// Also post to the pause io_service
this->pause_io_service.post([this, caller = getSelf(), callback]()
{
std::cout << "Thread '" << name << "': handling exitThread "
"(pause queue)." << std::endl;
cleanup();
// Stop both io_services to exit the thread
pause_io_service.stop();
io_service.stop();
if (callback) { caller->getIoService().post(callback); }
});
}
void ComponentThread::pauseThreadReq(std::function<void()> callback)
{
this->getIoService().post([this, caller = getSelf(), callback]()
{
std::cout << "Thread '" << name << "': handling pauseThread."
<< std::endl;
if (callback) {
caller->getIoService().post(callback);
}
// Reset the pause io_service before running to ensure it can run again
pause_io_service.reset();
// Run the pause io_service to block this thread
pause_io_service.run();
});
}
void ComponentThread::resumeThreadReq(std::function<void()> callback)
{
// Post to the pause_io_service to unblock the paused thread
pause_io_service.post([this, caller = getSelf(), callback]()
{
std::cout << "Thread '" << name << "': handling resumeThread."
<< std::endl;
if (callback) {
caller->getIoService().post(callback);
}
// Stop the pause_io_service to unblock the thread
pause_io_service.stop();
});
}
static int threadsKilledCount;
void ComponentThread::exceptionInd(ComponentThread& thread)
{
if (this->id != MRNTT)
{
throw std::runtime_error(std::string(__func__)
+ ": invoked on non-mrntt thread " + thread.name);
}
// Post the exception to the mrntt thread.
this->getIoService().post(
[&thread]()
{
std::cerr << "Mrntt: Exception occurred: in thread "
<< thread.name << ". Killing Salmanoff." << "\n";
threadsKilledCount = 0;
for (auto &currThread : ComponentThread::componentThreads)
{
if (currThread->id == MRNTT)
{ continue; }
currThread->exitThreadReq(
[]()
{
++threadsKilledCount;
if (threadsKilledCount < ComponentThread::N_ITEMS - 1)
{ return; }
for (auto &currThreadJ
: ComponentThread::componentThreads)
{
if (currThreadJ->id == MRNTT)
{ continue; }
currThreadJ->thread.join();
}
mrntt::mrntt->getIoService().stop();
}
);
}
}
);
} }
} // namespace smo } // namespace smo
+89 -26
View File
@@ -1,67 +1,130 @@
#ifndef COMPONENT_THREAD_H #ifndef COMPONENT_THREAD_H
#define COMPONENT_THREAD_H #define COMPONENT_THREAD_H
#include <atomic>
#include <thread> #include <thread>
#include <unordered_map> #include <unordered_map>
#include <condition_variable>
#include <boost/asio.hpp> #include <boost/asio.hpp>
#include <stdexcept> #include <stdexcept>
#include <queue>
#include <functional>
namespace smo { namespace smo {
class ComponentThread class ComponentThread
: public std::enable_shared_from_this<ComponentThread>
{ {
public: public:
ComponentThread() enum ThreadId
: work(io_service), startupSync(), {
thread(ComponentThread::main, std::ref(*this)) MRNTT = 0,
DIRECTOR,
SIMULATOR,
SUBCONSCIOUS,
BODY,
WORLD,
N_ITEMS
};
ComponentThread(ThreadId id)
: id(id), name(getThreadName(id)),
work(io_service), pause_work(pause_io_service),
thread(
((id == MRNTT) ? marionetteMain : main),
std::ref(*this))
{} {}
void cleanup(void);
boost::asio::io_service& getIoService(void) { return io_service; } boost::asio::io_service& getIoService(void) { return io_service; }
static boost::asio::io_service& getEventLoop( void initializeTls(void);
std::thread::id id = std::this_thread::get_id()) const std::shared_ptr<ComponentThread> getSelf(void);
static std::shared_ptr<ComponentThread> getComponentThread(
ThreadId id = N_ITEMS)
{ {
auto it = componentThreads.find(id); if (id < 0 || id > N_ITEMS)
if (it == componentThreads.end())
{ {
throw std::runtime_error(std::string(__func__) throw std::runtime_error(std::string(__func__)
+ ": Thread ID not found in componentThreads map"); + ": Invalid thread ID");
} }
return componentThreads[id];
return it->second.getIoService();
} }
static void main(ComponentThread &self); // Overload: search by name
static void signalThread(std::thread::id id); static std::shared_ptr<ComponentThread> getComponentThread(
static void validateThreadIds(void); const std::string& name)
{
for (auto& thread : componentThreads) {
if (thread->name == name) { return thread; }
}
throw std::runtime_error(std::string(__func__)
+ ": Thread name not found in componentThreads map");
}
static boost::asio::io_service& getEventLoop(
ThreadId id = MRNTT)
{
return getComponentThread(id)->getIoService();
}
typedef void (mainFn)(ComponentThread &self);
static mainFn main, marionetteMain;
// Thread management methods
void startThreadReq(std::function<void()> callback = nullptr);
void exitThreadReq(std::function<void()> callback = nullptr);
void pauseThreadReq(std::function<void()> callback = nullptr);
void resumeThreadReq(std::function<void()> callback = nullptr);
void exceptionInd(ComponentThread& thread);
public: public:
ThreadId id;
std::string name;
boost::asio::io_service io_service; boost::asio::io_service io_service;
boost::asio::io_service::work work; boost::asio::io_service::work work;
struct StartupSync { boost::asio::io_service pause_io_service;
std::mutex mutex; boost::asio::io_service::work pause_work;
std::condition_variable cv; std::atomic<bool> keepLooping;
bool ready;
StartupSync() : ready(false) {}
} startupSync;
/* Always ensure that this is last so that the thread is spawned after /* Always ensure that this is last so that the thread is spawned after
* everything else. * everything else is constructed.
*/ */
std::thread thread; std::thread thread;
static std::unordered_map<std::thread::id, ComponentThread&> componentThreads; static std::array<std::shared_ptr<ComponentThread>, ComponentThread::N_ITEMS>
componentThreads;
static const std::string threadNames[ComponentThread::N_ITEMS];
static const std::string getThreadName(ThreadId id)
{
if (id < 0 || id >= ComponentThread::N_ITEMS)
{
throw std::runtime_error(std::string(__func__)
+ ": Invalid thread ID");
}
return threadNames[id];
}
}; };
namespace mrntt {
extern std::shared_ptr<ComponentThread> mrntt;
}
namespace director { namespace director {
extern ComponentThread director; extern std::shared_ptr<ComponentThread> director;
} }
namespace simulator { namespace simulator {
extern ComponentThread canvas; extern std::shared_ptr<ComponentThread> canvas;
} }
namespace subconscious { namespace subconscious {
extern ComponentThread subconscious; extern std::shared_ptr<ComponentThread> subconscious;
}
namespace body {
extern std::shared_ptr<ComponentThread> body;
}
namespace world {
extern std::shared_ptr<ComponentThread> world;
} }
} // namespace smo } // namespace smo
+21
View File
@@ -2,13 +2,34 @@
#define _MARIONETTE_H #define _MARIONETTE_H
#include <cstdint> #include <cstdint>
#include <atomic>
namespace smo {
namespace mrntt { namespace mrntt {
extern std::atomic<int> exitCode;
class Marionette class Marionette
{ {
}; };
} // namespace mrntt } // namespace mrntt
struct CrtCommandLineArgs
{
CrtCommandLineArgs(int argc, char *argv[], char *envp[])
: argc(argc), argv(argv), envp(envp)
{}
int argc;
char **argv;
char **envp;
static void set(int argc, char *argv[], char *envp[]);
};
int initializeSalmanoff(void);
} // namespace smo
#endif // _MARIONETTE_H #endif // _MARIONETTE_H
+5
View File
@@ -1,5 +1,10 @@
add_library(marionette STATIC add_library(marionette STATIC
marionette.cpp marionette.cpp
salmanoff.cpp
)
target_link_libraries(marionette
smocore
) )
target_include_directories(marionette PUBLIC target_include_directories(marionette PUBLIC
+105 -4
View File
@@ -1,9 +1,110 @@
#include <config.h>
#include <cstdlib>
#include <iostream>
#include <exception>
#include <opts.h>
#include <componentThread.h>
#include <marionette/marionette.h>
namespace mrntt { namespace smo {
int main(int argc, char *argv[]) CrtCommandLineArgs crtCommandLineArgs(0, nullptr, nullptr);
void CrtCommandLineArgs::set(int argc, char *argv[], char *envp[])
{ {
return 0; crtCommandLineArgs = CrtCommandLineArgs(argc, argv, envp);
} }
} // namespace mrntt namespace mrntt {
std::atomic<int> exitCode;
}
void ComponentThread::marionetteMain(ComponentThread& self)
{
// Wait for CRT's main() to post us the command line args.
std::cout << __func__ << ": Waiting for command line JOLT" << std::endl;
self.getIoService().run();
self.initializeTls();
mrntt::exitCode = 0;
try {
OptionParser &options = OptionParser::getOptions();
std::cout << __func__ << ": " << PACKAGE_NAME << " " << PACKAGE_VERSION
<< std::endl;
try {
options.parseArguments(
crtCommandLineArgs.argc, crtCommandLineArgs.argv,
crtCommandLineArgs.envp);
std::cout << __func__ << ": " << options.stringifyOptions()
<< std::endl;
}
catch (const std::invalid_argument& e)
{
std::cerr << __func__ << ": Exception occurred: " << e.what()
<< '\n' << options.getUsage() << '\n';
mrntt::exitCode = EXIT_FAILURE;
return;
}
if (options.printUsage)
{
std::cout << __func__ << ": " << options.getUsage() << std::endl;
mrntt::exitCode = EXIT_SUCCESS;
return;
}
int ret = smo::initializeSalmanoff();
if (ret != 0)
{
std::cerr << __func__ << ": Initialization failed with code: "
<< ret << std::endl;
mrntt::exitCode = ret;
return;
}
/* Start the threads */
for (auto& componentThread : smo::ComponentThread::componentThreads)
{
// Post startThread() to the event loop of all threads except MRNTT.
if (componentThread->id == ComponentThread::MRNTT) { continue; }
// JOLT the thread.
componentThread->getIoService().post([componentThread]()
{ componentThread->getIoService().stop(); }
);
// Now tell it to execute its initialization sequence.
componentThread->startThreadReq();
}
body::body->getIoService().post([]{
throw std::runtime_error("test exception");
});
std::cout << __func__ << ": Entering event loop" << "\n";
self.getIoService().reset();
self.getIoService().run();
}
catch (const std::exception& e)
{
std::cerr << __func__ << ": Exception occurred: " << e.what()
<< std::endl;
mrntt::exitCode = EXIT_FAILURE;
return;
}
catch (...)
{
std::cerr << __func__ << ": Unknown exception occurred" << std::endl;
mrntt::exitCode = EXIT_FAILURE;
return;
}
std::cout << __func__ << ": Exiting normally" << std::endl;
}
} // namespace smo
+27
View File
@@ -0,0 +1,27 @@
#include <iostream>
#include <deviceManager/deviceManager.h>
#include <senseApis/senseApiManager.h>
namespace smo {
int initializeSalmanoff(void)
{
std::cout << __func__ << ": Entered." << std::endl;
device::DeviceManager::getInstance().collateAllDeviceSpecs();
device::DeviceManager::getInstance().parseAllDeviceSpecs();
std::cout << device::DeviceManager::stringifyDeviceSpecs() << std::endl;
sense_api::SenseApiManager::getInstance().loadAllSenseApiLibsFromOptions();
std::cout << sense_api::SenseApiManager::getInstance().stringifyLibs()
<< std::endl;
std::cerr << "About to initializeAllSenseApiLibs" << std::endl;
sense_api::SenseApiManager::getInstance().initializeAllSenseApiLibs();
std::cerr << "About to attachAllSenseDevicesFromSpecs" << std::endl;
sense_api::SenseApiManager::getInstance().attachAllSenseDevicesFromSpecs();
std::cerr << "Done attachAllSenseDevicesFromSpecs" << std::endl;
std::cout << __func__ << ": Done." << std::endl;
return 0;
}
} // namespace smo