Comments (7)
If your stdout is a file then yes, it is expected behavior, because --fsize
affects all files. If it is not a file, let me know, it could be a bug.
from isolate.
In my program I don't open any files. I just specified output with -o
flag in isolate.
I noticed that these two commands limit file size to 1MB:
$ isolate --fsize 1 -i input.txt -o output.txt --run -- a.out
$ isolate --fsize 1 -i input.txt --run -- a.out > output.txt
But this one doesn't:
$ isolate --fsize 1 -i input.txt --run -- a.out | dd of=output.txt
Also, on my machine this command sometimes generates output.txt, and sometimes doesn't:
$ isolate --fsize 1 -i input.txt --run -- a.out | tee output.txt
from isolate.
In the third example, the output file is generated by "dd", which runs outside the sandbox, so it is not limited by the sandbox in any way. On the contrary, in the first two examples, the file is written to by the program running inside the sandbox, so the limit applies.
The fourth example should behave deterministically. If the output file is not generated, does any error message appear?
from isolate.
I don't get any error messages for fourth example.
from isolate.
from isolate.
Why it wouldn't be? 😄 Yes, I tried running this many times. Can you try it on your machine? Any program that outputs something to stdout will do the job.
from isolate.
I just ran the following test:
set -e ; while true ; do rm -f /tmp/1 && bin/isolate --fsize 1 --run -- /bin/echo brequequex | tee /tmp/1 && est -s /tmp/1 ; done
Even after several thousand tries, it did not fail. Also, I see no reason why tee
not creating a file when running outside sandbox could be related to isolate in any way.
I am closing this issue, but if you have any other data confirming the problem, feel free to re-open it.
from isolate.
Related Issues (20)
- "No such file or directory" issue when trying to run C# program using Dotnet HOT 7
- Memory corruption bug in cg_init HOT 2
- C# program failed to compile using mcs - error CS2001: Source file `Main.cs' could not be found HOT 1
- make install exited with error code 1. HOT 1
- Error Running isolate in Ubuntu:22.04 with Systemd HOT 10
- Support for Docker HOT 12
- Error using isolate HOT 15
- Assertion Failure Issue HOT 4
- --as-uid and --as-gid seem to be not usable in Docker container HOT 3
- Cannot set disk quota: No such process HOT 1
- chown: cannot access /var/local/lib/isolate/XX/box': No such file or directory HOT 6
- CPU time (--time) consumed in subsequent runs in the same box with cg (cgroup2) enabled HOT 15
- Limitation on number of sandboxes HOT 1
- [Query] Isolate Mac OS setup HOT 1
- Unable to build manual HOT 3
- CGoups not found HOT 5
- isolate: unrecognized option '--cg-timing' and annot open /run/isolate/cgroup: No such file or directory HOT 2
- Cannot create subgroup /sys/fs/cgroup/isolate.slice/isolate.service/daemon: No such file or directory HOT 12
- Memory access violation leads to different outcomes in different envrionments HOT 2
- Measuring time and memory usage with --cg option HOT 2
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from isolate.