2006-01-15 20:40:02 +01:00
|
|
|
// src/main.cc - Copyright 2005, 2006, University
|
|
|
|
// of Padova, dept. of Pure and Applied
|
|
|
|
// Mathematics
|
|
|
|
//
|
|
|
|
// This file is part of SGPEMv2.
|
|
|
|
//
|
|
|
|
// This is free software; you can redistribute it and/or modify
|
|
|
|
// it under the terms of the GNU General Public License as published by
|
|
|
|
// the Free Software Foundation; either version 2 of the License, or
|
|
|
|
// (at your option) any later version.
|
|
|
|
//
|
|
|
|
// SGPEMv2 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 General Public License for more details.
|
|
|
|
//
|
|
|
|
// You should have received a copy of the GNU General Public License
|
|
|
|
// along with SGPEMv2; if not, write to the Free Software
|
|
|
|
// Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
|
|
|
|
|
|
|
|
#include "config.h"
|
|
|
|
#include "gettext.h"
|
|
|
|
|
2006-01-26 19:31:23 +01:00
|
|
|
#include "main.hh"
|
2006-02-09 20:43:24 +01:00
|
|
|
#include "parse_opts.hh"
|
|
|
|
#include "start_gui.hh"
|
2006-01-25 18:50:36 +01:00
|
|
|
|
2006-02-09 19:51:26 +01:00
|
|
|
#include "backend/history.hh"
|
2006-06-13 15:55:47 +02:00
|
|
|
#include "backend/static_schedulable.hh"
|
2006-06-03 17:19:13 +02:00
|
|
|
#include "backend/schedulable_queue.hh"
|
2006-06-13 18:37:57 +02:00
|
|
|
#include "backend/dynamic_schedulable.hh"
|
2006-02-12 18:12:54 +01:00
|
|
|
#include "backend/slice.hh"
|
2006-06-13 16:20:05 +02:00
|
|
|
#include "backend/static_process.hh"
|
2006-02-13 12:32:05 +01:00
|
|
|
#include "backend/policy.hh"
|
|
|
|
#include "backend/policy_parameters.hh"
|
2006-06-12 16:04:06 +02:00
|
|
|
#include "backend/global_preferences.hh"
|
2006-02-15 23:58:18 +01:00
|
|
|
#include "standard_io.hh"
|
2006-02-17 23:19:25 +01:00
|
|
|
#include "text_simulation.hh"
|
2006-02-15 23:58:18 +01:00
|
|
|
|
2006-06-23 15:06:39 +02:00
|
|
|
#include "smartp.tcc"
|
|
|
|
|
2006-02-25 13:21:30 +01:00
|
|
|
#include <glibmm/module.h>
|
2006-02-15 23:58:18 +01:00
|
|
|
#include <glibmm/ustring.h>
|
2006-02-02 14:46:48 +01:00
|
|
|
|
2006-03-09 11:49:41 +01:00
|
|
|
#include <algorithm>
|
2006-02-25 13:21:30 +01:00
|
|
|
#include <cassert>
|
2006-03-09 11:49:41 +01:00
|
|
|
#include <functional>
|
2006-01-15 20:40:02 +01:00
|
|
|
#include <iostream>
|
2006-01-25 18:50:36 +01:00
|
|
|
#include <string>
|
|
|
|
#include <vector>
|
|
|
|
|
2006-02-09 20:33:35 +01:00
|
|
|
using namespace std;
|
|
|
|
using namespace sgpem;
|
|
|
|
using namespace memory;
|
2006-02-13 12:32:05 +01:00
|
|
|
using Glib::ustring;
|
|
|
|
|
2006-03-09 11:49:41 +01:00
|
|
|
|
|
|
|
static void load_pyloader_plugin() {
|
|
|
|
// FIXME: this will need to be moved to an
|
|
|
|
// appropriate PluginManager class in the backend,
|
|
|
|
// and the Makefile fixed accordingly (partly done).
|
|
|
|
using Glib::Module;
|
|
|
|
|
|
|
|
// Leaks willingly:
|
|
|
|
Module* pyloader = 0;
|
|
|
|
|
2006-06-21 11:09:50 +02:00
|
|
|
GlobalPreferences& prefs = GlobalPreferences::get_instance();
|
|
|
|
GlobalPreferences::dir_iterator it = prefs.modules_dir_begin();
|
|
|
|
while(it != prefs.modules_dir_end()) {
|
2006-03-09 11:49:41 +01:00
|
|
|
std::string pyloader_path = Module::build_path(*it, "pyloader");
|
|
|
|
pyloader = new Module(pyloader_path);
|
|
|
|
if(*pyloader) break;
|
|
|
|
else delete pyloader;
|
|
|
|
it++;
|
|
|
|
}
|
|
|
|
|
|
|
|
if(!*pyloader)
|
|
|
|
std::cerr << Module::get_last_error() << std::endl;
|
|
|
|
|
|
|
|
// For the moment, we want to be sure it has been loaded:
|
|
|
|
assert(*pyloader);
|
|
|
|
}
|
|
|
|
|
2006-01-25 18:50:36 +01:00
|
|
|
int
|
|
|
|
main(int argc, char* argv[])
|
|
|
|
{
|
2006-02-09 20:33:35 +01:00
|
|
|
using namespace sgpem;
|
2006-01-25 18:50:36 +01:00
|
|
|
|
2006-01-15 20:40:02 +01:00
|
|
|
// Set up gettext support
|
|
|
|
setlocale(LC_ALL, "");
|
|
|
|
bindtextdomain(PACKAGE, LOCALEDIR);
|
|
|
|
textdomain(PACKAGE);
|
2006-02-25 13:21:30 +01:00
|
|
|
|
2006-02-17 23:19:25 +01:00
|
|
|
// Set up Glib thread support
|
|
|
|
Glib::thread_init();
|
|
|
|
|
2006-01-25 18:50:36 +01:00
|
|
|
// Parses options and prepares vector with
|
|
|
|
// filenames of documents to be opened
|
|
|
|
vector<string> filenames;
|
|
|
|
{
|
|
|
|
int a_count = argc;
|
|
|
|
char** a_ptr = argv;
|
|
|
|
parse_options(a_count, a_ptr);
|
2006-02-01 15:07:09 +01:00
|
|
|
filenames.insert(filenames.begin(), a_ptr, a_ptr+a_count);
|
2006-01-25 18:50:36 +01:00
|
|
|
}
|
2006-03-08 17:47:39 +01:00
|
|
|
|
2006-03-09 11:49:41 +01:00
|
|
|
load_pyloader_plugin();
|
2006-02-21 12:09:55 +01:00
|
|
|
|
|
|
|
// Create an INITIAL STATE
|
2006-06-13 16:20:05 +02:00
|
|
|
StaticProcess p1("P1", 0,5,1);
|
|
|
|
StaticProcess p2("P2", 0,5,2);
|
|
|
|
StaticProcess p3("P3", 5,3,3);
|
|
|
|
StaticProcess p4("P4", 6,2,3);
|
|
|
|
StaticProcess p5("P5", 1,2,3);
|
|
|
|
StaticProcess p6("P6", 10,2,1);
|
2006-02-09 20:33:35 +01:00
|
|
|
|
2006-06-13 18:37:57 +02:00
|
|
|
DynamicSchedulable ss1(p1);
|
|
|
|
DynamicSchedulable ss2(p2);
|
|
|
|
DynamicSchedulable ss3(p3);
|
|
|
|
DynamicSchedulable ss4(p4);
|
|
|
|
DynamicSchedulable ss5(p5);
|
|
|
|
DynamicSchedulable ss6(p6);
|
2006-02-09 20:33:35 +01:00
|
|
|
|
2006-06-03 16:40:19 +02:00
|
|
|
SchedulableQueue initial;
|
2006-02-21 12:09:55 +01:00
|
|
|
initial.add_at_bottom(ss1);
|
|
|
|
initial.add_at_bottom(ss2);
|
|
|
|
initial.add_at_bottom(ss3);
|
|
|
|
initial.add_at_bottom(ss4);
|
|
|
|
initial.add_at_bottom(ss5);
|
|
|
|
initial.add_at_bottom(ss6);
|
|
|
|
History::get_instance().enqueue_slice(initial);
|
2006-02-25 13:21:30 +01:00
|
|
|
|
|
|
|
Scheduler::get_instance(); // Forces initialization of scheduler.
|
|
|
|
// Cross fingers (depends if PythonPolicyManager
|
|
|
|
// static object has been initialized before?).
|
2006-02-21 12:09:55 +01:00
|
|
|
|
2006-02-22 23:45:06 +01:00
|
|
|
//the textual simulation
|
|
|
|
TextSimulation text_sim;
|
|
|
|
History::get_instance().attach(&text_sim);
|
|
|
|
|
|
|
|
//textual IO
|
|
|
|
smart_ptr<IOManager> io(new StandardIO());
|
|
|
|
text_sim.add_io_device(io);
|
|
|
|
text_sim.update();
|
|
|
|
|
2006-02-21 12:09:55 +01:00
|
|
|
//grafical IO
|
2006-02-22 23:45:06 +01:00
|
|
|
start_gui(argc, argv, text_sim);
|
2006-02-21 12:09:55 +01:00
|
|
|
|
|
|
|
//SMOKE-TEST for backend classes
|
|
|
|
/* cout << "\n\n********************************";
|
|
|
|
|
|
|
|
|
2006-02-09 20:33:35 +01:00
|
|
|
|
2006-02-25 13:21:30 +01:00
|
|
|
// ************** TEST HISTORY
|
2006-02-09 20:33:35 +01:00
|
|
|
|
2006-06-03 16:40:19 +02:00
|
|
|
SchedulableQueue l1;
|
2006-02-12 18:12:54 +01:00
|
|
|
l1.add_at_top(ss1); l1.add_at_top(ss2); l1.add_at_top(ss3);
|
|
|
|
|
2006-06-03 16:40:19 +02:00
|
|
|
SchedulableQueue l2;
|
2006-02-12 18:12:54 +01:00
|
|
|
l2.add_at_top(ss4); l2.add_at_top(ss5); l2.add_at_top(ss6);
|
|
|
|
|
|
|
|
History h(History::get_instance());
|
|
|
|
h.enqueue_slice(l1); //stato iniziale
|
|
|
|
h.enqueue_slice(l2);
|
2006-02-09 20:33:35 +01:00
|
|
|
|
2006-06-03 16:40:19 +02:00
|
|
|
smart_ptr<const sgpem::SchedulableQueue> quale;
|
2006-02-09 20:33:35 +01:00
|
|
|
|
2006-02-12 18:12:54 +01:00
|
|
|
quale = h.get_simulation_status_at(0); //stato iniziale
|
|
|
|
|
|
|
|
cout << quale->get_item_at(0)->get_schedulable()->get_name();
|
2006-06-13 18:37:57 +02:00
|
|
|
smart_ptr<const sgpem::DynamicSchedulable> quale2 = h.get_scheduled_at(1);
|
2006-02-12 18:12:54 +01:00
|
|
|
cout << quale2->get_schedulable()->get_name();
|
|
|
|
|
|
|
|
h.truncate_at(0);
|
|
|
|
quale = h.get_simulation_status_at(0); //stato iniziale
|
|
|
|
|
|
|
|
cout << bool(quale) << " " << quale->get_item_at(0)->get_schedulable()->get_name();
|
2006-02-13 12:32:05 +01:00
|
|
|
*/
|
2006-02-12 18:12:54 +01:00
|
|
|
/*
|
2006-02-09 20:33:35 +01:00
|
|
|
smart_ptr<const sgpem::SimulationStatus> quale;
|
|
|
|
|
|
|
|
quale = h.get_simulation_status_at(0);
|
|
|
|
if (quale) cout << "\n" << quale->get_running()->get_schedulable()->get_name(); else cout << "NO";
|
|
|
|
quale = h.get_simulation_status_at(1);
|
|
|
|
if (quale) cout << "\n" << quale->get_running()->get_schedulable()->get_name(); else cout << "NO";
|
|
|
|
quale = h.get_simulation_status_at(2);
|
|
|
|
if (quale) cout << "\n" << quale->get_running()->get_schedulable()->get_name(); else cout << "NO";
|
|
|
|
|
|
|
|
h.truncate_at(2);
|
|
|
|
|
2006-06-13 18:37:57 +02:00
|
|
|
smart_ptr<const sgpem::DynamicSchedulable> quale2;
|
2006-02-09 20:33:35 +01:00
|
|
|
quale2 = h.get_scheduled_at(0);
|
|
|
|
if (quale2) cout << "\n" << quale2->get_schedulable()->get_name(); else cout << "NO";
|
|
|
|
quale2 = h.get_scheduled_at(1);
|
|
|
|
if (quale2) cout << "\n" << quale2->get_schedulable()->get_name(); else cout << "NO";
|
|
|
|
quale2 = h.get_scheduled_at(2);
|
|
|
|
if (quale2) cout << "\n" << quale2->get_schedulable()->get_name(); else cout << "NO";
|
2006-02-12 18:12:54 +01:00
|
|
|
*/
|
2006-02-09 20:33:35 +01:00
|
|
|
|
2006-02-12 18:12:54 +01:00
|
|
|
//************** TEST QUEUE
|
2006-02-13 12:32:05 +01:00
|
|
|
/* cout << "\n\nTEST QUEUE\n";
|
2006-02-09 19:51:26 +01:00
|
|
|
|
2006-06-03 16:40:19 +02:00
|
|
|
SchedulableQueue sq;
|
2006-02-13 12:32:05 +01:00
|
|
|
sq.add_at_bottom(ss1);
|
|
|
|
sq.add_at_bottom(ss2);
|
2006-02-12 18:12:54 +01:00
|
|
|
sq.add_at_bottom(ss3);
|
|
|
|
cout << sq.get_item_at(0)->get_schedulable()->get_name() << "\n";
|
|
|
|
cout << sq.get_item_at(1)->get_schedulable()->get_name() << "\n";
|
|
|
|
cout << sq.get_item_at(2)->get_schedulable()->get_name() << "\n";
|
2006-02-13 12:32:05 +01:00
|
|
|
sq.insert_at(2,0);
|
2006-02-12 18:12:54 +01:00
|
|
|
cout << sq.get_item_at(0)->get_schedulable()->get_name() << "\n";
|
|
|
|
cout << sq.get_item_at(1)->get_schedulable()->get_name() << "\n";
|
|
|
|
cout << sq.get_item_at(2)->get_schedulable()->get_name() << "\n";
|
2006-02-13 12:32:05 +01:00
|
|
|
|
|
|
|
cout << "\n\nTEST POLICYPARAMETERS\n";
|
|
|
|
PolicyParameters pp;
|
|
|
|
pp.register_int("ciao", 0, 100, true, 50);
|
|
|
|
pp.set_int("ciao",1);
|
|
|
|
cout << pp.get_int("ciao");
|
|
|
|
|
2006-02-09 20:33:35 +01:00
|
|
|
cout << "\n\n";
|
2006-02-13 12:32:05 +01:00
|
|
|
*/
|
2006-02-25 13:21:30 +01:00
|
|
|
|
|
|
|
return 0;
|
2006-01-15 20:40:02 +01:00
|
|
|
}
|