[FFmpeg-devel] Upgrade Trouble
Sat Nov 28 22:59:13 CET 2009
On Sat, Nov 28, 2009 at 10:20:46PM +0100, Reinhard Tartler wrote:
> Is my analysis correct? If yes, you can imagine that the shown testcase
> is exactly what happens in a distro setting. Media players have been
> built against FFmpeg 0.5, and upgrading FFmpeg packages will change the
> system in a very similar way as described here.
> How can the problem
> described in my mail avoided in an *elegant* way?
The problem disapears if the linker wouldnt shadow symbols but rather
provide each piece of code with what it declared to depend on.
Michael GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB
Awnsering whenever a program halts or runs forever is
On a turing machine, in general impossible (turings halting problem).
On any real computer, always possible as a real computer has a finite number
of states N, and will either halt in less than N cycles or never halt.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 189 bytes
Desc: Digital signature
More information about the ffmpeg-devel