Package kr.or.ioi2002.RMIServer

Examples of kr.or.ioi2002.RMIServer.User$SubmitState

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$SubmitState

  • 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.