Hello Qian,
Can you test this, start fricas with just Git cloned fricas and your
patch applied (ven. 31 mai 2024 21:07:10 CEST):
fricas -rl -noht
After, start HD with )hd, browse dilog operation, you have the
descriptions in a second window. Personally I move the second window a
little on the right.
After, call some routines and close FriCAS with ')q', HD hasn't the focus.
└─$ fricas -rl -noht
Checking for foreign routines
FRICAS="/home/greg/.local/lib/fricas/target/x86_64-linux-gnu"
spad-lib="/home/greg/.local/lib/fricas/target/x86_64-linux-gnu//lib/libspad.so"
foreign routines found
openServer result 0
FriCAS Computer Algebra System
Version: FriCAS 2024-04-15 built with sbcl 2.4.4
Timestamp: ven. 31 mai 2024 20:51:34 CEST
-----------------------------------------------------------------------------
Issue )copyright to view copyright notices.
Issue )summary for a summary of useful system commands.
Issue )quit to leave FriCAS and return to shell.
-----------------------------------------------------------------------------
(1) -> )hd
(1) -> dilog(0.3)
(1) 0.8893776242_8603873859_98408
Type: Complex(Float)
(2) -> )q
FriCAS is not instantly closed.
That happens also with Clozure CL.
Personally, I had to hard kill (- 15) sman or wait a long time. I
already encountered this with a message like this:
XIO: fatal IO error 4 (Interrupted system call) on X server ":0"
after 2715 requests (2715 known processed) with 0 events remaining.
Le mer. 29 mai 2024 à 16:08, Qian Yun <oldk1...@gmail.com> a écrit :
>
> I tried more debugging and I hope I solve this problem
> in the correct direction.
>
> Everything is connected now... These are all related:
>
> https://github.com/fricas/fricas/issues/171
> https://github.com/fricas/fricas/issues/170
> https://github.com/fricas/fricas/pull/101
>
>
> One thing remains unclear to me: is "wait_for_client_read"
> really useful?
>
> Basically what this patch does is:
> close the process (sman/session/spadbuf/viewman/hypertex)
> only after its input source is closed.
>
> This should make sure no data is lost in the socket buffer.
>
> Please test if this patch solves the problem.
>
> - Qian
>
> On 5/29/24 19:37, Ralf Hemmecke wrote:
> > On 5/29/24 11:24, Qian Yun wrote:
> >> Do you think this is a problem that needs to be fixed before commit?
> >
> > If I had something to say, I would like to solve that problem once and
> > for all. Would it be too hard to synchronize the writeout of files by a
> > temporary file on hard disk (or some cheaper option if possible)?
> >
> > I could also imagine another solution.
> > If I am not wrong then these truncated files come from .htex files.
> > So, the respective .input files that are fed to fricas are generated.
> > We simply add two lines to these files, one at the beginning, and one at
> > the end something like
> >
> > -- %%% BEGIN %%%
> >
> > -- %%% ENE %%%
> >
> > and then check the generated file for existence of these lines. If they
> > are not there, then the .input file has to be sent again through fricas.
> > That has the chance of looping forever. But is probability of an
> > infinite loop higher or lower than what we have now?
> >
> > I especially do not like that the beginning or end of the file can be
> > truncated at a place that does not lead to a LaTeX error.
> > (I know that this can also already happen on "master", but we should do
> > something about it.)
> >
> > So the book would be incomplete, but that would only be recognized if
> > someone actually reads the book and figures out that something is
> > missing. However, the book will most probably only be read by newcomers
> > that cannot be expected to see that something is (wrongly) missing.
> >
> > Opinions?
> >
> > Ralf
> >
>
> --
> You received this message because you are subscribed to the Google Groups
> "FriCAS - computer algebra system" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to fricas-devel+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/fricas-devel/150ffce1-80f3-461a-a4b7-984235bd0d8b%40gmail.com.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/CAHnU2dZ2RBdUPQd%2BFX-pQ_ONkg5PGDPS_wb7YnO36rLx04A8UA%40mail.gmail.com.
