mirror of
https://github.com/data61/MP-SPDZ.git
synced 2026-04-20 03:01:31 -04:00
70 lines
1.9 KiB
C++
70 lines
1.9 KiB
C++
// (C) 2016 University of Bristol. See License.txt
|
|
|
|
#ifndef _Program
|
|
#define _Program
|
|
|
|
#include "Processor/Instruction.h"
|
|
#include "Processor/Data_Files.h"
|
|
|
|
class Machine;
|
|
|
|
/* A program is a vector of instructions */
|
|
|
|
class Program
|
|
{
|
|
vector<Instruction> p;
|
|
// Here we note the number of bits, squares and triples and input
|
|
// data needed
|
|
// - This is computed for a whole program sequence to enable
|
|
// the run time to be able to determine which ones to pass to it
|
|
DataPositions offline_data_used;
|
|
|
|
// Maximal register used
|
|
int max_reg2,max_regp,max_regi;
|
|
|
|
// Memory size used directly
|
|
int max_mem[MAX_REG_TYPE][MAX_SECRECY_TYPE];
|
|
|
|
// True if program contains variable-sized loop
|
|
bool unknown_usage;
|
|
|
|
void compute_constants();
|
|
|
|
public:
|
|
|
|
Program(int nplayers) : offline_data_used(nplayers),
|
|
max_reg2(0), max_regp(0), max_regi(0), unknown_usage(false)
|
|
{ p.resize(0); }
|
|
|
|
// Read in a program
|
|
void parse(istream& s);
|
|
|
|
DataPositions get_offline_data_used() const { return offline_data_used; }
|
|
void print_offline_cost() const;
|
|
|
|
bool usage_unknown() const { return unknown_usage; }
|
|
|
|
int num_regs2() const { return max_reg2; }
|
|
int num_regsp() const { return max_regp; }
|
|
int num_regi() const { return max_regi; }
|
|
|
|
int direct_mem(RegType reg_type, SecrecyType sec_type)
|
|
{ return max_mem[reg_type][sec_type]; }
|
|
|
|
int direct_mem2_s() const { return max_mem[GF2N][SECRET]; }
|
|
int direct_memp_s() const { return max_mem[MODP][SECRET]; }
|
|
int direct_mem2_c() const { return max_mem[GF2N][CLEAR]; }
|
|
int direct_memp_c() const { return max_mem[MODP][CLEAR]; }
|
|
int direct_memi_c() const { return max_mem[INT][CLEAR]; }
|
|
|
|
friend ostream& operator<<(ostream& s,const Program& P);
|
|
|
|
// Execute this program, updateing the processor and memory
|
|
// and streams pointing to the triples etc
|
|
void execute(Processor& Proc) const;
|
|
|
|
};
|
|
|
|
#endif
|
|
|