package pb

Get desktop application:
View/edit binary Protocol Buffers messages

• rpc Exec (Request, Response)

  judge.proto:11

  Exec defines unary RPC to run a program with resource limitations

• rpc ExecStream (stream StreamRequest, stream StreamResponse)

  judge.proto:18

  ExecStream defines streaming RPC to run a program with real-time input & output. The first request must be execRequest and the following request must be execInput. The last response must be execResponse and the others are execOutput. TTY attribute will create single pty for the program thus stdout & stderr should have same name

  message StreamRequest

  judge.proto:173

  • oneof request

    • Request execRequest = 1

    • StreamRequest.Input execInput = 2

    • StreamRequest.Resize execResize = 3

  message StreamResponse

  judge.proto:194

  • oneof response

    • Response execResponse = 1

    • StreamResponse.Output execOutput = 2

• rpc FileList (google.protobuf.Empty, FileListType)

  judge.proto:21

  FileList lists all files available in the file store

  message FileListType

  judge.proto:40

  • map<string, string> fileIDs = 1

• rpc FileGet (FileID, FileContent)

  judge.proto:24

  FileGet download the file from the file store

• rpc FileAdd (FileContent, FileID)

  judge.proto:27

  FileAdd create a file into the file store

• rpc FileDelete (FileID, google.protobuf.Empty)

  judge.proto:30

  FileDelete deletes a file from the file store

Used as request type in: Executor.FileAdd

Used as response type in: Executor.FileGet

• string name = 1

• bytes content = 2

Used as request type in: Executor.FileDelete, Executor.FileGet

Used as response type in: Executor.FileAdd

• string fileID = 1

Used as request type in: Executor.Exec

Used as field type in: StreamRequest

• string requestID = 1

• repeated Request.CmdType cmd = 2

• repeated Request.PipeMap pipeMapping = 3

Used in: File

• string fileID = 1

Used in: CmdType

• string name = 1

• bool optional = 2

Used in: Request

• repeated string args = 1

• repeated string env = 2

• repeated File files = 3

• bool tty = 13

• uint64 cpuTimeLimit = 4

• uint64 clockTimeLimit = 5

• uint64 memoryLimit = 6

• uint64 stackLimit = 12

• uint64 procLimit = 7

• uint64 cpuRateLimit = 15

• string cpuSetLimit = 17

• bool strictMemoryLimit = 16

• map<string, File> copyIn = 8

• repeated CmdCopyOutFile copyOut = 9

• repeated CmdCopyOutFile copyOutCached = 10

• string copyOutDir = 11

• uint64 copyOutMax = 14

Used in: CmdType

• oneof file

  • LocalFile local = 1

  • MemoryFile memory = 2

  • CachedFile cached = 3

  • PipeCollector pipe = 4

  • StreamInput streamIn = 5

    streamIn only valid in streaming RPC

  • StreamOutput streamOut = 6

    streamOut only valid in streaming RPC

Used in: File

• string src = 1

Used in: File

• bytes content = 1

Used in: File

• string name = 1

• int64 max = 2

• bool pipe = 3

Used in: Request

• optional PipeMap.PipeIndex in = 1

• optional PipeMap.PipeIndex out = 2

• bool proxy = 3

• string name = 4

• uint64 max = 5

Used in: PipeMap

• int32 index = 1

• int32 fd = 2

Used in: File

• string name = 1

Used in: File

• string name = 1

Used as response type in: Executor.Exec

Used as field type in: StreamResponse

• string requestID = 1

• repeated Response.Result results = 2

• string error = 3

Used in: Result

• string name = 1

• FileError.ErrorType type = 2

• string message = 3

Used in: FileError

• CopyInOpenFile = 0

• CopyInCreateFile = 1

• CopyInCopyContent = 2

• CopyOutOpen = 3

• CopyOutNotRegularFile = 4

• CopyOutSizeExceeded = 5

• CopyOutCreateFile = 6

• CopyOutCopyContent = 7

• CollectSizeExceeded = 8

Used in: Response

• Result.StatusType status = 1

• int32 exitStatus = 2

• string error = 3

• uint64 time = 4

• uint64 runTime = 8

• uint64 memory = 5

• map<string, bytes> files = 6

• map<string, string> fileIDs = 7

• repeated FileError fileError = 9

Used in: Result

• Invalid = 0

• Accepted = 1

• WrongAnswer = 2

  Not used

• PartiallyCorrect = 3

  Not used

• MemoryLimitExceeded = 4

• TimeLimitExceeded = 5

• OutputLimitExceeded = 6

• FileError = 7

• NonZeroExitStatus = 8

• Signalled = 9

• DangerousSyscall = 10

• JudgementFailed = 11

  Not used

• InvalidInteraction = 12

  Not used

• InternalError = 13

Used in: StreamRequest

• string name = 1

• bytes content = 2

Used in: StreamRequest

• string name = 1

• uint32 rows = 2

• uint32 cols = 3

• uint32 x = 4

• uint32 y = 5

Used in: StreamResponse

• string name = 1

• bytes content = 2