Discussion :

[Fractal LLG]

Bonjour

Je débute en OCaml et j'aimerais pouvoir me servir des sockets, ces petites bêtes qui se parlent par le biais d'internet.

N'ayant qu'un seul ordinateur, je commence pour l'instant par essayer de se faire parler deux sockets venant de deux fenêtres OCaml différentes. Je m'explique :
J'ouvre deux fois OCaml, dans l'un je met le code

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
 
     (* En lecture : *)
 
 
#load "unix.cma";;
 
let my_name = Unix.gethostname() ;;
let my_entrie_byname = Unix.gethostbyname my_name ;;
let my_addr = my_entrie_byname.Unix.h_addr_list.(0) ;;
 
let sock_lec = Unix.socket Unix.PF_INET Unix.SOCK_STREAM 0 ;;
Unix.bind sock_lec (Unix.ADDR_INET(my_addr, 12345)) ;;
Unix.listen sock_lec 1;;
let (sock_serv, sock_addr) = Unix.accept sock_lec;;
print_endline "Connecté !";;

que j'exécute, il se met donc en attente d'un autre socket se connectant à lui, puis dans l'autre fenêtre Caml je met le code

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
 
     (* En écriture : *)
 
 
#load "unix.cma";;
 
let my_name = Unix.gethostname() ;;
let my_entrie_byname = Unix.gethostbyname my_name ;;
let my_addr = my_entrie_byname.Unix.h_addr_list.(0) ;;
 
let sock_ecr = Unix.socket Unix.PF_INET Unix.SOCK_STREAM 0 ;;
Unix.bind sock_ecr (Unix.ADDR_INET(my_addr, 12346)) ;;
let addr_ecr = Unix.ADDR_INET (my_addr,12345);;
Unix.connect sock_ecr addr_ecr;;
print_endline "Connecté !";;

Quand j'exécute ce dernier, tout se passe bien, les deux fenêtres m'affichent alors "Connecté !" et attendent de nouvelles instructions.

Maintenant je veux envoyer un message de sock_ecr vers sock_lec, donc en utilisant Unix.read et Unix.write, mais ils me demandent des Unix.file_descr, je met quoi?
J'ai essayé avec la commande Unix.pipe(), mais ça ne semble pas être la bonne, le message ne passe pas.

Merci d'avance pour votre aide

Fractal

[Steki-kun]

Salut, en effet Unix.pipe n'est pas la solution (d'ailleurs si tu utilises des sockets, c'est précisément pour ne pas utiliser des pipes, normalement).
Il te suffit de remarquer que le type des sockets est... celui des descripteurs de fichiers : quand tu crées des sockets, les machins que tu obtiens sont des file_descr :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

val socket : socket_domain -> socket_type -> int -> file_descr

Après, tu peux écrire dedans, etc comme dans n'importe quel autre descripteur de fichiers (et ne pas oublier de les fermer, comme pour n'importe quel autre descripteur de fichiers ^^)

De manière générale, pour tout savoir sur la programmation système en Caml (et en particulier les sockets dans le Chap. 6), il y a ça, qui est un très bon cours.

[Fractal LLG]

Salut

Il te suffit de remarquer que le type des sockets est... celui des descripteurs de fichiers

Voui, ça je suis d'accord avec toi, mais par exemple dans la fenêtre pour l'écriture, je ne connais que le socket sock_ecr, et pas sock_lec qui est celui dans lequel je devais écrire, non?
Ou alors c'est dans le sock_ecr que j'ai crée au début que je dois écrire, et dans le sock_lec que j'ai créé que je dois lire?
Je pensais qu'à la connection on récupérait un autre nom de socket, le socket cible, correspondant à l'endroit où on devait lire ou écrire.

* va tester *

Ca marche pas
Il m'envoie une exception quand j'essaye de lire :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
Unix.read sock_lec str 0 7;;
 
  ->  Exception: Unix.Unix_error (Unix.ENOTCONN, "read", "")

Fractal

[Fractal LLG]

Ca marche

C'était bien dans sock_ecr qu'il fallait écrire, mais c'était sur sock_serv qu'il fallait lire.

Merci beaucoup

Fractal