Package kr.or.ioi2002.RMIServer

Examples of kr.or.ioi2002.RMIServer.User

226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
        dispatchJob();
    }

    public void submit(String contestId, String userId, Task task, String language, File tmp,
            String sourceFileName, JobRemovalNotified notified) {
        Job job = new Job();
        job.setContestId(contestId);
        job.setUserid(userId);
        if (task.isFeedbackEnabled()) {
            job.setType(JobType.FEEDBACK);
        } else {
            job.setType(JobType.SUBMIT);
        }
        // TODO: remove HACK
        if (task.getType() != Task.PROBLEM_TYPE_OUTPUT) {
            job.setTask(task.getName());
        } else {
            job.setTask(task.getName() + language);
        }
        job.setLanguage(language);
        job.srcFilename = sourceFileName;
        job.src = tmp;
        gradingQueueManager.push(job, notified);
        dispatchJob();
    }
View Full Code Here
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
        dispatchJob();
    }

    public void test(String contestId, String userId, String task, String language, TempFile tmp,
            TempFile tmp2, JobRemovalNotified notified) {
        Job job = new Job();
        job.setContestId(contestId);
        job.setUserid(userId);
        job.setType(JobType.TEST);
        job.setTask(task);
        job.setLanguage(language);
        job.src = tmp;
        job.stdin = tmp2;
        gradingQueueManager.push(job, notified);
        dispatchJob();
    }
View Full Code Here
701
702
703
704
705
706
707
708
709
710
711
        }
        GraderAgent gm = machineQueueManager.moveMachineToBusy();
        if (gm == null) {
            return;
        }
        Job job = gradingQueueManager.popJob(jobType);

        if (gm != null && job != null && gm.assignJob(job)) {
            gradingQueueManager.markSuccessfullyAssignedJob(job);
        } else {
            machineQueueManager.releaseMachineFromBusyMode(gm);
View Full Code Here
754
755
756
757
758
759
760
761
762
763
764
765
    }

    public void pushTestData(Contest contest) {
        int jobsCount = machineQueueManager.markAllGradersToUpdate(contest);
        for (int i = 0; i < jobsCount; ++i) {
            Job job = new Job();
            job.setContestId(contest.getId());
            job.setType(JobType.SETUP);
            gradingQueueManager.push(job, null);
            dispatchJob();
        }
    }
View Full Code Here
89
90
91
92
93
94
95
96
97
98
    public Job removeJob(JobType jobType) {
        LinkedList<Job> queue = getQueueImpl(jobType);
        synchronized (queue) {
            if (queue.isEmpty())
                return null;
            Job job = queue.remove();
            store();
            return job;
        }
    }
View Full Code Here
34
35
36
37
38
39
40
41
        LogGraderAgent.log("dispatchGrade: putback occured");
        push(job, null);
    }

    public synchronized void push(Job job, JobRemovalNotified notified) {
        Job modifiedJob = implementation.addJob(job);
        notifyAddition(notified, modifiedJob);
    }
View Full Code Here
39
40
41
42
43
44
45
46
47
48
49
        Job modifiedJob = implementation.addJob(job);
        notifyAddition(notified, modifiedJob);
    }

    public synchronized Job popJob(JobType jobType) {
        Job job = implementation.removeJob(jobType);
        if (job == null)
            return null;

        notifyRemoval(job);
        return job;
View Full Code Here
31
32
33
34
35
36
37
38
39
40
41
42
    @Override
    protected void tearDown() throws Exception {
    }

    public void testSerialization() {
        Job job = new Job();
        job.setType(JobType.SUBMIT);
        {
            GradingQueue gradingQueueManager = new GradingQueue("./");
            gradingQueueManager.push(job, null);
        }
        {
View Full Code Here
66
67
68
69
70
71
72
73
74
     * job to null.
     *
     * @return the just finished job
     */
    private Job resetCurrentJob() {
        Job finishedJob = currentJob;
        currentJob = null;
        return finishedJob;
    }
View Full Code Here
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
        }
    }

    private void sendDoneMessage() {
        currentJob.gmid = getIP().toString();
        Job job = resetCurrentJob();
        graderManager.releaseMachine(this);

        // It is important that currentJob is null-ified before a call to the
        // gradeManager occurs, otherwise a putback occurs and this go awry.
        if (JobType.GRADE == job.getType())
            graderManager.OnMsgGradeDone(job);
        else if (JobType.SUBMIT == job.getType())
            graderManager.OnMsgSubmitDone(job);
        else if (JobType.TEST == job.getType())
            graderManager.OnMsgTestDone(job);
    }
View Full Code Here
TOP

Related Classes of kr.or.ioi2002.RMIServer.User

  • bg.smoc.agent.GraderAgent
  • bg.smoc.model.manager.ContestManager
  • bg.smoc.model.manager.GraderManager
  • bg.smoc.model.manager.GraderManagerTest
  • bg.smoc.model.manager.GradingQueue
  • bg.smoc.model.manager.GradingQueueImpl
  • bg.smoc.model.manager.ManagerMediator
  • bg.smoc.web.servlet.BackupServlet
  • bg.smoc.web.servlet.contestant.LogIntoContestServlet
  • bg.smoc.web.servlet.contestant.SubmitSaveAs
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.