[9fans] What about Haskell? [was: How can I use alef?]

2008-11-20 Thread Giacomo Tesio
I'm completely new to Functional Languages (actually I'm not understanding whether they are useful in real world, or just to enance ones mind). But I'm studing Haskell, and I saw that it was ported to Plan 9. Without starting a flame war, I'd like to know if some of you think it could be useful

Re: [9fans] web-based plan 9?

2008-11-20 Thread Giacomo Tesio
cgifs: mostly done thanks to fgb. i'll put it up soon. rit: already available thanks to kenji filterfs: sythesize a filesystem from other fs and rc filters. could use exportfs as a start. design in mind, no code yet. at one point ehg mentioned such a thing at Labs. sessionfs:

Re: [9fans] web-based plan 9?

2008-11-21 Thread Giacomo Tesio
First of all... Thanks for your reply! I hope we could continue this brainstorm... it was really useful for me. On Fri, Nov 21, 2008 at 12:18 AM, Skip Tavakkolian [EMAIL PROTECTED] wrote: - provide access to relational database towards a dedicated fs (with XML rappresentation of

Re: [9fans] web-based plan 9?

2008-11-21 Thread Giacomo Tesio
I ended up just adding the PGmodule to the app instead. You used libpq to write such a PGmodule? I worked with PostgreSQL for 6 year... I find it wonderfull, and I would use it as the db backend for any opensource application I would write. I realise that exporting and mounting would be

Re: [9fans] web-based plan 9?

2008-11-21 Thread Giacomo Tesio
I'd like to know how do you would map the operations to the filesystem. one directory per queryset row returned (possibly named by the primary key), one file per column Ok... I read it somewhere in the archives of the list. But I found it a little inadeguate: - what about multiple fields

Re: [9fans] web-based plan 9?

2008-11-22 Thread Giacomo Tesio
On 11/21/08, erik quanstrom [EMAIL PROTECTED] wrote: databases seem pretty far outside 9fans territory and design on a mailing list doesn't seem like a good idea ... Excuse me... BTW, is there a mailing list to discuss such design problems? I could not be consider a Plan 9 user, yet, I've just

[9fans] dbfs and web framework for plan 9 (was: web-based plan 9?)

2008-11-23 Thread Giacomo Tesio
Since I know it was discussed in the past (but I could not find the post in the archives) I hope to be original by not reiterate old ideas. BTW I start from a reply to a previous post to explain what I would need to use plan 9 for web development. But first of all, I have to say that I'm not

Re: [9fans] dbfs and web framework for plan 9 (was: web-based plan 9?)

2008-11-24 Thread Giacomo Tesio
On Sun, Nov 23, 2008 at 11:06 PM, Enrico Weigelt [EMAIL PROTECTED] wrote: * Giacomo Tesio [EMAIL PROTECTED] wrote: Hi, Hi! Thanks for your reply. A premise: I'm not talking about developing a web forum or the like. I'm talking about a framework to develop large applications with thin

Re: [9fans] dbfs and web framework for plan 9 (was: web-based plan 9?)

2008-11-24 Thread Giacomo Tesio
BTW, if you miss a post on a forum, you would be *hungry*. LOOL! ! ! I was meaning... angry... :-D

Re: [9fans] dbfs and web framework for plan 9

2008-11-24 Thread Giacomo Tesio
On Mon, Nov 24, 2008 at 11:58 AM, matt [EMAIL PROTECTED] wrote: That's exactly what constraints, rules in SQL etc are for. Maybe some similar ruling system for filesystems would be fine :) (any suggestions ?) That's what I was driving at. To map SQL FS you end up replicating lots of SQL

[9fans] xml2 and APE

2008-11-25 Thread Giacomo Tesio
Hello list, I've found in http://netlib.bell-labs.com/wiki/plan9/Contrib_index/ the xml2 (libxml2-2.6.30 for APE) package from Federico G. Benavento. I was wondering if I have to use all the APE to use the library for writing a Plan 9 application. Giacomo

[9fans] libixp

2008-11-25 Thread Giacomo Tesio
Anyone know if with such a library I could write an application on linux mountable from Plan 9? I've understood it could be used for syntetic fs accessible from the local machine (as for wmii), but what about accessing such filesystem from outside? Giacomo

Re: [9fans] xml2 and APE

2008-11-25 Thread Giacomo Tesio
Ehm... Sorry... :-D As I knew libxml2, I directly searched libxml2 in the contrib page... You're right... I'll use that. :-D Giacomo On Tue, Nov 25, 2008 at 9:40 PM, Federico G. Benavento [EMAIL PROTECTED]wrote: hola, I was wondering if I have to use all the APE to use the library for

Re: [9fans] xml2 and APE

2008-11-25 Thread Giacomo Tesio
I'd prefer to avoid flame war, since I know this is an hot cold topic here. But I don't agree. On Tue, Nov 25, 2008 at 11:34 PM, Uriel [EMAIL PROTECTED] wrote: xml? Just say *no*. And BTW, steve's libxml is far from usable and doesn't really implement the complete standard (but who can

Re: [9fans] xml2 and APE

2008-11-26 Thread Giacomo Tesio
Probably my english is worse than I thought! :-D Well. I'd like to build a framework for web development as described in http://9fans.net/archive/2008/11/748 http://9fans.net/archive/2008/11/796 Since XML (and XSLT) are so diffused, it would allow to delegate the (not so) tiny client/browser to

[9fans] FileServer grid

2009-02-06 Thread Giacomo Tesio
Hello every one... In a context of really heavy load and high availability needs, I'm evaluating plan 9 to implement a fileserver grid to be used by a web server for temporary storage (session's serializations, for example). I'd like to build a Plan 9 grid exposing a unique filesystem mounted by

Re: [9fans] FileServer grid

2009-02-07 Thread Giacomo Tesio
at 23:26 +0100, Giacomo Tesio wrote: Hello every one... In a context of really heavy load and high availability needs, I'm evaluating plan 9 to implement a fileserver grid to be used by a web server for temporary storage (session's serializations, for example). What OS do you web servers run

