小编ogg*_*ggy的帖子

我已经掌握了一些语言(粗略的专业知识):Python,C,C++,PHP,Javascript,Haskell,Java,MIPS,x86汇编程序.但是,自从我学会了一个新的,已经差不多2年了,我开始痒了.我有几个标准:

1. 必须(重复:必须)有一个免费的Linux实现
2. 应该与我已经知道的语言不同.换句话说,它应具有让我思考以新方式解决问题的功能.
3. 应该有一些实际应用的潜力.它不需要是下一个Java,但这排除了Brainf*和莎士比亚:)我真的不关心它有多少招聘帖子,但真实世界的应用程序和库是一个加号.
4. 应该至少有足够的免费学习材料来帮助我入门.

我在想Lisp(CL？还有什么？)或OCaml.我已经有了一些使用Haskell的函数式语言的经验(是的,我知道Lisp/OCaml是多范式的).我不是专家 - 例如来自Real World Haskell的部分代码仍然可以扭曲我的大脑,但我理解基本概念和一些高级概念(仿函数,monad).

哪一个选择？我忽略了其他任何语言？另外,您能不能包括一些有用的链接到好书/教程等.

我想创建一个Web应用程序,允许用户上传一些C代码,并查看其执行结果(代码将在服务器上编译).用户不受信任,这显然具有一些巨大的安全隐患.

所以我需要为应用程序创建一些沙盒.在最基本的层面上,我想限制对某些指定目录的文件系统访问.我无法直接使用chroot jails,因为Web应用程序不是以特权用户身份运行.我想一个suid可执行文件设置jail将是一个选项.

上传的程序相当小,因此它们应该快速执行(最多几秒钟).因此,我可以在预设超时后终止进程,但是如何确保它不会产生新进程？或者,如果我不能,那么杀死整个pgid是一种可靠的方法吗？

除了"根本不做"之外,最好的方法是什么？:)我错过了哪些其他明显的安全问题？

FWIW,Web应用程序将用Python编写.