Comments (5)
👍
It looks like this function is the one creating lots of file on my machine: https://github.com/BinaryAnalysisPlatform/bap/blob/master/src/server/mmap_server.ml#L37
from bap.
yep, the only problem, is to define a policy. The rest is trivial.
The easiest to implement would be to clean all at_exit
, and (in case if we hadn't a chance to do this), clean at_startup.
from bap.
I don't really understand the purpose of the mmap_server, so I can't really be of help defining a policy. But what you mentioned (cleanup at exit and at startup) sounds reasonable. Also, if those files are used like a cache, limiting the numbers of files might be necessary for long running servers.
from bap.
It is used to send bytes from client (qira) to server (bap) and vice verse. Since, sending memory chunks through http (that is also possible) is too expensive. As name suggests, there is no copying involved, we just share memory between client and server. The file entry is used as a symbolic address, nothing more. The reason, why we do not delete them, is because memory chunks can be reused later and by different instances. If we're going to delete this files in the runtime (we can't just limit, this will result on DoS), the we also need to implement eviction policy in resource manager, so that it can refetch memory if it is later required. Since, qira doesn't allow this (it gives memory chunk only once, and assumes that we will store it infinitly), we need to implement some non-trivial eviction policy, like storing this memory chunk on a file system or in a database. The former approach will not help us if we are hitting maximum file entries bound (it will make things even worser). The latter approach is non-trivial and requires extra dependencies. That's basically the reason, why I did choose current policy - do nothing, as OOM-killer will kill qira before bap.
from bap.
this issue must be moved to a bap-server repository
from bap.
Related Issues (20)
- Failed BAP installation HOT 3
- Missing llvm Problem HOT 4
- Can bap analyze text assembly file? HOT 2
- llvm:symbol-entry errors on llvm 11.0 with x86-64 binaries compiled on windows HOT 1
- OCaml 5.0 support / Dune HOT 2
- relax the z3 constraint
- Runtime Failure with Spectre Recipe HOT 1
- Bugs found in BAP float operations HOT 1
- Bugs found on recipes
- undefined symbol: Z3_mk_lambda
- bap-common package not found from opam
- monads: `core_kernel.rope` no longer exists in v0.16 HOT 3
- String Theory (SMT-like) support HOT 1
- Dependency problem
- failed to load plugin "primus-symbolic-executor"
- Compatibility for /lib64 suffix HOT 1
- Fedora 38 x86_64: `'opam install -vv bap' failed.` HOT 2
- ghidra_disasm.cpp:10:10: fatal error: ghidra/loadimage.hh: No such file or directory HOT 2
- Examples of Primus execution HOT 1
- The bap check program takes too long
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 bap.