Re: [9fans] FileServer grid

2009-02-08 Thread Giacomo Tesio
wrote: The link is *not* broken, plan9.bell-labs.com is, sadly and unsurprisingly, broken. uriel On Sat, Feb 7, 2009 at 6:32 PM, Giacomo Tesio giac...@tesio.it wrote: I'd like to move our softwares to Linux + Apache (where mounting a 9p fileserver would be easy), but actually it's a Windows

Re: [9fans] FileServer grid

2009-02-09 Thread Giacomo Tesio
Have you done a literature search? I don't get the feeling that you have. You are right, I searched over the net only about Plan 9 filesystem replication and so... But I was always searching for a plan 9 based solution. I already have some alternative solution (linux based), but I would

Re: [9fans] FileServer grid

2009-02-10 Thread Giacomo Tesio
So far it seems that there are no ready-made 9P-based solutions available for what you have in mind. At least I don't know of any. In any solution available there are costs to pay (economical or temporary ones). So I could write the code missinig, if the time required to write the

Re: [9fans] FileServer grid

2009-02-10 Thread Giacomo Tesio
is it too much for a syntetic filesystem 9P based? or too few? On Tue, Feb 10, 2009 at 5:37 PM, ron minnich rminn...@gmail.com wrote: On Tue, Feb 10, 2009 at 12:06 AM, Giacomo Tesio giac...@tesio.it wrote: If a sincronization system for the grid nodes (or a sintetic filesystem providing

[9fans] Plan 9 on Microsoft Virtual PC

2010-01-29 Thread Giacomo Tesio
Hello 9fans! I've tried to install Plan 9 on a 64 bit Windows 7 using Virtual PC, since I've read that a related bug was fixed and noone tried it. Actually, after the fourth tentative (after creating a fossil partition a bit smaller than the fixed size hd) I got rc starting by logging with the

Re: [9fans] Plan 9 on Microsoft Virtual PC

2010-01-29 Thread Giacomo Tesio
: On Jan 29, 2010, at 6:44 AM, Giacomo Tesio wrote: Hello 9fans! I've tried to install Plan 9 on a 64 bit Windows 7 using Virtual PC, since I've read that a related bug was fixed and noone tried it. I just announced it worked like 2 weeks ago. Actually, after the fourth tentative

Re: [9fans] Returning to Plan 9: Virtualization, Distributions

2011-11-22 Thread Giacomo Tesio
Please, (b)log the path: I'd like to play again with plan9... but I completely forgot how I had configured qemu-kvm (and I remember that I had had some trouble with the network on my debian)... :-( Giacomo On Tue, Nov 22, 2011 at 11:50 PM, Joel C. Salomon joelcsalo...@gmail.comwrote: On

Re: [9fans] wstat and atomic directory change

2015-02-04 Thread Giacomo Tesio
2015-02-04 4:51 GMT+01:00 erik quanstrom quans...@quanstro.net: On Tue Feb 3 01:01:02 PST 2015, st...@quintile.net wrote: the control file idea is a neat way of doing atomic moves. control files are a good way of dealing with all kinds of exceptional behavior. but ... to be fair,

Re: [9fans] wstat and atomic directory change

2015-02-04 Thread Giacomo Tesio
consider doing it out of band; e.g. a new fossil console command. On Wed, Feb 4, 2015 at 6:30 AM Giacomo Tesio giac...@tesio.it wrote: And unfortunately I cannot figure out any alternative, either. :-( An interesting point is: why directory entries can be read but cannot be written? I

Re: [9fans] wstat and atomic directory change

2015-02-05 Thread Giacomo Tesio
2015-02-05 5:26 GMT+01:00 s...@9front.org: But why we don't have Tmove for example? http://9front.org/img/tmove.jpg ROFTL! :-D

Re: [9fans] wstat and atomic directory change

2015-02-05 Thread Giacomo Tesio
2015-02-05 5:13 GMT+01:00 lu...@proxima.alt.za: But why we don't have Tmove for example? Because its semantics are much, much more complex and the users need to be aware of the difference. This shouldn't be so hard to obtain. I mean we could simply introduce a new command rename oldpath

Re: [9fans] wstat and atomic directory change

2015-01-30 Thread Giacomo Tesio
It surely would not be conformant to Plan 9 systems, but to the protocol? As far as I can read intro(5), it explicitly excludes slash as a valid character for the Plan 9 OS, but it also explicitly states that the protocol has no such restriction. Be patient: I'm asking because this could be a

Re: [9fans] wstat and atomic directory change

2015-02-03 Thread Giacomo Tesio
for your patience... :-) Giacomo 2015-01-30 23:49 GMT+01:00 Anthony Sorace a...@9srv.net: On Jan 30, 2015, at 10:59 , Giacomo Tesio giac...@tesio.it wrote: It surely would not be conformant to Plan 9 systems, but to the protocol? No. Joel has it right. Writing a server which allows

[9fans] 9p2000 agent supporting multiple clients on a single connection

2015-02-03 Thread Giacomo Tesio
While reading intro(5) I noticed these very interesting lines: Fids are chosen by the client. All requests on a connection share the same fid space; when several clients share a connection, the agent managing the sharing must arrange that no two clients choose the same fid. And later: A client

Re: [9fans] wstat and atomic directory change

2015-02-04 Thread Giacomo Tesio
And unfortunately I cannot figure out any alternative, either. :-( An interesting point is: why directory entries can be read but cannot be written? I mean we use Tcreate to create a new file in a dir, while to be uniform with files, we should use a Twrite, appending a corresponding stat

Re: [9fans] wstat and atomic directory change

2015-02-05 Thread Giacomo Tesio
that lead to such decision? Giacomo 2015-02-05 9:21 GMT+01:00 Giacomo Tesio giac...@tesio.it: 2015-02-05 5:13 GMT+01:00 lu...@proxima.alt.za: But why we don't have Tmove for example? Because its semantics are much, much more complex and the users need to be aware of the difference

Re: [9fans] wstat and atomic directory change

2015-02-05 Thread Giacomo Tesio
Il 05/Feb/2015 17:26 erik quanstrom quans...@quanstro.net ha scritto: I'm wondering for a synthetic filesystem in which, when you move a folder in a special directory, something magic happens. As far as I can see, it is not possible with a 9p2000 fileservice, is it? i don't see why you

[9fans] telnet to port (and webfs debug)

2015-02-12 Thread Giacomo Tesio
Hi, I'm having an hard time to debug a problem with http clients in plan9/qemu (actually 9front, but I guess my questions apply to all plan9 versions). DNS and ping works properly, just http fails. I suspect it's a proxy issue. I have set httpproxy environment variable but with no success: both

Re: [9fans] telnet to port (and webfs debug)

2015-02-13 Thread Giacomo Tesio
I did already tried this, but without success, but I tried it again just to be sure, still without success. I tried to telnet the proxy with telnet tcp!host!port and it worked as expected (GET http://www.google.com; printed its bloated html). This limit the issue boundaries to webfs (since, as

[9fans] pkg(1) and tbz2

2015-02-19 Thread Giacomo Tesio
Hi, with the hope to port a (complex) tool to plan9 I've found this interesting repo with an updated ape + gcc + some other useful tools... http://marcus.biz.tm/files/ I tried to set the pkgpath to that url but pkg/list only show the two packages named .tbz2 (lighthttp and m4). I noted that all

Re: [9fans] pkg(1) and tbz2

2015-02-19 Thread Giacomo Tesio
#list (get more recent), and a clue about configures here http://marcus.biz.tm/files/configure.txt. But I'm sure that 9fans list don't want any noise about this. So ask there where you found that soft. Álvaro Jurado Cuevas colmenar.biz.tm 2015-02-19 12:30 GMT+01:00 Giacomo Tesio giac

[9fans] A few questions about 9p

2015-01-29 Thread Giacomo Tesio
Hi, I'm coding a small .NET library to connect 9p2000 services and I have a few questions about things that the manual doesn't explain (or I was not able to find). What's the meaning of qids? I see that responses often include them but request messages do not. What's the proper message sequence

Re: [9fans] A few questions about 9p

2015-01-29 Thread Giacomo Tesio
Il 29/Gen/2015 11:12 Charles Forsyth charles.fors...@gmail.com ha scritto: On 29 January 2015 at 09:04, Giacomo Tesio giac...@tesio.it wrote: What's the meaning of qids? I see that responses often include them but request messages do not. see intro(5) or intro(9P) depending on system

Re: [9fans] A few questions about 9p

2015-01-29 Thread Giacomo Tesio
Actually I wasn't able to understand when the afid was supposed to be clunk reading attach 5. I was in doubt that the afid had to be the last fid clunked. Giacomo Il 29/Gen/2015 15:56 cinap_len...@felloff.net ha scritto: size[4] Tattach tag[2] fid[4] afid[4] uname[s] aname[s]

Re: [9fans] telnet to port (and webfs debug)

2015-02-12 Thread Giacomo Tesio
Yes hget is an rc script running on webfs. Giacomo Il 12/Feb/2015 13:14 Quintile st...@quintile.net ha scritto: I have s feeling that get is a script that accesses webfs, and maybe the 9front mothers does the same. are you running webfs? -Steve On 12 Feb 2015, at 11:02, Giacomo Tesio

Re: [9fans] Very old bug in db(1)

2015-03-19 Thread Giacomo Tesio
I could be wrong, but looks like nobody cares about such small fixes. A few days ago, I've found some very old small errors (one in the 2c(1) man page and one in col(1) that affects man pages' visualization in variable width fonts) but had no feedback. I guess that the most effective way to cope

Re: [9fans] Very old bug in db(1)

2015-03-19 Thread Giacomo Tesio
Oh, I completely missed patch(1). And actually it was just when one should look up for at first... man pages. Sorry. Thanks for the tip! It's a fragmented small community and that is just sad. It is not likely that things will get better in the foreseeable future, so pick your side :-) To

[9fans] col.c: one line fix for variable-width font

2015-03-06 Thread Giacomo Tesio
I gave a look at col.c and found a better fix for the tabs issue. We simply need that col check for the previous char being a space, before adding any tab. That is, at /sys/src/cmd/col.c:251 replace if ((++ncp 7) == 0 !xflag) { with if ((++ncp 7) == 0 !xflag *(p-2) == ' ') { This is a

Re: [9fans] col.c: one line fix for variable-width font

2015-03-06 Thread Giacomo Tesio
Actually I'm using drawterm, as a sort of remote desktop connection. But I can't see the problem you are talking about. The clients (either windows or linux) don't have the font installed, but still it seem working pretty well (except for the spacing issues in man pages). I don't have a real

Re: [9fans] col.c: one line fix for variable-width font

2015-03-06 Thread Giacomo Tesio
ehm... well... actually I could try with vnc... :-) Giacomo 2015-03-06 18:22 GMT+01:00 Giacomo Tesio giac...@tesio.it: Actually I'm using drawterm, as a sort of remote desktop connection. But I can't see the problem you are talking about. The clients (either windows or linux) don't have

Re: [9fans] 2c(2) error

2015-03-10 Thread Giacomo Tesio
Ehm... obviously I was talking about 2c(1)... Too much coffe, today... :-D 2015-03-10 16:53 GMT+01:00 Giacomo Tesio giac...@tesio.it: 2c(2) states: Array initializers can specify the indices of the array in square brackets, as int a[] = { [3] 1, [10] 5 }; which initializes

[9fans] 2c(2) error

2015-03-10 Thread Giacomo Tesio
2c(2) states: Array initializers can specify the indices of the array in square brackets, as int a[] = { [3] 1, [10] 5 }; which initializes the third and tenth elements of the eleven-element array a. This is somewhat confusing: the third and the tenth element should have index 2

Re: [9fans] jas' cpython

2015-03-25 Thread Giacomo Tesio
Thanks David! 2015-03-25 12:12 GMT+01:00 David du Colombier 0in...@gmail.com: How should I extract files from an .arch archive? disk/mkext -d / cpython-src.arch -- David du Colombier

Re: [9fans] using git

2015-03-30 Thread Giacomo Tesio
, shittorefactortomorrow and so on). Giacomo 2015-03-30 11:48 GMT+02:00 Giacomo Tesio giac...@tesio.it: As I use both git and hg, I really miss the feature-branching in hg (obviously, you can, if you try hard enough, use feature branching with hg too, but git makes it so easy that it became my default process

Re: [9fans] using git

2015-03-30 Thread Giacomo Tesio
As I use both git and hg, I really miss the feature-branching in hg (obviously, you can, if you try hard enough, use feature branching with hg too, but git makes it so easy that it became my default process whenever I can use git for development, even on solo projects): Suppose you have a team of

Re: [9fans] using git

2015-03-30 Thread Giacomo Tesio
+02:00 Jeff Sickel j...@corpus-callosum.com: On Mar 30, 2015, at 4:55 AM, Giacomo Tesio giac...@tesio.it wrote: Ah, a small addendum: obviously we also use tags a lot to give a specific commit (and related history) a name. This is done automatically by build servers for the official tags

Re: [9fans] drawterm sources

2015-03-02 Thread Giacomo Tesio
Thanks a lot! :-D Giacomo 2015-03-02 11:55 GMT+01:00 yy yiyu@gmail.com: On 2 March 2015 at 11:06, Giacomo Tesio giac...@tesio.it wrote: - where I can find the most updated sources of drawterm? (links from http://swtch.com/drawterm/ seem to be broken) https://bitbucket.org/rsc/drawterm

[9fans] drawterm sources

2015-03-02 Thread Giacomo Tesio
Hi, to ease my usage of drawterm from my hp chromebook I'm using xbindkeys + xdotool to send mouse events on a few keyboard's events. In particular AltGr + Left = mouse 1 AltGr + Up = mouse 2 AltGr + Right = mouse 3 This way I can choord even without a 3 button mouse. This works quite well, but

[9fans] unexpected tabs in man pages after font change

2015-03-04 Thread Giacomo Tesio
Hi, I've just installed a compact sans font (from http://input.fontbureau.com/ ) and manual pages started to look broken. As you can see in the screenshot (man 2 control), there are white spaces that looks like tabs in the middle of the text with apparently no reason. Even in the troff source

Re: [9fans] unexpected tabs in man pages after font change

2015-03-04 Thread Giacomo Tesio
to inform troff about the glyphs sizes... but how? Giacomo 2015-03-04 17:13 GMT+01:00 Giacomo Tesio giac...@tesio.it: Hi, I've just installed a compact sans font (from http://input.fontbureau.com/ ) and manual pages started to look broken. As you can see in the screenshot (man 2 control

Re: [9fans] unexpected tabs in man pages after font change

2015-03-04 Thread Giacomo Tesio
+01:00 Aram Hăvărneanu ara...@mgk.ro: On Wed, Mar 4, 2015 at 5:13 PM, Giacomo Tesio giac...@tesio.it wrote: why the hell we still use troff for manual pages? What do you propose we use instead? -- Aram Hăvărneanu

Re: [9fans] unexpected tabs in man pages after font change

2015-03-04 Thread Giacomo Tesio
2015-03-05 0:56 GMT+01:00 s...@9front.org: And btw, programs don't write man pages... yet. Are you familiar with the conventions that power godoc? No, but I know quite well it's predecessors (Docstrings, Javadoc etc...). They are great for API, but IMHO not every unix man page can be

Re: [9fans] unexpected tabs in man pages after font change

2015-03-04 Thread Giacomo Tesio
Well, while a bit offtopic... what do you mean by programmatically. And btw, programs don't write man pages... yet. Giacomo 2015-03-04 23:39 GMT+01:00 Stanley Lieber s...@9front.org: troff is great. easy to maintain programmatically. sl

Re: [9fans] unexpected tabs in man pages after font change

2015-03-05 Thread Giacomo Tesio
Which font are you using? With all mono-spaced (fixed-width) fonts everything works fine. The problem occurs just with variable spaced fonts. Btw I noted that the fix is not perfect: the table at the end of man(1) is misaligned, with or without the fix. Even without calling col at all. This

[9fans] rc: pwd in $prompt

2015-02-26 Thread Giacomo Tesio
Hi, I'm a bit dumb, but reading rc(1) I can't grasp how I can have the current dir printed in prompt. Is it possible at all? Giacomo

Re: [9fans] rc: pwd in $prompt

2015-02-26 Thread Giacomo Tesio
2015-02-26 10:59 GMT+01:00 Giacomo Tesio giac...@tesio.it: Hi, I'm a bit dumb, but reading rc(1) I can't grasp how I can have the current dir printed in prompt. Is it possible at all? Giacomo

[9fans] jas' cpython

2015-03-25 Thread Giacomo Tesio
I feel a bit dumb, but I can't grasp how to extracts file from http://plan9.bell-labs.com/sources/contrib/jas/cpython-src.arch.bz2 and http://plan9.bell-labs.com/sources/contrib/jas/hg-src.arch.bz2 tar(1), gzip(1) and ar(1) did not helped. How should I extract files from an .arch archive?

[9fans] wstat and atomic directory change

2015-01-30 Thread Giacomo Tesio
Hi, I'm wondering about the validity of an interpretation of intro(5) and stat(5) that could allow a server to atomically change the directory of a file. From intro(5) http://man.cat-v.org/9front/5/intro The notation string[s] (using a literal s character) is shorthand for s[2] followed by s

Re: [9fans] small VFD display

2015-06-10 Thread Giacomo Tesio
2015-06-09 20:34 GMT+02:00 Ethan Grammatikidis eeke...@fastmail.fm: search the web for EWD898. it's a good read; fascinating how little has really changed. I know it's off-topic, but it's funny to compare that Dijkstra's paper with this video https://www.youtube.com/watch?v=qlRTbl_IB-s (and

Re: [9fans] read9pmsg usage

2015-08-10 Thread Giacomo Tesio
2015-08-10 16:54 GMT+02:00 Charles Forsyth charles.fors...@gmail.com: Zero conventionally means end-of-file, but record boundaries are preserved on capable streams, so if a writer writes zero, the reader reads zero. However this two requirements do not seem reconcilable. Zero can either mean

Re: [9fans] read9pmsg usage

2015-08-11 Thread Giacomo Tesio
2015-08-11 17:48 GMT+02:00 Charles Forsyth charles.fors...@gmail.com: On 10 August 2015 at 15:11, Giacomo Tesio giac...@tesio.it wrote: /* * reading from a pipe or a network device * will give an error after a few eof reads. * however, we cannot tell the difference * between a zero

Re: [9fans] read9pmsg usage

2015-08-12 Thread Giacomo Tesio
2015-08-12 9:25 GMT+02:00 David du Colombier 0in...@gmail.com: This comment is indeed pretty old. It was already present in the Second Edition. So that check is based on pre 9p2000 code? If so, Charles have probably explained it: 2015-08-10 17:40 GMT+02:00 Charles Forsyth

[9fans] read9pmsg usage

2015-08-10 Thread Giacomo Tesio
Hi, I've a probably naive question that I can't figure out. I've just noticed that fcall(2) states Read9pmsg calls read(2) multiple times, if necessary, to read an entire 9P message into buf. The return value is 0 for end of file, or -1 for error; it does not return partial messages. but

Re: [9fans] Harvey OS: A new OS inspired heavily by Plan 9

2015-07-27 Thread Giacomo Tesio
Il 27/Lug/2015 23:47, Skip Tavakkolian 9...@9netics.com ha scritto: you are aware of the 9fans' fetish for movies and rabbits ...and feticists. ;-)

Re: [9fans] off topic - a good Git reference

2015-10-12 Thread Giacomo Tesio
2015-10-12 19:00 GMT+02:00 Charles Forsyth : > > On 12 October 2015 at 17:49, Álvaro Jurado wrote: > >> what ensures sha key is in fs. > > > The reason many of us are a little sceptical about it being fsync as such > preventing the data appearing

Re: [9fans] pthreads

2015-09-01 Thread Giacomo Tesio
2008-12-16 23:16 GMT+01:00 Steve Simon : > I have a distant memory that somone implemented some of POSIX pthreads > on plan9, i.e. I want to compile programs that use pthreads under APE. > > anyone got any pointers? > Hi Steve, did you find anything (even incomplete) back

[9fans] u9fs sources

2015-09-01 Thread Giacomo Tesio
Hi, anybody knows where the u9fs sources are currently maintained? I have just found https://bitbucket.org/plan9-from-bell-labs/u9fs but it's only linked by an old googlecode repo: I was unable to find any official link in the bell labs pages. Giacomo

Re: [9fans] u9fs sources

2015-09-02 Thread Giacomo Tesio
2015-09-02 6:38 GMT+02:00 : > > I don't think it is currently maintained, but Plan 9 ships with a copy > > of it under /sys/src/cmd/unix. I used that as the basis of the OpenBSD > > port. > > I have it on my list of urgent tasks to fix u9fs. The more recent > copy (details

Re: [9fans] Privalloc(2) and rfork(RFPROC|RFMEM) (was: a pair nec bugs)

2015-09-05 Thread Giacomo Tesio
... and given getpid(2) implementation, a pid based table could be quite expensive, since MyStruct is accessed very very often. 2015-09-05 16:03 GMT+02:00 Giacomo Tesio <giac...@tesio.it>: > 2011-05-20 3:30 GMT+02:00 erik quanstrom <quans...@quanstro.net>: > >> one note

[9fans] Privalloc(2) and rfork(RFPROC|RFMEM) (was: a pair nec bugs)

2015-09-05 Thread Giacomo Tesio
2011-05-20 3:30 GMT+02:00 erik quanstrom : > one note is that while i'm aware of privalloc(2), i didn't use it. the > implementation doesn't appear correct for shared-memory procs. > i think there are two issues > - locking is unnecessary. the only preemptable unit of

Re: [9fans] Privalloc(2) and rfork(RFPROC|RFMEM) (was: a pair nec bugs)

2015-09-06 Thread Giacomo Tesio
2015-09-05 20:47 GMT+02:00 erik quanstrom : > > May be my problem is that p is global in my case? > > global variables are in the bss, and thus shared. p will have > the same value in each thread, but *p should point into the > stack, and thus the same virtual address will

Re: [9fans] Privalloc(2) and rfork(RFPROC|RFMEM) (was: a pair nec bugs)

2015-09-05 Thread Giacomo Tesio
Nice example thanks. May be my problem is that p is global in my case? Giacomo Il 05/Set/2015 18:50, "erik quanstrom" ha scritto: > by the way, the following program runs without asserting for me > with or without the waits. > > - erik > > --- > > #include > #include >

[9fans] segbrk(2) vs friends

2015-12-07 Thread Giacomo Tesio
I'm trying to understand the reason behind the introduction of segbrk(2). I cannot find a use case in the codebase. The manual page states that: The segbrk system call may go away or be re-implemented to give more general segment control, sub- suming the

Re: [9fans] Compiling ken-cc on Linux

2015-11-27 Thread Giacomo Tesio
2015-11-27 13:42 GMT+01:00 <tlaro...@polynum.com>: > On Fri, Nov 27, 2015 at 09:13:20AM +0100, Giacomo Tesio wrote: > > > > I know nothing about compilers, but actually gcc and clang dimension and > > complexity is astonishing. > > It's not astonishing:

Re: [9fans] Compiling ken-cc on Linux

2015-11-27 Thread Giacomo Tesio
2015-11-27 0:21 GMT+01:00 Charles Forsyth : > > On 26 November 2015 at 23:08, Ryan Gonzalez wrote: > >> Holy crap, that's crazy. I built it in debug mode on Linux, but I don't >> think it used that much. I only have 6 GB right now! > > > You have to

[9fans] FP register usage in Plan9 assembler

2016-02-01 Thread Giacomo Tesio
I'm studying the 9front's amd64 kernel, and I'm pretty new to assembler programming, so sorry if my question is too dumb... I cannot understand the FP pseudo register usage. The cpuid function, for example, is implemented as /* * The CPUID instruction is always supported on the amd64. */ TEXT

Re: [9fans] FP register usage in Plan9 assembler

2016-02-01 Thread Giacomo Tesio
Thanks for the explainations! I did read in the Pike's paper about the syntax name+offset(FP), but I did understood that name had to be a symbol already defined, and I was looking for it in the c code. Sorry for the noise! This led me to another question, however: I've read before that the plan9

Re: [9fans] FP register usage in Plan9 assembler

2016-02-01 Thread Giacomo Tesio
GMT+01:00 Charles Forsyth <charles.fors...@gmail.com>: > > On 1 February 2016 at 23:34, Giacomo Tesio <giac...@tesio.it> wrote: > >> >> Is it correct to say that this means that the Plan9 compiler suite >> *never* follows the sysV calling convention documente

[9fans] startboot signature

2016-02-17 Thread Giacomo Tesio
Out of curiosity, why the startboot function in port/initcode.c is `void startboot(char *argv0, char **argv)` given the argv0 is ignored? I see that this simplify various main() in init9.s but I wonder why not simply use `void startboot(char **argv)` Giacomo

[9fans] Libc locks documentation

2016-03-24 Thread Giacomo Tesio
Hi, I'm a bit ignorant but I cannot recognise the algorithms in qlock.c. Where I can find more documentation about them? Any paper I can read? For example the rsleep/rwakeup always look a bit magic in its coupling with qlocks. I'd really like to know more about these algorithms, but given their

Re: [9fans] Libc locks documentation

2016-03-25 Thread Giacomo Tesio
; which has a few references in it too. There's a little evolutionary > history of them somewhere. > > On 24 March 2016 at 19:56, Giacomo Tesio <giac...@tesio.it> wrote: > >> Hi, I'm a bit ignorant but I cannot recognise the algorithms in qlock.c. >> >> Wher

Re: [9fans] The Plan 9/"right" way to do Facebook

2016-04-03 Thread Giacomo Tesio
2016-04-03 6:42 GMT+02:00 : > > We are already trained to be suspicious about the truth even when it's > > clearly evident, now we can even start to ignore the information from the > > physical world, while accepting the virtual information that someone else > > feed us. > >

Re: [9fans] The Plan 9/"right" way to do Facebook

2016-04-01 Thread Giacomo Tesio
While funny in it's visionary shape, I'm seriously scared about this matter. Take for example Google's material design: any software that successfully mimic the physical world (paper layers in particular) is going to bland our perception of its "virtuality". Our mind is going to accept it as a

Re: [9fans] memory leaks in libmp

2017-01-18 Thread Giacomo Tesio
Oh, well, I'm sorry, I should have clarified the context a bit more. Here it is. The link I provided here are Jehanne issues, not Plan 9 or 9front bug reports. After fixing a few of them I realized that, an year from now, I won't be able to remember why I did the change. Also, coverity could shut

Re: [9fans] Why getenv replaces \0 with spaces in the returned value?

2017-01-18 Thread Giacomo Tesio
will cope with \0 in a C string, so it's a good > choice as list of string element separator. > > On 18 January 2017 at 19:21, Fran. J Ballesteros <n...@lsub.org> wrote: >> >> rc lists? >> >> > El 18 ene 2017, a las 17:45, Giacomo Tesio <giac...@tesio.it>

[9fans] out of bound access in libsec

2017-01-17 Thread Giacomo Tesio
Hi, running coverity scan on libsec it reported two defects that do not seem false positives: 1. an out of bound access to aesXCBCmac (see https://github.com/JehanneOS/jehanne/issues/3 ) 2. an out of bound access in msgRecv, tlshand.c:1809 (see https://github.com/JehanneOS/jehanne/issues/4 ) I

[9fans] memory leaks in libmp

2017-01-17 Thread Giacomo Tesio
Hi, these other two defects identified from Coverity scan that you might find interesting: https://github.com/JehanneOS/jehanne/issues/5 https://github.com/JehanneOS/jehanne/issues/6 NOTE: 9front's guys consider these a false positive, since both mptole(n, nil, 0, nil); and mptobe(n,

[9fans] Why getenv replaces \0 with spaces in the returned value?

2017-01-18 Thread Giacomo Tesio
Hi, last night I noticed this strange post processing in 4th edition's getenv: https://github.com/brho/plan9/blob/master/sys/src/libc/9sys/getenv.c#L34-L41 seek(f, 0, 0); r = read(f, ans, s); if(r >= 0) { ep = ans + s - 1; for(p = ans; p < ep; p++)

[9fans] devsegment usage examples

2016-08-31 Thread Giacomo Tesio
Hi, I'm looking for an usage example of devsegment. I cannot find anything neither in bhro's plan9 nor in 9front. Can anybody share a real usage world example? Giacomo

Re: [9fans] devsegment usage examples

2016-08-31 Thread Giacomo Tesio
Neat, thanks! I wonder if a similar approach could be used to move some device drivers out of kernel... Btw, I did read the sample in segment(3) but I was looking for a real world example. What I'm trying to understand is not *how* to use devsegment, but *when* to use it. Which problems is it

Re: [9fans] Porting Idris to 9front

2017-01-13 Thread Giacomo Tesio
2017-01-13 15:05 GMT+01:00 Joe M : > > > > Don't you need GHC to compile Idris? > > http://docs.idris-lang.org/en/latest/faq/faq.html#when-will- > idris-be-self-hosting > > I have the posix version of the rts working on 9front. The default C > backend generated code compiled

Re: [9fans] create/create race

2016-11-30 Thread Giacomo Tesio
2016-11-30 16:08 GMT+01:00 Charles Forsyth <charles.fors...@gmail.com>: > > On 30 November 2016 at 15:02, Giacomo Tesio <giac...@tesio.it> wrote: > >> >> But reading that thread I can't actually see why the OEXCL path has been >> taken instead of eliminating

Re: [9fans] create/create race

2016-11-30 Thread Giacomo Tesio
not simply return an error if the file already exists? You might save me a few headache... Thanks for your help! Giacomo 2016-05-24 23:25 GMT+02:00 Giacomo Tesio <giac...@tesio.it>: > I'm pretty curious about the create(2)/create(5) race described in a > comment in namec (see https://git

  1   2   >