ThreadManager
|
|
|
ThreadManager ClientManager
| |
| |
| |
ThreadManager ClientManager FaultManager TmpDir
| | | |
`-------------+-------------' `+
| |
Server TmpDir TmpFiles Mailer
| | | |
`-----------+-----------'-------'-------'
|
ShellProver
class ShellProver (Inheritance-free)
feat args brokerTicket brokerURL client clientDisplay clientHost clientName clientPort clientUser clientWatcher host ident times
- deinstallWatcher()
- doInit()
- enter(args:ServerArgs client:ClientInfo)
- exec(Cmd nice:Nice timer:Timer)
- get(host:FeatHost name:FeatName)
- getTimes(Times)
- infoThread(Info)
- init(ticket:BrokerTicket url:BrokerURL)
- installWatcher(Watch conditions:Conditions)
- kill()
- leave()
- mail(FileVS to:AddressVS)
- newThread(Proc0 info:Info)
- prove(ProblemBS Result syntax:Syntax times:Times)
- registerTmpFile(FileName)
- rmTmpFiles()
- saveVS(VS FileName)
- showEnter(ShowInfo)
- showLeave(ShowInfo)
- start(Cmd maxCPU:CPUMax nice:Nice times:Times)
- startThreads()
- terminate()
- tryTerminateAll()
end